Bengt Jonsson
Bengt Jonsson
Professor of Computer Systems, Uppsala University
Verified email at it.uu.se - Homepage
TitleCited byYear
A logic for reasoning about time and reliability
H Hansson, B Jonsson
Formal aspects of computing 6 (5), 512-535, 1994
14511994
General decidability theorems for infinite-state systems
PA Abdulla, K Cerans, B Jonsson, YK Tsay
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 313-321, 1996
5151996
Model-based testing of reactive systems
M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner
Volume 3472 of Springer LNCS, 2005
510*2005
Verifying programs with unreliable channels
PA Abdulla, B Jonsson
information and computation 127 (2), 91-101, 1996
4271996
Model-based testing of reactive systems
M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner
Volume 3472 of Springer LNCS, 2005
4242005
Specification and refinement of probabilistic processes
B Jonsson, KG Larsen
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
3721991
Regular model checking
A Bouajjani, B Jonsson, M Nilsson, T Touili
International Conference on Computer Aided Verification, 403-418, 2000
3372000
A calculus for communicating systems with time and probabilities
H Hansson, B Jonsson
[1990] Proceedings 11th Real-Time Systems Symposium, 278-287, 1990
2451990
Algorithmic analysis of programs with well quasi-ordered domains
PA Abdulla, K Čerāns, B Jonsson, YK Tsay
Information and Computation 160 (1-2), 109-127, 2000
2262000
On-the-fly analysis of systems with unbounded, lossy FIFO channels
PA Abdulla, A Bouajjani, B Jonsson
International Conference on Computer Aided Verification, 305-318, 1998
1901998
Probabilistic extensions of process algebras
B Jonsson, W Yi, KG Larsen
Handbook of process algebra, 685-710, 2001
1622001
Partial order reductions for timed systems
J Bengtsson, B Jonsson, J Lilius, W Yi
International Conference on Concurrency Theory, 485-500, 1998
1491998
Undecidable verification problems for programs with unreliable channels
PA Abdulla, B Jonsson
Information and Computation 130 (1), 71-90, 1996
1471996
A survey of regular model checking
PA Abdulla, B Jonsson, M Nilsson, M Saksena
International Conference on Concurrency Theory, 35-48, 2004
1462004
Transitive closures of regular relations for verifying infinite-state systems
B Jonsson, M Nilsson
International Conference on Tools and Algorithms for the Construction and …, 2000
1322000
Optimal dynamic partial order reduction
P Abdulla, S Aronis, B Jonsson, K Sagonas
ACM SIGPLAN Notices 49 (1), 373-384, 2014
1282014
A framework for reasoning about time and reliability
H Hansson, B Jonsson
[1989] Proceedings. Real-Time Systems Symposium, 102-111, 1989
1241989
Handling global conditions in parametrized system verification
PA Abdulla, A Bouajjani, B Jonsson, M Nilsson
International Conference on Computer Aided Verification, 134-145, 1999
1181999
Compositional specification and verification of distributed systems
B Jonsson
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (2), 259-303, 1994
1091994
Compositional verification of distributed systems.
B Jonsson
1081989
The system can't perform the operation now. Try again later.
Articles 1–20