| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena |
Regular model checking for LTL(MSO).  |
STTT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson |
Demonstrating Learning of Register Automata. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel |
Inferring Canonical Register Automata. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska |
A Compositional Specification Theory for Component Behaviours. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen |
A Succinct Canonical Register Automaton Model. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson |
Learning of Automata Models Extended with Data. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Grinchtein, Bengt Jonsson, Martin Leucker |
Learning of event-recording automata. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fides Aarts, Bengt Jonsson, Johan Uijen |
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Therese Bohlin, Bengt Jonsson, Siavash Soleimanifard |
Inferring Compact Models of Communication Protocol Entities. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel |
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta |
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson |
State-space exploration for concurrent algorithms under weak memory orderings: (preliminary version). |
SIGARCH Computer Architecture News |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi |
Cyclic dependencies in modular performance analysis. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
fixpoint iteration, performance analysis, real-time calculus |
| 1 | Mayank Saksena, Oskar Wibling, Bengt Jonsson |
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Therese Berg, Bengt Jonsson, Harald Raffelt |
Regular Inference for State Machines Using Domains with Equality Tests. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Mayank Saksena |
Systematic Acceleration in Regular Model Checking. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Grinchtein, Bengt Jonsson, Paul Pettersson |
Inference of Event-Recording Automata Using Timed Decision Trees. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena |
Proving Liveness by Backwards Reachability. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Therese Berg, Bengt Jonsson, Harald Raffelt |
Regular Inference for State Machines with Parameters. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson |
Simulating perfect channels with probabilistic lossy channels. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Grinchtein, Bengt Jonsson, Martin Leucker |
Inference of Timed Transition Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena |
Insights to Angluin's Learning. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.) |
Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] |
Model-Based Testing of Reactive Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen |
On the Correspondence Between Conformance Testing and Regular Inference. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson |
Using Forward Reachability Analysis for Verification of Lossy Channel Systems. |
Formal Methods in System Design |
2004 |
DBLP DOI BibTeX RDF |
model checking, automata, protocol verification, infinite-state systems |
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena |
A Survey of Regular Model Checking. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Grinchtein, Bengt Jonsson, Martin Leucker |
Learning of Event-Recording Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson |
Finite State Machines. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson |
Specifying and Generating Test Cases Using Observer Automata. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena |
Regular Model Checking for LTL(MSO). |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Model checking of systems with many identical timed processes. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Konstantinos F. Sagonas |
Preface by the section editors. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Competence centers, Academia-industry collaboration, Software engineering, Embedded systems |
| 1 | John Håkansson, Bengt Jonsson, Ola Lundqvist |
Generating online test oracles from temporal logic specifications. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic |
| 1 | Johan Blom, Bengt Jonsson |
Automated test generation for industrial Erlang applications. |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso |
Algorithmic Improvements in Regular Model Checking. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Wang Yi |
Testing preorders for probabilistic processes can be characterized by simulations. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso |
Regular Model Checking Made Simple and Efficient. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Engblom, Bengt Jonsson |
Processor Pipelines and Their Properties for Static WCET Analysis. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso |
Regular Tree Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Damm, Bengt Jonsson |
Eliminating Queues from RT UML Model Representations. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
RT UML, verification of infinite state systems, protocol verification, Real-time distributed systems |
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Ensuring completeness of symbolic verification methods for infinite-state systems. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen |
Incremental Requirement Specification for Evolving Systems. |
Nord. J. Comput. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Channel Representations in Protocol Verification. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Gerardo Padilla |
An Execution Semantics for MSC-2000. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay |
Algorithmic Analysis of Programs with Well Quasi-ordered Domains. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson |
Reasoning about Probabilistic Lossy Channel Systems. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Marcus Nilsson |
Transitive Closures of Regular Relations for Verifying Infinite-State Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen |
Incremental Requirement Specification for Evolving Systems. |
FIW |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elena Fersman, Bengt Jonsson |
Abstraction of Communication Channels in Promela: A Case Study. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Invited Tutorial: Verification of Infinite-State and Parameterized Systems. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili |
Regular Model Checking. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Amir Pnueli, Camilla Rump |
Proving Refinement Using Transduction. |
Distributed Computing |
1999 |
DBLP DOI BibTeX RDF |
Delayed simulation, Verification, Specification, Temporal logic, Refinement, Sequential consistency, Transduction |
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
On the Existence of Network Invariants for Verifying Parameterized Systems. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson |
Handling Global Conditions in Parameterized System Verification. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Wang Yi |
Fully Abstract Characterization of Probabilistic May Testing. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven-Olof Nyström, Bengt Jonsson |
A Fully Abstract Semantics for Concurrent Constraint Programming. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi |
Partial Order Reductions for Timed Systems. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Verifying Networks of Timed Processes (Extended Abstract). |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson |
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron Peled |
A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Yih-Kuen Tsay |
Assumption/Guarantee Specifications in Linear-Time Temporal Logic. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Verifying Programs with Unreliable Channels. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Undecidable Verification Problems for Programs with Unreliable Channels. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay |
General Decidability Theorems for Infinite-State Systems. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Joachim Parrow (eds.) |
Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings |
FTRTFT |
1996 |
DBLP BibTeX RDF |
|
| 1 | Bengt Jonsson, Joachim Parrow |
Guest Editors Foreword. |
Nord. J. Comput. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Bengt Jonsson, Yih-Kuen Tsay |
Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Lars Kempe |
Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Wang Yi |
Compositional Testing Preorders for Probabilistic Processes |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Hansson, Bengt Jonsson |
A Logic for Reasoning about Time and Reliability. |
Formal Asp. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson |
Compositional Specification and Verification of Distributed Systems. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
specification, message passing, compositionality, stepwise refinement, modular specification, assertional reasoning |
| 1 | Bengt Jonsson |
A Fully Abstract Trace Model for Dataflow and Asynchronous Networks. |
Distributed Computing |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Joachim Parrow (eds.) |
CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings |
CONCUR |
1994 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Undecidable Verification Problems for Programs with Unreliable Channels. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Blom, Bengt Jonsson, Lars Kempe |
Using temporal logic for modular specification of telephone services. |
FIW |
1994 |
DBLP BibTeX RDF |
|
| 1 | Johan Blom, Bengt Jonsson |
Constraint Oriented Temporal Logic Specification. |
Formal Systems Specification |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Sven Eriksson |
A Low Voltage Wave SI Filter Implementation using Improved Delay Elements. |
ISCAS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Wang Yi, Bengt Jonsson |
Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes. |
FSTTCS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Chris Ho-Stuart, Wang Yi |
Testing and Refinement for Nondeterministic and Probabilistic Processes. |
FTRTFT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Joachim Parrow |
Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs |
Inf. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Civalero, Bengt Jonsson, Joakim Nilsson |
Validating Simulations Between Large Nondeterministic Specifications. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Sven-Olof Nyström, Bengt Jonsson |
Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson |
Verifying Programs with Unreliable Channels |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson |
Simulations Between Specifications of Distributed Systems. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson |
Specification and Validation of a Simple Overtaking Protokol using LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Bengt Jonsson, Joost N. Kok |
Towards a Complete Hierarchy of Compositional Dataflow Models. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Kim Guldstrand Larsen |
On the Complexity of Equation Solving in Process Algebra. |
TAPSOFT, Vol.1 |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Brinksma, Bengt Jonsson, Fredrik Orava |
Refining Interfaces of Communicating Systems. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Joachim Parrow, Björn Pehrson (eds.) |
Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991 |
PSTV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Bengt Jonsson, Kim Guldstrand Larsen |
Specification and Refinement of Probabilistic Processes |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars-Åke Fredlund, Bengt Jonsson, Joachim Parrow |
An Implementation of a Translational Semantics for an Imperative Language. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson |
A Hierarchy of Compositional Models of I/O-Automata (Extended Abstract). |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Hansson, Bengt Jonsson |
A Calculus for Communicating Systems with Time and Probabitilies. |
IEEE Real-Time Systems Symposium |
1990 |
DBLP BibTeX RDF |
|
| 1 | Hans Hansson, Bengt Jonsson, Fredrik Orava, Björn Pehrson |
Specification for Verification. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
| 1 | Bengt Jonsson, Joost N. Kok |
Comparing Two Fully Abstract Dataflow Models. |
PARLE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Joachim Parrow |
Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs. |
STACS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson |
A Fully Abstract Trace Model for Dataflow Networks. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson, Ahmed Hussain Khan, Joachim Parrow |
Implementing a Model Checking Algorithm by Adapting Existing Automated Tools. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Hansson, Bengt Jonsson |
A Framework for Reasoning about Time and Reliability. |
IEEE Real-Time Systems Symposium |
1989 |
DBLP BibTeX RDF |
|
| 1 | Bengt Jonsson |
On Decomposing and Refining Specifications of Distributed Systems. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
Fair Transition System, Distributed Systems, Verification, Specification, Fairness, Refinement, Completeness, Compositionality |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")