| 2026 | CONCUR | On the Continuity of the Probabilistic Bisimilarity Distance. | Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel |
| 2026 | CSL | Constructing Witnesses for Lower Bounds on Behavioural Distances. | Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot |
| 2025 | CAV | Robust Probabilistic Bisimilarity for Labelled Markov Chains. | Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel |
| 2025 | CONCUR | Explainability is a Game for Probabilistic Bisimilarity Distances. | Emily Vlasman, Anto Nanah Ji, James Worrell, Franck van Breugel |
| 2023 | FOSSACS | Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains. | Amgad Rady, Franck van Breugel |
| 2019 | CONCUR | Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel |
| 2018 | CAV | Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains. | Qiyi Tang, Franck van Breugel |
| 2018 | CONCUR | Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata. | Qiyi Tang, Franck van Breugel |
| 2017 | CONCUR | Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains. | Qiyi Tang, Franck van Breugel |
| 2017 | ISSTA | ArtForm: a tool for exploring the codebase of form-based websites. | Ben Spencer, Michael Benedikt, Anders Mller, Franck van Breugel |
| 2016 | CONCUR | Computing Probabilistic Bisimilarity Distances via Policy Iteration. | Qiyi Tang, Franck van Breugel |
| 2013 | ICSE | Towards model checking of computer games with Java PathFinder. | Nastaran Shafiei, Franck van Breugel |
| 2012 | FOSSACS | On the Complexity of Computing Probabilistic Bisimilarity. | Di Chen, Franck van Breugel, James Worrell |
| 2011 | ICALP | A Progress Measure for Explicit-State Probabilistic Model-Checkers. | Xin Zhang, Franck van Breugel |
| 2010 | PODC | Non-blocking binary search trees. | Faith Ellen, Panagiota Fatourou, Eric Ruppert, Franck van Breugel |
| 2007 | FOSSACS | Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. | Franck van Breugel, Babita Sharma, James Worrell |
| 2005 | CONCUR | A Behavioural Pseudometric for Metric Labelled Transition Systems. | Franck van Breugel |
| 2005 | ICALP | An Accessible Approach to Behavioural Pseudometrics. | Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell |
| 2003 | FOSSACS | An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. | Franck van Breugel, Michael W. Mislove, Jol Ouaknine, James Worrell |
| 2002 | ICALP | Testing Labelled Markov Processes. | Franck van Breugel, Steven Shalit, James Worrell |
| 2001 | CONCUR | An Algorithm for Quantitative Verification of Probabilistic Transition Systems. | Franck van Breugel, James Worrell |
| 2001 | ICALP | Towards Quantitative Verification of Probabilistic Transition Systems. | Franck van Breugel, James Worrell |
| 1994 | ICALP | Generalized Finiteness Conditions of Labelled Transition Systems. | Franck van Breugel |
| 1993 | MFCS | Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. | J. W. de Bakker, Franck van Breugel, Arie de Bruin |
| 1993 | MFPS | Topological Models for Higher Ordr Control Flow. | J. W. de Bakker, Franck van Breugel |
| 1993 | MFPS | Three Metric Domains of Processes for Bisimulation. | Franck van Breugel |