A New Algorithm for Service Interaction Detection. - Ana R. Cavalli; Stéphane Maag (ICFEM, 2002)

A Validation Model for the DSR Protocol. - Ana R. Cavalli; Cyril Grepet; Stéphane Maag; Vincent Tortajada (ICDCS Workshops, 2004)

A Testing Methodology for an Open Software E-learning Platform. - Ana R. Cavalli; Stéphane Maag; Sofia Papagiannaki; Georgios Verigakis; Fatiha Zaïdi (EDUTECH, 2004)

Automated test scenarios generation for an e-barter system. - Ana R. Cavalli; Stéphane Maag (SAC, 2004)

From UML models to automatic generated tests for the dotLRN e-learning platform. - Ana R. Cavalli; Stéphane Maag; Sofia Papagiannaki; Georgios Verigakis (TACoS, 2004)

Conformance and Interoperability Testing of an Ad Hoc Routing Protocol. - Cyril Grepet; Stéphane Maag (MDM, 2006)

Testing methodology for an ad hoc routing protocol. - Stéphane Maag; Fatiha Zaïdi (PM2HW2N, 2006)

Application of Two Test Generation Tools to an Industrial Case Study. - Ana R. Cavalli; Stéphane Maag; Wissam Mallouli; Mikael Marche; Yves-Marie Quemener (TestCom, 2006)

A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach. - Cyril Grepet; Stéphane Maag (PerCom Workshops, 2007)

Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols. - Cyril Grepet; Stéphane Maag (TestCom/FATES, 2007)

Regression and Performance Testing of an e-Learning Web Application: dotLRN. - Ana R. Cavalli; Stéphane Maag; Gerardo Morales (SITIS, 2007)

A Node Self Similarity Approach for Interoperability Testing of Ad Hoc Routing Protocols. - Stéphane Maag; Cyril Grepet (AINA Workshops, 2008)

Interoperability testing of a MANET routing protocol using a node self-similarity approach. - Stéphane Maag; Cyril Grepet (SAC, 2008)

A formal validation methodology for MANET routing protocols based on nodes' self similarity. - Stéphane Maag; Cyril Grepet; Ana R. Cavalli (Comput. Commun., 2008)

Analysis of the OLSR Protocol by Using Formal Passive Testing. - César Andrés; Stéphane Maag; Ana R. Cavalli; Mercedes G. Merayo; Manuel Núñez 001 (APSEC, 2009)

An Automated Passive Testing Approach for the IMS PoC Service. - Felipe Lalanne; Stéphane Maag; Edgardo Montes de Oca; Ana R. Cavalli; Wissam Mallouli; Arnaud Gonguet (ASE, 2009)

From the IMS PoC service monitoring to its formal conformance testing. - Felipe Lalanne; Stéphane Maag (Mobility Conference, 2009)

A Formal Passive Testing Approach to test a MANET Routing Protocol. - Ana R. Cavalli; Stéphane Maag; Edgardo Montes de Oca; Fatiha Zaïdi (PerCom Workshops, 2009)

A passive conformance testing approach for a MANET routing protocol. - Ana R. Cavalli; Stéphane Maag; Edgardo Montes de Oca (SAC, 2009)

A component based testing technique for a MANET routing protocol. - Fatiha Zaïdi; Mounir Lallali; Stéphane Maag (AICCSA, 2010)

Partial Complete iBGP. - Bakr Sarakbi; Stéphane Maag (ICC, 2010)

Timed Extended Invariants for the Passive Testing of Web Services. - Gerardo Morales; Stéphane Maag; Ana R. Cavalli; Wissam Mallouli; Edgardo Montes de Oca; Bachar Wehbi (ICWS, 2010)

BGP Skeleton - An Alternative to iBGP Route Reflection. - Bakr Sarakbi; Stéphane Maag (INFOCOM, 2010)

FSM-based conformance testing methods: A survey annotated with experimental evaluation. - Rita Dorofeeva; Khaled El-Fakih; Stéphane Maag; Ana R. Cavalli; Nina Yevtushenko 001 (Inf. Softw. Technol., 2010)

Protocol Data Parts Inclusion in a Formal Passive Testing Approach. - Felipe Lalanne; Stephane Maag (AINA Workshops, 2011)

FSM-Based Test Derivation Strategies for Systems with Time-Outs. - Maxim Zhigulin; Nina Yevtushenko 001; Stéphane Maag; Ana R. Cavalli (QSIC, 2011)

One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches. - Aline Carneiro Viana; Stephane Maag; Fatiha Zaïdi (ACM Comput. Surv., 2011)

A Logic-based Passive Testing Approach for the Validation of Communicating Protocols. - Xiaoping Che; Felipe Lalanne; Stephane Maag (ENASE, 2012)

A Formal Monitoring Technique for SIP Conformance Testing. - Xiaoping Che; Felipe Lalanne; Stephane Maag (ENASE (Selected Papers), 2012)

An IOSTS Based Passive Testing Approach for the Validation of Data-Centric Protocols. - Pramila Mouttappa; Stéphane Maag; Ana R. Cavalli (QSIC, 2012)

Quality of Experience as a Selection Criterion for Web Services. - Felipe Lalanne; Ana R. Cavalli; Stephane Maag (SITIS, 2012)

Passive Testing on Performance Requirements of Network Protocols. - Xiaoping Che; Stéphane Maag (AINA Workshops, 2013)

Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study. - Pramila Mouttappa; Stephane Maag; Ana R. Cavalli (COMPSAC, 2013)

A Formal Passive Performance Testing Approach for Distributed Communication Systems. - Xiaoping Che; Stephane Maag (ENASE, 2013)

Testing Distributed Communication Protocols by Formal Performance Monitoring. - Xiaoping Che; Stephane Maag (ENASE (Selected Papers), 2013)

A Passive Testing Approach for Protocols in Internet of Things. - Xiaoping Che; Stéphane Maag (GreenCom/iThings/CPScom, 2013)

DataMonitor - A formal approach for passively testing a MANET routing protocol. - Felipe Lalanne; Stephane Maag (IWCMC, 2013)

A formal distributed network monitoring approach for enhancing trust management systems. - Jorge López; Stephane Maag; Gerardo Morales (MEDES, 2013)

Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols. - Pramila Mouttappa; Stephane Maag; Ana R. Cavalli (Comput. Networks, 2013)

A Formal Data-Centric Approach for Passive Testing of Communication Protocols. - Felipe Lalanne; Stephane Maag (IEEE/ACM Trans. Netw., 2013)

A Distributed Monitoring Approach for Trust Assessment Based on Formal Testing. - Jorge López; Xiaoping Che; Stéphane Maag; Gerardo Morales (AINA Workshops, 2014)

Online Testing: A Passive Approach for Protocols. - Xiaoping Che; Jorge López; Stéphane Maag (ENASE (Selected Papers), 2014)

An Online Passive Testing Approach for Communication Protocols. - Jorge López; Xiaoping Che; Stephane Maag (ENASE, 2014)

Strip Interoperability for Wireless Ad Hoc Routing Protocols. - Marco Antonio To; Gerardo Morales; Stephane Maag (NCA, 2014)

Testing Network Protocols: formally, at runtime and online. - Xiaoping Che; Stéphane Maag; Jorge López; Ana R. Cavalli (SEKE, 2014)

Testing protocols in Internet of Things by a formal passive technique. - Xiaoping Che; Stephane Maag (Sci. China Inf. Sci., 2014)

Passive performance testing of network protocols. - Xiaoping Che; Stephane Maag (Comput. Commun., 2014)

TEAR: A Multi-purpose Formal Language Specification for TEsting at Runtime. - Jorge López; Stéphane Maag; Gerardo Morales (ARES, 2015)

Spanning Data Across Heterogeneous MANETs through Proactive Strip Interoperability. - Marco Antonio To; Jose Alvarez; Marcos Cano; Stephane Maag (CIT/IUCC/DASC/PICom, 2015)

Process Mining for Trust Monitoring. - Jorge López; Stephane Maag; Cecilia Saint-Pierre; Javier Bustos-Jiménez; Ana R. Cavalli (AINA Workshops, 2015)

Testing distributed systems with test cases dependencies architecture. - Alberto Marroquin; Douglas Gonzalez; Stephane Maag (LATINCOM, 2015)

Protecting Wireless Mesh Networks through a distributed intrusion prevention framework. - Oscar Rodas; Marco Antonio To; Jose Alvarez; Stephane Maag (LATINCOM, 2015)

A proactive approach for strip interoperability in wireless ad hoc routing protocols. - Marco Antonio To; Oscar Rodas; Preng Biba; Stéphane Maag (LATINCOM, 2015)

Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP. - Xiaoping Che; Stephane Maag; Huu Nghia Nguyen; Fatiha Zaïdi (ICTSS, 2015)

A novel distributed testing approach based on test cases dependencies for communication protocols. - Alberto Marroquin; Douglas Gonzalez; Stephane Maag (RACS, 2015)

Towards a Generic Trust Management Framework Using a Machine-Learning-Based Trust Model. - Jorge López; Stephane Maag (TrustCom/BigDataSE/ISPA (1), 2015)

Passively Testing Routing Protocols in Wireless Sensor Networks. - Xiaoping Che; Stephane Maag; Hwee-Xian Tan; Hwee-Pink Tan (UIC/ATC/ScalCom, 2015)

Testing trust properties using a formal distributed network monitoring approach. - Xiaoping Che; Jorge López; Stéphane Maag; Gerardo Morales (Ann. des Télécommunications, 2015)

Formally testing the protocol performances. - Xiaoping Che; Stephane Maag (Int. J. Space Based Situated Comput., 2015)

A Passive Testing Approach for Protocols in Wireless Sensor Networks. - Xiaoping Che; Stéphane Maag; Hwee-Xian Tan; Hwee-Pink Tan; Zhangbing Zhou (Sensors, 2015)

Ads Network Monitoring Integrating Realistic Urban Mobility Patterns. - Thi Hien Le; Stephane Maag (AINA Workshops, 2016)

A Learning based approach for Green Software Measurements. - Sarah A. Dahab; Stephane Maag; Alessandra Bagnato; Marcos Aurélio Almeida da Silva (MeGSuS@ESEM, 2016)

An online learning based approach for CEP rule generation. - Erick Petersen; Marco Antonio To; Stephane Maag (LATINCOM, 2016)

MANETs monitoring with a distributed hybrid architecture. - Jose Alvarez; Stéphane Maag; Fatiha Zaïdi (NCA, 2016)

Behavior evaluation for trust management based on formal distributed network monitoring. - Jorge López; Stéphane Maag; Gerardo Morales (World Wide Web, 2016)

Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture. - Jose Alvarez; Stephane Maag; Fatiha Zaïdi (AINA, 2017)

A Software Measurement Framework Guided by Support Vector Machines. - Sarah A. Dahab; Stephane Maag; Xiaoping Che (AINA Workshops, 2017)

A novel online CEP learning engine for MANET IDS. - Erick Petersen; Marco Antonio To; Stephane Maag (LATINCOM, 2017)

DHYMON: a Continuous Decentralized Hybrid Monitoring Architecture for MANETs. - Jose Alvarez; Stephane Maag; Fatiha Zaïdi (CoRR, 2017)

MANETs Interoperability: Current Trends and Open Research. - Jose Alfredo Alvarez Aldana; Stephane Maag; Fatiha Zaïdi (AINA Workshops, 2018)

A Novel Formal Approach to Automatically Suggest Metrics in Software Measurement Plans. - Sarah A. Dahab; Juan Jose Hernandez Porras; Stephane Maag (ENASE, 2018)

Smart Measurements and Analysis for Software Quality Enhancement. - Sarah A. Dahab; Stephane Maag; Wissam Mallouli; Ana R. Cavalli (ICSOFT (Selected Papers), 2018)

Enhancing Software Development Process Quality based on Metrics Correlation and Suggestion. - Sarah A. Dahab; Erika Silva; Stephane Maag; Ana Rosa Cavalli; Wissam Mallouli (ICSOFT, 2018)

An Unsupervised Rule Generation Approach for Online Complex Event Processing. - Erick Petersen; Marco Antonio To; Stephane Maag; Thierry Yamga (NCA, 2018)

Suggesting Software Measurement Plans with Unsupervised Learning Data Analysis. - Sarah A. Dahab; Stéphane Maag (ENASE, 2019)

Automated Software Measurement Strategies Elaboration Using Unsupervised Learning Data Analysis. - Sarah A. Dahab; Stephane Maag (ENASE (Selected Papers), 2019)

Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. - Rabéa Ameur-Boulifa; Ana R. Cavalli; Stephane Maag (ICSOFT, 2019)

From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. - Rabéa Ameur-Boulifa; Ana R. Cavalli; Stephane Maag (ICSOFT (Selected Papers), 2019)

A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO. - Thierno Birahime Sambe; Stephane Maag; Ana R. Cavalli (ICSOFT, 2019)

Codeless Web Testing using Selenium and Machine Learning. - Duyen Phuc Nguyen; Stephane Maag (ICSOFT, 2020)

A Machine Learning Based Methodology for Web Systems Codeless Testing with Selenium. - Duyen Phuc Nguyen; Stephane Maag (ICSOFT (Selected Papers), 2020)

A formal consensus-based distributed monitoring approach for mobile IoT networks. - Jose Alfredo Alvarez Aldana; Stephane Maag; Fatiha Zaïdi (Internet Things, 2021)

Re-Evaluating Privacy in Centralized and Decentralized Learning: An Information-Theoretical and Empirical Study. - Changlong Ji; Richard Heusdens; Stephane Maag; Qiongxiu Li (ICASSP, 2025)