selected publications

• academic article

  • Behavior evaluation for trust management based on formal distributed network monitoring.  World Wide Web.  19:21-39. 2015
  • Scalable Evaluation of Distributed On-line Network Monitoring for Behavioral Feedback in Trust Management.  Proceedings of the Institute for System Programming of RAS.  26:125-140. 2014

• 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

• conference paper

  • NetMM 2016 Organizing Committee and Reviewers.  . lxi-lxi. 2016
  • TEAR: A Multi-purpose Formal Language Specification for TEsting at Runtime.  . 727-734. 2015
  • Strip Interoperability for Wireless Ad Hoc Routing Protocols.  . 32-36. 2014
  • A Distributed Monitoring Approach for Trust Assessment Based on Formal Testing.  . 702-707. 2014
  • A formal distributed network monitoring approach for enhancing trust management systems.  . 76-83. 2013
  • Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study.  . 128-136. 2008
  • Testing Security Policies for Web Applications.  . 269-270. 2008
  • Regression and Performance Testing of an e-Learning Web Application: dotLRN.  . 369-376. 2007