Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Frits W. Vaandrager
@article{DBLP:journals/corr/abs-2403-02019,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Bharat Garhewal and
Guillermo A. P{\'{e}}rez and
Ga{\"{e}}tan Staquet and
Frits W. Vaandrager},
title = {Active Learning of Mealy Machines with Timers},
journal = {CoRR},
volume = {abs/2403.02019},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.02019},
doi = {10.48550/ARXIV.2403.02019},
eprinttype = {arXiv},
eprint = {2403.02019},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-02019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BruyerePSV23,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Guillermo A. P{\'{e}}rez and
Ga{\"{e}}tan Staquet and
Frits W. Vaandrager},
editor = {Laure Petrucci and
Jeremy Sproston},
title = {Automata with Timers},
booktitle = {Formal Modeling and Analysis of Timed Systems - 21st International
Conference, {FORMATS} 2023, Antwerp, Belgium, September 19-21, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14138},
pages = {33--49},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42626-1\_3},
doi = {10.1007/978-3-031-42626-1\_3},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BruyerePSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/VaandragerW23,
author = {Frits W. Vaandrager and
Thorsten Wi{\ss}mann},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Action Codes},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {137:1--137:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.137},
doi = {10.4230/LIPICS.ICALP.2023.137},
timestamp = {Wed, 05 Jul 2023 16:19:52 +0200},
biburl = {https://dblp.org/rec/conf/icalp/VaandragerW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/KrugerGV23,
author = {Loes Kruger and
Bharat Garhewal and
Frits W. Vaandrager},
editor = {Fran{\c{c}}ois Coste and
Faissal Ouardi and
Guillaume Rabusseau},
title = {Lower Bounds for Active Automata Learning},
booktitle = {International Conference on Grammatical Inference, {ICGI} 2023, 10-13
July 2023, Rabat, Morocco},
series = {Proceedings of Machine Learning Research},
volume = {217},
pages = {157--180},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v217/kruger23a.html},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgi/KrugerGV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-00199,
author = {Frits W. Vaandrager and
Thorsten Wi{\ss}mann},
title = {Action Codes},
journal = {CoRR},
volume = {abs/2301.00199},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.00199},
doi = {10.48550/ARXIV.2301.00199},
eprinttype = {arXiv},
eprint = {2301.00199},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-00199.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07451,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Guillermo A. P{\'{e}}rez and
Ga{\"{e}}tan Staquet and
Frits W. Vaandrager},
title = {Automata with Timers},
journal = {CoRR},
volume = {abs/2305.07451},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.07451},
doi = {10.48550/ARXIV.2305.07451},
eprinttype = {arXiv},
eprint = {2305.07451},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-07451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VaandragerM22,
author = {Frits W. Vaandrager and
Abhisek Midya},
title = {A Myhill-Nerode theorem for register automata and symbolic trace languages},
journal = {Theor. Comput. Sci.},
volume = {912},
pages = {37--55},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.01.015},
doi = {10.1016/J.TCS.2022.01.015},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/VaandragerM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VaandragerGRW22,
author = {Frits W. Vaandrager and
Bharat Garhewal and
Jurriaan Rot and
Thorsten Wi{\ss}mann},
editor = {Dana Fisman and
Grigore Rosu},
title = {A New Approach for Active Automata Learning Based on Apartness},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {223--243},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_12},
doi = {10.1007/978-3-030-99524-9\_12},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VaandragerGRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BosV21,
author = {Petra van den Bos and
Frits W. Vaandrager},
title = {State identification for labeled transition systems with inputs and
outputs},
journal = {Sci. Comput. Program.},
volume = {209},
pages = {102678},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102678},
doi = {10.1016/J.SCICO.2021.102678},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BosV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Vaandrager21,
author = {Frits W. Vaandrager},
title = {Active Automata Learning: from L\({}^{\mbox{*}}\) to L\({}^{\mbox{{\#}}}\)},
booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
CT, USA, October 19-22, 2021},
pages = {1},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_4},
doi = {10.34727/2021/ISBN.978-3-85448-046-4\_4},
timestamp = {Tue, 07 Dec 2021 17:02:16 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Vaandrager21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/VaandragerB021,
author = {Frits W. Vaandrager and
Roderick Bloem and
Masoud Ebrahimi},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {Learning Mealy Machines with One Timer},
booktitle = {Language and Automata Theory and Applications - 15th International
Conference, {LATA} 2021, Milan, Italy, March 1-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12638},
pages = {157--170},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-68195-1\_13},
doi = {10.1007/978-3-030-68195-1\_13},
timestamp = {Tue, 23 Feb 2021 12:56:48 +0100},
biburl = {https://dblp.org/rec/conf/lata/VaandragerB021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-05419,
author = {Frits W. Vaandrager and
Bharat Garhewal and
Jurriaan Rot and
Thorsten Wi{\ss}mann},
title = {A New Approach for Active Automata Learning Based on Apartness},
journal = {CoRR},
volume = {abs/2107.05419},
year = {2021},
url = {https://arxiv.org/abs/2107.05419},
eprinttype = {arXiv},
eprint = {2107.05419},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-05419.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/VaandragerM20,
author = {Frits W. Vaandrager and
Abhisek Midya},
editor = {Violet Ka I Pun and
Volker Stolz and
Adenilso Sim{\~{a}}o},
title = {A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2020 - 17th International
Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12545},
pages = {43--63},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64276-1\_3},
doi = {10.1007/978-3-030-64276-1\_3},
timestamp = {Wed, 25 Nov 2020 16:40:07 +0100},
biburl = {https://dblp.org/rec/conf/ictac/VaandragerM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GarhewalVHSLS20,
author = {Bharat Garhewal and
Frits W. Vaandrager and
Falk Howar and
Timo Schrijvers and
Toon Lenaerts and
Rob Smits},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {Grey-Box Learning of Register Automata},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {22--40},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_2},
doi = {10.1007/978-3-030-63461-2\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/GarhewalVHSLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcia/MidyaVTG20,
author = {Abhisek Midya and
Frits W. Vaandrager and
D. Gnanaraj Thomas and
Chandrima Ghosh},
editor = {Tibor Lukic and
Reneta P. Barneva and
Valentin E. Brimkov and
Lidija Comic and
Natasa Sladoje},
title = {Simulating Parallel Internal Column Contextual Array Grammars Using
Two-Dimensional Parallel Restarting Automata with Multiple Windows},
booktitle = {Combinatorial Image Analysis - 20th International Workshop, {IWCIA}
2020, Novi Sad, Serbia, July 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12148},
pages = {106--122},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51002-2\_8},
doi = {10.1007/978-3-030-51002-2\_8},
timestamp = {Fri, 25 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwcia/MidyaVTG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03540,
author = {Frits W. Vaandrager and
Abhisek Midya},
title = {A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages},
journal = {CoRR},
volume = {abs/2007.03540},
year = {2020},
url = {https://arxiv.org/abs/2007.03540},
eprinttype = {arXiv},
eprint = {2007.03540},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03540.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-09975,
author = {Bharat Garhewal and
Frits W. Vaandrager and
Falk Howar and
Timo Schrijvers and
Toon Lenaerts and
Rob Smits},
title = {Grey-Box Learning of Register Automata},
journal = {CoRR},
volume = {abs/2009.09975},
year = {2020},
url = {https://arxiv.org/abs/2009.09975},
eprinttype = {arXiv},
eprint = {2009.09975},
timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BosV19,
author = {Petra van den Bos and
Frits W. Vaandrager},
editor = {Farhad Arbab and
Sung{-}Shik Jongmans},
title = {State Identification for Labeled Transition Systems with Inputs and
Outputs},
booktitle = {Formal Aspects of Component Software - 16th International Conference,
{FACS} 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12018},
pages = {191--212},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-40914-2\_10},
doi = {10.1007/978-3-030-40914-2\_10},
timestamp = {Thu, 13 Feb 2020 11:04:25 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BosV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Vaandrager19,
author = {Frits W. Vaandrager},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {Automata Learning and Galois Connections (Invited Talk)},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {4:1--4:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.4},
doi = {10.4230/LIPICS.ICALP.2019.4},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Vaandrager19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/JanssenVT19,
author = {Ramon Janssen and
Frits W. Vaandrager and
Jan Tretmans},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Relating Alternating Relations for Conformance and Refinement},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {246--264},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_14},
doi = {10.1007/978-3-030-34968-4\_14},
timestamp = {Fri, 22 Nov 2019 13:59:20 +0100},
biburl = {https://dblp.org/rec/conf/ifm/JanssenVT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/LinardHV19,
author = {Alexis Linard and
Colin de la Higuera and
Frits W. Vaandrager},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Alexander Okhotin and
Dana Shapira},
title = {Learning Unions of k-Testable Languages},
booktitle = {Language and Automata Theory and Applications - 13th International
Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11417},
pages = {328--339},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13435-8\_24},
doi = {10.1007/978-3-030-13435-8\_24},
timestamp = {Tue, 03 Mar 2020 11:22:06 +0100},
biburl = {https://dblp.org/rec/conf/lata/LinardHV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JasperMMSHSSHSK19,
author = {Marc Jasper and
Malte Mues and
Alnis Murtovi and
Maximilian Schl{\"{u}}ter and
Falk Howar and
Bernhard Steffen and
Markus Schordan and
Dennis Hendriks and
Ramon R. H. Schiffelers and
Harco Kuppens and
Frits W. Vaandrager},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {{RERS} 2019: Combining Synthesis with Real-World Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {101--115},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_7},
doi = {10.1007/978-3-030-17502-3\_7},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JasperMMSHSSHSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HowarJV19,
author = {Falk Howar and
Bengt Jonsson and
Frits W. Vaandrager},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Combining Black-Box and White-Box Techniques for Learning Register
Automata},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {563--588},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_26},
doi = {10.1007/978-3-319-91908-9\_26},
timestamp = {Tue, 12 Sep 2023 07:58:41 +0200},
biburl = {https://dblp.org/rec/series/lncs/HowarJV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11034,
author = {Petra van den Bos and
Frits W. Vaandrager},
title = {State Identification for Labeled Transition Systems with Inputs and
Outputs},
journal = {CoRR},
volume = {abs/1907.11034},
year = {2019},
url = {http://arxiv.org/abs/1907.11034},
eprinttype = {arXiv},
eprint = {1907.11034},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-13604,
author = {Ramon Janssen and
Frits W. Vaandrager and
Jan Tretmans},
title = {Relating Alternating Relations for Conformance and Refinement},
journal = {CoRR},
volume = {abs/1909.13604},
year = {2019},
url = {http://arxiv.org/abs/1909.13604},
eprinttype = {arXiv},
eprint = {1909.13604},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-13604.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NeiderSVK97,
author = {Daniel Neider and
Rick Smetsers and
Frits W. Vaandrager and
Harco Kuppens},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {Benchmarks for Automata Learning and Conformance Testing},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {390--416},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_23},
doi = {10.1007/978-3-030-22348-9\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/NeiderSVK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/SmetsersFV18,
author = {Rick Smetsers and
Paul Fiterau{-}Brostean and
Frits W. Vaandrager},
editor = {Shmuel Tomi Klein and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira},
title = {Model Learning as a Satisfiability Modulo Theories Problem},
booktitle = {Language and Automata Theory and Applications - 12th International
Conference, {LATA} 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10792},
pages = {182--194},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77313-1\_14},
doi = {10.1007/978-3-319-77313-1\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/SmetsersFV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-08269,
author = {Alexis Linard and
Colin de la Higuera and
Frits W. Vaandrager},
title = {Learning Unions of k-Testable Languages},
journal = {CoRR},
volume = {abs/1812.08269},
year = {2018},
url = {http://arxiv.org/abs/1812.08269},
eprinttype = {arXiv},
eprint = {1812.08269},
timestamp = {Wed, 02 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-08269.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Vaandrager17,
author = {Frits W. Vaandrager},
title = {Model learning},
journal = {Commun. {ACM}},
volume = {60},
number = {2},
pages = {86--95},
year = {2017},
url = {https://doi.org/10.1145/2967606},
doi = {10.1145/2967606},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Vaandrager17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Fiterau-Brostean17,
author = {Paul Fiterau{-}Brostean and
Toon Lenaerts and
Erik Poll and
Joeri de Ruiter and
Frits W. Vaandrager and
Patrick Verleg},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {Model learning and model checking of {SSH} implementations},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {142--151},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092289},
doi = {10.1145/3092282.3092289},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Fiterau-Brostean17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LinardSVWPV17,
author = {Alexis Linard and
Rick Smetsers and
Frits W. Vaandrager and
Umar Waqas and
Joost van Pinxten and
Sicco Verwer},
title = {Learning Pairwise Disjoint Simple Languages from Positive Examples},
journal = {CoRR},
volume = {abs/1706.01663},
year = {2017},
url = {http://arxiv.org/abs/1706.01663},
eprinttype = {arXiv},
eprint = {1706.01663},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LinardSVWPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Fiterau-Brostean16,
author = {Paul Fiterau{-}Brostean and
Ramon Janssen and
Frits W. Vaandrager},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Combining Model Learning and Model Checking to Analyze {TCP} Implementations},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {454--471},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_25},
doi = {10.1007/978-3-319-41540-6\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Fiterau-Brostean16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BosSV16,
author = {Petra van den Bos and
Rick Smetsers and
Frits W. Vaandrager},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Enhancing Automata Learning by Log-Based Metrics},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {295--310},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_19},
doi = {10.1007/978-3-319-33693-0\_19},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BosSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SchutsHV16,
author = {Mathijs Schuts and
Jozef Hooman and
Frits W. Vaandrager},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Refactoring of Legacy Software Using Model Learning and Equivalence
Checking: An Industrial Experience Report},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {311--325},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_20},
doi = {10.1007/978-3-319-33693-0\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SchutsHV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AartsJUV15,
author = {Fides Aarts and
Bengt Jonsson and
Johan Uijen and
Frits W. Vaandrager},
title = {Generating models of infinite-state communication protocols using
regular inference with abstraction},
journal = {Formal Methods Syst. Des.},
volume = {46},
number = {1},
pages = {1--41},
year = {2015},
url = {https://doi.org/10.1007/s10703-014-0216-x},
doi = {10.1007/S10703-014-0216-X},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/AartsJUV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SmeenkMVJ15,
author = {Wouter Smeenk and
Joshua Moerman and
Frits W. Vaandrager and
David N. Jansen},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {Applying Automata Learning to Embedded Control Software},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {67--83},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_5},
doi = {10.1007/978-3-319-25423-4\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SmeenkMVJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AartsFKV15,
author = {Fides Aarts and
Paul Fiterau{-}Brostean and
Harco Kuppens and
Frits W. Vaandrager},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {Learning Register Automata with Fresh Value Generation},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {165--183},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_11},
doi = {10.1007/978-3-319-25150-9\_11},
timestamp = {Sat, 19 Oct 2019 20:17:56 +0200},
biburl = {https://dblp.org/rec/conf/ictac/AartsFKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/VaandragerV14,
author = {Frits W. Vaandrager and
Freek Verbeek},
title = {Recreational Formal Methods: Designing Vacuum Cleaning Trajectories},
journal = {Bull. {EATCS}},
volume = {113},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/269},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/VaandragerV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/AartsKTVV14,
author = {Fides Aarts and
Harco Kuppens and
Jan Tretmans and
Frits W. Vaandrager and
Sicco Verwer},
title = {Improving active Mealy machine learning for protocol conformance testing},
journal = {Mach. Learn.},
volume = {96},
number = {1-2},
pages = {189--224},
year = {2014},
url = {https://doi.org/10.1007/s10994-013-5405-0},
doi = {10.1007/S10994-013-5405-0},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/AartsKTVV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Fiterau-BrosteanJV14,
author = {Paul Fiterau{-}Brostean and
Ramon Janssen and
Frits W. Vaandrager},
editor = {Fr{\'{e}}d{\'{e}}ric Lang and
Francesco Flammini},
title = {Learning Fragments of the {TCP} Network Protocol},
booktitle = {Formal Methods for Industrial Critical Systems - 19th International
Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8718},
pages = {78--93},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10702-8\_6},
doi = {10.1007/978-3-319-10702-8\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Fiterau-BrosteanJV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/SmetsersVVV14,
author = {Rick Smetsers and
Michele Volpato and
Frits W. Vaandrager and
Sicco Verwer},
editor = {Alexander Clark and
Makoto Kanazawa and
Ryo Yoshinaka},
title = {Bigger is Not Always Better: on the Quality of Hypotheses in Active
Automata Learning},
booktitle = {Proceedings of the 12th International Conference on Grammatical Inference,
{ICGI} 2014, Kyoto, Japan, September 17-19, 2014},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {34},
pages = {167--181},
publisher = {JMLR.org},
year = {2014},
url = {http://proceedings.mlr.press/v34/smetsers14a.html},
timestamp = {Wed, 29 May 2019 08:41:46 +0200},
biburl = {https://dblp.org/rec/conf/icgi/SmetsersVVV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AartsHKV14,
author = {Fides Aarts and
Falk Howar and
Harco Kuppens and
Frits W. Vaandrager},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Algorithms for Inferring Register Automata - {A} Comparison of Existing
Approaches},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {202--219},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_15},
doi = {10.1007/978-3-662-45234-9\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AartsHKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HoubenIV13,
author = {Fred Houben and
Georgeta Igna and
Frits W. Vaandrager},
title = {Modeling task systems using parameterized partial orders},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {3},
pages = {269--286},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0264-8},
doi = {10.1007/S10009-012-0264-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HoubenIV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BoudjadarVBF13,
author = {Abdeldjalil Boudjadar and
Frits W. Vaandrager and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Extending {UPPAAL} for the Modeling and Verification of Dynamic Real-Time
Systems},
booktitle = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
pages = {111--132},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5\_8},
doi = {10.1007/978-3-642-40213-5\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BoudjadarVBF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HeidarianSV12,
author = {Faranak Heidarian and
Julien Schmaltz and
Frits W. Vaandrager},
title = {Analysis of a clock synchronization protocol for wireless sensor networks},
journal = {Theor. Comput. Sci.},
volume = {413},
number = {1},
pages = {87--105},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.07.018},
doi = {10.1016/J.TCS.2011.07.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HeidarianSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AartsHV12,
author = {Fides Aarts and
Faranak Heidarian and
Frits W. Vaandrager},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {A Theory of History Dependent Abstractions for Learning Interface
Automata},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {240--255},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_18},
doi = {10.1007/978-3-642-32940-1\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AartsHV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/HendriksV12,
author = {Martijn Hendriks and
Frits W. Vaandrager},
title = {Reconstructing Critical Paths from Execution Traces},
booktitle = {15th {IEEE} International Conference on Computational Science and
Engineering, {CSE} 2012, Paphos, Cyprus, December 5-7, 2012},
pages = {524--531},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCSE.2012.78},
doi = {10.1109/ICCSE.2012.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/HendriksV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AartsHKOV12,
author = {Fides Aarts and
Faranak Heidarian and
Harco Kuppens and
Petur Olsen and
Frits W. Vaandrager},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Automata Learning through Counterexample Guided Abstraction Refinement},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {10--27},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_4},
doi = {10.1007/978-3-642-32759-9\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AartsHKOV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Vaandrager12,
author = {Frits W. Vaandrager},
editor = {Brian Nielsen and
Carsten Weise},
title = {Active Learning of Extended Finite State Machines},
booktitle = {Testing Software and Systems - 24th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2012, Aalborg, Denmark, November 19-21, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7641},
pages = {5--7},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34691-0\_2},
doi = {10.1007/978-3-642-34691-0\_2},
timestamp = {Sat, 30 Sep 2023 09:55:01 +0200},
biburl = {https://dblp.org/rec/conf/pts/Vaandrager12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/HoubenIV12,
author = {Fred Houben and
Georgeta Igna and
Frits W. Vaandrager},
editor = {Marco Di Natale},
title = {Modeling Task Systems Using Parameterized Partial Orders},
booktitle = {2012 {IEEE} 18th Real Time and Embedded Technology and Applications
Symposium, Beijing, China, April 16-19, 2012},
pages = {317--327},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/RTAS.2012.34},
doi = {10.1109/RTAS.2012.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/HoubenIV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/jmlr/AartsKTVV12,
author = {Fides Aarts and
Harco Kuppens and
Jan Tretmans and
Frits W. Vaandrager and
Sicco Verwer},
editor = {Jeffrey Heinz and
Colin de la Higuera and
Tim Oates},
title = {Learning and Testing the Bounded Retransmission Protocol},
booktitle = {Proceedings of the Eleventh International Conference on Grammatical
Inference, {ICGI} 2012, University of Maryland, College Park, USA,
September 5-8, 2012},
series = {{JMLR} Proceedings},
volume = {21},
pages = {4--18},
publisher = {JMLR.org},
year = {2012},
url = {http://proceedings.mlr.press/v21/aarts12a.html},
timestamp = {Sun, 16 Oct 2022 14:19:56 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/AartsKTVV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BerendsenGVZ11,
author = {Jasper Berendsen and
Biniam Gebremichael and
Frits W. Vaandrager and
Miaomiao Zhang},
title = {Formal specification and analysis of zeroconf using uppaalS},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {10},
number = {3},
pages = {34:1--34:32},
year = {2011},
url = {https://doi.org/10.1145/1952522.1952527},
doi = {10.1145/1952522.1952527},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/BerendsenGVZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2010Kaynar,
author = {Dilsun Kirli Kaynar and
Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager},
title = {The Theory of Timed {I/O} Automata, Second Edition},
series = {Synthesis Lectures on Distributed Computing Theory},
publisher = {Morgan {\&} Claypool Publishers},
year = {2010},
url = {https://doi.org/10.2200/S00310ED1V01Y201011DCT005},
doi = {10.2200/S00310ED1V01Y201011DCT005},
isbn = {978-3-031-00875-7},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2010Kaynar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BerendsenJSV10,
author = {Jasper Berendsen and
David N. Jansen and
Julien Schmaltz and
Frits W. Vaandrager},
title = {The axiomatization of override and update},
journal = {J. Appl. Log.},
volume = {8},
number = {1},
pages = {141--150},
year = {2010},
url = {https://doi.org/10.1016/j.jal.2009.11.001},
doi = {10.1016/J.JAL.2009.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BerendsenJSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AartsV10,
author = {Fides Aarts and
Frits W. Vaandrager},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Learning {I/O} Automata},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {71--85},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_6},
doi = {10.1007/978-3-642-15375-4\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AartsV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/IgnaV10,
author = {Georgeta Igna and
Frits W. Vaandrager},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verification of Printer Datapaths Using Timed Automata},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {412--423},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_38},
doi = {10.1007/978-3-642-16561-0\_38},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/IgnaV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AartsSV10,
author = {Fides Aarts and
Julien Schmaltz and
Frits W. Vaandrager},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Inference and Abstraction of the Biometric Passport},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6415},
pages = {673--686},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16558-0\_54},
doi = {10.1007/978-3-642-16558-0\_54},
timestamp = {Sun, 02 Jun 2019 21:11:28 +0200},
biburl = {https://dblp.org/rec/conf/isola/AartsSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BerendsenJV10,
author = {Jasper Berendsen and
David N. Jansen and
Frits W. Vaandrager},
title = {Fortuna: Model Checking Priced Probabilistic Timed Automata},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {273--281},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.41},
doi = {10.1109/QEST.2010.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BerendsenJV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HeidarianSV09,
author = {Faranak Heidarian and
Julien Schmaltz and
Frits W. Vaandrager},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {516--531},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_33},
doi = {10.1007/978-3-642-05089-3\_33},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/HeidarianSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0912-1897,
author = {Israa AlAttili and
Fred Houben and
Georgeta Igna and
Steffen Michels and
Feng Zhu and
Frits W. Vaandrager},
editor = {Suzana Andova and
Annabelle McIver and
Pedro R. D'Argenio and
Pieter J. L. Cuijpers and
Jasen Markovski and
Carroll Morgan and
Manuel N{\'{u}}{\~{n}}ez},
title = {Adaptive Scheduling of Data Paths using Uppaal Tiga},
booktitle = {Proceedings First Workshop on Quantitative Formal Methods: Theory
and Applications, {QFM} 2009, Eindhoven, The Netherlands, 3rd November
2009},
series = {{EPTCS}},
volume = {13},
pages = {1--11},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.13.1},
doi = {10.4204/EPTCS.13.1},
timestamp = {Mon, 03 Jan 2022 22:03:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-1897.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0912-1901,
author = {Mathijs Schuts and
Feng Zhu and
Faranak Heidarian and
Frits W. Vaandrager},
editor = {Suzana Andova and
Annabelle McIver and
Pedro R. D'Argenio and
Pieter J. L. Cuijpers and
Jasen Markovski and
Carroll Morgan and
Manuel N{\'{u}}{\~{n}}ez},
title = {Modelling Clock Synchronization in the Chess gMAC {WSN} Protocol},
booktitle = {Proceedings First Workshop on Quantitative Formal Methods: Theory
and Applications, {QFM} 2009, Eindhoven, The Netherlands, 3rd November
2009},
series = {{EPTCS}},
volume = {13},
pages = {41--54},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.13.4},
doi = {10.4204/EPTCS.13.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-1901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2009,
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0},
doi = {10.1007/978-3-642-04368-0},
isbn = {978-3-642-04367-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/HambergV08,
author = {Roelof Hamberg and
Frits W. Vaandrager},
title = {Using model checkers in an introductory course on operating systems},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {42},
number = {6},
pages = {101--111},
year = {2008},
url = {https://doi.org/10.1145/1453775.1453793},
doi = {10.1145/1453775.1453793},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/HambergV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/IgnaKYBGVVSS08,
author = {Georgeta Igna and
Venkatesh Kannan and
Yang Yang and
Twan Basten and
Marc Geilen and
Frits W. Vaandrager and
Marc Voorhoeve and
Sebastian de Smet and
Lou J. Somers},
editor = {Franck Cassez and
Claude Jard},
title = {Formal Modeling and Scheduling of Datapaths of Digital Document Printers},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {170--187},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_13},
doi = {10.1007/978-3-540-85778-5\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/IgnaKYBGVVSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BerendsenV08,
author = {Jasper Berendsen and
Frits W. Vaandrager},
editor = {Franck Cassez and
Claude Jard},
title = {Compositional Abstraction in Real-Time Model Checking},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {233--249},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_17},
doi = {10.1007/978-3-540-85778-5\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BerendsenV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CheungSV07,
author = {Ling Cheung and
Mari{\"{e}}lle Stoelinga and
Frits W. Vaandrager},
title = {A testing scenario for probabilistic processes},
journal = {J. {ACM}},
volume = {54},
number = {6},
pages = {29},
year = {2007},
url = {https://doi.org/10.1145/1314690.1314693},
doi = {10.1145/1314690.1314693},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/CheungSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/LynchSV07,
author = {Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager},
title = {Observing Branching Structure through Probabilistic Contexts},
journal = {{SIAM} J. Comput.},
volume = {37},
number = {4},
pages = {977--1013},
year = {2007},
url = {https://doi.org/10.1147/S0097539704446487},
doi = {10.1147/S0097539704446487},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/LynchSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2006Kaynar,
author = {Dilsun Kirli Kaynar and
Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager},
title = {The Theory of Timed {I/O} Automata},
series = {Synthesis Lectures on Computer Science},
publisher = {Morgan {\&} Claypool Publishers},
year = {2006},
url = {https://doi.org/10.2200/S00006ED1V01Y200508CSL001},
doi = {10.2200/S00006ED1V01Y200508CSL001},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2006Kaynar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/VaandragerG06,
author = {Frits W. Vaandrager and
Adriaan de Groot},
title = {Analysis of a biphase mark protocol with Uppaaland {PVS}},
journal = {Formal Aspects Comput.},
volume = {18},
number = {4},
pages = {433--458},
year = {2006},
url = {https://doi.org/10.1007/s00165-006-0008-1},
doi = {10.1007/S00165-006-0008-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/VaandragerG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HendriksNV06,
author = {Martijn Hendriks and
Barend van den Nieuwelaar and
Frits W. Vaandrager},
title = {Model checker aided design of a controller for a wafer scanner},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {6},
pages = {633--647},
year = {2006},
url = {https://doi.org/10.1007/s10009-006-0025-7},
doi = {10.1007/S10009-006-0025-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HendriksNV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CheungLSV06,
author = {Ling Cheung and
Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager},
title = {Switched {PIOA:} Parallel composition via distributed scheduling},
journal = {Theor. Comput. Sci.},
volume = {365},
number = {1-2},
pages = {83--108},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.033},
doi = {10.1016/J.TCS.2006.07.033},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CheungLSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/GebremichaelVZ06,
author = {Biniam Gebremichael and
Frits W. Vaandrager and
Miaomiao Zhang},
editor = {Sang Lyul Min and
Wang Yi},
title = {Analysis of the zeroconf protocol using {UPPAAL}},
booktitle = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
pages = {242--251},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176887.1176923},
doi = {10.1145/1176887.1176923},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/GebremichaelVZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GebremichaelVZGRR05,
author = {Biniam Gebremichael and
Frits W. Vaandrager and
Miaomiao Zhang and
Kees Goossens and
Edwin Rijpkema and
Andrei Radulescu},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Deadlock Prevention in the {\AE}thereal Protocol},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {345--348},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_28},
doi = {10.1007/11560548\_28},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/GebremichaelVZGRR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GebremichaelV05,
author = {Biniam Gebremichael and
Frits W. Vaandrager},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Specifying Urgency in Timed {I/O} Automata},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {64--74},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.42},
doi = {10.1109/SEFM.2005.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GebremichaelV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GriffioenV04,
author = {W. O. David Griffioen and
Frits W. Vaandrager},
title = {A theory of normed simulations},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {4},
pages = {577--610},
year = {2004},
url = {https://doi.org/10.1145/1024922.1024923},
doi = {10.1145/1024922.1024923},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GriffioenV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CheungLSV04,
author = {Ling Cheung and
Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager},
editor = {Zhiming Liu and
Keijiro Araki},
title = {Switched Probabilistic {I/O} Automata},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {494--510},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_35},
doi = {10.1007/978-3-540-31862-0\_35},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/CheungLSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HendriksNV04,
author = {Martijn Hendriks and
Barend van den Nieuwelaar and
Frits W. Vaandrager},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Model Checker Aided Design of a Controller for a Wafer Scanner},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {201--208},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/HendriksNV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LynchSV03,
author = {Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager},
title = {Hybrid {I/O} automata},
journal = {Inf. Comput.},
volume = {185},
number = {1},
pages = {105--157},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00067-1},
doi = {10.1016/S0890-5401(03)00067-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LynchSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GlabbeekV03,
author = {Rob J. van Glabbeek and
Frits W. Vaandrager},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Bundle Event Structures and {CCSP}},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {57--71},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_4},
doi = {10.1007/978-3-540-45187-7\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GlabbeekV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LynchSV03,
author = {Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Compositionality for Probabilistic Automata},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {204--222},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_14},
doi = {10.1007/978-3-540-45187-7\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/LynchSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BohnenkampSHV03,
author = {Henrik C. Bohnenkamp and
Peter van der Stok and
Holger Hermanns and
Frits W. Vaandrager},
title = {Cost-Optimization of the IPv4 Zeroconf Protocol},
booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN}
2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
pages = {531--540},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DSN.2003.1209963},
doi = {10.1109/DSN.2003.1209963},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/BohnenkampSHV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/HendriksBLNV03,
author = {Martijn Hendriks and
Gerd Behrmann and
Kim Guldstrand Larsen and
Peter Niebert and
Frits W. Vaandrager},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {Adding Symmetry Reduction to Uppaal},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {46--59},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_5},
doi = {10.1007/978-3-540-40903-8\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/HendriksBLNV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GebremichaelV03,
author = {Biniam Gebremichael and
Frits W. Vaandrager},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {Control Synthesis for a Smart Card Personalization System Using Symbolic
Model Checking},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {189--203},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_16},
doi = {10.1007/978-3-540-40903-8\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/GebremichaelV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/StoelingaV03,
author = {Mari{\"{e}}lle Stoelinga and
Frits W. Vaandrager},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {A Testing Scenario for Probabilistic Automata},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {464--477},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_38},
doi = {10.1007/3-540-45061-0\_38},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/StoelingaV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/FehnkerVZ03,
author = {Ansgar Fehnker and
Frits W. Vaandrager and
Miaomiao Zhang},
title = {Modeling and Verifying a Lego Car Using Hybrid {I/O} Automata},
booktitle = {3rd International Conference on Quality Software {(QSIC} 2003), 6-7
November 2003, Dallas, TX, {USA}},
pages = {280--289},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/QSIC.2003.1319112},
doi = {10.1109/QSIC.2003.1319112},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/FehnkerVZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/KaynarLSV03,
author = {Dilsun Kirli Kaynar and
Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager},
title = {Timed {I/O} Automata: {A} Mathematical Framework for Modeling and
Analyzing Real-Time Systems},
booktitle = {Proceedings of the 24th {IEEE} Real-Time Systems Symposium {(RTSS}
2003), 3-5 December 2003, Cancun, Mexico},
pages = {166--177},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/REAL.2003.1253264},
doi = {10.1109/REAL.2003.1253264},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/KaynarLSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HuneRSV02,
author = {Thomas Hune and
Judi Romijn and
Mari{\"{e}}lle Stoelinga and
Frits W. Vaandrager},
title = {Linear parametric model checking of timed automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {52-53},
pages = {183--220},
year = {2002},
url = {https://doi.org/10.1016/S1567-8326(02)00037-1},
doi = {10.1016/S1567-8326(02)00037-1},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HuneRSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SpringintveldVD01,
author = {Jan Springintveld and
Frits W. Vaandrager and
Pedro R. D'Argenio},
title = {Testing timed automata},
journal = {Theor. Comput. Sci.},
volume = {254},
number = {1-2},
pages = {225--257},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(99)00134-6},
doi = {10.1016/S0304-3975(99)00134-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SpringintveldVD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BehrmannFHLPRV01,
author = {Gerd Behrmann and
Ansgar Fehnker and
Thomas Hune and
Kim Guldstrand Larsen and
Paul Pettersson and
Judi Romijn and
Frits W. Vaandrager},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Minimum-Cost Reachability for Priced Timed Automata},
booktitle = {Hybrid Systems: Computation and Control, 4th International Workshop,
{HSCC} 2001, Rome, Italy, March 28-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2034},
pages = {147--161},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_15},
doi = {10.1007/3-540-45351-2\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BehrmannFHLPRV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LynchSV01,
author = {Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Hybrid {I/O} Automata Revisited},
booktitle = {Hybrid Systems: Computation and Control, 4th International Workshop,
{HSCC} 2001, Rome, Italy, March 28-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2034},
pages = {403--417},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_33},
doi = {10.1007/3-540-45351-2\_33},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LynchSV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HuneRSV01,
author = {Thomas Hune and
Judi Romijn and
Mari{\"{e}}lle Stoelinga and
Frits W. Vaandrager},
editor = {Tiziana Margaria and
Wang Yi},
title = {Linear Parametric Model Checking of Timed Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {189--203},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_14},
doi = {10.1007/3-540-45319-9\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HuneRSV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DevillersGRV00,
author = {Marco Devillers and
W. O. David Griffioen and
Judi Romijn and
Frits W. Vaandrager},
title = {Verification of a Leader Election Protocol: Formal Methods Applied
to {IEEE} 1394},
journal = {Formal Methods Syst. Des.},
volume = {16},
number = {3},
pages = {307--320},
year = {2000},
url = {https://doi.org/10.1023/A:1008764923992},
doi = {10.1023/A:1008764923992},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/DevillersGRV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BehrmannHV00,
author = {Gerd Behrmann and
Thomas Hune and
Frits W. Vaandrager},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Distributing Timed Model Checking - How the Search Order Matters},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {216--231},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_19},
doi = {10.1007/10722167\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BehrmannHV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0007030,
author = {W. O. David Griffioen and
Frits W. Vaandrager},
title = {A theory of normed simulations},
journal = {CoRR},
volume = {cs.LO/0007030},
year = {2000},
url = {https://arxiv.org/abs/cs/0007030},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0007030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/StoelingaV99,
author = {Mari{\"{e}}lle Stoelinga and
Frits W. Vaandrager},
editor = {Joost{-}Pieter Katoen},
title = {Root Contention in {IEEE} 1394},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {53--74},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_4},
doi = {10.1007/3-540-48778-6\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/arts/StoelingaV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Vaandrager99,
author = {Frits W. Vaandrager},
editor = {Joost{-}Pieter Katoen},
title = {Verification of Hybrid Systems (abstract)},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {151},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_9},
doi = {10.1007/3-540-48778-6\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/Vaandrager99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/1999,
editor = {Frits W. Vaandrager and
Jan H. van Schuppen},
title = {Hybrid Systems: Computation and Control, Second International Workshop,
HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1569},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48983-5},
doi = {10.1007/3-540-48983-5},
isbn = {3-540-65734-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GriffioenV98,
author = {W. O. David Griffioen and
Frits W. Vaandrager},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {Normed Simulations},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {332--344},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028756},
doi = {10.1007/BFB0028756},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GriffioenV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DierksFMV98,
author = {Henning Dierks and
Ansgar Fehnker and
Angelika Mader and
Frits W. Vaandrager},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Operational and Logical Semantics for Polling Real-Time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {29--40},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055334},
doi = {10.1007/BFB0055334},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/DierksFMV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eef/1996,
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-65193-4},
doi = {10.1007/3-540-65193-4},
isbn = {3-540-65193-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GlabbeekV97,
author = {Rob J. van Glabbeek and
Frits W. Vaandrager},
title = {The Difference between Splitting in n and n+1},
journal = {Inf. Comput.},
volume = {136},
number = {2},
pages = {109--142},
year = {1997},
url = {https://doi.org/10.1006/inco.1997.2634},
doi = {10.1006/INCO.1997.2634},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GlabbeekV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Vaandrager97,
author = {Frits W. Vaandrager},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Theory of Testing for Timed Automata (Abstract)},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {39},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030587},
doi = {10.1007/BFB0030587},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Vaandrager97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LynchV96,
author = {Nancy A. Lynch and
Frits W. Vaandrager},
title = {Action Transducers and Timed Automata},
journal = {Formal Aspects Comput.},
volume = {8},
number = {5},
pages = {499--538},
year = {1996},
url = {https://doi.org/10.1007/BF01211907},
doi = {10.1007/BF01211907},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LynchV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LynchV96,
author = {Nancy A. Lynch and
Frits W. Vaandrager},
title = {Forward and Backward Simulations, {II:} Timing-Based Systems},
journal = {Inf. Comput.},
volume = {128},
number = {1},
pages = {1--25},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0060},
doi = {10.1006/INCO.1996.0060},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LynchV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/RomijnV96,
author = {Judi Romijn and
Frits W. Vaandrager},
title = {A Note on Fairness in {I/O} Automata},
journal = {Inf. Process. Lett.},
volume = {59},
number = {5},
pages = {245--250},
year = {1996},
url = {https://doi.org/10.1016/0020-0190(96)00122-6},
doi = {10.1016/0020-0190(96)00122-6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/RomijnV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Vaandrager96,
author = {Frits W. Vaandrager},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Introduction},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {1--3},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_17},
doi = {10.1007/3-540-65193-4\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/eef/Vaandrager96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SpringintveldV96,
author = {Jan Springintveld and
Frits W. Vaandrager},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Minimizable Timed Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {130--147},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_38},
doi = {10.1007/3-540-61648-9\_38},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/SpringintveldV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LynchV95,
author = {Nancy A. Lynch and
Frits W. Vaandrager},
title = {Forward and Backward Simulations: I. Untimed Systems},
journal = {Inf. Comput.},
volume = {121},
number = {2},
pages = {214--233},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1134},
doi = {10.1006/INCO.1995.1134},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LynchV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/NicolaV95,
author = {Rocco De Nicola and
Frits W. Vaandrager},
title = {Three Logics for Branching Bisimulation},
journal = {J. {ACM}},
volume = {42},
number = {2},
pages = {458--487},
year = {1995},
url = {https://doi.org/10.1145/201019.201032},
doi = {10.1145/201019.201032},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/NicolaV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Vaandrager95,
author = {Frits W. Vaandrager},
editor = {Insup Lee and
Scott A. Smolka},
title = {Verification of a Distributed Summation Algorithm},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {190--203},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_14},
doi = {10.1007/3-540-60218-6\_14},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/Vaandrager95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LynchSVW95,
author = {Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager and
Henri B. Weinberg},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Hybrid {I/O} Automata},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {496--510},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020971},
doi = {10.1007/BFB0020971},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LynchSVW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoBV94,
author = {Luca Aceto and
Bard Bloom and
Frits W. Vaandrager},
title = {Turning {SOS} Rules into Equations},
journal = {Inf. Comput.},
volume = {111},
number = {1},
pages = {1--52},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1040},
doi = {10.1006/INCO.1994.1040},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoBV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BosscherPV94,
author = {Doeko Bosscher and
Indra Polak and
Frits W. Vaandrager},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Verification of an Audio Control Protocol},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {170--192},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_165},
doi = {10.1007/3-540-58468-4\_165},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BosscherPV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GlabbeekV93,
author = {Rob J. van Glabbeek and
Frits W. Vaandrager},
title = {Modular Specification of Process Algebras},
journal = {Theor. Comput. Sci.},
volume = {113},
number = {2},
pages = {293--348},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90006-F},
doi = {10.1016/0304-3975(93)90006-F},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GlabbeekV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/HelminkSV93,
author = {Leen Helmink and
M. P. A. Sellink and
Frits W. Vaandrager},
editor = {Henk Barendregt and
Tobias Nipkow},
title = {Proof-Checking a Data Link Protocol},
booktitle = {Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen,
The Netherlands, May 24-28, 1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {806},
pages = {127--165},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58085-9\_75},
doi = {10.1007/3-540-58085-9\_75},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/HelminkSV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BaetenV92,
author = {Jos C. M. Baeten and
Frits W. Vaandrager},
title = {An Algebra for Process Creation},
journal = {Acta Informatica},
volume = {29},
number = {4},
pages = {303--334},
year = {1992},
url = {https://doi.org/10.1007/BF01178776},
doi = {10.1007/BF01178776},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BaetenV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GrooteV92,
author = {Jan Friso Groote and
Frits W. Vaandrager},
title = {Structured Operational Semantics and Bisimulation as a Congruence},
journal = {Inf. Comput.},
volume = {100},
number = {2},
pages = {202--260},
year = {1992},
url = {https://doi.org/10.1016/0890-5401(92)90013-6},
doi = {10.1016/0890-5401(92)90013-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GrooteV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/VaandragerL92,
author = {Frits W. Vaandrager and
Nancy A. Lynch},
editor = {Rance Cleaveland},
title = {Action Transducers and Timed Automata},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {436--455},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084808},
doi = {10.1007/BFB0084808},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/VaandragerL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AcetoBV92,
author = {Luca Aceto and
Bard Bloom and
Frits W. Vaandrager},
title = {Turning {SOS} Rules into Equations},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {113--124},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185526},
doi = {10.1109/LICS.1992.185526},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AcetoBV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Vaandrager92,
author = {Frits W. Vaandrager},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Expressive Results for Process Algebras},
booktitle = {Sematics: Foundations and Applications, {REX} Workshop, Beekbergen,
The Netherlands, June 1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {666},
pages = {609--638},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56596-5\_49},
doi = {10.1007/3-540-56596-5\_49},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/Vaandrager92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Vaandrager91,
author = {Frits W. Vaandrager},
title = {Determinism - (Event Structure Isomorphism = Step Sequence Equivalence)},
journal = {Theor. Comput. Sci.},
volume = {79},
number = {2},
pages = {275--294},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90333-W},
doi = {10.1016/0304-3975(91)90333-W},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Vaandrager91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Vaandrager91,
author = {Frits W. Vaandrager},
title = {On the Relationship Between Process Algebra and Input/Output Automata},
booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
{(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
pages = {387--398},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/LICS.1991.151662},
doi = {10.1109/LICS.1991.151662},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Vaandrager91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/LynchV91,
author = {Nancy A. Lynch and
Frits W. Vaandrager},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Forward and Backward Simulations for Timing-Based Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {397--446},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032002},
doi = {10.1007/BFB0032002},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/LynchV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NicolaMV90,
author = {Rocco De Nicola and
Ugo Montanari and
Frits W. Vaandrager},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Back and Forth Bisimulations},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {152--165},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039058},
doi = {10.1007/BFB0039058},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/NicolaMV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GrooteV90,
author = {Jan Friso Groote and
Frits W. Vaandrager},
editor = {Mike Paterson},
title = {An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence},
booktitle = {Automata, Languages and Programming, 17th International Colloquium,
ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {443},
pages = {626--638},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0032063},
doi = {10.1007/BFB0032063},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/GrooteV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/NicolaV90a,
author = {Rocco De Nicola and
Frits W. Vaandrager},
title = {Three Logics for Branching Bisimulation (Extended Abstract)},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {118--129},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113739},
doi = {10.1109/LICS.1990.113739},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/NicolaV90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/NicolaV90,
author = {Rocco De Nicola and
Frits W. Vaandrager},
editor = {Ir{\`{e}}ne Guessarian},
title = {Action versus State based Logics for Transition Systems},
booktitle = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
on Theoretical Computer Science, La Roche Posay, France, April 23-27,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {469},
pages = {407--419},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53479-2\_17},
doi = {10.1007/3-540-53479-2\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/litp/NicolaV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9051,
author = {Rob van Glabbeek and
Frits W. Vaandrager},
title = {Modular specification of process algebras},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9051},
pages = {1--67},
year = {1990},
url = {https://d-nb.info/920875491},
timestamp = {Mon, 11 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GrooteV89,
author = {Jan Friso Groote and
Frits W. Vaandrager},
editor = {Giorgio Ausiello and
Mariangiola Dezani{-}Ciancaglini and
Simona Ronchi Della Rocca},
title = {Structural Operational Semantics and Bisimulation as a Congruence
(Extended Abstract)},
booktitle = {Automata, Languages and Programming, 16th International Colloquium,
ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {372},
pages = {423--438},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0035774},
doi = {10.1007/BFB0035774},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/GrooteV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/am/GlabbeekV87,
author = {Rob J. van Glabbeek and
Frits W. Vaandrager},
editor = {Martin Wirsing and
Jan A. Bergstra},
title = {Modular Specifications in Process Algebra with Curious Queues},
booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
in Passau, Germany, June 9-11, 1987]},
series = {Lecture Notes in Computer Science},
volume = {394},
pages = {465--506},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0015049},
doi = {10.1007/BFB0015049},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/am/GlabbeekV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/GlabbeekV87,
author = {Rob J. van Glabbeek and
Frits W. Vaandrager},
editor = {J. W. de Bakker and
A. J. Nijman and
Philip C. Treleaven},
title = {Petri Net Models for Algebraic Theories of Concurrency},
booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel
Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {259},
pages = {224--242},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17945-3\_13},
doi = {10.1007/3-540-17945-3\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/GlabbeekV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-03 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
