selected publications
-
academic article
- A formal consensus-based distributed monitoring approach for mobile IoT networks. Internet of Things. 13:100352-100352. 2021
- Modeling OMG SMM metrics using the Modelio modeling tool in the MEASURE project. HAL (Le Centre pour la Communication Scientifique Directe). 2017
- Un Modèle de validation pour le protocole de routage DSR. . 2005
-
book
-
chapter
- From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. Communications in computer and information science. 156-178. 2020
- Modeling and Testing of Web-Based Systems. Advanced information and knowledge processing. 355-394. 2010
-
conference paper
- An automated parallel compatibility testing framework fo web-based systems. HAL (Le Centre pour la Communication Scientifique Directe). 2021
- A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO. . 407-415. 2019
- Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. . 397-406. 2019
- An Unsupervised Rule Generation Approach for Online Complex Event Processing. . 1-8. 2018
- Welcome Message from the NetSMM 2018 Workshop Co-Chairs. . 50-50. 2018
- A Novel Formal Approach to Automatically Suggest Metrics in Software Measurement Plans. . 283-290. 2018
- Enhancing Software Development Process Quality based on Metrics Correlation and Suggestion. . 154-165. 2018
- Automated suggesting software metrics framework. HAL (Le Centre pour la Communication Scientifique Directe). 2017
- A novel online CEP learning engine for MANET IDS. . 1-6. 2017
- A Software Measurement Framework Guided by Support Vector Machines. . 397-402. 2017
- Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture. . 407-414. 2017
- An online learning based approach for CEP rule generation. . 1-6. 2016
- NetMM 2016 Organizing Committee and Reviewers. . lxi-lxi. 2016
- Protecting Wireless Mesh Networks through a distributed intrusion prevention framework. . 1-6. 2015
- Testing communication protocols within test cases dependencies framework. . 2015
- Spanning Data Across Heterogeneous MANETs through Proactive Strip Interoperability. . 116-124. 2015
- Towards a Generic Trust Management Framework Using a Machine-Learning-Based Trust Model. 2015 IEEE Trustcom/BigDataSE/ISPA. 2015
- Strip Interoperability for Wireless Ad Hoc Routing Protocols. . 32-36. 2014
- Cost effective cross-layer protocol testing : a case study. HAL (Le Centre pour la Communication Scientifique Directe). 2011
- Partial Complete iBGP. IEEE International Conference on Communications. 1-5. 2010
- BGP Skeleton - An Alternative to iBGP Route Reflection. . 1-5. 2010
- An efficient scheduling algorithm for QoS provisioning in WiMAX networks. . 240-245. 2008
- A Node Self Similarity Approach for Interoperability Testing of Ad Hoc Routing Protocols. . 983-988. 2008
- A validation model for the DSR protocol. . 2004
Co-author Network