The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bengt Jonsson 0001" ( http://dblp.L3S.de/Authors/Bengt_Jonsson_0001 )

URL (Homepage):  http://user.it.uu.se/~bengt  Author page on DBLP  Author page in RDF  Community of Bengt Jonsson 0001 in ASPL-2

Publication years (Num. hits)
1985-1991 (20) 1993-1995 (17) 1996-2000 (21) 2001-2003 (15) 2004-2007 (15) 2008-2012 (22) 2013-2015 (18) 2016-2018 (18) 2019-2022 (10)
Publication types (Num. hits)
article(43) incollection(2) inproceedings(106) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 32 occurrences of 26 keywords

Results
Found 157 publication records. Showing 156 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bengt Jonsson 0001, Magnus Lång, Konstantinos Sagonas Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Paul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas, Fredrik Tåquist DTLS-Fuzzer: A DTLS Protocol State Fuzzer. Search on Bibsonomy ICST The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. Search on Bibsonomy ICST The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson 0001, Ahmed Rezine Correction to: An integrated specification and verification technique for highly concurrent data structures. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Kjell Winblad, Konstantinos Sagonas, Bengt Jonsson 0001 Lock-free Contention Adapting Search Trees. Search on Bibsonomy ACM Trans. Parallel Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Paul Fiterau-Brostean, Bengt Jonsson 0001, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky Analysis of DTLS Implementations Using Protocol State Fuzzing. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2020 DBLP  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson 0001, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas Optimal stateless model checking for reads-from equivalence under sequential consistency. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jonatan Lindén, Pavol Bauer, Stefan Engblom, Bengt Jonsson 0001 Exposing Inter-process Information for Efficient PDES of Spatial Stochastic Systems on Multicores. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Falk Howar, Bengt Jonsson 0001, Frits W. Vaandrager Combining Black-Box and White-Box Techniques for Learning Register Automata. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson 0001, Tuan Phong Ngo Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial). Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson 0001, Tuan Phong Ngo Optimal stateless model checking under the release-acquire semantics. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson 0001, Tuan Phong Ngo Optimal Stateless Model Checking under the Release-Acquire Semantics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sofia Cassel, Falk Howar, Bengt Jonsson 0001, Bernhard Steffen Extending Automata Learning to Extended Finite State Machines. Search on Bibsonomy Machine Learning for Dynamic Software Analysis The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson 0001, Cong Quy Trinh Fragment Abstraction for Concurrent Shape Analysis. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonatan Lindén, Pavol Bauer, Stefan Engblom, Bengt Jonsson 0001 Fine-Grained Local Dynamic Load Balancing in PDES. Search on Bibsonomy SIGSIM-PADS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stavros Aronis, Bengt Jonsson 0001, Magnus Lång, Konstantinos Sagonas Optimal Dynamic Partial Order Reduction with Observers. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kjell Winblad, Konstantinos Sagonas, Bengt Jonsson 0001 Lock-free Contention Adapting Search Trees. Search on Bibsonomy SPAA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson 0001, Carl Leonardsson, Konstantinos Sagonas Stateless model checking for TSO and PSO. Search on Bibsonomy Acta Informatica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson 0001, Konstantinos Sagonas Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. Search on Bibsonomy J. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson 0001, Ahmed Rezine An integrated specification and verification technique for highly concurrent data structures. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson 0001, Konstantinos Sagonas Comparing Source Sets and Persistent Sets for Partial Order Reduction. Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jonatan Lindén, Pavol Bauer, Stefan Engblom, Bengt Jonsson 0001 Exposing Inter-Process Information for Efficient Parallel Discrete Event Simulation of Spatial Stochastic Systems. Search on Bibsonomy SIGSIM-PADS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson 0001, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar Verification of heap manipulating programs with ordered data by extended forest automata. Search on Bibsonomy Acta Informatica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson 0001, Carl Leonardsson Stateless Model Checking for POWER. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sofia Cassel, Falk Howar, Bengt Jonsson 0001, Bernhard Steffen Active learning for extended finite state machines. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson 0001, Carl Leonardsson Stateless Model Checking for POWER. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Johan Blom, Bengt Jonsson 0001, Sven-Olof Nyström Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing. Search on Bibsonomy ICST Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson 0001, Cong Quy Trinh Automated Verification of Linearization Policies. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sofia Cassel, Falk Howar, Bengt Jonsson 0001, Maik Merten, Bernhard Steffen A succinct canonical register automaton model. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fides Aarts, Bengt Jonsson 0001, Johan Uijen, Frits W. Vaandrager Generating models of infinite-state communication protocols using regular inference with abstraction. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson 0001, Carl Leonardsson, Konstantinos Sagonas Stateless Model Checking for TSO and PSO. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Lukás Holík, Malte Isberner, Bengt Jonsson 0001 Mediator Synthesis in a Component Algebra with Data. Search on Bibsonomy Correct System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xiaoyue Pan, Bengt Jonsson 0001 A modeling framework for reuse distance-based estimation of cache performance. Search on Bibsonomy ISPASS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pavol Bauer, Jonatan Lindén, Stefan Engblom, Bengt Jonsson 0001 Efficient Inter-Process Synchronization for Parallel Discrete Event Simulation on Multicores. Search on Bibsonomy SIGSIM-PADS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson 0001, Carl Leonardsson, Konstantinos Sagonas Stateless Model Checking for TSO and PSO. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chris Chilton, Bengt Jonsson 0001, Marta Z. Kwiatkowska An algebraic theory of interface automata. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson 0001, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi 0001 Building timing predictable embedded systems. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chris Chilton, Bengt Jonsson 0001, Marta Z. Kwiatkowska Compositional assume-guarantee reasoning for input/output component theories. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson 0001, Konstantinos Sagonas Optimal dynamic partial order reduction. Search on Bibsonomy POPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xiaoyue Pan, Bengt Jonsson 0001 Modeling cache coherence misses on multicores. Search on Bibsonomy ISPASS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Farshid Hassani Bijarbooneh, Animesh Pathak, Justin Pearson, Valérie Issarny, Bengt Jonsson 0001 A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming. Search on Bibsonomy SENSORNETS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sofia Cassel, Falk Howar, Bengt Jonsson 0001, Bernhard Steffen Learning Extended Finite State Machines. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson 0001, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson 0001, Ahmed Rezine An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jonatan Lindén, Bengt Jonsson 0001 A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention. Search on Bibsonomy OPODIS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson 0001 Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. Search on Bibsonomy SEFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso, Mayank Saksena Regular model checking for LTL(MSO). Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson 0001 Using refinement calculus techniques to prove linearizability. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson 0001 Inferring Semantic Interfaces of Data Structures. Search on Bibsonomy ISoLA (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sofia Cassel, Bengt Jonsson 0001, Falk Howar, Bernhard Steffen A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Taolue Chen, Chris Chilton, Bengt Jonsson 0001, Marta Z. Kwiatkowska A Compositional Specification Theory for Component Behaviours. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson 0001 Demonstrating Learning of Register Automata. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chris Chilton, Bengt Jonsson 0001, Marta Z. Kwiatkowska Assume-Guarantee Reasoning for Safe Component Behaviours. Search on Bibsonomy FACS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Falk Howar, Bernhard Steffen, Bengt Jonsson 0001, Sofia Cassel Inferring Canonical Register Automata. Search on Bibsonomy VMCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sofia Cassel, Falk Howar, Bengt Jonsson 0001, Maik Merten, Bernhard Steffen A Succinct Canonical Register Automaton Model. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson 0001 Learning of Automata Models Extended with Data. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Olga Grinchtein, Bengt Jonsson 0001, Martin Leucker Learning of event-recording automata. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson 0001, Jörg Kreiker, Marta Z. Kwiatkowska (eds.) Quantitative and Qualitative Analysis of Network Protocols, 31.01. - 05.02.2010 Search on Bibsonomy Quantitative and Qualitative Analysis of Network Protocols The full citation details ... 2010 DBLP  BibTeX  RDF
1Bengt Jonsson 0001, Jörg Kreiker, Marta Z. Kwiatkowska 10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols. Search on Bibsonomy Quantitative and Qualitative Analysis of Network Protocols The full citation details ... 2010 DBLP  BibTeX  RDF
1Bengt Jonsson 0001, Jörg Kreiker, Marta Z. Kwiatkowska 10051 Abstracts Collection - Quantitative and Qualitative Analysis of Network Protocols. Search on Bibsonomy Quantitative and Qualitative Analysis of Network Protocols The full citation details ... 2010 DBLP  BibTeX  RDF
1Fides Aarts, Bengt Jonsson 0001, Johan Uijen Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. Search on Bibsonomy ICTSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Falk Howar, Bengt Jonsson 0001, Maik Merten, Bernhard Steffen, Sofia Cassel On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. Search on Bibsonomy ISoLA (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Therese Bohlin, Bengt Jonsson 0001, Siavash Soleimanifard Inferring Compact Models of Communication Protocol Entities. Search on Bibsonomy ISoLA (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Valérie Issarny, Bernhard Steffen, Bengt Jonsson 0001, 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. Search on Bibsonomy ICECCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson 0001 State-space exploration for concurrent algorithms under weak memory orderings: (preliminary version). Search on Bibsonomy SIGARCH Comput. Archit. News The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson 0001, Simon Perathoner, Lothar Thiele, Wang Yi 0001 Cyclic dependencies in modular performance analysis. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fixpoint iteration, performance analysis, real-time calculus
1Mayank Saksena, Oskar Wibling, Bengt Jonsson 0001 Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Therese Berg, Bengt Jonsson 0001, Harald Raffelt Regular Inference for State Machines Using Domains with Equality Tests. Search on Bibsonomy FASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson 0001, Mayank Saksena Systematic Acceleration in Regular Model Checking. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson 0001, Ahmed Rezine, Mayank Saksena Proving Liveness by Backwards Reachability. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Olga Grinchtein, Bengt Jonsson 0001, Paul Pettersson Inference of Event-Recording Automata Using Timed Decision Trees. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Therese Berg, Bengt Jonsson 0001, Harald Raffelt Regular Inference for State Machines with Parameters. Search on Bibsonomy FASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Therese Berg, Bengt Jonsson 0001, Martin Leucker, Mayank Saksena Insights to Angluin's Learning. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson 0001 Simulating perfect channels with probabilistic lossy channels. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Bengt Jonsson 0001, 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] Search on Bibsonomy Model-Based Testing of Reactive Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Therese Berg, Olga Grinchtein, Bengt Jonsson 0001, Martin Leucker, Harald Raffelt, Bernhard Steffen On the Correspondence Between Conformance Testing and Regular Inference. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Olga Grinchtein, Bengt Jonsson 0001, Martin Leucker Inference of Timed Transition Systems. Search on Bibsonomy INFINITY The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson 0001 Using Forward Reachability Analysis for Verification of Lossy Channel Systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, automata, protocol verification, infinite-state systems
1Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso, Mayank Saksena Regular Model Checking for LTL(MSO). Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson 0001 Finite State Machines. Search on Bibsonomy Model-Based Testing of Reactive Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Johan Blom, Anders Hessel, Bengt Jonsson 0001, Paul Pettersson Specifying and Generating Test Cases Using Observer Automata. Search on Bibsonomy FATES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Mayank Saksena A Survey of Regular Model Checking. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Olga Grinchtein, Bengt Jonsson 0001, Martin Leucker Learning of Event-Recording Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson 0001 Model checking of systems with many identical timed processes. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson 0001, Konstantinos Sagonas Preface by the section editors. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Competence centers, Academia-industry collaboration, Software engineering, Embedded systems
1John Håkansson, Bengt Jonsson 0001, Ola Lundqvist Generating online test oracles from temporal logic specifications. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
1Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso Algorithmic Improvements in Regular Model Checking. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Johan Blom, Bengt Jonsson 0001 Automated test generation for industrial Erlang applications. Search on Bibsonomy Erlang Workshop The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson 0001, Wang Yi 0001 Testing preorders for probabilistic processes can be characterized by simulations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson 0001, Pritha Mahata, Julien d'Orso Regular Tree Model Checking. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jakob Engblom, Bengt Jonsson 0001 Processor Pipelines and Their Properties for Static WCET Analysis. Search on Bibsonomy EMSOFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso Regular Model Checking Made Simple and Efficient. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Werner Damm, Bengt Jonsson 0001 Eliminating Queues from RT UML Model Representations. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF RT UML, verification of infinite state systems, protocol verification, Real-time distributed systems
1Parosh Aziz Abdulla, Bengt Jonsson 0001 Ensuring completeness of symbolic verification methods for infinite-state systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson 0001, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen Incremental Requirement Specification for Evolving Systems. Search on Bibsonomy Nord. J. Comput. The full citation details ... 2001 DBLP  BibTeX  RDF
1Bengt Jonsson 0001, Wang Yi 0001, Kim G. Larsen Probabilistic Extensions of Process Algebras. Search on Bibsonomy Handbook of Process Algebra The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson 0001 Channel Representations in Protocol Verification. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson 0001, Gerardo Padilla An Execution Semantics for MSC-2000. Search on Bibsonomy SDL Forum The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson 0001, Yih-Kuen Tsay Algorithmic Analysis of Programs with Well Quasi-ordered Domains. Search on Bibsonomy Inf. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ahmed Bouajjani, Bengt Jonsson 0001, Marcus Nilsson, Tayssir Touili Regular Model Checking. Search on Bibsonomy CAV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 156 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license