Stephane Maag

47 papers B 9C 6Misc 1Journal 10Unranked 21
YearRankTypeTitle / Venue / Authors
2025 Misc conf
Re-Evaluating Privacy in Centralized and Decentralized Learning: An Information-Theoretical and Empirical Study.
ICASSP
Changlong Ji, Richard Heusdens, Stephane Maag, Qiongxiu Li
2024 J jnl
Re-Evaluating Privacy in Centralized and Decentralized Learning: An Information-Theoretical and Empirical Study.
CoRR
Changlong Ji, Stephane Maag, Richard Heusdens, Qiongxiu Li
2021 J jnl
A formal consensus-based distributed monitoring approach for mobile IoT networks.
Internet Things
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaïdi
2020 — conf
A Machine Learning Based Methodology for Web Systems Codeless Testing with Selenium.
ICSOFT (Selected Papers)
Duyen Phuc Nguyen, Stephane Maag
2020 C conf
Codeless Web Testing using Selenium and Machine Learning.
ICSOFT
Duyen Phuc Nguyen, Stephane Maag
2019 C conf
A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO.
ICSOFT
Thierno Birahime Sambe, Stephane Maag, Ana R. Cavalli
2019 — conf
Automated Software Measurement Strategies Elaboration Using Unsupervised Learning Data Analysis.
ENASE (Selected Papers)
Sarah A. Dahab, Stephane Maag
2019 — conf
From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems.
ICSOFT (Selected Papers)
Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag
2019 C conf
Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System.
ICSOFT
Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag
2018 B conf
A Novel Formal Approach to Automatically Suggest Metrics in Software Measurement Plans.
ENASE
Sarah A. Dahab, Juan Jose Hernandez Porras, Stephane Maag
2018 B conf
An Unsupervised Rule Generation Approach for Online Complex Event Processing.
NCA
Erick Petersen, Marco Antonio To, Stephane Maag, Thierry Yamga
2018 C conf
Enhancing Software Development Process Quality based on Metrics Correlation and Suggestion.
ICSOFT
Sarah A. Dahab, Erika Silva, Stephane Maag, Ana Rosa Cavalli, Wissam Mallouli
2018 — conf
MANETs Interoperability: Current Trends and Open Research.
AINA Workshops
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaïdi
2018 J jnl
Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture.
CoRR
Jose Alvarez, Stephane Maag, Fatiha Zaïdi
2018 — conf
Smart Measurements and Analysis for Software Quality Enhancement.
ICSOFT (Selected Papers)
Sarah A. Dahab, Stephane Maag, Wissam Mallouli, Ana R. Cavalli
2017 — conf
A Software Measurement Framework Guided by Support Vector Machines.
AINA Workshops
Sarah A. Dahab, Stephane Maag, Xiaoping Che
2017 — conf
A novel online CEP learning engine for MANET IDS.
LATINCOM
Erick Petersen, Marco Antonio To, Stephane Maag
2017 J jnl
DHYMON: a Continuous Decentralized Hybrid Monitoring Architecture for MANETs.
CoRR
Jose Alvarez, Stephane Maag, Fatiha Zaïdi
2017 B conf
Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture.
AINA
Jose Alvarez, Stephane Maag, Fatiha Zaïdi
2016 — conf
A Learning based approach for Green Software Measurements.
MeGSuS@ESEM
Sarah A. Dahab, Stephane Maag, Alessandra Bagnato, Marcos Aurélio Almeida da Silva
2016 — conf
Ads Network Monitoring Integrating Realistic Urban Mobility Patterns.
AINA Workshops
Thi Hien Le, Stephane Maag
2016 — conf
An online learning based approach for CEP rule generation.
LATINCOM
Erick Petersen, Marco Antonio To, Stephane Maag
2015 — conf
A novel distributed testing approach based on test cases dependencies for communication protocols.
RACS
Alberto Marroquin, Douglas Gonzalez, Stephane Maag
2015 J jnl
Formally testing the protocol performances.
Int. J. Space Based Situated Comput.
Xiaoping Che, Stephane Maag
2015 C conf
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP.
ICTSS
Xiaoping Che, Stephane Maag, Huu Nghia Nguyen, Fatiha Zaïdi
2015 — conf
Passively Testing Routing Protocols in Wireless Sensor Networks.
UIC/ATC/ScalCom
Xiaoping Che, Stephane Maag, Hwee-Xian Tan, Hwee-Pink Tan
2015 — conf
Process Mining for Trust Monitoring.
AINA Workshops
Jorge López, Stephane Maag, Cecilia Saint-Pierre, Javier Bustos-Jiménez, Ana R. Cavalli
2015 — conf
Protecting Wireless Mesh Networks through a distributed intrusion prevention framework.
LATINCOM
Oscar Rodas, Marco Antonio To, Jose Alvarez, Stephane Maag
2015 — conf
Spanning Data Across Heterogeneous MANETs through Proactive Strip Interoperability.
CIT/IUCC/DASC/PICom
Marco Antonio To, Jose Alvarez, Marcos Cano, Stephane Maag
2015 — conf
Testing distributed systems with test cases dependencies architecture.
LATINCOM
Alberto Marroquin, Douglas Gonzalez, Stephane Maag
2015 — conf
Towards a Generic Trust Management Framework Using a Machine-Learning-Based Trust Model.
TrustCom/BigDataSE/ISPA (1)
Jorge López, Stephane Maag
2014 B conf
An Online Passive Testing Approach for Communication Protocols.
ENASE
Jorge López, Xiaoping Che, Stephane Maag
2014 J jnl
Passive performance testing of network protocols.
Comput. Commun.
Xiaoping Che, Stephane Maag
2014 B conf
Strip Interoperability for Wireless Ad Hoc Routing Protocols.
NCA
Marco Antonio To, Gerardo Morales, Stephane Maag
2014 J jnl
Testing protocols in Internet of Things by a formal passive technique.
Sci. China Inf. Sci.
Xiaoping Che, Stephane Maag
2013 J jnl
A Formal Data-Centric Approach for Passive Testing of Communication Protocols.
IEEE/ACM Trans. Netw.
Felipe Lalanne, Stephane Maag
2013 B conf
A Formal Passive Performance Testing Approach for Distributed Communication Systems.
ENASE
Xiaoping Che, Stephane Maag
2013 C conf
A formal distributed network monitoring approach for enhancing trust management systems.
MEDES
Jorge López, Stephane Maag, Gerardo Morales
2013 B conf
DataMonitor - A formal approach for passively testing a MANET routing protocol.
IWCMC
Felipe Lalanne, Stephane Maag
2013 B conf
Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study.
COMPSAC
Pramila Mouttappa, Stephane Maag, Ana R. Cavalli
2013 — conf
Testing Distributed Communication Protocols by Formal Performance Monitoring.
ENASE (Selected Papers)
Xiaoping Che, Stephane Maag
2013 J jnl
Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols.
Comput. Networks
Pramila Mouttappa, Stephane Maag, Ana R. Cavalli
2012 — conf
A Formal Monitoring Technique for SIP Conformance Testing.
ENASE (Selected Papers)
Xiaoping Che, Felipe Lalanne, Stephane Maag
2012 B conf
A Logic-based Passive Testing Approach for the Validation of Communicating Protocols.
ENASE
Xiaoping Che, Felipe Lalanne, Stephane Maag
2012 — conf
Quality of Experience as a Selection Criterion for Web Services.
SITIS
Felipe Lalanne, Ana R. Cavalli, Stephane Maag
2011 J jnl
One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches.
ACM Comput. Surv.
Aline Carneiro Viana, Stephane Maag, Fatiha Zaïdi
2011 — conf
Protocol Data Parts Inclusion in a Formal Passive Testing Approach.
AINA Workshops
Felipe Lalanne, Stephane Maag