Some Talks by Frits Vaandrager

For technical talks related to papers see my publication list.
  • From Model Checking to Model Learning - Two Basic Techniques in Model-Based Development of Embedded Systems, keynote presentation at ESI Symposium 2012, Eindhoven, March 2012.
  • Betrouwbaarheid van Software, presentation for HOVO on reliability of software, October 2011.
  • Ontwerp van de Besturing van een Wafer Scanner voor ASML, voorlichtingsdag, November 2004.
  • Keerpunten in de Informatica, presentation for HOVO on Turing's work, October 2011.
  • Presentation at Intreedag 2008 (based on slides Maurice Herlihy).
  • Uppaal: The Long Road from Theory to Industrial Impact. Talk at ICIS colloquium om March 31 2008. (Abstract: In this talk I will present a Nijmegen centric overview of the history of the timed automata model checker Uppaal, discussing both its theory and industrial applications. I will also give an overview of some our current research projects in which Uppaal plays a role, and attempt to outline the main challenges ahead of us.) (These slides are adapted from a nice set of slides kindly made available to me by Kim Larsen)
  • Gastles over betrouwbaarheid van software en model checking voor Klas 5V van het Olympus college op 28 maart 2008.
  • Goran Frehse's presentatie over hybride systemen, gebruikt tijdens HBO voorlichtingsdag op 1 Juni 2007.
  • Waarom Informatica?!, Open Dag Beta Faculteit, 12 Mei 2007.
  • Help, een toestandsexplosie!, Open Dag Beta Faculteit, 12 Mei 2007.
  • Wie durft er nog in een vliegtuig, trein of auto te stappen? Over betrouwbaarheid van software
  • How To Ensure That Your Papers Are Widely Cited, ICIS Colloquium, Radboud University Nijmegen, December 2006.
  • Model Checking in Education: 10^6 Users and Beyond, International Workshop on Advances in Model Checking "Ten Years After", University of Twente, the Netherlands, November 2006.
  • Laudatio on the Occasion of Nancy Lynch Receiving the Van Wijngaarden Award, CWI Soiree, Amsterdam, February 9, 2006.
  • Qualitative Citation Analysis, SIREN, Octber 6, 2005.