Research Topics


  • Verification of Web Application Security
  • Verification of Safety Functions in Critical Software
  • Algorithms for Temporal Logic and Automata
  • Static Analysis of Programs with Pointers
  • Automated Compositional Verification
  • Web Service Requirements Assurance by Ontology Reasoning


Last modified: 2016/12/06 17:27