Comparative Semantics for a Real-Time Programming Language with Integration. - Franck van Breugel (TAPSOFT, Vol.1, 1991)

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 (MFCS, 1993)

Topological Models for Higher Ordr Control Flow. - J. W. de Bakker; Franck van Breugel (MFPS, 1993)

Three Metric Domains of Processes for Bisimulation. - Franck van Breugel (MFPS, 1993)

Generalized Finiteness Conditions of Labelled Transition Systems. - Franck van Breugel (ICALP, 1994)

A Labelled Transition Systems for pi-epsilon-Calculus. - Franck van Breugel (TAPSOFT, 1997)

Failures, finiteness and full abstraction. - Franck van Breugel (MFPS, 1997)

Comparative metric semantics of programming languages - nondeterminism and recursion. - Franck van Breugel (Birkhäuser, 1998)

Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding. - Marcello M. Bonsangue; Franck van Breugel; Jan J. M. M. Rutten (Theor. Comput. Sci., 1998)

Terminal Metric Spaces of Finitely Branching and Image Finite Linear Processes. - Franck van Breugel (Theor. Comput. Sci., 1998)

A Note on Hyperspaces and Terminal Coalgebras. - Franck van Breugel; Stephen Watson (CMCS, 1999)

From Banach to Milner: metric semantics for second order communication and concurrency. - Jaco de Bakker; Franck van Breugel (Proof, Language, and Interaction, 2000)

An Algorithm for Quantitative Verification of Probabilistic Transition Systems. - Franck van Breugel; James Worrell 001 (CONCUR, 2001)

Towards Quantitative Verification of Probabilistic Transition Systems. - Franck van Breugel; James Worrell 001 (ICALP, 2001)

An introduction to metric semantics: operational and denotational models for programming and specification languages. - Franck van Breugel (Theor. Comput. Sci., 2001)

Testing Labelled Markov Processes. - Franck van Breugel; Steven Shalit; James Worrell 001 (ICALP, 2002)

An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. - Franck van Breugel; Michael W. Mislove; Joël Ouaknine; James Worrell 001 (FoSSaCS, 2003)

De Bakker-Zucker processes revisited. - Franck van Breugel (Inf. Comput., 2004)

Modelling and verifying web service orchestration by means of the concurrency workbench. - Mariya Koshkina; Franck van Breugel (ACM SIGSOFT Softw. Eng. Notes, 2004)

Dead-Path-Elimination in BPEL4WS. - Franck van Breugel; Mariya Koshkina (ACSD, 2005)

A Behavioural Pseudometric for Metric Labelled Transition Systems. - Franck van Breugel (CONCUR, 2005)

An Accessible Approach to Behavioural Pseudometrics. - Franck van Breugel; Claudio Hermida; Michael Makkai; James Worrell 001 (ICALP, 2005)

Domain theory, testing and simulation for labelled Markov processes. - Franck van Breugel; Michael W. Mislove; Joël Ouaknine; James Worrell 001 (Theor. Comput. Sci., 2005)

A behavioural pseudometric for probabilistic transition systems. - Franck van Breugel; James Worrell 001 (Theor. Comput. Sci., 2005)

Approximating and computing behavioural distances in probabilistic transition systems. - Franck van Breugel; James Worrell 001 (Theor. Comput. Sci., 2006)

Preface. - Alessandro Aldini; Franck van Breugel (QAPL, 2007)

Recursively defined metric spaces without contraction. - Franck van Breugel; Claudio Hermida; Michael Makkai; James Worrell 001 (Theor. Comput. Sci., 2007)

Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems. - Franck van Breugel; Babita Sharma; James Worrell 001 (Log. Methods Comput. Sci., 2008)

Non-blocking binary search trees. - Faith Ellen; Panagiota Fatourou; Eric Ruppert; Franck van Breugel (PODC, 2010)

Model Checking Randomized Algorithms with Java PathFinder. - Xin Zhang; Franck van Breugel (QEST, 2010)

19th International Conference on Concurrency Theory. - Franck van Breugel; Marsha Chechik (Inf. Comput., 2010)

A Progress Measure for Explicit-State Probabilistic Model-Checkers. - Xin Zhang; Franck van Breugel (ICALP (2), 2011)

On the Complexity of Computing Probabilistic Bisimilarity. - Di Chen; Franck van Breugel; James Worrell 001 (FoSSaCS, 2012)

Measuring Progress of Probabilistic LTL Model Checking - Elise Cormie-Bowins; Franck van Breugel (QAPL, 2012)

On behavioural pseudometrics and closure ordinals. - Franck van Breugel (Inf. Process. Lett., 2012)

Towards model checking of computer games with Java PathFinder. - Nastaran Shafiei; Franck van Breugel (GAS@ICSE, 2013)

Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163]. - Franck van Breugel; Claudio Hermida; Michael Makkai; James Worrell 001 (Theor. Comput. Sci., 2013)

The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata. - Franck van Breugel; James Worrell 001 (Horizons of the Mind, 2014)

Automatic handling of native methods in Java PathFinder. - Nastaran Shafiei; Franck van Breugel (SPIN, 2014)

Computing Probabilistic Bisimilarity Distances via Policy Iteration. - Qiyi Tang 001; Franck van Breugel (CONCUR, 2016)

Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains. - Qiyi Tang 001; Franck van Breugel (CONCUR, 2017)

ArtForm: a tool for exploring the codebase of form-based websites. - Ben Spencer; Michael Benedikt; Anders Møller; Franck van Breugel (ISSTA, 2017)

Probabilistic bisimilarity distances. - Franck van Breugel (ACM SIGLOG News, 2017)

Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains. - Qiyi Tang 001; Franck van Breugel (CAV (1), 2018)

Deciding probabilistic bisimilarity distance one for probabilistic automata. - Qiyi Tang 001; Franck van Breugel (J. Comput. Syst. Sci., 2020)

Probabilistic Model Checking of Randomized Java Code. - Syyeda Zainab Fatmi; Xiang Chen; Yash Dhamija; Maeve Wildes; Qiyi Tang 001; Franck van Breugel (SPIN, 2021)

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare; Qiyi Tang 001; Franck van Breugel (Log. Methods Comput. Sci., 2021)

Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains. - Amgad Rady; Franck van Breugel (FoSSaCS, 2023)

The Java Pathfinder Workshop 2022. - Elena Sherman; Yannic Noller; Cyrille Artho; Franck van Breugel; Anto Nanah Ji; John Kellerman; Parssa Khazra; Filip Kliber; Gaurang Kudale; Pavel Parízek; Corina S. Pasareanu; Ron Pressler; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code. - Matt Walker; Parssa Khazra; Anto Nanah Ji; Hongru Wang 006; Franck van Breugel (ACM SIGSOFT Softw. Eng. Notes, 2023)

Robust Probabilistic Bisimilarity for Labelled Markov Chains. - Syyeda Zainab Fatmi; Stefan Kiefer; David Parker 001; Franck van Breugel (CAV (2), 2025)

Explainability is a Game for Probabilistic Bisimilarity Distances. - Emily Vlasman; Anto Nanah Ji; James Worrell 001; Franck van Breugel (CONCUR, 2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances. - Ruben Turkenburg; Harsh Beohar; Franck van Breugel; Clemens Kupke; Jurriaan Rot (CoRR, 2025)