Frits W. Vaandrager

140 papers A* 10A 4B 16C 10Misc 1Journal 48Unranked 45
YearRankTypeTitle / Venue / Authors
2025 — conf
Active Learning of Mealy Machines with Timers.
QEST+FORMATS
Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2025 — conf
Compositional Abstraction for Timed Systems with Broadcast Synchronization.
CAV (1)
Hanyue Chen, Miaomiao Zhang, Frits W. Vaandrager
2025 J jnl
Compositional Abstraction for Timed Systems with Broadcast Synchronization.
CoRR
Hanyue Chen, Miaomiao Zhang, Frits W. Vaandrager
2025 B conf
New Fault Domains for Conformance Testing of Finite State Machines.
CONCUR
Frits W. Vaandrager, Ivo Melse
2025 J jnl
Systematic Evaluation of Black-Box Checking for Fast Bug Detection.
CoRR
Bram Pellen, María Belén Rodríguez, Frits W. Vaandrager, Petra van den Bos
2024 — conf
A New Perspective on Conformance Testing Based on Apartness.
Logics and Type Systems in Theory and Practice
Frits W. Vaandrager
2024 J jnl
Active Learning of Mealy Machines with Timers.
CoRR
Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2024 J jnl
Completeness of FSM Test Suites Reconsidered.
CoRR
Frits W. Vaandrager, Paul Fiterau-Brostean, Ivo Melse
2024 — conf
L
Principles of Verification (3)
Frits W. Vaandrager, Martijn Sanders
2023 A* conf
Action Codes.
ICALP
Frits W. Vaandrager, Thorsten Wißmann
2023 J jnl
Action Codes.
CoRR
Frits W. Vaandrager, Thorsten Wißmann
2023 — conf
Automata with Timers.
FORMATS
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2023 J jnl
Automata with Timers.
CoRR
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2023 J jnl
Learning Mealy machines with one timer.
Inf. Comput.
Frits W. Vaandrager, Masoud Ebrahimi, Roderick Bloem
2023 — conf
Lower Bounds for Active Automata Learning.
ICGI
Loes Kruger, Bharat Garhewal, Frits W. Vaandrager
2022 J jnl
A Myhill-Nerode theorem for register automata and symbolic trace languages.
Theor. Comput. Sci.
Frits W. Vaandrager, Abhisek Midya
2022 — conf
A New Approach for Active Automata Learning Based on Apartness.
TACAS (1)
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann
2021 J jnl
A New Approach for Active Automata Learning Based on Apartness.
CoRR
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann
2021 B conf
Active Automata Learning: from L
FMCAD
Frits W. Vaandrager
2021 C conf
Learning Mealy Machines with One Timer.
LATA
Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi
2021 J jnl
State identification for labeled transition systems with inputs and outputs.
Sci. Comput. Program.
Petra van den Bos, Frits W. Vaandrager
2020 C conf
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages.
ICTAC
Frits W. Vaandrager, Abhisek Midya
2020 J jnl
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages.
CoRR
Frits W. Vaandrager, Abhisek Midya
2020 B conf
Grey-Box Learning of Register Automata.
IFM
Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits
2020 J jnl
Grey-Box Learning of Register Automata.
CoRR
Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits
2020 C conf
Simulating Parallel Internal Column Contextual Array Grammars Using Two-Dimensional Parallel Restarting Automata with Multiple Windows.
IWCIA
Abhisek Midya, Frits W. Vaandrager, D. Gnanaraj Thomas, Chandrima Ghosh
2019 A* conf
Automata Learning and Galois Connections (Invited Talk).
ICALP
Frits W. Vaandrager
2019 — ch.
Combining Black-Box and White-Box Techniques for Learning Register Automata.
Computing and Software Science
Falk Howar, Bengt Jonsson, Frits W. Vaandrager
2019 C conf
Learning Unions of k-Testable Languages.
LATA
Alexis Linard, Colin de la Higuera, Frits W. Vaandrager
2019 — conf
RERS 2019: Combining Synthesis with Real-World Models.
TACAS (3)
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
2019 B conf
Relating Alternating Relations for Conformance and Refinement.
IFM
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
2019 J jnl
Relating Alternating Relations for Conformance and Refinement.
CoRR
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
2019 — conf
State Identification for Labeled Transition Systems with Inputs and Outputs.
FACS
Petra van den Bos, Frits W. Vaandrager
2019 J jnl
State Identification for Labeled Transition Systems with Inputs and Outputs.
CoRR
Petra van den Bos, Frits W. Vaandrager
2018 — conf
Benchmarks for Automata Learning and Conformance Testing.
Models, Mindsets, Meta
Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens
2018 J jnl
Learning Unions of k-Testable Languages.
CoRR
Alexis Linard, Colin de la Higuera, Frits W. Vaandrager
2018 C conf
Model Learning as a Satisfiability Modulo Theories Problem.
LATA
Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager
2017 J jnl
Learning Pairwise Disjoint Simple Languages from Positive Examples.
CoRR
Alexis Linard, Rick Smetsers, Frits W. Vaandrager, Umar Waqas, Joost van Pinxten, Sicco Verwer
2017 — conf
Model learning and model checking of SSH implementations.
SPIN
Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg
2017 J jnl
Model learning.
Commun. ACM
Frits W. Vaandrager
2016 — conf
Combining Model Learning and Model Checking to Analyze TCP Implementations.
CAV (2)
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager
2016 B conf
Enhancing Automata Learning by Log-Based Metrics.
IFM
Petra van den Bos, Rick Smetsers, Frits W. Vaandrager
2016 B conf
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report.
IFM
Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager
2015 C conf
Applying Automata Learning to Embedded Control Software.
ICFEM
Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen
2015 J jnl
Generating models of infinite-state communication protocols using regular inference with abstraction.
Formal Methods Syst. Des.
Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager
2015 C conf
Learning Register Automata with Fresh Value Generation.
ICTAC
Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager
2014 — conf
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches.
ISoLA (1)
Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager
2014 — conf
Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning.
ICGI
Rick Smetsers, Michele Volpato, Frits W. Vaandrager, Sicco Verwer
2014 J jnl
Improving active Mealy machine learning for protocol conformance testing.
Mach. Learn.
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
2014 C conf
Learning Fragments of the TCP Network Protocol.
FMICS
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager
2014 J jnl
Recreational Formal Methods: Designing Vacuum Cleaning Trajectories.
Bull. EATCS
Frits W. Vaandrager, Freek Verbeek
2013 — conf
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.
FSEN
Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali
2013 J jnl
Modeling task systems using parameterized partial orders.
Int. J. Softw. Tools Technol. Transf.
Fred Houben, Georgeta Igna, Frits W. Vaandrager
2012 B conf
A Theory of History Dependent Abstractions for Learning Interface Automata.
CONCUR
Fides Aarts, Faranak Heidarian, Frits W. Vaandrager
2012 C conf
Active Learning of Extended Finite State Machines.
ICTSS
Frits W. Vaandrager
2012 J jnl
Analysis of a clock synchronization protocol for wireless sensor networks.
Theor. Comput. Sci.
Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager
2012 B conf
Automata Learning through Counterexample Guided Abstraction Refinement.
FM
Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager
2012 — conf
Learning and Testing the Bounded Retransmission Protocol.
ICGI
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
2012 A conf
Modeling Task Systems Using Parameterized Partial Orders.
IEEE Real-Time and Embedded Technology and Applications Symposium
Fred Houben, Georgeta Igna, Frits W. Vaandrager
2012 — conf
Reconstructing Critical Paths from Execution Traces.
CSE
Martijn Hendriks, Frits W. Vaandrager
2011 J jnl
Formal specification and analysis of zeroconf using uppaalS.
ACM Trans. Embed. Comput. Syst.
Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang
2010 — conf
Fortuna: Model Checking Priced Probabilistic Timed Automata.
QEST
Jasper Berendsen, David N. Jansen, Frits W. Vaandrager
2010 — conf
Inference and Abstraction of the Biometric Passport.
ISoLA (1)
Fides Aarts, Julien Schmaltz, Frits W. Vaandrager
2010 B conf
Learning I/O Automata.
CONCUR
Fides Aarts, Frits W. Vaandrager
2010 — book
The Theory of Timed I/O Automata, Second Edition
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2010 J jnl
The axiomatization of override and update.
J. Appl. Log.
Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager
2010 — conf
Verification of Printer Datapaths Using Timed Automata.
ISoLA (2)
Georgeta Igna, Frits W. Vaandrager
2009 — conf
Adaptive Scheduling of Data Paths using Uppaal Tiga
QFM
Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager
2009 B conf
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks.
FM
Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager
2009 — ed.
Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
FORMATS
Joël Ouaknine, Frits W. Vaandrager
2009 — conf
Modelling Clock Synchronization in the Chess gMAC WSN Protocol
QFM
Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager
2008 — conf
Compositional Abstraction in Real-Time Model Checking.
FORMATS
Jasper Berendsen, Frits W. Vaandrager
2008 — conf
Formal Modeling and Scheduling of Datapaths of Digital Document Printers.
FORMATS
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers
2008 J jnl
Using model checkers in an introductory course on operating systems.
ACM SIGOPS Oper. Syst. Rev.
Roelof Hamberg, Frits W. Vaandrager
2007 J jnl
A testing scenario for probabilistic processes.
J. ACM
Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager
2007 J jnl
Observing Branching Structure through Probabilistic Contexts.
SIAM J. Comput.
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2006 J jnl
Analysis of a biphase mark protocol with Uppaaland PVS.
Formal Aspects Comput.
Frits W. Vaandrager, Adriaan de Groot
2006 Misc conf
Analysis of the zeroconf protocol using UPPAAL.
EMSOFT
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang
2006 J jnl
Model checker aided design of a controller for a wafer scanner.
Int. J. Softw. Tools Technol. Transf.
Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager
2006 J jnl
Switched PIOA: Parallel composition via distributed scheduling.
Theor. Comput. Sci.
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2006 — book
The Theory of Timed I/O Automata
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2005 — conf
Deadlock Prevention in the Æthereal Protocol.
CHARME
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu
2005 B conf
Specifying Urgency in Timed I/O Automata.
SEFM
Biniam Gebremichael, Frits W. Vaandrager
2004 J jnl
A theory of normed simulations.
ACM Trans. Comput. Log.
W. O. David Griffioen, Frits W. Vaandrager
2004 — conf
Model Checker Aided Design of a Controller for a Wafer Scanner.
ISoLA (Preliminary proceedings)
Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager
2004 C conf
Switched Probabilistic I/O Automata.
ICTAC
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2003 A* conf
A Testing Scenario for Probabilistic Automata.
ICALP
Mariëlle Stoelinga, Frits W. Vaandrager
2003 — conf
Adding Symmetry Reduction to Uppaal.
FORMATS
Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager
2003 B conf
Bundle Event Structures and CCSP.
CONCUR
Rob J. van Glabbeek, Frits W. Vaandrager
2003 B conf
Compositionality for Probabilistic Automata.
CONCUR
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2003 — conf
Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking.
FORMATS
Biniam Gebremichael, Frits W. Vaandrager
2003 A conf
Cost-Optimization of the IPv4 Zeroconf Protocol.
DSN
Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager
2003 J jnl
Hybrid I/O automata.
Inf. Comput.
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2003 — conf
Modeling and Verifying a Lego Car Using Hybrid I/O Automata.
QSIC
Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang
2003 A conf
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.
RTSS
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2002 J jnl
Linear parametric model checking of timed automata.
J. Log. Algebraic Methods Program.
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
2001 — conf
Hybrid I/O Automata Revisited.
HSCC
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2001 A conf
Linear Parametric Model Checking of Timed Automata.
TACAS
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
2001 — conf
Minimum-Cost Reachability for Priced Timed Automata.
HSCC
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
2001 J jnl
Testing timed automata.
Theor. Comput. Sci.
Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio
2000 J jnl
A theory of normed simulations
CoRR
W. O. David Griffioen, Frits W. Vaandrager
2000 A* conf
Distributing Timed Model Checking - How the Search Order Matters.
CAV
Gerd Behrmann, Thomas Hune, Frits W. Vaandrager
2000 J jnl
Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394.
Formal Methods Syst. Des.
Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager
1999 — ed.
Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings
HSCC
Frits W. Vaandrager, Jan H. van Schuppen
1999 — conf
Root Contention in IEEE 1394.
ARTS
Mariëlle Stoelinga, Frits W. Vaandrager
1999 — conf
Verification of Hybrid Systems (abstract).
ARTS
Frits W. Vaandrager
1998 — ed.
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996
School on Embedded Systems
Grzegorz Rozenberg, Frits W. Vaandrager
1998 A* conf
Normed Simulations.
CAV
W. O. David Griffioen, Frits W. Vaandrager
1998 — conf
Operational and Logical Semantics for Polling Real-Time Systems.
FTRTFT
Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager
1997 — conf
A Theory of Testing for Timed Automata (Abstract).
TAPSOFT
Frits W. Vaandrager
1997 J jnl
The Difference between Splitting in n and n+1.
Inf. Comput.
Rob J. van Glabbeek, Frits W. Vaandrager
1996 J jnl
A Note on Fairness in I/O Automata.
Inf. Process. Lett.
Judi Romijn, Frits W. Vaandrager
1996 J jnl
Action Transducers and Timed Automata.
Formal Aspects Comput.
Nancy A. Lynch, Frits W. Vaandrager
1996 J jnl
Forward and Backward Simulations, II: Timing-Based Systems.
Inf. Comput.
Nancy A. Lynch, Frits W. Vaandrager
1996 — conf
Introduction.
European Educational Forum: School on Embedded Systems
Frits W. Vaandrager
1996 — conf
Minimizable Timed Automata.
FTRTFT
Jan Springintveld, Frits W. Vaandrager
1995 J jnl
Forward and Backward Simulations: I. Untimed Systems
Inf. Comput.
Nancy A. Lynch, Frits W. Vaandrager
1995 — conf
Hybrid I/O Automata.
Hybrid Systems
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg
1995 J jnl
Three Logics for Branching Bisimulation.
J. ACM
Rocco De Nicola, Frits W. Vaandrager
1995 B conf
Verification of a Distributed Summation Algorithm.
CONCUR
Frits W. Vaandrager
1994 J jnl
Turning SOS Rules into Equations
Inf. Comput.
Luca Aceto, Bard Bloom, Frits W. Vaandrager
1994 — conf
Verification of an Audio Control Protocol.
FTRTFT
Doeko Bosscher, Indra Polak, Frits W. Vaandrager
1993 J jnl
Modular Specification of Process Algebras.
Theor. Comput. Sci.
Rob J. van Glabbeek, Frits W. Vaandrager
1993 — conf
Proof-Checking a Data Link Protocol.
TYPES
Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager
1992 B conf
Action Transducers and Timed Automata.
CONCUR
Frits W. Vaandrager, Nancy A. Lynch
1992 J jnl
An Algebra for Process Creation.
Acta Informatica
Jos C. M. Baeten, Frits W. Vaandrager
1992 — conf
Expressive Results for Process Algebras.
REX Workshop
Frits W. Vaandrager
1992 J jnl
Structured Operational Semantics and Bisimulation as a Congruence
Inf. Comput.
Jan Friso Groote, Frits W. Vaandrager
1992 A* conf
Turning SOS Rules into Equations
LICS
Luca Aceto, Bard Bloom, Frits W. Vaandrager
1991 J jnl
Determinism - (Event Structure Isomorphism = Step Sequence Equivalence).
Theor. Comput. Sci.
Frits W. Vaandrager
1991 — conf
Forward and Backward Simulations for Timing-Based Systems.
REX Workshop
Nancy A. Lynch, Frits W. Vaandrager
1991 A* conf
On the Relationship Between Process Algebra and Input/Output Automata
LICS
Frits W. Vaandrager
1990 — conf
Action versus State based Logics for Transition Systems.
Semantics of Systems of Concurrent Processes
Rocco De Nicola, Frits W. Vaandrager
1990 A* conf
An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence.
ICALP
Jan Friso Groote, Frits W. Vaandrager
1990 B conf
Back and Forth Bisimulations.
CONCUR
Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager
1990 J jnl
Modular specification of process algebras
Forschungsberichte, TU Munich
Rob van Glabbeek, Frits W. Vaandrager
1990 A* conf
Three Logics for Branching Bisimulation (Extended Abstract)
LICS
Rocco De Nicola, Frits W. Vaandrager
1989 A* conf
Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract).
ICALP
Jan Friso Groote, Frits W. Vaandrager
1987 — conf
Modular Specifications in Process Algebra with Curious Queues.
Algebraic Methods
Rob J. van Glabbeek, Frits W. Vaandrager
1987 — conf
Petri Net Models for Algebraic Theories of Concurrency.
PARLE (2)
Rob J. van Glabbeek, Frits W. Vaandrager