default search action

combined dblp search
author search
venue search
publication search

ask others

Frits W. Vaandrager

> Home > Persons

Person information

affiliation: Radboud University, Nijmegen, The Netherlands

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2010
[b2]
- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2010Kaynar
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2010Kaynar
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
The Theory of Timed I/O Automata, Second Edition. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2010, ISBN 978-3-031-00875-7
2006
[b1]
- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2006Kaynar
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2006Kaynar
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
The Theory of Timed I/O Automata. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2006

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/VaandragerEB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/VaandragerEB23
Frits W. Vaandrager, Masoud Ebrahimi, Roderick Bloem:
Learning Mealy machines with one timer. Inf. Comput. 295(Part A): 105013 (2023)
2022
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/VaandragerM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/VaandragerM22
Frits W. Vaandrager, Abhisek Midya:
A Myhill-Nerode theorem for register automata and symbolic trace languages. Theor. Comput. Sci. 912: 37-55 (2022)
2021
[j31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BosV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BosV21
Petra van den Bos, Frits W. Vaandrager:
State identification for labeled transition systems with inputs and outputs. Sci. Comput. Program. 209: 102678 (2021)
2017
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vaandrager17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vaandrager17
Frits W. Vaandrager:
Model learning. Commun. ACM 60(2): 86-95 (2017)
2015
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AartsJUV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AartsJUV15
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): 1-41 (2015)
2014
[j28]
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/VaandragerV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/VaandragerV14
Frits W. Vaandrager, Freek Verbeek:
Recreational Formal Methods: Designing Vacuum Cleaning Trajectories. Bull. EATCS 113 (2014)
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ml/AartsKTVV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ml/AartsKTVV14
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): 189-224 (2014)
2013
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HoubenIV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HoubenIV13
Fred Houben, Georgeta Igna, Frits W. Vaandrager:
Modeling task systems using parameterized partial orders. Int. J. Softw. Tools Technol. Transf. 15(3): 269-286 (2013)
2012
[j25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HeidarianSV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HeidarianSV12
Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager:
Analysis of a clock synchronization protocol for wireless sensor networks. Theor. Comput. Sci. 413(1): 87-105 (2012)
2011
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/BerendsenGVZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/BerendsenGVZ11
Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang:
Formal specification and analysis of zeroconf using uppaalS. ACM Trans. Embed. Comput. Syst. 10(3): 34:1-34:32 (2011)
2010
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/BerendsenJSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/BerendsenJSV10
Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager:
The axiomatization of override and update. J. Appl. Log. 8(1): 141-150 (2010)
2008
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/HambergV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/HambergV08
Roelof Hamberg, Frits W. Vaandrager:
Using model checkers in an introductory course on operating systems. ACM SIGOPS Oper. Syst. Rev. 42(6): 101-111 (2008)
2007
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/CheungSV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/CheungSV07
Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager:
A testing scenario for probabilistic processes. J. ACM 54(6): 29 (2007)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/LynchSV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/LynchSV07
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
Observing Branching Structure through Probabilistic Contexts. SIAM J. Comput. 37(4): 977-1013 (2007)
2006
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/VaandragerG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/VaandragerG06
Frits W. Vaandrager, Adriaan de Groot:
Analysis of a biphase mark protocol with Uppaaland PVS. Formal Aspects Comput. 18(4): 433-458 (2006)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HendriksNV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HendriksNV06
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): 633-647 (2006)
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CheungLSV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CheungLSV06
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
Switched PIOA: Parallel composition via distributed scheduling. Theor. Comput. Sci. 365(1-2): 83-108 (2006)
2004
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/GriffioenV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/GriffioenV04
W. O. David Griffioen, Frits W. Vaandrager:
A theory of normed simulations. ACM Trans. Comput. Log. 5(4): 577-610 (2004)
2003
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LynchSV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LynchSV03
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
Hybrid I/O automata. Inf. Comput. 185(1): 105-157 (2003)
2002
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/HuneRSV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HuneRSV02
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager:
Linear parametric model checking of timed automata. J. Log. Algebraic Methods Program. 52-53: 183-220 (2002)
2001
[j13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SpringintveldVD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SpringintveldVD01
Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio:
Testing timed automata. Theor. Comput. Sci. 254(1-2): 225-257 (2001)
2000
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DevillersGRV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DevillersGRV00
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): 307-320 (2000)
1997
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GlabbeekV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GlabbeekV97
Rob J. van Glabbeek, Frits W. Vaandrager:
The Difference between Splitting in n and n+1. Inf. Comput. 136(2): 109-142 (1997)
1996
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/LynchV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/LynchV96
Nancy A. Lynch, Frits W. Vaandrager:
Action Transducers and Timed Automata. Formal Aspects Comput. 8(5): 499-538 (1996)
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LynchV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LynchV96
Nancy A. Lynch, Frits W. Vaandrager:
Forward and Backward Simulations, II: Timing-Based Systems. Inf. Comput. 128(1): 1-25 (1996)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/RomijnV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/RomijnV96
Judi Romijn, Frits W. Vaandrager:
A Note on Fairness in I/O Automata. Inf. Process. Lett. 59(5): 245-250 (1996)
1995
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LynchV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LynchV95
Nancy A. Lynch, Frits W. Vaandrager:
Forward and Backward Simulations: I. Untimed Systems. Inf. Comput. 121(2): 214-233 (1995)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/NicolaV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/NicolaV95
Rocco De Nicola, Frits W. Vaandrager:
Three Logics for Branching Bisimulation. J. ACM 42(2): 458-487 (1995)
1994
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AcetoBV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AcetoBV94
Luca Aceto, Bard Bloom, Frits W. Vaandrager:
Turning SOS Rules into Equations. Inf. Comput. 111(1): 1-52 (1994)
1993
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GlabbeekV93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GlabbeekV93
Rob J. van Glabbeek, Frits W. Vaandrager:
Modular Specification of Process Algebras. Theor. Comput. Sci. 113(2): 293-348 (1993)
1992
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BaetenV92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BaetenV92
Jos C. M. Baeten, Frits W. Vaandrager:
An Algebra for Process Creation. Acta Informatica 29(4): 303-334 (1992)
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GrooteV92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GrooteV92
Jan Friso Groote, Frits W. Vaandrager:
Structured Operational Semantics and Bisimulation as a Congruence. Inf. Comput. 100(2): 202-260 (1992)
1991
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Vaandrager91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Vaandrager91
Frits W. Vaandrager:
Determinism - (Event Structure Isomorphism = Step Sequence Equivalence). Theor. Comput. Sci. 79(2): 275-294 (1991)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c86]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChenZV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChenZV25
Hanyue Chen, Miaomiao Zhang, Frits W. Vaandrager:
Compositional Abstraction for Timed Systems with Broadcast Synchronization. CAV (1) 2025: 162-184
[c85]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/VaandragerM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/VaandragerM25
Frits W. Vaandrager, Ivo Melse:
New Fault Domains for Conformance Testing of Finite State Machines. CONCUR 2025: 34:1-34:22
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/qestformats/BruyereGPSV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qestformats/BruyereGPSV25
Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager:
Active Learning of Mealy Machines with Timers. QEST+FORMATS 2025: 42-61
2024
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/VaandragerS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/VaandragerS25
Frits W. Vaandrager, Martijn Sanders:
L^# for DFAs. Principles of Verification (3) 2024: 155-172
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Vaandrager24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Vaandrager24
Frits W. Vaandrager:
A New Perspective on Conformance Testing Based on Apartness. Logics and Type Systems in Theory and Practice 2024: 225-240
2023
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BruyerePSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BruyerePSV23
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager:
Automata with Timers. FORMATS 2023: 33-49
[c80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/VaandragerW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/VaandragerW23
Frits W. Vaandrager, Thorsten Wißmann:
Action Codes. ICALP 2023: 137:1-137:20
[c79]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - conf/icgi/KrugerGV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi/KrugerGV23
Loes Kruger, Bharat Garhewal, Frits W. Vaandrager:
Lower Bounds for Active Automata Learning. ICGI 2023: 157-180
2022
[c78]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/VaandragerGRW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/VaandragerGRW22
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann:
A New Approach for Active Automata Learning Based on Apartness. TACAS (1) 2022: 223-243
2021
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/Vaandrager21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/Vaandrager21
Frits W. Vaandrager:
Active Automata Learning: from L^* to L^#. FMCAD 2021: 1
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/VaandragerB021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/VaandragerB021
Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi:
Learning Mealy Machines with One Timer. LATA 2021: 157-170
2020
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/VaandragerM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/VaandragerM20
Frits W. Vaandrager, Abhisek Midya:
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. ICTAC 2020: 43-63
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/GarhewalVHSLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/GarhewalVHSLS20
Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits:
Grey-Box Learning of Register Automata. IFM 2020: 22-40
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/iwcia/MidyaVTG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwcia/MidyaVTG20
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: 106-122
2019
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BosV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BosV19
Petra van den Bos, Frits W. Vaandrager:
State Identification for Labeled Transition Systems with Inputs and Outputs. FACS 2019: 191-212
[c71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/Vaandrager19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Vaandrager19
Frits W. Vaandrager:
Automata Learning and Galois Connections (Invited Talk). ICALP 2019: 4:1-4:1
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/JanssenVT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/JanssenVT19
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans:
Relating Alternating Relations for Conformance and Refinement. IFM 2019: 246-264
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/LinardHV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/LinardHV19
Alexis Linard, Colin de la Higuera, Frits W. Vaandrager:
Learning Unions of k-Testable Languages. LATA 2019: 328-339
[c68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JasperMMSHSSHSK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JasperMMSHSSHSK19
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: 101-115
2018
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NeiderSVK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NeiderSVK97
Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens:
Benchmarks for Automata Learning and Conformance Testing. Models, Mindsets, Meta 2018: 390-416
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/SmetsersFV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/SmetsersFV18
Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager:
Model Learning as a Satisfiability Modulo Theories Problem. LATA 2018: 182-194
2017
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Fiterau-Brostean17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Fiterau-Brostean17
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: 142-151
2016
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Fiterau-Brostean16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Fiterau-Brostean16
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager:
Combining Model Learning and Model Checking to Analyze TCP Implementations. CAV (2) 2016: 454-471
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BosSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BosSV16
Petra van den Bos, Rick Smetsers, Frits W. Vaandrager:
Enhancing Automata Learning by Log-Based Metrics. IFM 2016: 295-310
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SchutsHV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SchutsHV16
Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager:
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. IFM 2016: 311-325
2015
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SmeenkMVJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SmeenkMVJ15
Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen:
Applying Automata Learning to Embedded Control Software. ICFEM 2015: 67-83
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/AartsFKV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/AartsFKV15
Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager:
Learning Register Automata with Fresh Value Generation. ICTAC 2015: 165-183
2014
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Fiterau-BrosteanJV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Fiterau-BrosteanJV14
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager:
Learning Fragments of the TCP Network Protocol. FMICS 2014: 78-93
[c58]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - conf/icgi/SmetsersVVV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi/SmetsersVVV14
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: 167-181
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AartsHKV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AartsHKV14
Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager:
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. ISoLA (1) 2014: 202-219
2013
[c56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsen/BoudjadarVBF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BoudjadarVBF13
Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali:
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. FSEN 2013: 111-132
2012
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AartsHV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AartsHV12
Fides Aarts, Faranak Heidarian, Frits W. Vaandrager:
A Theory of History Dependent Abstractions for Learning Interface Automata. CONCUR 2012: 240-255
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/cse/HendriksV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cse/HendriksV12
Martijn Hendriks, Frits W. Vaandrager:
Reconstructing Critical Paths from Execution Traces. CSE 2012: 524-531
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AartsHKOV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AartsHKOV12
Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager:
Automata Learning through Counterexample Guided Abstraction Refinement. FM 2012: 10-27
[c52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/pts/Vaandrager12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/Vaandrager12
Frits W. Vaandrager:
Active Learning of Extended Finite State Machines. ICTSS 2012: 5-7
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/HoubenIV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/HoubenIV12
Fred Houben, Georgeta Igna, Frits W. Vaandrager:
Modeling Task Systems Using Parameterized Partial Orders. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 317-327
[c50]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - journals/jmlr/AartsKTVV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jmlr/AartsKTVV12
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer:
Learning and Testing the Bounded Retransmission Protocol. ICGI 2012: 4-18
2010
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AartsV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AartsV10
Fides Aarts, Frits W. Vaandrager:
Learning I/O Automata. CONCUR 2010: 71-85
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/IgnaV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/IgnaV10
Georgeta Igna, Frits W. Vaandrager:
Verification of Printer Datapaths Using Timed Automata. ISoLA (2) 2010: 412-423
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AartsSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AartsSV10
Fides Aarts, Julien Schmaltz, Frits W. Vaandrager:
Inference and Abstraction of the Biometric Passport. ISoLA (1) 2010: 673-686
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BerendsenJV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BerendsenJV10
Jasper Berendsen, David N. Jansen, Frits W. Vaandrager:
Fortuna: Model Checking Priced Probabilistic Timed Automata. QEST 2010: 273-281
2009
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HeidarianSV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HeidarianSV09
Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager:
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. FM 2009: 516-531
[c44]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-1897
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-1897
Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager:
Adaptive Scheduling of Data Paths using Uppaal Tiga. QFM 2009: 1-11
[c43]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-1901
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-1901
Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager:
Modelling Clock Synchronization in the Chess gMAC WSN Protocol. QFM 2009: 41-54
2008
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/IgnaKYBGVVSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/IgnaKYBGVVSS08
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: 170-187
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BerendsenV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BerendsenV08
Jasper Berendsen, Frits W. Vaandrager:
Compositional Abstraction in Real-Time Model Checking. FORMATS 2008: 233-249
2006
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/GebremichaelVZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/GebremichaelVZ06
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang:
Analysis of the zeroconf protocol using UPPAAL. EMSOFT 2006: 242-251
2005
[c39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/charme/GebremichaelVZGRR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/GebremichaelVZGRR05
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu:
Deadlock Prevention in the Æthereal Protocol. CHARME 2005: 345-348
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GebremichaelV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GebremichaelV05
Biniam Gebremichael, Frits W. Vaandrager:
Specifying Urgency in Timed I/O Automata. SEFM 2005: 64-74
2004
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/CheungLSV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/CheungLSV04
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
Switched Probabilistic I/O Automata. ICTAC 2004: 494-510
[c36]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/isola/HendriksNV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HendriksNV04
Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager:
Model Checker Aided Design of a Controller for a Wafer Scanner. ISoLA (Preliminary proceedings) 2004: 201-208
2003
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GlabbeekV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GlabbeekV03
Rob J. van Glabbeek, Frits W. Vaandrager:
Bundle Event Structures and CCSP. CONCUR 2003: 57-71
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LynchSV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/LynchSV03
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
Compositionality for Probabilistic Automata. CONCUR 2003: 204-222
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/BohnenkampSHV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/BohnenkampSHV03
Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager:
Cost-Optimization of the IPv4 Zeroconf Protocol. DSN 2003: 531-540
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/HendriksBLNV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/HendriksBLNV03
Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager:
Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GebremichaelV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GebremichaelV03
Biniam Gebremichael, Frits W. Vaandrager:
Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking. FORMATS 2003: 189-203
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/StoelingaV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/StoelingaV03
Mariëlle Stoelinga, Frits W. Vaandrager:
A Testing Scenario for Probabilistic Automata. ICALP 2003: 464-477
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/FehnkerVZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/FehnkerVZ03
Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang:
Modeling and Verifying a Lego Car Using Hybrid I/O Automata. QSIC 2003: 280-289
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/KaynarLSV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/KaynarLSV03
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: 166-177
2001
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BehrmannFHLPRV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BehrmannFHLPRV01
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: 147-161
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LynchSV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LynchSV01
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
Hybrid I/O Automata Revisited. HSCC 2001: 403-417
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HuneRSV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HuneRSV01
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager:
Linear Parametric Model Checking of Timed Automata. TACAS 2001: 189-203
2000
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BehrmannHV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BehrmannHV00
Gerd Behrmann, Thomas Hune, Frits W. Vaandrager:
Distributing Timed Model Checking - How the Search Order Matters. CAV 2000: 216-231
1999
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/arts/StoelingaV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arts/StoelingaV99
Mariëlle Stoelinga, Frits W. Vaandrager:
Root Contention in IEEE 1394. ARTS 1999: 53-74
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/arts/Vaandrager99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arts/Vaandrager99
Frits W. Vaandrager:
Verification of Hybrid Systems (abstract). ARTS 1999: 151
1998
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/GriffioenV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GriffioenV98
W. O. David Griffioen, Frits W. Vaandrager:
Normed Simulations. CAV 1998: 332-344
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/DierksFMV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/DierksFMV98
Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager:
Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT 1998: 29-40
1997
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Vaandrager97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Vaandrager97
Frits W. Vaandrager:
A Theory of Testing for Timed Automata (Abstract). TAPSOFT 1997: 39
1996
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/eef/Vaandrager96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/Vaandrager96
Frits W. Vaandrager:
Introduction. European Educational Forum: School on Embedded Systems 1996: 1-3
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/SpringintveldV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/SpringintveldV96
Jan Springintveld, Frits W. Vaandrager:
Minimizable Timed Automata. FTRTFT 1996: 130-147
1995
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Vaandrager95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Vaandrager95
Frits W. Vaandrager:
Verification of a Distributed Summation Algorithm. CONCUR 1995: 190-203
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LynchSVW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LynchSVW95
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg:
Hybrid I/O Automata. Hybrid Systems 1995: 496-510
1994
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/BosscherPV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/BosscherPV94
Doeko Bosscher, Indra Polak, Frits W. Vaandrager:
Verification of an Audio Control Protocol. FTRTFT 1994: 170-192
1993
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/types/HelminkSV93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/HelminkSV93
Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager:
Proof-Checking a Data Link Protocol. TYPES 1993: 127-165
1992
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/VaandragerL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/VaandragerL92
Frits W. Vaandrager, Nancy A. Lynch:
Action Transducers and Timed Automata. CONCUR 1992: 436-455
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AcetoBV92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AcetoBV92
Luca Aceto, Bard Bloom, Frits W. Vaandrager:
Turning SOS Rules into Equations. LICS 1992: 113-124
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/Vaandrager92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/Vaandrager92
Frits W. Vaandrager:
Expressive Results for Process Algebras. REX Workshop 1992: 609-638
1991
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Vaandrager91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Vaandrager91
Frits W. Vaandrager:
On the Relationship Between Process Algebra and Input/Output Automata. LICS 1991: 387-398
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/LynchV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/LynchV91
Nancy A. Lynch, Frits W. Vaandrager:
Forward and Backward Simulations for Timing-Based Systems. REX Workshop 1991: 397-446
1990
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/NicolaMV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/NicolaMV90
Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager:
Back and Forth Bisimulations. CONCUR 1990: 152-165
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/GrooteV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/GrooteV90
Jan Friso Groote, Frits W. Vaandrager:
An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. ICALP 1990: 626-638
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/NicolaV90a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/NicolaV90a
Rocco De Nicola, Frits W. Vaandrager:
Three Logics for Branching Bisimulation (Extended Abstract). LICS 1990: 118-129
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/litp/NicolaV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/NicolaV90
Rocco De Nicola, Frits W. Vaandrager:
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 1990: 407-419
1989
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/GrooteV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/GrooteV89
Jan Friso Groote, Frits W. Vaandrager:
Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). ICALP 1989: 423-438
1987
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/am/GlabbeekV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/GlabbeekV87
Rob J. van Glabbeek, Frits W. Vaandrager:
Modular Specifications in Process Algebra with Curious Queues. Algebraic Methods 1987: 465-506
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/parle/GlabbeekV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/GlabbeekV87
Rob J. van Glabbeek, Frits W. Vaandrager:
Petri Net Models for Algebraic Theories of Concurrency. PARLE (2) 1987: 224-242

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2019
[p1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - series/lncs/HowarJV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/HowarJV19
Falk Howar, Bengt Jonsson, Frits W. Vaandrager:
Combining Black-Box and White-Box Techniques for Learning Register Automata. Computing and Software Science 2019: 563-588

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2009
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/2009
Joël Ouaknine, Frits W. Vaandrager:
Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5813, Springer 2009, ISBN 978-3-642-04367-3 [contents]
1999
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/1999
Frits W. Vaandrager, Jan H. van Schuppen:
Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings. Lecture Notes in Computer Science 1569, Springer 1999, ISBN 3-540-65734-7 [contents]
1998
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/eef/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/1996
Grzegorz Rozenberg, Frits W. Vaandrager:
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996. Lecture Notes in Computer Science 1494, Springer 1998, ISBN 3-540-65193-4 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2025
[i14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-12436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-12436
Hanyue Chen, Miaomiao Zhang, Frits W. Vaandrager:
Compositional Abstraction for Timed Systems with Broadcast Synchronization. CoRR abs/2505.12436 (2025)
2024
[i13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-02019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-02019
Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager:
Active Learning of Mealy Machines with Timers. CoRR abs/2403.02019 (2024)
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-19405
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-19405
Frits W. Vaandrager, Paul Fiterau-Brostean, Ivo Melse:
Completeness of FSM Test Suites Reconsidered. CoRR abs/2410.19405 (2024)
2023
[i11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-00199
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-00199
Frits W. Vaandrager, Thorsten Wißmann:
Action Codes. CoRR abs/2301.00199 (2023)
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-07451
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-07451
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager:
Automata with Timers. CoRR abs/2305.07451 (2023)
2021
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-05419
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-05419
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann:
A New Approach for Active Automata Learning Based on Apartness. CoRR abs/2107.05419 (2021)
2020
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-03540
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-03540
Frits W. Vaandrager, Abhisek Midya:
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. CoRR abs/2007.03540 (2020)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2009-09975
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-09975
Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits:
Grey-Box Learning of Register Automata. CoRR abs/2009.09975 (2020)
2019
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-11034
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-11034
Petra van den Bos, Frits W. Vaandrager:
State Identification for Labeled Transition Systems with Inputs and Outputs. CoRR abs/1907.11034 (2019)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1909-13604
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-13604
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans:
Relating Alternating Relations for Conformance and Refinement. CoRR abs/1909.13604 (2019)
2018
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-08269
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-08269
Alexis Linard, Colin de la Higuera, Frits W. Vaandrager:
Learning Unions of k-Testable Languages. CoRR abs/1812.08269 (2018)
2017
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LinardSVWPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LinardSVWPV17
Alexis Linard, Rick Smetsers, Frits W. Vaandrager, Umar Waqas, Joost van Pinxten, Sicco Verwer:
Learning Pairwise Disjoint Simple Languages from Positive Examples. CoRR abs/1706.01663 (2017)
2000
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0007030
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0007030
W. O. David Griffioen, Frits W. Vaandrager:
A theory of normed simulations. CoRR cs.LO/0007030 (2000)
1990
[i1]
- view
  - details & citations
  authority control:
- export record
  dblp key:
  - tr/tum/TUM-I-9051
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/tr/tum/TUM-I-9051
Rob van Glabbeek, Frits W. Vaandrager:
Modular specification of process algebras. Forschungsberichte, TU Munich TUM I 9051: 1-67 (1990)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.