• Research
• Teaching
• Student Information
• Members
• Tools
• Open Positions
• Presentations
• Publications

Past Events

• Quovadis 2010:
  First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, May 03, 2010, Cape Town, South Africa.
  
  
• SPIN 2009:
  16th International SPIN Workshop on Model Checking of Software, June 26 - 28, 2009, Grenoble, France.
  
  
• MES 2009:
  The international conference "Middle East Simulation 2009", June 11 - 14, 2009, Konstanz, Germany.
  
  
• FMICS 2008:
  13th International Workshop on Formal Methods for Industrial Critical Systems, September 15-16, 2008, L’Aquila, Italy.
  
  
• SPIN 2008: 15th International SPIN Workshop on Model Checking of Software, August 10-12, 2008, Los Angeles, USA.
  
  
• ICSE 2008: 30th International Conference on Software Engineering, May 10-18, 2008, Leipzig, Germany.
  
  
• FMICS 2007: 12th International Workshop on Formal Methods for Industrial Critical Systems, July 1-2, 2007, Berlin, Germany.
  
  
• SPIN 2007: 14th Workshop on Model Checking Software. Will be held July 1-3, 2007, co-located with CAV 2007 in Berlin, Germany.
  
  
• Our Work has been presented at the SOQUA 2006 workshop held jointly with SIGSOFT/FSE in Portland, Oregon, in November 2006.
  
  
• ICCP 2006: 2nd International Conference on Intelligent Computer Communication and Processing, 1 - 2 September, 2006
  
  
• MOCHART IV: 4th International Workshop on Model checking and Artificial Intelligence (Satellite workshop of ECAI 2006), Riva del Garda, 29 August 2006
  
  
• Dagstuhl Seminar 06172 on Directed Model Checking
  
  
• SPIN 2006: 13th International SPIN Workshop on Model Checking of Software
  
  
• SPIN 2005: 12th International SPIN Workshop on Model Checking of Software
  
  
• Industrietag 2005
  • Press Bulletin
  • Südkurier