Browsing by Author "Vaandrager, F.W."

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)

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)

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)

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)

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)

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)

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)

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 '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

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

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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)

Reconstructing Critical Paths from Execution Traces

Hendriks, M.; Vaandrager, F.W.

2012, External research report

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)

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)

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)

Inference and Abstraction of the Biometric Passport

Aarts, Fides ; Schmaltz, J. ; Vaandrager, F.

2010, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, pp. 673-686)

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)

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)

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)

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)

Modelling Clock Synchronization in the Chess gMAC WSN Protocol

Schuts, M.; Zhu, F.; Heydarian, F.; Vaandrager, F.W.

2009, Article in monograph or in proceedings (Andova, Suzana; McIver, Annabelle; D'Argenio, Pedro (ed.), Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications Eindhoven, The Netherlands, 3rd November 2009, pp. 41-54)

Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks

Heydarian, Faranak; Schmaltz, Julien ; Vaandrager, F.W.

2009, Article in monograph or in proceedings (Cavalcanti, Ana; Dams, Dennis (ed.), FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 516-531)

Een Module over Model Checking voor het VWO

Vaandrager, Frits ; Jansen, David ; Koopmans, Els

2009, Article in monograph or in proceedings (Vodegel, F.; Loots, M. (ed.), Proceedings NIOC 2009 : Flexibel, adaptief, herbruikbaar, Utrecht, 7-8 April 2009, pp. 135-137)

Radboud Repository

Browsing by Author "Vaandrager, F.W."

Search Repository

Browse

All of Repository