Techniques

• Software Specification and Modellling
  • Business Process Modelling
  • Agent Oriented Modelling

• Planning:
  • Model Based Planning,
  • Web Service Integration
  • Software Synthesis

• Model Checking and Symbolic Analysis:
  • SAT solving and Combining decision procedures
  • Abstraction and static analysis
  • Software Model Checking
  • Tools

Application Areas

• Bio Informatics
  • ...

• Embedded Systems
  • Timed/Hybrid Systems Modelling and Analysis
  • Formal Methods for System Development
  • Infinite State Systems

• Ontological Reasoning and Semantic Web
  • Web Service Integration
  • Trust management
  • Security