MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Bengt Jonsson – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

56 documents found, showing 1 through 10. Next 10 →

ATOM

Switched-Current Circuits: from Building Blocks to Mixed Analog-Digital Systems
by Bengt Jonsson, Bengt Jonsson — 1999 — ISRN KTH/ESD/AVH–99/1–SE
…-Digital Systems A © Bengt Jonsson S I S I D Stockholm 1999 BJ Department of Electronics, Electronic System Design…
Cited by 3 (0 self) – Add To MetaCart

Learning of Event-Recording Automata
by Olga Grinchtein Bengt, Bengt Jonsson, Martin Leucker — 2004 — In 6th International Workshop on Verification of Infinite-State Systems, volume 138/4 of Electronic Notes in Theoretical Computer Science
…Learning of Event-Recording Automata Olga Grinchtein, Bengt Jonsson, and Martin Leucker…
Add To MetaCart

Processor Pipelines and Their Properties for Static WCET Analysis
by Jakob Engblom, Bengt Jonsson — 2002 — Proceedings of EMSOFT 02: Second International Conference on Embedded Software, volume 2491 of Lecture Notes in Computer Science
…Processor Pipelines and Their Properties for Static WCET Analysis Jakob Engblom and Bengt Jonsson…
Cited by 8 (1 self) – Add To MetaCart

Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations
by Sven-Olof Nyström, Bengt Jonsson — 1994 — Proc. of the 1993 International Logic Programming Symposium, Series on Logic Programming
…, Uppsala University P. O. Box 311, S-751 05 Uppsala, Sweden svenolof@(email omitted); Bengt Jonsson Department…
Cited by 6 (1 self) – Add To MetaCart

An Execution Semantics for MSC-2000
by Bengt Jonsson, Gerardo Padilla — 2001 — In Proc. of the 10th International SDL Forum
…An Execution Semantics for MSC-2000 ? Bengt Jonsson 1 and Gerardo Padilla 2 1 Dept…
Cited by 6 (0 self) – Add To MetaCart

A Formalization of Service Independent Building Blocks
by Jan Nyström, Bengt Jonsson — 1996 — Proc. International Workshop on Advanced Intelligen Networks
…A Formalization of Service Independent Building Blocks Jan Nystrom and Bengt Jonsson y jann…
Cited by 1 (1 self) – Add To MetaCart

Extracting the processes structure of ERLANG applications
by Jan Nyström, Bengt Jonsson
…Extracting the processes structure of Erlang applications Jan Nystrom and Bengt Jonsson…
Cited by 1 (0 self) – Add To MetaCart

Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms
by Bengt Jonsson, Lars Kempe — 1995 — In Proc. 7 th Int. Conf. on Computer Aided Verification, volume 939 of Lecture Notes in Computer Science
…Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms ? Bengt Jonsson…
Cited by 6 (3 self) – Add To MetaCart

Regular Inference for Communication Protocol Entities
by Therese Bohlin, Bengt Jonsson
…Regular Inference for Communication Protocol Entities Therese Bohlin, Bengt Jonsson Department…
Add To MetaCart

A Logic for Reasoning about Time and Reliability
by Hans Hansson, Bengt Jonsson — 1994 — Formal Aspects of Computing
…A Logic for Reasoning about Time and Reliability Hans Hansson and Bengt Jonsson Swedish Institute…
Cited by 137 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB