| A logic for reasoning about time and reliability H Hansson, B Jonsson Formal aspects of computing 6, 512-535, 1994 | 1817 | 1994 |
| Model-based testing of reactive systems: advanced lectures M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Springer Science & Business Media, 2005 | 660* | 2005 |
| 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 | 600 | 1996 |
| Verifying programs with unreliable channels PA Abdulla, B Jonsson information and computation 127 (2), 91-101, 1996 | 493 | 1996 |
| Specification and refinement of probabilistic processes B Jonsson, KG Larsen Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991 | 451 | 1991 |
| Regular model checking A Bouajjani, B Jonsson, M Nilsson, T Touili Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 385 | 2000 |
| A calculus for communicating systems with time and probabilities H Hansson, B Jonsson [1990] Proceedings 11th Real-Time Systems Symposium, 278-287, 1990 | 268 | 1990 |
| 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 | 254 | 2000 |
| Optimal dynamic partial order reduction P Abdulla, S Aronis, B Jonsson, K Sagonas ACM SIGPLAN Notices 49 (1), 373-384, 2014 | 215 | 2014 |
| On-the-fly analysis of systems with unbounded, lossy FIFO channels PA Abdulla, A Bouajjani, B Jonsson CAV 98, 305-318, 1998 | 209 | 1998 |
| Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 183 | 1998 |
| A survey of regular model checking PA Abdulla, B Jonsson, M Nilsson, M Saksena CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004 | 181 | 2004 |
| Probabilistic extensions of process algebras B Jonsson, W Yi, KG Larsen Handbook of process algebra, 685-710, 2001 | 180 | 2001 |
| Stateless model checking for TSO and PSO PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas Acta Informatica 54, 789-818, 2017 | 172 | 2017 |
| Undecidable verification problems for programs with unreliable channels PA Abdulla, B Jonsson Information and Computation 130 (1), 71-90, 1996 | 157 | 1996 |
| Building timing predictable embedded systems P Axer, R Ernst, H Falk, A Girault, D Grund, N Guan, B Jonsson, ... ACM Transactions on Embedded Computing Systems (TECS) 13 (4), 1-37, 2014 | 154 | 2014 |
| Transitive closures of regular relations for verifying infinite-state systems B Jonsson, M Nilsson TACAS 1785, 220-234, 2000 | 144 | 2000 |
| A framework for reasoning about time and reliability H Hansson, B Jonsson 1989 Real-Time Systems Symposium, 102,103,104,105,106,107,108,109,110,111 …, 1989 | 144 | 1989 |
| Active learning for extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen Formal Aspects of Computing 28 (2), 233-263, 2016 | 125 | 2016 |
| On the correspondence between conformance testing and regular inference T Berg, O Grinchtein, B Jonsson, M Leucker, H Raffelt, B Steffen Fundamental Approaches to Software Engineering: 8th International Conference …, 2005 | 125 | 2005 |
