Site map

• Team
  • Head of Group
  • Administrative Assistant
  • System Administrator
• Teaching
  • Winter Term 2009/2010
    • Informatik III - Theoretische Informatik (Vorlesung)
    • Software Design, Modelling and Analysis in UML (Vorlesung)
    • Software Testing (Seminar)
    • Static Code Analysis (Seminar)
    • Design and Analysis of Cyber-Physical Systems (Seminar)
    • Softwarepraktikum für Hörer aller Fakultäten (Praktikum)
    • Integrating Data Visualization in the Stalin-Framework (Team-Projekt)
    • Stalin 2.0 - Improving Model Checking Framework (Team-Projekt)
    • Softwaretechnik (Oberseminar)
  • Summer Term 2009
    • Real-Time Systems (Vorlesung)
    • Static Checkers for Java and C# (Seminar)
    • Softwarepraktikum (Praktikum)
    • Advanced Topics in Software Engineering (Seminar)
    • Model Checking (Vorlesung)
    • Kryptographische Protokolle (Seminar)
    • Software Engineering (Vorlesung)
  • Winter Term 2008/2009
    • Business Processes
    • Software Design, Modelling and Analysis in UML
    • Formal Techniques for Networked and Distributed Systems
    • Decision Procedures
    • Software Reliability
    • Synthesis of Distributed Systems
  • Summer Term 2008
    • Softwaretechnik
    • Softwarepraktikum
    • Formal Methods for Java
    • Automata and Games
• Research
  • Tools
  • Funded Projects
  • Student Projects
    • Available
    • In progress
    • Finished
• Service
  • Downloads
• Contact
• Gallery
• Mitarbeiter / Staffmembers
  • Podelski, Andreas
    • Teaching
    • Research
    • Team