Publications

Tools

Current projects

• An Automata-Theoretic Approach to Software Model Checking, EPSRC grant


• Algorithms for Software Model Checking, DFG project
  
  
• Static Analysis of Dynamically Evolving Systems (SANDS), DFG project
  Within the "Aktionsplan Informatik" (Emmy Noether Programme)
  
  Publications


• Italian/German Exchange Programme: "Models based on Graph Transformation Systems: Analysis and Verification", DAAD - Programma Vigoni

• Automatic Synthesis of Distributed Systems, EPSRC grant
  
  Publications


• ADVANCE Advanced Validation Techniques for Telecommunication Protocols, IST-FET
  
  Publications


• Brazilian/German Bilateral Cooperation Project: Modeling, Analysis and Development of an Approach for the Construction of High-Quality Internet Applications based on Visual Languages and Formal Methods (DACHIA), BMBF
  
  Publications

• Partial-order verification techniques
  
  
• Verification of Infinite State Systems