Frits W. Vaandrager

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 38

Top Venues

Publications

Frits W. Vaandrager
A New Perspective on Conformance Testing Based on Apartness. Logics and Type Systems in Theory and Practice (2024)
Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
Active Learning of Mealy Machines with Timers. CoRR (2024)
Loes Kruger, Bharat Garhewal, Frits W. Vaandrager
Lower Bounds for Active Automata Learning. ICGI (2023)
Frits W. Vaandrager, Thorsten Wißmann
Action Codes. CoRR (2023)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
Automata with Timers. CoRR (2023)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
Automata with Timers. FORMATS (2023)
Frits W. Vaandrager, Masoud Ebrahimi, Roderick Bloem
Learning Mealy machines with one timer. Inf. Comput. 295 (Part B) (2023)
Frits W. Vaandrager, Thorsten Wißmann
Action Codes. ICALP (2023)
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann
A New Approach for Active Automata Learning Based on Apartness. TACAS (1) (2022)
Frits W. Vaandrager, Abhisek Midya
A Myhill-Nerode theorem for register automata and symbolic trace languages. Theor. Comput. Sci. 912 (2022)
Petra van den Bos, Frits W. Vaandrager
State identification for labeled transition systems with inputs and outputs. Sci. Comput. Program. 209 (2021)
Frits W. Vaandrager
. FMCAD (2021)
Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi
Learning Mealy Machines with One Timer. LATA (2021)
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann
A New Approach for Active Automata Learning Based on Apartness. CoRR (2021)
Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits
Grey-Box Learning of Register Automata. IFM (2020)
Frits W. Vaandrager, Abhisek Midya
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. CoRR (2020)
Frits W. Vaandrager, Abhisek Midya
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. ICTAC (2020)
Abhisek Midya, Frits W. Vaandrager, D. Gnanaraj Thomas, Chandrima Ghosh
Simulating Parallel Internal Column Contextual Array Grammars Using Two-Dimensional Parallel Restarting Automata with Multiple Windows. IWCIA (2020)
Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits
Grey-Box Learning of Register Automata. CoRR (2020)
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
Relating Alternating Relations for Conformance and Refinement. CoRR (2019)
Frits W. Vaandrager
Automata Learning and Galois Connections (Invited Talk). ICALP (2019)
Petra van den Bos, Frits W. Vaandrager
State Identification for Labeled Transition Systems with Inputs and Outputs. CoRR (2019)
Petra van den Bos, Frits W. Vaandrager
State Identification for Labeled Transition Systems with Inputs and Outputs. FACS (2019)
Alexis Linard, Colin de la Higuera, Frits W. Vaandrager
Learning Unions of k-Testable Languages. LATA (2019)
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
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) (2019)
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
Relating Alternating Relations for Conformance and Refinement. IFM (2019)
Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager
Model Learning as a Satisfiability Modulo Theories Problem. LATA (2018)
Alexis Linard, Colin de la Higuera, Frits W. Vaandrager
Learning Unions of k-Testable Languages. CoRR (2018)
Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens
Benchmarks for Automata Learning and Conformance Testing. Models, Mindsets, Meta (2018)
Alexis Linard, Rick Smetsers, Frits W. Vaandrager, Umar Waqas, Joost van Pinxten, Sicco Verwer
Learning Pairwise Disjoint Simple Languages from Positive Examples. CoRR (2017)
Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg
Model learning and model checking of SSH implementations. SPIN (2017)
Frits W. Vaandrager
Model learning. Commun. ACM 60 (2) (2017)
Petra van den Bos, Rick Smetsers, Frits W. Vaandrager
Enhancing Automata Learning by Log-Based Metrics. IFM (2016)
Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. IFM (2016)
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager
Combining Model Learning and Model Checking to Analyze TCP Implementations. CAV (2) (2016)
Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen
Applying Automata Learning to Embedded Control Software. ICFEM (2015)
Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager
Generating models of infinite-state communication protocols using regular inference with abstraction. Formal Methods Syst. Des. 46 (1) (2015)
Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager
Learning Register Automata with Fresh Value Generation. ICTAC (2015)
Rick Smetsers, Michele Volpato, Frits W. Vaandrager, Sicco Verwer
Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning. ICGI (2014)
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
Improving active Mealy machine learning for protocol conformance testing. Mach. Learn. 96 (1-2) (2014)
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager
Learning Fragments of the TCP Network Protocol. FMICS (2014)
Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. ISoLA (1) (2014)
Frits W. Vaandrager, Freek Verbeek
Recreational Formal Methods: Designing Vacuum Cleaning Trajectories. Bull. EATCS 113 (2014)
Fred Houben, Georgeta Igna, Frits W. Vaandrager
Modeling task systems using parameterized partial orders. Int. J. Softw. Tools Technol. Transf. 15 (3) (2013)
Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. FSEN (2013)
Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager
Automata Learning through Counterexample Guided Abstraction Refinement. FM (2012)
Frits W. Vaandrager
Active Learning of Extended Finite State Machines. ICTSS (2012)
Fred Houben, Georgeta Igna, Frits W. Vaandrager
Modeling Task Systems Using Parameterized Partial Orders. IEEE Real-Time and Embedded Technology and Applications Symposium (2012)
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
Learning and Testing the Bounded Retransmission Protocol. ICGI (2012)
Martijn Hendriks, Frits W. Vaandrager
Reconstructing Critical Paths from Execution Traces. CSE (2012)
Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager
Analysis of a clock synchronization protocol for wireless sensor networks. Theor. Comput. Sci. 413 (1) (2012)
Fides Aarts, Faranak Heidarian, Frits W. Vaandrager
A Theory of History Dependent Abstractions for Learning Interface Automata. CONCUR (2012)
Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang
Formal specification and analysis of zeroconf using uppaalS. ACM Trans. Embed. Comput. Syst. 10 (3) (2011)
Fides Aarts, Julien Schmaltz, Frits W. Vaandrager
Inference and Abstraction of the Biometric Passport. ISoLA (1) (2010)
Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager
The axiomatization of override and update. J. Appl. Log. 8 (1) (2010)
Fides Aarts, Frits W. Vaandrager
Learning I/O Automata. CONCUR (2010)
Jasper Berendsen, David N. Jansen, Frits W. Vaandrager
Fortuna: Model Checking Priced Probabilistic Timed Automata. QEST (2010)
Georgeta Igna, Frits W. Vaandrager
Verification of Printer Datapaths Using Timed Automata. ISoLA (2) (2010)
Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager
Adaptive Scheduling of Data Paths using Uppaal Tiga QFM (2009)
Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. FM (2009)
Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager
Modelling Clock Synchronization in the Chess gMAC WSN Protocol QFM (2009)
Roelof Hamberg, Frits W. Vaandrager
Using model checkers in an introductory course on operating systems. ACM SIGOPS Oper. Syst. Rev. 42 (6) (2008)
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers
Formal Modeling and Scheduling of Datapaths of Digital Document Printers. FORMATS (2008)
Jasper Berendsen, Frits W. Vaandrager
Compositional Abstraction in Real-Time Model Checking. FORMATS (2008)
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Observing Branching Structure through Probabilistic Contexts. SIAM J. Comput. 37 (4) (2007)
Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager
A testing scenario for probabilistic processes. J. ACM 54 (6) (2007)
Frits W. Vaandrager, Adriaan de Groot
Analysis of a biphase mark protocol with Uppaaland PVS. Formal Aspects Comput. 18 (4) (2006)
Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager
Model checker aided design of a controller for a wafer scanner. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Switched PIOA: Parallel composition via distributed scheduling. Theor. Comput. Sci. 365 (1-2) (2006)
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang
Analysis of the zeroconf protocol using UPPAAL. EMSOFT (2006)
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu
Deadlock Prevention in the Æthereal Protocol. CHARME (2005)
Biniam Gebremichael, Frits W. Vaandrager
Specifying Urgency in Timed I/O Automata. SEFM (2005)
W. O. David Griffioen, Frits W. Vaandrager
A theory of normed simulations. ACM Trans. Comput. Log. 5 (4) (2004)
Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager
Model Checker Aided Design of a Controller for a Wafer Scanner. ISoLA (Preliminary proceedings) (2004)
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Switched Probabilistic I/O Automata. ICTAC (2004)
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Compositionality for Probabilistic Automata. CONCUR (2003)
Mariëlle Stoelinga, Frits W. Vaandrager
A Testing Scenario for Probabilistic Automata. ICALP (2003)
Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager
Adding Symmetry Reduction to Uppaal. FORMATS (2003)
Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager
Cost-Optimization of the IPv4 Zeroconf Protocol. DSN (2003)
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Hybrid I/O automata. Inf. Comput. 185 (1) (2003)
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. RTSS (2003)
Rob J. van Glabbeek, Frits W. Vaandrager
Bundle Event Structures and CCSP. CONCUR (2003)
Biniam Gebremichael, Frits W. Vaandrager
Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking. FORMATS (2003)
Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang
Modeling and Verifying a Lego Car Using Hybrid I/O Automata. QSIC (2003)
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
Linear parametric model checking of timed automata. J. Log. Algebraic Methods Program. (2002)
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
Minimum-Cost Reachability for Priced Timed Automata. HSCC (2001)
Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio
Testing timed automata. Theor. Comput. Sci. 254 (1-2) (2001)
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
Linear Parametric Model Checking of Timed Automata. TACAS (2001)
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Hybrid I/O Automata Revisited. HSCC (2001)
W. O. David Griffioen, Frits W. Vaandrager
A theory of normed simulations CoRR (2000)
Gerd Behrmann, Thomas Hune, Frits W. Vaandrager
Distributing Timed Model Checking - How the Search Order Matters. CAV (2000)
Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager
Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. Formal Methods Syst. Des. 16 (3) (2000)
Frits W. Vaandrager
Verification of Hybrid Systems (abstract). ARTS (1999)
Mariëlle Stoelinga, Frits W. Vaandrager
Root Contention in IEEE 1394. ARTS (1999)
Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager
Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT (1998)
W. O. David Griffioen, Frits W. Vaandrager
Normed Simulations. CAV (1998)
Rob J. van Glabbeek, Frits W. Vaandrager
The Difference between Splitting in n and n+1. Inf. Comput. 136 (2) (1997)
Frits W. Vaandrager
A Theory of Testing for Timed Automata (Abstract). TAPSOFT (1997)
Frits W. Vaandrager
Introduction. European Educational Forum: School on Embedded Systems (1996)
Nancy A. Lynch, Frits W. Vaandrager
Action Transducers and Timed Automata. Formal Aspects Comput. 8 (5) (1996)

Frits W. Vaandrager.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frits W. Vaandrager