selected publications

• academic article

  • Behavior evaluation for trust management based on formal distributed network monitoring.  World Wide Web.  19:21-39. 2015
  • Passive performance testing of network protocols.  Computer Communications.  51:36-47. 2014
  • 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
  • Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols.  Computer Networks.  57:2992-3008. 2013

• chapter

  • Symbolic-Based Monitoring for Embedded Applications.  Human computer interaction.. 939-961. 2015
  • Guiding Testers’ Hands in Monitoring Tools: Application of Testing Approaches on SIP.  Lecture notes in computer science. 105-123. 2015
  • Online Testing: A Passive Approach for Protocols.  Communications in computer and information science. 79-92. 2015
  • A Formal Monitoring Technique for SIP Conformance Testing.  Communications in computer and information science. 79-94. 2013
  • Testing Distributed Communication Protocols by Formal Performance Monitoring.  Communications in computer and information science. 110-125. 2013

• conference paper

  • A learning based approach for green software measurements.  HAL (Le Centre pour la Communication Scientifique Directe). 2016
  • A novel distributed testing approach based on test cases dependencies for communication protocols.  . 497-504. 2015
  • Towards a Generic Trust Management Framework Using a Machine-Learning-Based Trust Model.  Trust, Security And Privacy In Computing And Communications. 1343-1348. 2015
  • Passively Testing Routing Protocols in Wireless Sensor Networks.  . 270-277. 2015
  • TEAR: A Multi-purpose Formal Language Specification for TEsting at Runtime.  . 727-734. 2015
  • Process Mining for Trust Monitoring.  . 605-610. 2015
  • A formal online mMonitoring approach to test network protocols.  . 2014
  • A Distributed Monitoring Approach for Trust Assessment Based on Formal Testing.  . 702-707. 2014
  • An Online Passive Testing Approach for Communication Protocols.  . 136-143. 2014
  • A formal distributed network monitoring approach for enhancing trust management systems.  . 76-83. 2013
  • DataMonitor - A formal approach for passively testing a MANET routing protocol.  . 207-212. 2013
  • Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study.  . 1-10. 2013
  • An invariant based passive testing approach for protocol data parts.  . 2011
  • Protocol Data Parts Inclusion in a Formal Passive Testing Approach.  . 569-573. 2011
  • A component based testing technique for a MANET routing protocol.  . 1-7. 2010
  • Analysis of the OLSR Protocol by Using Formal Passive Testing.  . 152-159. 2009
  • Plenary lecture 1: formal testing approach for the conformance and interoperability of MANET routing protocols.  International Conference on Mathematical Methods and Computational Techniques in Electrical Engineering. 20-20. 2009
  • From the IMS PoC service monitoring to its formal conformance testing.  . 2009
  • Regression and Performance Testing of an e-Learning Web Application: dotLRN.  . 369-376. 2007