Browsing by Author "Vaandrager, F.W."

State Identification for Labeled Transition Systems with Inputs and Outputs

2020, Article in monograph or in proceedings (Arbab, F.; Jongmans, S.-S. (ed.), Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019. Proceedings, pp. 191-212)

Grey-Box Learning of Register Automata

Garhewal, B.; Vaandrager, F.W. ; Howar, F.; Schrijvers, T.; Lenaerts, T.; Smits, Rob

2020, Article in monograph or in proceedings (Dongol, B. (ed.), Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings, pp. 22-40)

A Myhill-Nerode Theorem for Register Automata

Vaandrager, F.W. ; Midya, A.

2020, Article in monograph or in proceedings (Ka I Pun, V. (ed.), Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings, pp. 43-63)

Simulating Parallel Internal Column Contextual Array Grammars Using Two-Dimensional Parallel Restarting Automata with Multiple Windows

Midya, A.; Vaandrager, F. ; Thomas, D.G.; Ghosh, C.

2020, Article in monograph or in proceedings (Lukić, T.; Barneva, R.P.; Brimkov, V.E. (ed.), Combinatorial Image Analysis: 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings, pp. 106-122)

RERS 2019: Combining Synthesis with Real-World Models

Jasper, M.; Mues, M.; Murtovi, A.; Schlüter, M.; Howar, F.; Steffen, B.; Schordan, M.; Hendriks, D.; Schiffelers, R.; Kuppens, H.C.W. ; et al.

sine al.

2019, Article in monograph or in proceedings (Beyer, D.; Huisman, M.; Kordon, F. (ed.), 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, pp. 101-115)

Automata Learning and Galois Connections (Invited Talk)

Vaandrager, F.

2019, Article in monograph or in proceedings (Baier, C. (ed.), ICALP 2019: 46th International Colloquium on Automata, Languages, and Programming, pp. 4:1)

Benchmarks for Automata Learning and Conformance Testing

Neider, D.; Smetsers, R. ; Vaandrager, F.W. ; Kuppens, H.C.W.

2019, Part of book or chapter of book (Margaria, T. (ed.), Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, pp. 390-416)

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

Jonsson, B.; Howar, F.; Vaandrager, F.W.

2019, Part of book or chapter of book (Steffen, B. (ed.), Computing and Software Science - State of the Art and Perspectives, pp. 563-588)

Learning Unions of k-Testable Languages

Linard, A.R.R. ; Higuera, C. de la; Vaandrager, F.W.

2019, Article in monograph or in proceedings (Martin-Vide, C. (ed.), Language and Automata Theory and Applications: 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, pp. 328-339)

Relating Alternating Relations for Conformance and Refinement

Janssen, R. ; Vaandrager, F. ; Tretmans, G.J.

2019, Article in monograph or in proceedings (Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, pp. 246-264)

Model Learning and Testing (and some observations on formal methods research in the Netherlands)

Vaandrager, F.

2019, Part of book or chapter of book (Huisman, M. (ed.), A Research Agenda for Formal Methods in the Netherlands, pp. 15-16)

Source code and data relevant for the paper 'Model Learning and Model Checking of SSH Implementations'

Fiterau-Brostean, P. ; Poll, E. ; Vaandrager, F.W. ; Lenaerts, T.; Ruiter, J.E.J. de ; Verleg, P.

2018, Dataset

Encoding information into polymers

Rutten, M.G.T.A.; Vaandrager, F.W. ; Elemans, J.A.A.W. ; Nolte, R.J.M.

2018, Article / Letter to editor (Nature Reviews. Chemistry, vol. 2, iss. 11, (2018), pp. 365-381)

Model Learning as a Satisability Modulo Theories Problem

Smetsers, R. ; Fiterau-Brostean, P. ; Vaandrager, F.

2018, Article in monograph or in proceedings (Klein, S.T. (ed.), Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018. Proceedings, pp. 182-194)

Source code and data relevant for the paper 'Combining Model Learning and Model Checking to Analyze TCP Implementations'

Fiterau-Brostean, P. ; Janssen, R. ; Vaandrager, F.W.

2017, Dataset

Source code and data relevant for the paper 'Model Learning as a Satisfiability Modulo Theories Problem'

Smetsers, R.H.A.M. ; Fiterau-Brostean, P. ; Vaandrager, F.W.

2017, Dataset

Model Learning and Model Checking of SSH Implementations

Fiterau-Brostean, P. ; Lenarts, T.; Poll, E. ; Ruiter, J. de ; Vaandrager, F.W. ; Verleg, P.; Ruiter, J.E.J. de

2017, Article in monograph or in proceedings (Erdogmus, H. (ed.), SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA — July 13 - 14, 2017, pp. 142-151)

Model learning

Vaandrager, F.

2017, Article / Letter to editor (Communications of the Acm, vol. 60, iss. 2, (2017), pp. 86-95)

Learning Register Automata with Fresh Value Generation

Aarts, Fides ; Fiterau-Brostean, P. ; Kuppens, H.C.W. ; Vaandrager, F.W.

2017, Dataset

Enhancing Automata Learning by Log-Based Metrics

Bos, P. van den ; Smetsers, R. ; Vaandrager, F.

2016, Article in monograph or in proceedings (Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 295-310)

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

Schuts, M.; Hooman, J. ; Vaandrager, F.

2016, Article in monograph or in proceedings (Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 311-325)

Combining Model Learning and Model Checking to Analyze TCP Implementations

Fiterau-Brostean, P. ; Janssen, R. ; Vaandrager, F.W.

2016, Article in monograph or in proceedings (Chaudhuri, S. (ed.), Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, pp. 454-471)

Applying Automata Learning to Embedded Control Software

Smeenk, W.; Moerman, J.S. ; Vaandrager, F. ; Jansen, D.N.

2015, Part of book or chapter of book (Butler, M. (ed.), Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, pp. 67-83)

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

Aarts, F.D. ; Jonsson, B.; Uijen, J.A.B.M.; Vaandrager, F.

2015, Article / Letter to editor (Formal Methods in System Design, vol. 46, iss. 1, (2015), pp. 1-41)

Learning Register Automata with Fresh Value Generation

Aarts, Fides ; Fiterau-Brostean, P. ; Kuppens, H.; Vaandrager, F.W.

2015, Part of book or chapter of book (Leucker, M. (ed.), Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015. Proceedings, pp. 165-183)

Recreational Formal Methods: Designing Vacuum Cleaning Trajectories

Vaandrager, F.W. ; Verbeek, F.

2014, Article / Letter to editor (Bulletin of the Eatcs, vol. 113, iss. June, (2014), pp. 100-109)

Learning Fragments of the TCP Network Protocol

Fiterău-Broştean, P.; Janssen, R.; Vaandrager, F.

2014, Part of book or chapter of book (Lang, F.; Flammini, F. (ed.), Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings, pp. 78-93)

Improving active mealy machine learning for protocol conformance testing

Aarts, F.; Kuppens, H.; Tretmans, G.J. ; Vaandrager, F.W. ; Verwer, S.E.

2014, Article / Letter to editor (Machine Learning, vol. 96, iss. 1-2, (2014), pp. 189-224)

Bigger is Not Always Better: On the Quality of Hypothesis in Active Automata Learning

Smetsers, R.; Volpato, M.; Vaandrager, F.W. ; Verwer, S.

2014, Article / Letter to editor (Jmlr Workshop and Conference Proceedings, vol. 34, (2014), pp. 167-181)

Algorithms for Inferring Register Automata

Aarts, F.D. ; Howar, F.; Kuppens, H.C.W. ; Vaandrager, F.

2014, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), 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, pp. 202-219)

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

Boudjadar, A.; Vaandrager, F.W. ; Bodeveix, J.-P.; Filali, M.

2013, Part of book or chapter of book (Arbab, F. (ed.), Fundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, pp. 111-132)

Modeling task systems using parameterized partial orders

Houben, F.; Igna, G.; Vaandrager, F.

2013, Article / Letter to editor (International Journal on Software Tools for Technology Transfer, vol. 15, iss. 3, (2013), pp. 269-286)

Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems

Basten, T.; Hendriks, M. ; Trčka, N.; Somers, L.; Geilen, M.; Yang, Y.; Igna, G.; Smet, S. de; Voorhoeve, M.; Aalst, W.; et al.

sine al.

2013, Part of book or chapter of book (Basten, T.; Hamberg, R.; Reckers, F. (ed.), Model-Based Design of Adaptive Embedded Systems, pp. 189-244)

Generating Models of In nite-State Communication Protocols using Regular Inference with Abstraction

Aarts, F.D. ; Jonsson, B.; Uijen, J.; Vaandrager, F.W.

2013, External research report

Analysis of a clock synchronization protocol for wireless sensor networks

Heidarian, F.; Schmaltz, J. ; Vaandrager, F.

2012, Article / Letter to editor (Theoretical Computer Science, vol. 413, iss. 1, (2012), pp. 87-105)

Model-checkers als slimme schroevendraaiers

Vaandrager, F.

2012, Article / Letter to editor (Bits & Chips (Nijmegen), vol. 8, (2012), pp. 56-57)

Modeling Task Systems Using Parameterized Partial Orders

Houben, F.; Igna, G.; Vaandrager, F.

2012, Part of book or chapter of book (Kato, S. (ed.), RTAS 2012 : the 18th IEEE Real-Time and Embedded Technology and Applications Symposium Proceedings, Beijing China, April 17-19, 2012, pp. 317-327)

Active Learning of Extended Finite State Machines

Vaandrager, F.

2012, Part of book or chapter of book (Nielsen, B.; Weise, C. (ed.), Testing Software and Systems, pp. 5-7)

Reconstructing Critical Paths from Execution Traces

Hendriks, M. ; Vaandrager, F.W.

2012, Article in monograph or in proceedings (Proceedings 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC?12), \rm 5-7 December 2012, Paphos, Cyprus, pp. 524-531)

Reconstructing Critical Paths from Execution Traces

Hendriks, M. ; Vaandrager, F.W.

2012, External research report

A Theory of History Dependent Abstractions for Learning Interface Automata

Aarts, Fides ; Heidarian, F.; Vaandrager, F.

2012, Part of book or chapter of book (Koutny, M. (ed.), CONCOR 2012 - Concurrency theory : CONCUR 2012- Concurrency Theory23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings, pp. 240-255)

Automata Learning Through Counterexample-Guided Abstraction Refinement

Aarts, Fides ; Heidarian, F.; Kuppens, H.; Olsen, P.; Vaandrager, F.

2012, Part of book or chapter of book (Giannakopoulou, D. (ed.), FM 2012 : Formal Methods :18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 10-27)

Learning and Testing the Bounded Retransmission Protocol

Aarts, Fides ; Kuppens, H.C.W. ; Tretmans, G.J. ; Vaandrager, F. ; Verwer, S.E.

2012, Article in monograph or in proceedings (Heinz, J. (ed.), Proceedings of the Eleventh International Conference on Grammatical Inference, September 5-8, 2012 University of Maryland, College Park, United States, pp. 4-18)

Formal specification and analysis of zeroconf using uppaal

Berendsen, J. ; Gebremichael, B.; Vaandrager, F.W. ; Zhang, M.

2011, Article / Letter to editor (ACM Transactions on Embedded Computing Systems, vol. 10, iss. 3, (2011), pp. 34)

The Theory of Timed I/O Automata, Second Edition

Kaynar, D.K.; Lynch, N.; Segala, R.; Vaandrager, F.

2010, Article / Letter to editor (Synthesis Lectures on Distributed Computing Theory, vol. 1, iss. 1, (2010), pp. 1-137)

Verification of Printer Datapaths Using Timed Automata

Igna, G.; Vaandrager, F.

2010, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation, pp. 412-423)

Fortuna: Model Checking Priced Probabilistic Timed Automata

Berendsen, J. ; Jansen, D.N. ; Vaandrager, F.W.

2010, Article in monograph or in proceedings (Qest 2010 : Proceedings Seventh International Conference on the Quantitative Evaluation of Systems QEST 2010 15-18 September 2010 Williamsburg, Virginia, USA, pp. 273-281)

Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset

Basten, T.; Benthum, E. van; Geilen, M.; Hendriks, M. ; Houben, F.; Igna, G.; Reckers, F.; Smet, S. de; Somers, L.; Teeselink, E.; et al.

sine al.

2010, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation, pp. 90-105)

The axiomatization of override and update

Berendsen, J.K. ; Jansen, D.N. ; Schmaltz, J. ; Vaandrager, F.W.

2010, Article / Letter to editor (Journal of Applied Logic, vol. 8, iss. 1, (2010), pp. 141-150)

Learning I/O Automata

Aarts, Fides ; Vaandrager, F.

2010, Part of book or chapter of book (Gastin, P.; Laroussinie, F. (ed.), CONCUR 2010 - Concurrency Theory, pp. 71-85)

Radboud Repository

Browsing by Author "Vaandrager, F.W."

Search Repository

Browse

All of Repository