Personal tools
 

Research Topics

  • Model-Based Reasoning
  • Test Generation
  • Formal Specifications
  • Temporal Logics
  • Requirement Engineering

Member of the Model-Based Systems Group.

For the full list of my Publications please see the Publications section.
Document Actions