Frits W. Vaandrager

According to our database, Frits W. Vaandrager authored at least 112 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Completeness of FSM Test Suites Reconsidered.

Frits W. Vaandrager, Paul Fiterau-Brostean, Ivo Melse

CoRR, 2024

Active Learning of Mealy Machines with Timers.

Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager

CoRR, 2024

A New Perspective on Conformance Testing Based on Apartness.

Frits W. Vaandrager

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

2023

Learning Mealy machines with one timer.

Frits W. Vaandrager, Masoud Ebrahimi, Roderick Bloem

Inf. Comput., December, 2023

Lower Bounds for Active Automata Learning.

Loes Kruger, Bharat Garhewal, Frits W. Vaandrager

Proceedings of the International Conference on Grammatical Inference, 2023

Action Codes.

Frits W. Vaandrager, Thorsten Wißmann

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Automata with Timers.

Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

2022

A Myhill-Nerode theorem for register automata and symbolic trace languages.

Frits W. Vaandrager, Abhisek Midya

Theor. Comput. Sci., 2022

A New Approach for Active Automata Learning Based on Apartness.

Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

State identification for labeled transition systems with inputs and outputs.

Petra van den Bos, Frits W. Vaandrager

Sci. Comput. Program., 2021

Active Automata Learning: from L^* to L^#.

Frits W. Vaandrager

Proceedings of the Formal Methods in Computer Aided Design, 2021

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

Proceedings of the Combinatorial Image Analysis - 20th International Workshop, 2020

Grey-Box Learning of Register Automata.

Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2019

Combining Black-Box and White-Box Techniques for Learning Register Automata.

Falk Howar, Bengt Jonsson, Frits W. Vaandrager

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Learning Unions of k-Testable Languages.

Alexis Linard, Colin de la Higuera, Frits W. Vaandrager

Proceedings of the Language and Automata Theory and Applications, 2019

Relating Alternating Relations for Conformance and Refinement.

Ramon Janssen, Frits W. Vaandrager, Jan Tretmans

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Automata Learning and Galois Connections (Invited Talk).

Frits W. Vaandrager

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018

Model Learning as a Satisfiability Modulo Theories Problem.

Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager

Proceedings of the Language and Automata Theory and Applications, 2018

Benchmarks for Automata Learning and Conformance Testing.

Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens

Proceedings of the Models, Mindsets, 2018

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

Model learning.

Frits W. Vaandrager

Commun. ACM, 2017

Model learning and model checking of SSH implementations.

Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report.

Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Enhancing Automata Learning by Log-Based Metrics.

Petra van den Bos, Rick Smetsers, Frits W. Vaandrager

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Combining Model Learning and Model Checking to Analyze TCP Implementations.

Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Generating models of infinite-state communication protocols using regular inference with abstraction.

Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager

Formal Methods Syst. Des., 2015

Learning Register Automata with Fresh Value Generation.

Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Applying Automata Learning to Embedded Control Software.

Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Improving active Mealy machine learning for protocol conformance testing.

Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer

Mach. Learn., 2014

Recreational Formal Methods: Designing Vacuum Cleaning Trajectories.

Frits W. Vaandrager, Freek Verbeek

Bull. EATCS, 2014

Algorithms for Inferring Register Automata - A Comparison of Existing Approaches.

Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning.

Rick Smetsers, Michele Volpato, Frits W. Vaandrager, Sicco Verwer

Proceedings of the 12th International Conference on Grammatical Inference, 2014

Learning Fragments of the TCP Network Protocol.

Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013

Modeling task systems using parameterized partial orders.

Fred Houben, Georgeta Igna, Frits W. Vaandrager

Int. J. Softw. Tools Technol. Transf., 2013

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.

Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012

Analysis of a clock synchronization protocol for wireless sensor networks.

Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager

Theor. Comput. Sci., 2012

Learning and Testing the Bounded Retransmission Protocol.

Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer

Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Active Learning of Extended Finite State Machines.

Frits W. Vaandrager

Proceedings of the Testing Software and Systems, 2012

Automata Learning through Counterexample Guided Abstraction Refinement.

Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager

Proceedings of the FM 2012: Formal Methods, 2012

Reconstructing Critical Paths from Execution Traces.

Martijn Hendriks, Frits W. Vaandrager

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

A Theory of History Dependent Abstractions for Learning Interface Automata.

Fides Aarts, Faranak Heidarian, Frits W. Vaandrager

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Formal specification and analysis of zeroconf using uppaalS.

Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang

ACM Trans. Embed. Comput. Syst., 2011

2010

The Theory of Timed I/O Automata, Second Edition

Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02003-2, 2010

The axiomatization of override and update.

Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager

J. Appl. Log., 2010

Fortuna: Model Checking Priced Probabilistic Timed Automata.

Jasper Berendsen, David N. Jansen, Frits W. Vaandrager

Proceedings of the QEST 2010, 2010

Verification of Printer Datapaths Using Timed Automata.

Georgeta Igna, Frits W. Vaandrager

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Inference and Abstraction of the Biometric Passport.

Fides Aarts, Julien Schmaltz, Frits W. Vaandrager

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Learning I/O Automata.

Fides Aarts, Frits W. Vaandrager

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Modelling Clock Synchronization in the Chess gMAC WSN Protocol

Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager

Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009

Adaptive Scheduling of Data Paths using Uppaal Tiga

Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager

Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009

2008

Using model checkers in an introductory course on operating systems.

Roelof Hamberg, Frits W. Vaandrager

ACM SIGOPS Oper. Syst. Rev., 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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Compositional Abstraction in Real-Time Model Checking.

Jasper Berendsen, Frits W. Vaandrager

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007

Observing Branching Structure through Probabilistic Contexts.

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

SIAM J. Comput., 2007

A testing scenario for probabilistic processes.

Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager

J. ACM, 2007

2006

The Theory of Timed I/O Automata

Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, 2006

Switched PIOA: Parallel composition via distributed scheduling.

Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Theor. Comput. Sci., 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

Analysis of a biphase mark protocol with Uppaaland PVS.

Frits W. Vaandrager, Adriaan de Groot

Formal Aspects Comput., 2006

Analysis of the zeroconf protocol using UPPAAL.

Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Specifying Urgency in Timed I/O Automata.

Biniam Gebremichael, Frits W. Vaandrager

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Deadlock Prevention in the Æthereal Protocol.

Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

A theory of normed simulations.

W. O. David Griffioen, Frits W. Vaandrager

ACM Trans. Comput. Log., 2004

Switched Probabilistic I/O Automata.

Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Hybrid I/O automata.

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Inf. Comput., 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

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Modeling and Verifying a Lego Car Using Hybrid I/O Automata.

Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

A Testing Scenario for Probabilistic Automata.

Mariëlle Stoelinga, Frits W. Vaandrager

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Adding Symmetry Reduction to Uppaal.

Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking.

Biniam Gebremichael, Frits W. Vaandrager

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Cost-Optimization of the IPv4 Zeroconf Protocol.

Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Compositionality for Probabilistic Automata.

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Proceedings of the CONCUR 2003, 2003

Bundle Event Structures and CCSP.

Rob J. van Glabbeek, Frits W. Vaandrager

Proceedings of the CONCUR 2003, 2003

2002

Linear parametric model checking of timed automata.

Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager

J. Log. Algebraic Methods Program., 2002

2001

Testing timed automata.

Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio

Theor. Comput. Sci., 2001

Hybrid I/O Automata Revisited.

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Minimum-Cost Reachability for Priced Timed Automata.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

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

Distributing Timed Model Checking - How the Search Order Matters.

Gerd Behrmann, Thomas Hune, Frits W. Vaandrager

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Verification of Hybrid Systems (abstract).

Frits W. Vaandrager

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

Root Contention in IEEE 1394.

Mariëlle Stoelinga, Frits W. Vaandrager

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998

Operational and Logical Semantics for Polling Real-Time Systems.

Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Normed Simulations.

W. O. David Griffioen, Frits W. Vaandrager

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

The Difference between Splitting in n and n+1.

Rob J. van Glabbeek, Frits W. Vaandrager

Inf. Comput., 1997

A Theory of Testing for Timed Automata (Abstract).

Frits W. Vaandrager

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

A Note on Fairness in I/O Automata.

Judi Romijn, Frits W. Vaandrager

Inf. Process. Lett., 1996

Forward and Backward Simulations, II: Timing-Based Systems.

Nancy A. Lynch, Frits W. Vaandrager

Inf. Comput., 1996

Action Transducers and Timed Automata.

Nancy A. Lynch, Frits W. Vaandrager

Formal Aspects Comput., 1996

Minimizable Timed Automata.

Jan Springintveld, Frits W. Vaandrager

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Introduction.

Frits W. Vaandrager

Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

1995

Forward and Backward Simulations: I. Untimed Systems

Nancy A. Lynch, Frits W. Vaandrager

Inf. Comput., September, 1995

Three Logics for Branching Bisimulation.

Rocco De Nicola, Frits W. Vaandrager

J. ACM, 1995

Hybrid I/O Automata.

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Verification of a Distributed Summation Algorithm.

Frits W. Vaandrager

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

Turning SOS Rules into Equations

Luca Aceto, Bard Bloom, Frits W. Vaandrager

Inf. Comput., May, 1994

Verification of an Audio Control Protocol.

Doeko Bosscher, Indra Polak, Frits W. Vaandrager

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Modular Specification of Process Algebras.

Rob J. van Glabbeek, Frits W. Vaandrager

Theor. Comput. Sci., 1993

Proof-Checking a Data Link Protocol.

Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager

Proceedings of the Types for Proofs and Programs, 1993

1992

Structured Operational Semantics and Bisimulation as a Congruence

Jan Friso Groote, Frits W. Vaandrager

Inf. Comput., October, 1992

An Algebra for Process Creation.

Jos C. M. Baeten, Frits W. Vaandrager

Acta Informatica, 1992

Expressive Results for Process Algebras.

Frits W. Vaandrager

Proceedings of the Sematics: Foundations and Applications, 1992

1991

Determinism - (Event Structure Isomorphism = Step Sequence Equivalence).

Frits W. Vaandrager

Theor. Comput. Sci., 1991

Forward and Backward Simulations for Timing-Based Systems.

Nancy A. Lynch, Frits W. Vaandrager

Proceedings of the Real-Time: Theory in Practice, 1991

On the Relationship Between Process Algebra and Input/Output Automata

Frits W. Vaandrager

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1990

Action versus State based Logics for Transition Systems.

Rocco De Nicola, Frits W. Vaandrager

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

Three Logics for Branching Bisimulation (Extended Abstract)

Rocco De Nicola, Frits W. Vaandrager

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1990

An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence.

Jan Friso Groote, Frits W. Vaandrager

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

Back and Forth Bisimulations.

Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager

Proceedings of the CONCUR '90, 1990

1989

Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract).

Jan Friso Groote, Frits W. Vaandrager

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1987

Petri Net Models for Algebraic Theories of Concurrency.

Rob J. van Glabbeek, Frits W. Vaandrager

Proceedings of the PARLE, 1987

Modular Specifications in Process Algebra with Curious Queues.

Rob J. van Glabbeek, Frits W. Vaandrager

Proceedings of the Algebraic Methods: Theory, 1987