selected publications

• chapter

  • Modeling and Testing of Web-Based Systems.  Advanced information and knowledge processing. 355-394. 2010
  • Modeling and testing secure web applications.  HAL (Le Centre pour la Communication Scientifique Directe). 2010
  • Modeling, Validation, and Verification of PCEP Using the IF Language.  Lecture notes in computer science. 122-136. 2009

• conference paper

  • An Attack-Tolerant Framework for Web Services.  . 503-506. 2017
  • Model-Based Attack Tolerance.  . 68-73. 2017
  • A component based testing technique for a MANET routing protocol.  . 1-7. 2010
  • Automatic Timed Test Case Generation for Web Services Composition.  . 53-62. 2008
  • Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study.  . 128-136. 2008
  • Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints.  . 315-318. 2008
  • Timed Modeling of Web Services Composition for Automatic Testing.  . 417-426. 2007