| 2026 | CAV | An L | Jasper Laumen, Leonne Snel, Frits W. Vaandrager |
| 2025 | CAV | Compositional Abstraction for Timed Systems with Broadcast Synchronization. | Hanyue Chen, Miaomiao Zhang, Frits W. Vaandrager |
| 2025 | CONCUR | New Fault Domains for Conformance Testing of Finite State Machines. | Frits W. Vaandrager, Ivo Melse |
| 2023 | ICALP | Action Codes. | Frits W. Vaandrager, Thorsten Wimann |
| 2022 | TACAS | A New Approach for Active Automata Learning Based on Apartness. | Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wimann |
| 2021 | FMCAD | Active Automata Learning: from L | Frits W. Vaandrager |
| 2021 | LATA | Learning Mealy Machines with One Timer. | Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi |
| 2020 | ICTAC | A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. | Frits W. Vaandrager, Abhisek Midya |
| 2020 | IFM | Grey-Box Learning of Register Automata. | Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits |
| 2020 | IWCIA | Simulating Parallel Internal Column Contextual Array Grammars Using Two-Dimensional Parallel Restarting Automata with Multiple Windows. | Abhisek Midya, Frits W. Vaandrager, D. Gnanaraj Thomas, Chandrima Ghosh |
| 2019 | ICALP | Automata Learning and Galois Connections (Invited Talk). | Frits W. Vaandrager |
| 2019 | IFM | Relating Alternating Relations for Conformance and Refinement. | Ramon Janssen, Frits W. Vaandrager, Jan Tretmans |
| 2019 | LATA | Learning Unions of k-Testable Languages. | Alexis Linard, Colin de la Higuera, Frits W. Vaandrager |
| 2019 | TACAS | RERS 2019: Combining Synthesis with Real-World Models. | Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager |
| 2018 | LATA | Model Learning as a Satisfiability Modulo Theories Problem. | Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager |
| 2016 | CAV | Combining Model Learning and Model Checking to Analyze TCP Implementations. | Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager |
| 2016 | IFM | Enhancing Automata Learning by Log-Based Metrics. | Petra van den Bos, Rick Smetsers, Frits W. Vaandrager |
| 2016 | IFM | Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. | Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager |
| 2015 | ICFEM | Applying Automata Learning to Embedded Control Software. | Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen |
| 2015 | ICTAC | Learning Register Automata with Fresh Value Generation. | Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager |
| 2014 | FMICS | Learning Fragments of the TCP Network Protocol. | Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager |
| 2014 | ISoLA | Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. | Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager |
| 2012 | CONCUR | A Theory of History Dependent Abstractions for Learning Interface Automata. | Fides Aarts, Faranak Heidarian, Frits W. Vaandrager |
| 2012 | FM | Automata Learning through Counterexample Guided Abstraction Refinement. | Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager |
| 2012 | RTAS | Modeling Task Systems Using Parameterized Partial Orders. | Fred Houben, Georgeta Igna, Frits W. Vaandrager |
| 2010 | CONCUR | Learning I/O Automata. | Fides Aarts, Frits W. Vaandrager |
| 2010 | ISoLA | Inference and Abstraction of the Biometric Passport. | Fides Aarts, Julien Schmaltz, Frits W. Vaandrager |
| 2010 | ISoLA | Verification of Printer Datapaths Using Timed Automata. | Georgeta Igna, Frits W. Vaandrager |
| 2009 | FM | Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
| 2006 | EMSOFT | Analysis of the zeroconf protocol using UPPAAL. | Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang |
| 2005 | SEFM | Specifying Urgency in Timed I/O Automata. | Biniam Gebremichael, Frits W. Vaandrager |
| 2004 | ICTAC | Switched Probabilistic I/O Automata. | Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2004 | ISoLA | Model Checker Aided Design of a Controller for a Wafer Scanner. | Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager |
| 2003 | CONCUR | Bundle Event Structures and CCSP. | Rob J. van Glabbeek, Frits W. Vaandrager |
| 2003 | CONCUR | Compositionality for Probabilistic Automata. | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2003 | DSN | Cost-Optimization of the IPv4 Zeroconf Protocol. | Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager |
| 2003 | ICALP | A Testing Scenario for Probabilistic Automata. | Marille Stoelinga, Frits W. Vaandrager |
| 2003 | RTSS | Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2001 | TACAS | Linear Parametric Model Checking of Timed Automata. | Thomas Hune, Judi Romijn, Marille Stoelinga, Frits W. Vaandrager |
| 2000 | CAV | Distributing Timed Model Checking - How the Search Order Matters. | Gerd Behrmann, Thomas Hune, Frits W. Vaandrager |
| 1998 | CAV | Normed Simulations. | W. O. David Griffioen, Frits W. Vaandrager |
| 1995 | CONCUR | Verification of a Distributed Summation Algorithm. | Frits W. Vaandrager |
| 1992 | CONCUR | Action Transducers and Timed Automata. | Frits W. Vaandrager, Nancy A. Lynch |
| 1992 | LICS | Turning SOS Rules into Equations | Luca Aceto, Bard Bloom, Frits W. Vaandrager |
| 1991 | LICS | On the Relationship Between Process Algebra and Input/Output Automata | Frits W. Vaandrager |
| 1990 | CONCUR | Back and Forth Bisimulations. | Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager |
| 1990 | ICALP | An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. | Jan Friso Groote, Frits W. Vaandrager |
| 1990 | LICS | Three Logics for Branching Bisimulation (Extended Abstract) | Rocco De Nicola, Frits W. Vaandrager |
| 1989 | ICALP | Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). | Jan Friso Groote, Frits W. Vaandrager |