Research interest

  • Formal specification, software verification and validation
    • Component-based systems, dynamic adaptation and reconfiguration
    • Workflow verification based on constraint solving
    • Abstraction and refinement, property verification
    • Verification of parameterized systems
  • Combination of Approaches for the Security of Infinite states Systems

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