A logic for reasoning about time and reliability H Hansson, B Jonsson Formal aspects of computing 6 (5), 512-535, 1994 | 1519 | 1994 |

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 | 538 | 1996 |

Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005 | 536* | 2005 |

Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005 | 466 | 2005 |

Verifying programs with unreliable channels PA Abdulla, B Jonsson information and computation 127 (2), 91-101, 1996 | 436 | 1996 |

Specification and refinement of probabilistic processes B Jonsson, KG Larsen [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991 | 390 | 1991 |

Regular model checking A Bouajjani, B Jonsson, M Nilsson, T Touili International Conference on Computer Aided Verification, 403-418, 2000 | 351 | 2000 |

A calculus for communicating systems with time and probabilities H Hansson, B Jonsson [1990] Proceedings 11th Real-Time Systems Symposium, 278-287, 1990 | 254 | 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 | 235 | 2000 |

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 | 186 | 1998 |

Probabilistic extensions of process algebras B Jonsson, W Yi, KG Larsen Handbook of process algebra, 685-710, 2001 | 163 | 2001 |

Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi International Conference on Concurrency Theory, 485-500, 1998 | 155 | 1998 |

A survey of regular model checking PA Abdulla, B Jonsson, M Nilsson, M Saksena International Conference on Concurrency Theory, 35-48, 2004 | 154 | 2004 |

Optimal dynamic partial order reduction P Abdulla, S Aronis, B Jonsson, K Sagonas ACM SIGPLAN Notices 49 (1), 373-384, 2014 | 152 | 2014 |

Undecidable verification problems for programs with unreliable channels PA Abdulla, B Jonsson Information and Computation 130 (1), 71-90, 1996 | 144 | 1996 |

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 | 135 | 2000 |

A framework for reasoning about time and reliability H Hansson, B Jonsson [1989] Proceedings. Real-Time Systems Symposium, 102-111, 1989 | 126 | 1989 |

Handling global conditions in parametrized system verification PA Abdulla, A Bouajjani, B Jonsson, M Nilsson International Conference on Computer Aided Verification, 134-145, 1999 | 118 | 1999 |

Compositional specification and verification of distributed systems B Jonsson ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (2), 259-303, 1994 | 109 | 1994 |

Stateless model checking for TSO and PSO PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas Acta Informatica 54 (8), 789-818, 2017 | 105 | 2017 |