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 (namely within the Inria/NGE Cassis project-team)
    • Reachability analysis of infinite-state systems (rewriting and regular model-checking)
    • Verification of security protocols
    • Automatic analysis of Web services