Research interests

  • Dynamic adaptation and reconfiguration
     
    • Component-based systems
    • Feature Models
    • Feature models and State-based models for Software variability
  • Formal specification, software verification and validation

    • Workflow verification based on constraint solving
    • Abstraction and refinement, property verification
    • Verification of parameterized systems
  • Combination of Approaches for the Security and Safety of Complex Systems

    • Reachability analysis of infinite-state systems (rewriting and regular model-checking)
    • Verification of security protocols
    • Automatic analysis of Web services