Modular Specifications in Process Algebra with Curious Queues. - Rob J. van Glabbeek; Frits W. Vaandrager (Algebraic Methods, 1987)

Petri Net Models for Algebraic Theories of Concurrency. - Rob J. van Glabbeek; Frits W. Vaandrager (PARLE (2), 1987)

Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). - Jan Friso Groote; Frits W. Vaandrager (ICALP, 1989)

Back and Forth Bisimulations. - Rocco De Nicola; Ugo Montanari; Frits W. Vaandrager (CONCUR, 1990)

An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. - Jan Friso Groote; Frits W. Vaandrager (ICALP, 1990)

Three Logics for Branching Bisimulation (Extended Abstract) - Rocco De Nicola; Frits W. Vaandrager (LICS, 1990)

Action versus State based Logics for Transition Systems. - Rocco De Nicola; Frits W. Vaandrager (Semantics of Systems of Concurrent Processes, 1990)

On the Relationship Between Process Algebra and Input/Output Automata - Frits W. Vaandrager (LICS, 1991)

Forward and Backward Simulations for Timing-Based Systems. - Nancy A. Lynch; Frits W. Vaandrager (REX Workshop, 1991)

Determinism - (Event Structure Isomorphism = Step Sequence Equivalence). - Frits W. Vaandrager (Theor. Comput. Sci., 1991)

Expressive Results for Process Algebras. - Frits W. Vaandrager (REX Workshop, 1992)

An Algebra for Process Creation. - Jos C. M. Baeten; Frits W. Vaandrager (Acta Informatica, 1992)

Structured Operational Semantics and Bisimulation as a Congruence - Jan Friso Groote; Frits W. Vaandrager (Inf. Comput., 1992)

Proof-Checking a Data Link Protocol. - Leen Helmink; M. P. A. Sellink; Frits W. Vaandrager (TYPES, 1993)

Modular Specification of Process Algebras. - Rob J. van Glabbeek; Frits W. Vaandrager (Theor. Comput. Sci., 1993)

Verification of an Audio Control Protocol. - Doeko Bosscher; Indra Polak; Frits W. Vaandrager (FTRTFT, 1994)

Turning SOS Rules into Equations - Luca Aceto; Bard Bloom; Frits W. Vaandrager (Inf. Comput., 1994)

Verification of a Distributed Summation Algorithm. - Frits W. Vaandrager (CONCUR, 1995)

Hybrid I/O Automata. - Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager; Henri B. Weinberg (Hybrid Systems, 1995)

Three Logics for Branching Bisimulation. - Rocco De Nicola; Frits W. Vaandrager (J. ACM, 1995)

Forward and Backward Simulations: I. Untimed Systems - Nancy A. Lynch; Frits W. Vaandrager (Inf. Comput., 1995)

Introduction. - Frits W. Vaandrager (European Educational Forum: School on Embedded Systems, 1996)

Minimizable Timed Automata. - Jan Springintveld; Frits W. Vaandrager (FTRTFT, 1996)

Action Transducers and Timed Automata. - Nancy A. Lynch; Frits W. Vaandrager (Formal Aspects Comput., 1996)

Forward and Backward Simulations, II: Timing-Based Systems. - Nancy A. Lynch; Frits W. Vaandrager (Inf. Comput., 1996)

A Note on Fairness in I/O Automata. - Judi Romijn; Frits W. Vaandrager (Inf. Process. Lett., 1996)

A Theory of Testing for Timed Automata (Abstract). - Frits W. Vaandrager (TAPSOFT, 1997)

The Difference between Splitting in n and n+1. - Rob J. van Glabbeek; Frits W. Vaandrager (Inf. Comput., 1997)

Normed Simulations. - W. O. David Griffioen; Frits W. Vaandrager (CAV, 1998)

Operational and Logical Semantics for Polling Real-Time Systems. - Henning Dierks; Ansgar Fehnker; Angelika Mader; Frits W. Vaandrager (FTRTFT, 1998)

Root Contention in IEEE 1394. - Mariëlle Stoelinga; Frits W. Vaandrager (ARTS, 1999)

Verification of Hybrid Systems (abstract). - Frits W. Vaandrager (ARTS, 1999)

Distributing Timed Model Checking - How the Search Order Matters. - Gerd Behrmann; Thomas Hune; Frits W. Vaandrager (CAV, 2000)

Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. - Marco Devillers; W. O. David Griffioen; Judi Romijn; Frits W. Vaandrager (Formal Methods Syst. Des., 2000)

Minimum-Cost Reachability for Priced Timed Automata. - Gerd Behrmann; Ansgar Fehnker; Thomas Hune; Kim Guldstrand Larsen; Paul Pettersson; Judi Romijn; Frits W. Vaandrager (HSCC, 2001)

Hybrid I/O Automata Revisited. - Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (HSCC, 2001)

Testing timed automata. - Jan Springintveld; Frits W. Vaandrager; Pedro R. D'Argenio (Theor. Comput. Sci., 2001)

Linear parametric model checking of timed automata. - Thomas Hune; Judi Romijn; Mariëlle Stoelinga; Frits W. Vaandrager (J. Log. Algebraic Methods Program., 2002)

Bundle Event Structures and CCSP. - Rob J. van Glabbeek; Frits W. Vaandrager (CONCUR, 2003)

Compositionality for Probabilistic Automata. - Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (CONCUR, 2003)

Cost-Optimization of the IPv4 Zeroconf Protocol. - Henrik C. Bohnenkamp; Peter van der Stok; Holger Hermanns; Frits W. Vaandrager (DSN, 2003)

Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking. - Biniam Gebremichael; Frits W. Vaandrager (FORMATS, 2003)

Adding Symmetry Reduction to Uppaal. - Martijn Hendriks; Gerd Behrmann; Kim Guldstrand Larsen; Peter Niebert; Frits W. Vaandrager (FORMATS, 2003)

A Testing Scenario for Probabilistic Automata. - Mariëlle Stoelinga; Frits W. Vaandrager (ICALP, 2003)

Modeling and Verifying a Lego Car Using Hybrid I/O Automata. - Ansgar Fehnker; Frits W. Vaandrager; Miaomiao Zhang (QSIC, 2003)

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 (RTSS, 2003)

Hybrid I/O automata. - Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (Inf. Comput., 2003)

Switched Probabilistic I/O Automata. - Ling Cheung; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (ICTAC, 2004)

A theory of normed simulations. - W. O. David Griffioen; Frits W. Vaandrager (ACM Trans. Comput. Log., 2004)

Deadlock Prevention in the Æthereal Protocol. - Biniam Gebremichael; Frits W. Vaandrager; Miaomiao Zhang; Kees Goossens; Edwin Rijpkema; Andrei Radulescu (CHARME, 2005)

Specifying Urgency in Timed I/O Automata. - Biniam Gebremichael; Frits W. Vaandrager (SEFM, 2005)

Analysis of the zeroconf protocol using UPPAAL. - Biniam Gebremichael; Frits W. Vaandrager; Miaomiao Zhang (EMSOFT, 2006)

Analysis of a biphase mark protocol with Uppaaland PVS. - Frits W. Vaandrager; Adriaan de Groot (Formal Aspects Comput., 2006)

Model checker aided design of a controller for a wafer scanner. - Martijn Hendriks; Barend van den Nieuwelaar; Frits W. Vaandrager (Int. J. Softw. Tools Technol. Transf., 2006)

Switched PIOA: Parallel composition via distributed scheduling. - Ling Cheung; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (Theor. Comput. Sci., 2006)

The Theory of Timed I/O Automata - Dilsun Kirli Kaynar; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (Morgan & Claypool Publishers, 2006)

A testing scenario for probabilistic processes. - Ling Cheung; Mariëlle Stoelinga; Frits W. Vaandrager (J. ACM, 2007)

Observing Branching Structure through Probabilistic Contexts. - Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (SIAM J. Comput., 2007)

Compositional Abstraction in Real-Time Model Checking. - Jasper Berendsen; Frits W. Vaandrager (FORMATS, 2008)

Formal Modeling and Scheduling of Datapaths of Digital Document Printers. - Georgeta Igna; Venkatesh Kannan; Yang Yang; Twan Basten; Marc Geilen; Frits W. Vaandrager; Marc Voorhoeve; Sebastian de Smet; Lou J. Somers (FORMATS, 2008)

Using model checkers in an introductory course on operating systems. - Roelof Hamberg; Frits W. Vaandrager (ACM SIGOPS Oper. Syst. Rev., 2008)

Adaptive Scheduling of Data Paths using Uppaal Tiga - Israa AlAttili; Fred Houben; Georgeta Igna; Steffen Michels; Feng Zhu 002; Frits W. Vaandrager (QFM, 2009)

Modelling Clock Synchronization in the Chess gMAC WSN Protocol - Mathijs Schuts; Feng Zhu 002; Faranak Heidarian; Frits W. Vaandrager (QFM, 2009)

Learning I/O Automata. - Fides Aarts; Frits W. Vaandrager (CONCUR, 2010)

Inference and Abstraction of the Biometric Passport. - Fides Aarts; Julien Schmaltz; Frits W. Vaandrager (ISoLA (1), 2010)

Verification of Printer Datapaths Using Timed Automata. - Georgeta Igna; Frits W. Vaandrager (ISoLA (2), 2010)

Fortuna: Model Checking Priced Probabilistic Timed Automata. - Jasper Berendsen; David N. Jansen; Frits W. Vaandrager (QEST, 2010)

The axiomatization of override and update. - Jasper Berendsen; David N. Jansen; Julien Schmaltz; Frits W. Vaandrager (J. Appl. Log., 2010)

The Theory of Timed I/O Automata, Second Edition - Dilsun Kirli Kaynar; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (Morgan & Claypool Publishers, 2010)

Formal specification and analysis of zeroconf using uppaalS. - Jasper Berendsen; Biniam Gebremichael; Frits W. Vaandrager; Miaomiao Zhang (ACM Trans. Embed. Comput. Syst., 2011)

A Theory of History Dependent Abstractions for Learning Interface Automata. - Fides Aarts; Faranak Heidarian; Frits W. Vaandrager (CONCUR, 2012)

Reconstructing Critical Paths from Execution Traces. - Martijn Hendriks; Frits W. Vaandrager (CSE, 2012)

Automata Learning through Counterexample Guided Abstraction Refinement. - Fides Aarts; Faranak Heidarian; Harco Kuppens; Petur Olsen; Frits W. Vaandrager (FM, 2012)

Active Learning of Extended Finite State Machines. - Frits W. Vaandrager (ICTSS, 2012)

Learning and Testing the Bounded Retransmission Protocol. - Fides Aarts; Harco Kuppens; Jan Tretmans; Frits W. Vaandrager; Sicco Verwer (ICGI, 2012)

Analysis of a clock synchronization protocol for wireless sensor networks. - Faranak Heidarian; Julien Schmaltz; Frits W. Vaandrager (Theor. Comput. Sci., 2012)

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. - Abdeldjalil Boudjadar; Frits W. Vaandrager; Jean-Paul Bodeveix; Mamoun Filali (FSEN, 2013)

Modeling task systems using parameterized partial orders. - Fred Houben; Georgeta Igna; Frits W. Vaandrager (Int. J. Softw. Tools Technol. Transf., 2013)

Learning Fragments of the TCP Network Protocol. - Paul Fiterau-Brostean; Ramon Janssen; Frits W. Vaandrager (FMICS, 2014)

Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning. - Rick Smetsers; Michele Volpato; Frits W. Vaandrager; Sicco Verwer (ICGI, 2014)

Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. - Fides Aarts; Falk Howar; Harco Kuppens; Frits W. Vaandrager (ISoLA (1), 2014)

Recreational Formal Methods: Designing Vacuum Cleaning Trajectories. - Frits W. Vaandrager; Freek Verbeek (Bull. EATCS, 2014)

Improving active Mealy machine learning for protocol conformance testing. - Fides Aarts; Harco Kuppens; Jan Tretmans; Frits W. Vaandrager; Sicco Verwer (Mach. Learn., 2014)

Applying Automata Learning to Embedded Control Software. - Wouter Smeenk; Joshua Moerman; Frits W. Vaandrager; David N. Jansen (ICFEM, 2015)

Learning Register Automata with Fresh Value Generation. - Fides Aarts; Paul Fiterau-Brostean; Harco Kuppens; Frits W. Vaandrager (ICTAC, 2015)

Generating models of infinite-state communication protocols using regular inference with abstraction. - Fides Aarts; Bengt Jonsson 001; Johan Uijen; Frits W. Vaandrager (Formal Methods Syst. Des., 2015)

Combining Model Learning and Model Checking to Analyze TCP Implementations. - Paul Fiterau-Brostean; Ramon Janssen; Frits W. Vaandrager (CAV (2), 2016)

Enhancing Automata Learning by Log-Based Metrics. - Petra van den Bos; Rick Smetsers; Frits W. Vaandrager (IFM, 2016)

Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. - Mathijs Schuts; Jozef Hooman; Frits W. Vaandrager (IFM, 2016)

Model learning and model checking of SSH implementations. - Paul Fiterau-Brostean; Toon Lenaerts; Erik Poll; Joeri de Ruiter; Frits W. Vaandrager; Patrick Verleg (SPIN, 2017)

Model learning. - Frits W. Vaandrager (Commun. ACM, 2017)

Learning Pairwise Disjoint Simple Languages from Positive Examples. - Alexis Linard; Rick Smetsers; Frits W. Vaandrager; Umar Waqas; Joost van Pinxten; Sicco Verwer (CoRR, 2017)

Benchmarks for Automata Learning and Conformance Testing. - Daniel Neider; Rick Smetsers; Frits W. Vaandrager; Harco Kuppens (Models, Mindsets, Meta, 2018)

Model Learning as a Satisfiability Modulo Theories Problem. - Rick Smetsers; Paul Fiterau-Brostean; Frits W. Vaandrager (LATA, 2018)

Automata Learning and Galois Connections (Invited Talk). - Frits W. Vaandrager (ICALP, 2019)

Relating Alternating Relations for Conformance and Refinement. - Ramon Janssen; Frits W. Vaandrager; Jan Tretmans (IFM, 2019)

Learning Unions of k-Testable Languages. - Alexis Linard; Colin de la Higuera; Frits W. Vaandrager (LATA, 2019)

RERS 2019: Combining Synthesis with Real-World Models. - Marc Jasper; Malte Mues; Alnis Murtovi; Maximilian Schlüter; Falk Howar; Bernhard Steffen; Markus Schordan; Dennis Hendriks; Ramon R. H. Schiffelers; Harco Kuppens; Frits W. Vaandrager (TACAS (3), 2019)

Combining Black-Box and White-Box Techniques for Learning Register Automata. - Falk Howar; Bengt Jonsson 001; Frits W. Vaandrager (Computing and Software Science, 2019)

Grey-Box Learning of Register Automata. - Bharat Garhewal; Frits W. Vaandrager; Falk Howar; Timo Schrijvers; Toon Lenaerts; Rob Smits (IFM, 2020)

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 (IWCIA, 2020)

Active Automata Learning: from L* to L#. - Frits W. Vaandrager (FMCAD, 2021)

State identification for labeled transition systems with inputs and outputs. - Petra van den Bos; Frits W. Vaandrager (Sci. Comput. Program., 2021)

A New Approach for Active Automata Learning Based on Apartness. - Frits W. Vaandrager; Bharat Garhewal; Jurriaan Rot; Thorsten Wißmann (TACAS (1), 2022)

A Myhill-Nerode theorem for register automata and symbolic trace languages. - Frits W. Vaandrager; Abhisek Midya (Theor. Comput. Sci., 2022)

Automata with Timers. - Véronique Bruyère; Guillermo A. Pérez 001; Gaëtan Staquet; Frits W. Vaandrager (FORMATS, 2023)

Action Codes. - Frits W. Vaandrager; Thorsten Wißmann (ICALP, 2023)

Lower Bounds for Active Automata Learning. - Loes Kruger; Bharat Garhewal; Frits W. Vaandrager (ICGI, 2023)

Learning Mealy machines with one timer. - Frits W. Vaandrager; Masoud Ebrahimi 002; Roderick Bloem (Inf. Comput., 2023)

A New Perspective on Conformance Testing Based on Apartness. - Frits W. Vaandrager (Logics and Type Systems in Theory and Practice, 2024)

L# for DFAs. - Frits W. Vaandrager; Martijn Sanders (Principles of Verification (3), 2024)

Active Learning of Mealy Machines with Timers. - Véronique Bruyère; Bharat Garhewal; Guillermo A. Pérez 001; Gaëtan Staquet; Frits W. Vaandrager (CoRR, 2024)

Completeness of FSM Test Suites Reconsidered. - Frits W. Vaandrager; Paul Fiterau-Brostean; Ivo Melse (CoRR, 2024)

Compositional Abstraction for Timed Systems with Broadcast Synchronization. - Hanyue Chen; Miaomiao Zhang; Frits W. Vaandrager (CAV (1), 2025)

New Fault Domains for Conformance Testing of Finite State Machines. - Frits W. Vaandrager; Ivo Melse (CONCUR, 2025)