Stéphane Maag
Orcid: 0000-0002-0305-4712
According to our database1,
Stéphane Maag
authored at least 82 papers
between 2002 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2021
Internet Things, 2021
2020
Proceedings of the Software Technologies - 15th International Conference, 2020
Proceedings of the 15th International Conference on Software Technologies, 2020
2019
A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO.
Proceedings of the 14th International Conference on Software Technologies, 2019
From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems.
Proceedings of the Software Technologies - 14th International Conference, 2019
Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System.
Proceedings of the 14th International Conference on Software Technologies, 2019
Automated Software Measurement Strategies Elaboration Using Unsupervised Learning Data Analysis.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019
2018
Proceedings of the 17th IEEE International Symposium on Network Computing and Applications, 2018
Enhancing Software Development Process Quality based on Metrics Correlation and Suggestion.
Proceedings of the 13th International Conference on Software Technologies, 2018
Proceedings of the Software Technologies - 13th International Conference, 2018
A Novel Formal Approach to Automatically Suggest Metrics in Software Measurement Plans.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018
Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018
2017
CoRR, 2017
Proceedings of the 9th IEEE Latin-American Conference on Communications, 2017
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017
Proceedings of the 31st IEEE International Conference on Advanced Information Networking and Applications, 2017
2016
Behavior evaluation for trust management based on formal distributed network monitoring.
World Wide Web, 2016
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016
Proceedings of the 8th IEEE Latin-American Conference on Communications, 2016
Proceedings of the 3rd International Workshop on Measurement and Metrics for Green and Sustainable Software Systems, 2016
Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016
2015
Int. J. Space Based Situated Comput., 2015
Ann. des Télécommunications, 2015
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015
Towards a Generic Trust Management Framework Using a Machine-Learning-Based Trust Model.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
A novel distributed testing approach based on test cases dependencies for communication protocols.
Proceedings of the 2015 Conference on research in adaptive and convergent systems, 2015
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP.
Proceedings of the Testing Software and Systems, 2015
A proactive approach for strip interoperability in wireless ad hoc routing protocols.
Proceedings of the 7th IEEE Latin-American Conference on Communications, 2015
Protecting Wireless Mesh Networks through a distributed intrusion prevention framework.
Proceedings of the 7th IEEE Latin-American Conference on Communications, 2015
Proceedings of the 7th IEEE Latin-American Conference on Communications, 2015
Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015
Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015
Proceedings of the 10th International Conference on Availability, Reliability and Security, 2015
2014
Sci. China Inf. Sci., 2014
Testing Network Protocols: formally, at runtime and online.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014
Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications, 2014
Proceedings of the ENASE 2014, 2014
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2014
Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014
2013
IEEE/ACM Trans. Netw., 2013
Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols.
Comput. Networks, 2013
A formal distributed network monitoring approach for enhancing trust management systems.
Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems, 2013
Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 2013
Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2013
Proceedings of the ENASE 2013, 2013
Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013
2012
Proceedings of the Eighth International Conference on Signal Image Technology and Internet Based Systems, 2012
An IOSTS Based Passive Testing Approach for the Validation of Data-Centric Protocols.
Proceedings of the 2012 12th International Conference on Quality Software, 2012
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2012
A Logic-based Passive Testing Approach for the Validation of Communicating Protocols.
Proceedings of the ENASE 2012, 2012
2011
One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches.
ACM Comput. Surv., 2011
Proceedings of the 11th International Conference on Quality Software, 2011
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011
2010
FSM-based conformance testing methods: A survey annotated with experimental evaluation.
Inf. Softw. Technol., 2010
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010
Proceedings of the IEEE International Conference on Web Services, 2010
Proceedings of IEEE International Conference on Communications, 2010
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010
2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009
Proceedings of the 6th International Conference on Mobile Technology, 2009
Proceedings of the ASE 2009, 2009
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009
2008
A formal validation methodology for MANET routing protocols based on nodes' self similarity.
Comput. Commun., 2008
Interoperability testing of a MANET routing protocol using a node self-similarity approach.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
A Node Self Similarity Approach for Interoperability Testing of Ad Hoc Routing Protocols.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008
2007
Proceedings of the Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, 2007
Proceedings of the Testing of Software and Communicating Systems, 2007
A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach.
Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications, 2007
2006
Proceedings of the Testing of Communicating Systems, 2006
Proceedings of the 1st ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2006
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006
2004
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the EDUTECH, 2004
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004
2002
Proceedings of the Formal Methods and Software Engineering, 2002