Teaching (not updated)

  • Semantics and Verification 2011 (with Jiri Srba)
  • Semantics and Verification 2010 (with Uli Fahrenberg)
  • Formal Systems 2009 (with Ulrik Nyman and Jiri Srba)
  • Semantics and Verification 2009 (with Jiri Srba)
  • Semantics and Verification 2008 (with Jiri Srba)
  • Formal Systems 2007 (with Jiri Srba)
  • Test and Verification 2006 (with Brian Nielsen and Arne Skou)
  • Semantic and Verification 2006 (with Jiri Srba)
  • Embedded Systems Validation, PhD course, 2004.
  • Embedded Systems Validation, PhD course 2003
  • BRICS PhD course on Verification 2003
  • BRICS PhD course on Verification 2001
  • DTU course on Real-time Systems 2001 (with Henrik Ejersbo Jensen, Paul Pettersson)
  • DTU course on Real-time Systems 2000 (with Paul Pettersson)
  • Semantics and Verification 2002 (with Anna Ingolfsdottir)
  • Semantics and Verification 2001 (with Anna Ingolfsdottir)
  • Test and Verification 2005
  • Test and Verification 2004 (with Emmanuel Fleury, Brian Nielsen, Arne Skou)
  • Test and Verification 2003 (with Emmanuel Fleury)
  • Test and Verification 2002
  • Test and Verification 2001 (with Henrik Ejersbo Jensen)
  • Datastructures & Algorithms for Model Checking 2001
  • Methods and Tools for Validation: Modeling and Analysis 2002.