Franck van Breugel

63 papers A* 5A 1B 17Journal 22Unranked 15
YearRankTypeTitle / Venue / Authors
2026 B conf
Constructing Witnesses for Lower Bounds on Behavioural Distances.
CSL
Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot
2025 J jnl
Constructing Witnesses for Lower Bounds on Behavioural Distances.
CoRR
Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot
2025 B conf
Explainability is a Game for Probabilistic Bisimilarity Distances.
CONCUR
Emily Vlasman, Anto Nanah Ji, James Worrell, Franck van Breugel
2025 — conf
Robust Probabilistic Bisimilarity for Labelled Markov Chains.
CAV (2)
Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel
2025 J jnl
Robust Probabilistic Bisimilarity for Labelled Markov Chains.
CoRR
Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel
2023 B conf
Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains.
FoSSaCS
Amgad Rady, Franck van Breugel
2023 J jnl
The Java Pathfinder Workshop 2022.
ACM SIGSOFT Softw. Eng. Notes
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, Matt Walker, Hongru Wang, Qiuchen Yan
2023 J jnl
jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code.
ACM SIGSOFT Softw. Eng. Notes
Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang, Franck van Breugel
2021 J jnl
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.
Log. Methods Comput. Sci.
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2021 — conf
Probabilistic Model Checking of Randomized Java Code.
SPIN
Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, Franck van Breugel
2020 J jnl
Deciding probabilistic bisimilarity distance one for probabilistic automata.
J. Comput. Syst. Sci.
Qiyi Tang, Franck van Breugel
2019 B conf
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.
CONCUR
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2019 J jnl
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.
CoRR
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2018 — conf
Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains.
CAV (1)
Qiyi Tang, Franck van Breugel
2018 B conf
Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata.
CONCUR
Qiyi Tang, Franck van Breugel
2017 B conf
Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains.
CONCUR
Qiyi Tang, Franck van Breugel
2017 A conf
ArtForm: a tool for exploring the codebase of form-based websites.
ISSTA
Ben Spencer, Michael Benedikt, Anders Møller, Franck van Breugel
2017 J jnl
Probabilistic bisimilarity distances.
ACM SIGLOG News
Franck van Breugel
2016 B conf
Computing Probabilistic Bisimilarity Distances via Policy Iteration.
CONCUR
Qiyi Tang, Franck van Breugel
2014 — conf
Automatic handling of native methods in Java PathFinder.
SPIN
Nastaran Shafiei, Franck van Breugel
2014 — ed.
Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Horizons of the Mind
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
2014 — conf
The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata.
Horizons of the Mind
Franck van Breugel, James Worrell
2013 J jnl
Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163].
Theor. Comput. Sci.
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
2013 — conf
Towards model checking of computer games with Java PathFinder.
GAS@ICSE
Nastaran Shafiei, Franck van Breugel
2012 — conf
Measuring Progress of Probabilistic LTL Model Checking
QAPL
Elise Cormie-Bowins, Franck van Breugel
2012 J jnl
On behavioural pseudometrics and closure ordinals.
Inf. Process. Lett.
Franck van Breugel
2012 B conf
On the Complexity of Computing Probabilistic Bisimilarity.
FoSSaCS
Di Chen, Franck van Breugel, James Worrell
2011 — conf
A Progress Measure for Explicit-State Probabilistic Model-Checkers.
ICALP (2)
Xin Zhang, Franck van Breugel
2010 J jnl
19th International Conference on Concurrency Theory.
Inf. Comput.
Franck van Breugel, Marsha Chechik
2010 — conf
Model Checking Randomized Algorithms with Java PathFinder.
QEST
Xin Zhang, Franck van Breugel
2010 A* conf
Non-blocking binary search trees.
PODC
Faith Ellen, Panagiota Fatourou, Eric Ruppert, Franck van Breugel
2008 J jnl
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
CoRR
Franck van Breugel, Babita Sharma, James Worrell
2008 J jnl
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems.
Log. Methods Comput. Sci.
Franck van Breugel, Babita Sharma, James Worrell
2008 B ed.
CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
CONCUR
Franck van Breugel, Marsha Chechik
2007 B conf
Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems.
FoSSaCS
Franck van Breugel, Babita Sharma, James Worrell
2007 — conf
Preface.
QAPL
Alessandro Aldini, Franck van Breugel
2007 — ed.
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, Braga, Portugal, March 24-25, 2007
QAPL
Alessandro Aldini, Franck van Breugel
2007 J jnl
Recursively defined metric spaces without contraction.
Theor. Comput. Sci.
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
2006 J jnl
Approximating and computing behavioural distances in probabilistic transition systems.
Theor. Comput. Sci.
Franck van Breugel, James Worrell
2005 B conf
A Behavioural Pseudometric for Metric Labelled Transition Systems.
CONCUR
Franck van Breugel
2005 J jnl
A behavioural pseudometric for probabilistic transition systems.
Theor. Comput. Sci.
Franck van Breugel, James Worrell
2005 A* conf
An Accessible Approach to Behavioural Pseudometrics.
ICALP
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
2005 — conf
Dead-Path-Elimination in BPEL4WS.
ACSD
Franck van Breugel, Mariya Koshkina
2005 J jnl
Domain theory, testing and simulation for labelled Markov processes.
Theor. Comput. Sci.
Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
2004 J jnl
De Bakker-Zucker processes revisited.
Inf. Comput.
Franck van Breugel
2004 J jnl
Modelling and verifying web service orchestration by means of the concurrency workbench.
ACM SIGSOFT Softw. Eng. Notes
Mariya Koshkina, Franck van Breugel
2003 B conf
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity.
FoSSaCS
Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
2002 A* conf
Testing Labelled Markov Processes.
ICALP
Franck van Breugel, Steven Shalit, James Worrell
2001 B conf
An Algorithm for Quantitative Verification of Probabilistic Transition Systems.
CONCUR
Franck van Breugel, James Worrell
2001 J jnl
An introduction to metric semantics: operational and denotational models for programming and specification languages.
Theor. Comput. Sci.
Franck van Breugel
2001 A* conf
Towards Quantitative Verification of Probabilistic Transition Systems.
ICALP
Franck van Breugel, James Worrell
2000 — conf
From Banach to Milner: metric semantics for second order communication and concurrency.
Proof, Language, and Interaction
Jaco de Bakker, Franck van Breugel
1999 — conf
A Note on Hyperspaces and Terminal Coalgebras.
CMCS
Franck van Breugel, Stephen Watson
1998 — book
Comparative metric semantics of programming languages - nondeterminism and recursion.
Franck van Breugel
1998 J jnl
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding.
Theor. Comput. Sci.
Marcello M. Bonsangue, Franck van Breugel, Jan J. M. M. Rutten
1998 J jnl
Terminal Metric Spaces of Finitely Branching and Image Finite Linear Processes.
Theor. Comput. Sci.
Franck van Breugel
1997 — conf
A Labelled Transition Systems for pi-epsilon-Calculus.
TAPSOFT
Franck van Breugel
1997 B conf
Failures, finiteness and full abstraction.
MFPS
Franck van Breugel
1994 A* conf
Generalized Finiteness Conditions of Labelled Transition Systems.
ICALP
Franck van Breugel
1993 B conf
Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands.
MFCS
J. W. de Bakker, Franck van Breugel, Arie de Bruin
1993 B conf
Three Metric Domains of Processes for Bisimulation.
MFPS
Franck van Breugel
1993 B conf
Topological Models for Higher Ordr Control Flow.
MFPS
J. W. de Bakker, Franck van Breugel
1991 — conf
Comparative Semantics for a Real-Time Programming Language with Integration.
TAPSOFT, Vol.1
Franck van Breugel