selected publications

• academic article

  • Generating attack scenarios for the system security validation.  Networking Science.  2:69-80. 2012

• chapter

  • A Statistical Approach to Test Stochastic and Probabilistic Systems.  Lecture notes in computer science. 186-205. 2009
  • Modeling, Validation, and Verification of PCEP Using the IF Language.  Lecture notes in computer science. 122-136. 2009

• conference paper

  • Verification of Interoperability Security Policies by Model Checking.  . 376-381. 2011
  • A Formal Approach for Interoperability Testing of Security Rules.  . 277-284. 2010
  • Interoperability testing of presence service on IMS platform.  . 1-6. 2009
  • Automatic Timed Test Case Generation for Web Services Composition.  . 53-62. 2008