Bengt Jonsson
发表
Bengt Jonsson,
B. Jonsson,
2004,
European Journal of Applied Physiology and Occupational Physiology.
Parosh Aziz Abdulla,
Marcus Nilsson,
Bengt Jonsson,
2002,
CONCUR.
Bengt Jonsson,
Joost N. Kok,
J. Kok,
1991,
TACS.
Bengt Jonsson,
Bernhard Steffen,
Falk Howar,
2014,
SEFM.
Parosh Aziz Abdulla,
Christel Baier,
Bengt Jonsson,
2005,
Inf. Comput..
Zohar Manna,
Bengt Jonsson,
Richard J. Waldinger,
1986,
LICS.
Parosh Aziz Abdulla,
Bengt Jonsson,
Konstantinos Sagonas,
2017,
J. ACM.
Parosh Aziz Abdulla,
Marcus Nilsson,
Bengt Jonsson,
1999,
CAV.
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2019,
NETYS.
Parosh Aziz Abdulla,
Bengt Jonsson,
Konstantinos Sagonas,
2017,
Models, Algorithms, Logics and Tools.
Parosh Aziz Abdulla,
Bengt Jonsson,
Lukás Holík,
2017,
International Journal on Software Tools for Technology Transfer.
Wang Yi,
Lothar Thiele,
Bengt Jonsson,
2008,
EMSOFT '08.
Manfred Broy,
Joost-Pieter Katoen,
Alexander Pretschner,
2005
.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Jörg Kreiker,
2010,
Quantitative and Qualitative Analysis of Network Protocols.
Bengt Jonsson,
Jörg Kreiker,
Oskar Wibling,
2008
.
Manfred Broy,
Joost-Pieter Katoen,
Alexander Pretschner,
2004,
Model-Based Testing of Reactive Systems.
Bengt Jonsson,
2006
.
Bengt Jonsson,
Gerardo Padilla,
B. Jonsson,
2001,
SDL Forum.
Bengt Jonsson,
Joachim Parrow,
B. Jonsson,
1989,
Inf. Comput..
Manfred Broy,
Joost-Pieter Katoen,
Alexander Pretschner,
2004,
Model-Based Testing of Reactive Systems.
Bengt Jonsson,
Hans Gustafsson,
H. Gustafsson,
1999
.
Bengt Jonsson,
Ed Brinksma,
Fredrik Orava,
1991,
TAPSOFT, Vol.2.
Bengt Jonsson,
2011,
SFM.
Bengt Jonsson,
Konstantinos Sagonas,
B. Jonsson,
2003
.
Bengt Jonsson,
Paul Pettersson,
Olga Grinchtein,
2006,
CONCUR.
Tiziana Margaria,
Bengt Jonsson,
Bernhard Steffen,
2001,
Nord. J. Comput..
Parosh Aziz Abdulla,
Bengt Jonsson,
Lukás Holík,
2015,
Acta Informatica.
Bengt Jonsson,
B. Jonsson,
1985,
PODC '85.
Bengt Jonsson,
Therese Bohlin,
Siavash Soleimanifard,
2010,
ISoLA.
Bengt Jonsson,
Joachim Parrow,
1995,
Nord. J. Comput..
Bengt Jonsson,
Harald Raffelt,
Therese Berg,
2008,
FASE.
Bengt Jonsson,
2006
.
Bengt Jonsson,
Martin Leucker,
Olga Grinchtein,
2010,
Theor. Comput. Sci..
Bengt Jonsson,
Joachim Parrow,
1994
.
Marcus Nilsson,
Bengt Jonsson,
B. Jonsson,
2000,
TACAS.
Bengt Jonsson,
B. Jonsson,
1994,
TOPL.
Wang Yi,
Bengt Jonsson,
W. Yi,
1999,
ARTS.
Parosh Aziz Abdulla,
Bengt Jonsson,
B. Jonsson,
2001
.
Pavol Bauer,
Bengt Jonsson,
Stefan Engblom,
2019,
ACM Trans. Model. Comput. Simul..
Parosh Aziz Abdulla,
Bengt Jonsson,
Yih-Kuen Tsay,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Pavol Bauer,
Bengt Jonsson,
Stefan Engblom,
2017,
SIGSIM-PADS.
Bengt Jonsson,
Joachim Parrow,
Björn Pehrson,
1991
.
Wang Yi,
Bengt Jonsson,
W. Yi,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Bengt Jonsson,
2004
.
Pierre Wolper,
Dov M. Gabbay,
Amir Pnueli,
1990
.
Jakob Engblom,
Bengt Jonsson,
Jakob Engblom,
2002,
EMSOFT.
Bengt Jonsson,
Jonas Jacobsson,
Hans Kallur,
1993
.
Paola Inverardi,
Bengt Jonsson,
Marta Kwiatkowska,
2012
.
Lars-Åke Fredlund,
Bengt Jonsson,
Joachim Parrow,
1990,
CONCUR.
Parosh Aziz Abdulla,
Marcus Nilsson,
Bengt Jonsson,
2004,
CAV.
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2015,
Acta Informatica.
Bengt Jonsson,
Falk Howar,
Frits Vaandrager,
2019,
Computing and Software Science.
Bengt Jonsson,
1993
.
Pavol Bauer,
Bengt Jonsson,
Stefan Engblom,
2018,
SIGSIM-PADS.
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2016,
CAV.
Bengt Jonsson,
Bernhard Steffen,
Maik Merten,
2011,
ATVA.
Marcus Nilsson,
Bengt Jonsson,
Tayssir Touili,
2000,
CAV.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Jörg Kreiker,
2010,
Quantitative and Qualitative Analysis of Network Protocols.
Bengt Jonsson,
Bernhard Steffen,
Maik Merten,
2015,
J. Log. Algebraic Methods Program..
Bengt Jonsson,
Mayank Saksena,
B. Jonsson,
2007,
CAV.
Generating models of infinite-state communication protocols using regular inference with abstraction
Bengt Jonsson,
Frits W. Vaandrager,
Fides Aarts,
2015,
Formal Methods Syst. Des..
Bengt Jonsson,
2006
.
Bengt Jonsson,
Taolue Chen,
Marta Z. Kwiatkowska,
2012,
ESOP.
Bengt Jonsson,
Lars Kempe,
B. Jonsson,
1995,
CAV.
Bengt Jonsson,
Jonatan Lindén,
Xiaoyue Pan,
2012
.
Bengt Jonsson,
Elena Fersman,
B. Jonsson,
2000,
SPIN.
Bengt Jonsson,
Linga Reddy Cenkeramaddi,
T. Holmgren,
2009
.
Parosh Aziz Abdulla,
Bengt Jonsson,
B. Jonsson,
1994,
Inf. Comput..
Bengt Jonsson,
David Klaftenegger,
Xiaoyue Pan,
2015
.
Parosh Aziz Abdulla,
Bengt Jonsson,
1996,
Inf. Comput..
Bengt Jonsson,
Martin Leucker,
Olga Grinchtein,
2004,
INFINITY.
Bengt Jonsson,
Hans A. Hansson,
H. Hansson,
1990,
Formal Aspects of Computing.
Sven-Olof Nyström,
Bengt Jonsson,
Johan Blom,
2016,
2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Parosh Aziz Abdulla,
Bengt Jonsson,
Doron A. Peled,
1998,
CAV.
Bengt Jonsson,
Werner Damm,
2002,
FTRTFT.
Wang Yi,
Bengt Jonsson,
W. Yi,
1994,
FSTTCS.
Parosh Aziz Abdulla,
Bengt Jonsson,
Konstantinos Sagonas,
2014,
POPL.
Parosh Aziz Abdulla,
Bengt Jonsson,
1996,
Inf. Comput..
Bengt Jonsson,
Bernhard Steffen,
Antonia Bertolino,
2011
.
Parosh Aziz Abdulla,
Bengt Jonsson,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Bengt Jonsson,
Georg Dipl.-Ing. Borel,
1983
.
Bengt Jonsson,
2012,
Formal Aspects of Computing.
Bengt Jonsson,
Jonatan Lindén,
2013,
OPODIS.
Bengt Jonsson,
Paul Pettersson,
Anders Hessel,
2004,
FATES.
Amir Pnueli,
Bengt Jonsson,
Mannes Poel,
1994
.
Bengt Jonsson,
B. Jonsson,
1994,
Distributed Computing.
Parosh Aziz Abdulla,
Bengt Jonsson,
Lukás Holík,
2013,
ATVA.
Bengt Jonsson,
Malte Isberner,
Amel Bennaceur,
2013,
SEFM.
Parosh Aziz Abdulla,
Bengt Jonsson,
B. Jonsson,
2001,
CONCUR.
Bengt Jonsson,
Joachim Parrow,
Björn Pehrson,
1991,
PSTV.
Bengt Jonsson,
Johan Blom,
Lars Kempe,
1994,
FIW.
Bengt Jonsson,
Yih-Kuen Tsay,
1995,
TAPSOFT.
Wang Yi,
Rolf Ernst,
Bengt Jonsson,
2014,
ACM Trans. Embed. Comput. Syst..
Parosh Aziz Abdulla,
Bengt Jonsson,
Ahmed Rezine,
2006,
CONCUR.
Bengt Jonsson,
Joachim Parrow,
Ahmed Hussain Khan,
1989,
Automatic Verification Methods for Finite State Systems.
Bengt Jonsson,
Konstantinos Sagonas,
Kjell Winblad,
2018,
SPAA.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Chris Chilton,
2014,
Sci. Comput. Program..
Bengt Jonsson,
1998
.
Bengt Jonsson,
Ke Jiang,
2009
.
Bengt Jonsson,
Joost N. Kok,
1989,
PARLE.
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2019,
Proc. ACM Program. Lang..
Manfred Broy,
Alexander Pretschner,
Bengt Jonsson,
2005
.
Bengt Jonsson,
Konstantinos Sagonas,
Stavros Aronis,
2018,
TACAS.
Bengt Jonsson,
Johan Blom,
1994,
Formal Systems Specification.
Bengt Jonsson,
Jan Nyström,
2001
.
Lars-Åke Fredlund,
Bengt Jonsson,
Patrik Ernberg,
1991,
FORTE.
Bengt Jonsson,
Bernhard Steffen,
Falk Howar,
2012,
ATVA.
Wang Yi,
Bengt Jonsson,
Johan Lilius,
1998,
CONCUR.
Bengt Jonsson,
Jonas Jacobsson,
Hans Kallur,
1993
.
Paola Inverardi,
Felicita Di Giandomenico,
Bengt Jonsson,
2011
.
Bengt Jonsson,
Xiaoyue Pan,
2015,
2015 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS).
Bengt Jonsson,
B. Jonsson,
1990,
MFCS.
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2018,
Proc. ACM Program. Lang..
Bengt Jonsson,
2009
.
Manfred Broy,
Joost-Pieter Katoen,
Alexander Pretschner,
2004,
Model-Based Testing of Reactive Systems.
Wang Yi,
Bengt Jonsson,
W. Yi,
2002,
Theor. Comput. Sci..
Bengt Jonsson,
David Little,
Helmut Brammerts,
1996
.
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2015,
TACAS.
Parosh Aziz Abdulla,
Bengt Jonsson,
Cong Quy Trinh,
2016,
SAS.
Bengt Jonsson,
Joachim Parrow,
1994,
Lecture Notes in Computer Science.
Manfred Broy,
Joost-Pieter Katoen,
Alexander Pretschner,
2004,
Model-Based Testing of Reactive Systems.
Bengt Jonsson,
Bernhard Steffen,
Malte Isberner,
2012,
ISoLA.
Pavol Bauer,
Bengt Jonsson,
Stefan Engblom,
2015,
SIGSIM-PADS.
Bengt Jonsson,
Bernhard Steffen,
Falk Howar,
2012,
VMCAI.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Chris Chilton,
2014,
Theor. Comput. Sci..
Bengt Jonsson,
Bernhard Steffen,
Maik Merten,
2012,
TACAS.
Bengt Jonsson,
Martin Leucker,
Therese Berg,
2005,
SVV@ICLP.
Bengt Jonsson,
Antonia Bertolino,
Gordon Blair,
2010
.
Bengt Jonsson,
Bernhard Steffen,
Maik Merten,
2010,
ISoLA.
Bengt Jonsson,
Roland N. Bol,
Johan Blom,
2007
.
Valérie Issarny,
Bengt Jonsson,
Justin Pearson,
2014,
SENSORNETS.
Bengt Jonsson,
Jan Nyström,
1996
.
Bengt Jonsson,
Oskar Wibling,
Mayank Saksena,
2008,
TACAS.
Parosh Aziz Abdulla,
Bengt Jonsson,
B. Jonsson,
1998,
TACAS.
State-space exploration for concurrent algorithms under weak memory orderings: (preliminary version)
Bengt Jonsson,
2009,
CARN.
Bengt Jonsson,
2006
.
Bengt Jonsson,
Johan Blom,
B. Jonsson,
2003,
ERLANG '03.
Parosh Aziz Abdulla,
Bengt Jonsson,
B. Jonsson,
2001,
Theor. Comput. Sci..
Erik Hagersten,
Håkan Grahn,
Mats Brorsson,
2008
.
Sven-Olof Nyström,
Bengt Jonsson,
B. Jonsson,
1998,
Inf. Comput..
Parosh Aziz Abdulla,
Bengt Jonsson,
Yih-Kuen Tsay,
2000,
Inf. Comput..
Manfred Broy,
Joost-Pieter Katoen,
Alexander Pretschner,
2005
.
Manfred Broy,
Joost-Pieter Katoen,
Alexander Pretschner,
2004,
Model-Based Testing of Reactive Systems.
Sven-Olof Nyström,
Bengt Jonsson,
1993,
ILPS.
Bengt Jonsson,
Harald Raffelt,
Bernhard Steffen,
2005,
FASE.
Parosh Aziz Abdulla,
Bengt Jonsson,
B. Jonsson,
1999,
Correct System Design.
Bengt Jonsson,
1991,
CONCUR.
Parosh Aziz Abdulla,
Christel Baier,
Bengt Jonsson,
2000,
CONCUR.
Bengt Jonsson,
Bernhard Steffen,
Falk Howar,
2016,
Formal Aspects of Computing.
Bengt Jonsson,
B. Jonsson,
1989,
POPL '89.
Bengt Jonsson,
Martin Leucker,
Olga Grinchtein,
2010,
Theor. Comput. Sci..
Bengt Jonsson,
Bernhard Steffen,
Falk Howar,
2018,
Machine Learning for Dynamic Software Analysis.
Bengt Jonsson,
Lukás Holík,
Malte Isberner,
2015,
Correct System Design.
Manfred Broy,
Alexander Pretschner,
Bengt Jonsson,
2004,
Model-Based Testing of Reactive Systems.
Bengt Jonsson,
Yih-Kuen Tsay,
B. Jonsson,
1996,
Theor. Comput. Sci..
Bengt Jonsson,
Xiaoyue Pan,
2014,
2014 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS).
Bengt Jonsson,
Joachim Parrow,
1989,
STACS.
Bengt Jonsson,
Hans A. Hansson,
H. Hansson,
1989,
[1989] Proceedings. Real-Time Systems Symposium.
Bengt Jonsson,
Harald Raffelt,
Therese Berg,
2006,
FASE.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Chris Chilton,
2012,
FACS.
Bengt Jonsson,
Joachim Parrow,
1994
.
Erik Hagersten,
Bertil Svensson,
Mats Brorsson,
2008
.
Parosh Aziz Abdulla,
Marcus Nilsson,
Bengt Jonsson,
2004,
CONCUR.
Parosh Aziz Abdulla,
Bengt Jonsson,
Ahmed Bouajjani,
1998,
CAV.
Bengt Jonsson,
Hans A. Hansson,
H. Hansson,
1990,
[1990] Proceedings 11th Real-Time Systems Symposium.
Manfred Broy,
Joost-Pieter Katoen,
Alexander Pretschner,
2005,
Model-Based Testing of Reactive Systems.
Parosh Aziz Abdulla,
Johann Deneux,
Bengt Jonsson,
2004
.
Parosh Aziz Abdulla,
Bengt Jonsson,
Lukás Holík,
2013,
TACAS.
Bengt Jonsson,
Kim Guldstrand Larsen,
Wentao Yi,
2001
.
Hans Hansson,
Bengt Jonsson,
Fredrik Orava,
1990,
International Symposium on Switching.
Paola Inverardi,
Felicita Di Giandomenico,
Bengt Jonsson,
2010
.
Amir Pnueli,
Bengt Jonsson,
Camilla Rump,
1999,
Distributed Computing.
Kim G. Larsen,
Bengt Jonsson,
K. Larsen,
1991,
TAPSOFT, Vol.1.
Bengt Jonsson,
Denis Horgan,
Filippo de Braud,
2017,
Biomedicine Hub.
Parosh Aziz Abdulla,
Bengt Jonsson,
Cong Quy Trinh,
2018,
ESOP.
Bengt Jonsson,
Konstantinos Sagonas,
2003,
International Journal on Software Tools for Technology Transfer.
Bengt Jonsson,
John Håkansson,
Ola Lundqvist,
2003,
International Journal on Software Tools for Technology Transfer.
Bengt Jonsson,
Joakim Nilsson,
Ricardo Civalero,
1993,
FORTE.
Bengt Jonsson,
B. Jonsson,
1989,
REX Workshop.
Bengt Jonsson,
B. Jonsson,
1987,
PODC '87.
Valérie Issarny,
Gordon S. Blair,
Radu Calinescu,
2009,
2009 14th IEEE International Conference on Engineering of Complex Computer Systems.
Parosh Aziz Abdulla,
Bengt Jonsson,
Ahmed Rezine,
2021,
Int. J. Softw. Tools Technol. Transf..
Bengt Jonsson,
Konstantinos Sagonas,
Kjell Winblad,
2021,
ACM Trans. Parallel Comput..
Bengt Jonsson,
Gustaf Naeser,
Jan Nystr om,
1999
.
Bengt Jonsson,
Falk Howar,
Sofia Cassel,
2015
.
Bengt Jonsson,
Frits Vaandrager,
F. Vaandrager,
2017
.
Bengt Jonsson,
Gustaf Naeser,
B. Jonsson,
1999
.