Publications

• [Volpato16]
  M. Volpato, Approximate Active Learning of Nondeterministic Systems. PhD thesis, Radboud University Nijmegen, 2016. To appear.
• [FJV16]
  P. Fiterau-Brostean, R. Janssen and F.W. Vaandrager. Combining Model Learning and Model Checking to Analyze TCP Implementations. To appear in Proceedings CAV 2016, Toronto, Ontario, Canada, July 17-23, 2016.
• [SHV16]
  M. Schuts. J. Hooman and F.W. Vaandrager. Refactoring of Legacy Software using Model Learning and Equivalence Checking: an Industrial Experience Report. To appear in Proceedings 12th International Conference on integrated Formal Methods (iFM), Reykjavik, Iceland, June 1-3, 2016.
• [BSV16]
  P. van den Bos, R. Smetsers, and F.W. Vaandrager. Enhancing Automata Learning by Log-Based Metrics. To appear in Proceedings 12th International Conference on integrated Formal Methods (iFM), Reykjavik, Iceland, June 1-3, 2016.
• [VT15]
  M. Volpato and G.J. Tretmans. Approximate Active Learning of Nondeterministic Input Output Transition Systems. Proceedings AVoCS 2015, 15th International Workshop on Automated Verification of Critical Systems; Edinburgh, UK, September 2-4, 2015.
• [AFKV15]
  F. Aarts, P. Fiterau-Brostean, H. Kuppens, and F.W. Vaandrager. Learning Register Automata with Fresh Value Generation. In M. Leucker, C. Rueda and F.D. Valencia, editors. Proceedings 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Cali, Colombia, October 29-31, 2015. LNCS 9399, pp. 1-19, Springer Verlag, 2015. DOI: 10.1007/978-3-319-25150-9_11. Full version invited for special issue of MSCS of best ICTAC 2015 papers.
• [SMJV15]
  W. Smeenk, Joshua Moerman, D.N. Jansen, and F.W. Vaandrager. Applying Automata Learning to Embedded Control Software. In M. Butler, S. Conchon and F. Zaidi, editors. Proceedings 17th International Conference on Formal Engineering Methods (ICFEM 2015), Paris, 3-6 November 2015. LNCS 9407, pp. 1-17, Springer Verlag, 2015. DOI: 10.1007/978-3-319-25423-4_5.
• [AJUV15]
  F. Aarts, B. Jonsson, J. Uijen, and F.W. Vaandrager. Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction. Formal Methods in System Design 46(1):1-41, 2015. DOI: 10.1007/s10703-014-0216-x. This is the full version of the ICTSS 2010 paper of Aarts, Jonsson, and Uijen.
• [Aarts14]
  F. Aarts, Tomte: Bridging the Gap between Active Learning and Real-world Systems. PhD thesis, Radboud University Nijmegen, October 2014.
• [DGVJ14]
  Christian Dehnert, Daniel Gebler, Michele Volpato, and David N. Jansen. On Abstraction of Probabilistic Systems In A. Remke and M. Stoelinga, editors. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Lecture Notes in Computer Science, Volume 8453, 2014.
• [VT14]
  M. Volpato and G.J. Tretmans. Active Learning of Nondeterminisitc Systems from an ioco Perspective. In T. Margaria and B. Steffen, editors. Proceedings ISoLA 2014, 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation; (ISOLA'14), Corfu, Greece, October 8-11, 2014. Lecture Notes in Computer Science Volume 8802, 2014, pp 220-235. [Proofs]
• [ISOLA14]
  F. Aarts, H. Kuppens, F. Howar, and F.W. Vaandrager. Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. In T. Margaria and B. Steffen, editors. Proceedings 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2014), 8-11 October 2014, Imperial, Corfu, Greece. LNCS 8802, pp. 202-2019, Springer Verlag, 2014.
• [SVVV14]
  Rick Smetsers, Michele Volpato, Frits Vaandrager and Sicco Verwer. Bigger is Not Always Better: On the Quality of Hypothesis in Active Automata Learning. In A. Clark, M. Kanazawa, and R. Yoshinaka. Proceedings 12th International Conference on Grammatical Inference, Kyoto, Japan, September 17-19, 2014. JMLR Workshop and Conference Proceedings 34, pp. 167-181, 2014.
• [TCP14]
  P. Fiterau-Brostean, R. Janssen and F.W. Vaandrager. Learning Fragments of the TCP Network Protocol. In F. Lang and F. Flammini, editors. Proceedings 19th International Workshop on Formal Methods for Industrial Critical Systems, September 11-12, 2014, Florence, Italy. LNCS 8718, pp. 78--93, Springer-Verlag, 2014.
• [BRP14]
  F. Aarts, H. Kuppens, G.J. Tretmans, F.W. Vaandrager, and S. Verwer. Improving Active Mealy Machine Learning for Protocol Conformance Testing. Machine Learning 96(1-2): 189--224, 2014. This is the full version of our ICGI'12 paper.
• [ARP13]
  F. Aarts, J. de Ruiter, and E. Poll. Formal models of bank cards for free. In Proceedings SECTEST 2013, 4th International Workshop on Security Testing, Luxembourg, March 22, 2013.
• [CVB13]
  Eduardo P. Costa, Sicco Verwer, and Hendrik Blockeel. Estimating prediction certainty in decision trees. In Allan Tucker, Frank Höppner, Arno Siebes, and Stephen Swift, editors, Advances in Intelligent Data Analysis XII, volume 8207 of Lecture Notes in Computer Science, pages 138-149. Springer Berlin Heidelberg, 2013.
• [HV13]
  Marijn J.H. Heule and Sicco Verwer. Software model synthesis using satisfiability solvers. Empirical Software Engineering, 18(4):825-856, 2013.
• [HVL13]
  Arjen Hommersom, Sicco Verwer, and Peter J.F. Lucas. Discovering probabilistic structures of healthcare processes. In David Riao, Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, and Annette Teije, editors, Process Support and Knowledge Representation in Health Care, volume 8268 of Lecture Notes in Computer Science, pages 53-67. Springer International Publishing, 2013.
• [VEH13]
  Sicco Verwer, Rémi Eyraud, and Colin Higuera. PAutomaC: a probabilistic automata and hidden Markov models learning competition. Machine Learning, pages 1-26, 2013
• [VYZ13]
  Sicco Verwer, Qing Chuan Ye, and Yingqian Zhang. White-box optimization from historical data. In Antal van den Bosch, Tom Heskes, and David van Leeuwen, editors, BENELEARN 2013: Proceedings of the 22nd Belgian-Dutch Conference on Machine Learning, pages 103-104, 2013.
• [VT13]
  M. Volpato and G.J. Tretmans. Towards quality of model-based testing in the ioco Framework. In Proceedings of ISSTA'13 Workshop on Quality of Model-Based Testing; (QuoMBat'13), Lugano, Switzerland; July 15-20, 2013. [Technical report]
• [Jan13]
  R. Janssen. Applying Learning a State Diagram of TCP Using Abstraction . Bachelor Thesis, ICIS, Radboud University Nijmegen, August 2013.
• [FV12]
  Christophe Costa Florencio and Sicco Verwer. Regular inference as graph coloring. In ALT, to appear, 2012.
• [HV12]
  Marijn Heule and Sicco Verwer. Software model synthesis using satisfiability solvers. Empirical Software Engineering, (in print), Springer, 2012.
• [VEH12]
  Sicco Verwer, Remi Eyraud, and Colin de la Higuera. Results of the PAutomaC Probabilistic Automaton Learning Competition. In ICGI, pp. 243-248, JMLR proceedings 21, 2012.
• [Sme12]
  Wouter Smeenk. Applying Automata Learning to Complex Industrial Software Master's Thesis, Radboud University Nijmegen, September 2012.
• [BRP12]
  F. Aarts, H. Kuppens, G.J. Tretmans, F.W. Vaandrager, and S. Verwer. Learning and Testing the Bounded Retransmission Protocol. In J. Heinz, C. de la Higuera, and T. Oates, editors. Proceedings 11th International Conference on Grammatical Inference (ICGI 2012), September 5-8, 2012. University of Maryland, College Park, USA. JMLR Workshop and Conference Proceedings 21:4-18, 2012.
• [CEGAR12]
  F. Aarts, F. Heidarian, H. Kuppens, P. Olsen, and F.W. Vaandrager. Automata Learning Through Counterexample-Guided Abstraction Refinement. In D. Giannakopoulou and D. Mery, editors. Proceedings 18th International Symposium on Formal Methods (FM 2012), Paris, France, August 27-31, 2012. LNCS 7436, pp. 10-27, Springer-Verlag, 2012.
• [AHV12]
  F. Aarts, F. Heidarian, and F.W. Vaandrager. A Theory of History Dependent Abstractions for Learning Interface Automata. In M. Koutny and I. Ulidowski, editors. Proceedings 23rd International Conference on Concurrency Theory (CONCUR), Newcastle upon Tyne, UK, September 3-8, 2012. LNCS 7454, pp. 240-255, Springer-Verlag, 2012.
• [Heidarian12]
  F. Heidarian. Studies on Verification of Wireless Sensor Networks & Abstraction Learning for System Inference. PhD Thesis, Radboud University Nijmegen, July 5, 2012.
• [Tre11]
  J. Tretmans. Model-Based Testing and Some Steps towards Test-Based Modelling. In proceedings "Formal Methods for Eternal Networked Software Systems". Edited by M. Bernardo and V. Issarny. Lecture Notes in Computer Science, 2011, Volume 6659/2011, pp. 297-326.
• [AJU10]
  F. Aarts, B. Jonsson, and J. Uijen. Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction. In Proceedings ICTSS 2010, 22nd IFIP International Conference on Testing Software and Systems
  Natal, Brazil, November 8-12, 2010
• [AV10]
  F. Aarts and F.W. Vaandrager. Learning I/O Automata. In P. Gastin and F. Laroussinie, editors. Proceedings CONCUR'10, Paris, France, August 31st - September 3rd, 2010. LNCS 6269, pp. 71-85, Springer-Verlag, 2010.
• [ASV10]
  F. Aarts, J. Schmaltz, and F.W. Vaandrager. Inference and Abstraction of the Biometric Passport. In T. Margaria and B. Steffen, editors. Proceedings 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), 18-20 October 2010 - Amirandes, Heraclion, Crete. LNCS 6415, pp. 673-686, Springer-Verlag, 2010.