- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Vaandrager, F.W."
Now showing items 1-50 of 89
-
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 -
Model Learning as a Satisability Modulo Theories Problem 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) -
Model Learning and Model Checking of SSH Implementations Fiterau-Brostean, P. ; Lenarts, T.; Poll, E. ; Ruiter, J. de ; Vaandrager, F.W. ; Verleg, P.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 2017, Article / Letter to editor (Communications of the Acm, vol. 60, iss. 2, (2017), pp. 86-95)
-
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report Schuts, M.; Hooman, J. ; Vaandrager, F.2016, Part of book or chapter of book (Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 311-325) -
Enhancing Automata Learning by Log-Based Metrics 2016, Part of book or chapter of book (Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 295-310)
-
Combining Model Learning and Model Checking to Analyze TCP Implementations 2016, Part of book or chapter of book (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.; Corporaal, H.; Vaandrager, F. et 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)
sine al.
-
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 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 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 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 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 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 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.; Trcka, N.; Vaandrager, F. ; Verriet, J.; Voorhoeve, M.; Yang, Y. et 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)
sine al.
-
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, Els2009, 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)
-
-
Adaptive Scheduling of Data Paths using Uppaal Tiga AIAttilli, I.; Houben, F.; Igna, G.; Michels, S. ; Zhu, 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. 1-12)
-
Compositional Abstraction in Real-Time Model Checking 2008, Article in monograph or in proceedings (Cassez, F.; Jard, C. (ed.), Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 233-249)
-
Formal Modeling and Scheduling of Datapaths of Digital Document Printers Igna, G.; Kannan, V.; Yang, Y. ; Basten, T.; Geilen, M.; Vaandrager, F.W. ; Voorhoeve, M.; Smet, S. de; Somers, L.2008, Article in monograph or in proceedings (Cassez, F.; Jard, C. (ed.), Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 169-186)
-
-
Formalizing SHIM6, a Proposed Internet Standard in UPPAAL Mekking, Matthijs; Wijngaards, Wouter; Vaandrager, Frits ; Schouten, Theo2007, Article in monograph or in proceedings (VVSS 2007 (Verification and Validation of Software Systems) Symposium)
-
Using Model Checkers in an Introductory Course on Operating Systems Hamberg, R.; Vaandrager, F.W.2007, External research report
Now showing items 1-50 of 89
Search Repository
Browse
-
All of Repository
Upload Full Text