Article dans une revue

2022

ref_biblio

Ioannis Stavrakakis, Damian Gordon, Brendan Tierney, Anna Becevel, Emma Murphy, et al.. The teaching of computer ethics on computer science and related degree programmes: a European survey. International Journal of Ethics Education, 2022, 7 (1), pp.101-129. ⟨10.1007/s40889-021-00135-1⟩. ⟨hal-03377525⟩

Accès au texte intégral et bibtex

2021

ref_biblio

Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaïdi. A formal consensus-based distributed monitoring approach for mobile IoT networks. Internet of Things, 2021, 13, pp.100352. ⟨10.1016/j.iot.2020.100352⟩. ⟨hal-03546760⟩

Accès au texte intégral et bibtex

2017

ref_biblio

Alessandra Bagnato, Andrey Sadovykh, Sarah Dahab, Stephane Maag, Ana Rosa Cavalli, et al.. Modeling OMG SMM metrics using the Modelio modeling tool in the MEASURE project. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017, 120, pp.46 - 52. ⟨hal-01534818⟩

Accès au bibtex

2016

ref_biblio

Jorge Eleazar Lopez Coronado, Stephane Maag, Gerardo Morales. Behavior evaluation for trust management based on formal distributed network monitoring. World Wide Web, 2016, 19 (1), pp.21 - 39. ⟨10.1007/s11280-015-0324-6⟩. ⟨hal-01255091⟩

Accès au bibtex

ref_biblio

Marco Antonio To de Leon, Oscar Rolando Rodas Hernandez, Preng Biba, Stephane Maag. A proactive approach for strip interoperability in wireless Ad hoc routing protocols. IEEE Latin America Transactions, 2016, 14 (6), pp.2543 - 2549. ⟨10.1109/TLA.2016.7555216⟩. ⟨hal-01390853⟩

Accès au bibtex

2015

ref_biblio

Xiaoping Che, Stephane Maag. Formally testing the protocol performances. International Journal of Space-Based and Situated Computing, 2015, 5 (2), pp.76 - 88. ⟨10.1504/IJSSC.2015.069197⟩. ⟨hal-01255092⟩

Accès au bibtex

ref_biblio

Xiaoping Che, Stephane Maag, Hwee-Pink Tan, Hwee-Xian Tan, Zhangbing Zhou. A passive testing approach for protocols in Wireless Sensor Networks. Sensors, 2015, 15 (11), pp.29250 - 29272. ⟨10.3390/s151129250⟩. ⟨hal-01262371⟩

Accès au bibtex

ref_biblio

Xiaoping Che, Jorge Eleazar Lopez Coronado, Stephane Maag, Gerardo Morales. Testing trust properties using a formal distributed network monitoring approach. Annals of Telecommunications - annales des télécommunications, 2015, 70 (3), pp.95 - 105. ⟨10.1007/s12243-014-0454-3⟩. ⟨hal-01287769⟩

Accès au bibtex

2014

ref_biblio

Xiaoping Che, Stephane Maag. Testing protocols in Internet of Things by a formal passive technique. Science in China Series F: Information Sciences, 2014, 53 (3), pp.1 - 13. ⟨10.1007/s11432-014-5068-x⟩. ⟨hal-01263346⟩

Accès au bibtex

ref_biblio

Xiaoping Che, Stephane Maag. Passive performance testing of network protocols. Computer Communications, 2014, 51, pp.36 - 47. ⟨10.1016/j.comcom.2014.06.001⟩. ⟨hal-01263272⟩

Accès au bibtex

ref_biblio

Stephane Maag. Model-based testing for MANETs. Proceedings of the Institute for System Programming of the RAS (ISP RAS), 2014, 26 (6), pp.31 - 46. ⟨10.15514/ISPRAS-2014-26(6)-2⟩. ⟨hal-01255093⟩

Accès au bibtex

2013

ref_biblio

Felipe Lalanne Rojas, Stephane Maag. A formal data-centric approach for passive testing of communication protocols. IEEE/ACM Transactions on Networking, 2013, 21 (3), pp.788-801. ⟨10.1109/TNET.2012.2210443⟩. ⟨hal-00838645⟩

Accès au bibtex

ref_biblio

Pramila Mouttappa, Stephane Maag, Ana Rosa Cavalli. Using passive testing based on symbolic execution and slicing techniques : application to the validation of communication protocols. Computer Networks, 2013, 57 (15), pp.2992 - 3008. ⟨10.1016/j.comnet.2013.06.019⟩. ⟨hal-01273640⟩

Accès au bibtex

2010

ref_biblio

Rita Dorofeeva, Khaled El-Fakhi, Stephane Maag, Ana Rosa Cavalli, Nina Yevtushenko. FSM-based conformance testing methods : a survey annotated with experimental evaluation. Information and Software Technology, 2010, 52 (12), pp.1286-1297. ⟨10.1016/j.infsof.2010.07.001⟩. ⟨hal-00593960⟩

Accès au bibtex

2009

ref_biblio

Aline Carneiro Viana, Stephane Maag, Fatiha Zaïdi. One step forward: Linking Wireless Self-Organising Networks Validation Techniques with Formal Testing approaches. ACM Computing Surveys, 2009. ⟨inria-00429444⟩

Accès au bibtex

2008

ref_biblio

Stephane Maag, Cyril Grepet, Ana Rosa Cavalli. A formal validation methodology for MANET routing protocols based on nodes' self similarity. Computer Communications, 2008, 31 (4), pp.827 - 841. ⟨10.1016/j.comcom.2007.10.031⟩. ⟨hal-01354849⟩

Accès au bibtex

2007

ref_biblio

Stephane Maag, Fatiha Zaidi. A step-wise validation approach for a wireless routing protocol. Research, Development and Application on Electronics, Telecommunications and Information Technology, 2007, 1, pp.34 - 40. ⟨hal-01328077⟩

Accès au bibtex

Communication dans un congrès

2021

ref_biblio

Yeisson Chicas, Stephane Maag. An automated parallel compatibility testing framework fo web-based systems. ICWI AC 2021: 20th International Conference on WWW/Internet and 18th international conference on Applied Computing, Oct 2021, Online, France. pp.163-174. ⟨hal-03546824⟩

Accès au texte intégral et bibtex

ref_biblio

Paul Doyle, Cathy Ennis, Anna Becevel, Stephane Maag, Radu Dobrin, et al.. HUBLINKED: a curriculum mapping framework for industry. 2021 Polytechnic Summit, Jun 2021, Dublin (online), Ireland. ⟨10.21427/GT0M-3C42⟩. ⟨hal-03546797⟩

Accès au texte intégral et bibtex

2020

ref_biblio

Duyen Phuc Nguyen, Stephane Maag. Codeless web testing using Selenium and machine learning. ICSOFT 2020: 15th International Conference on Software Technologies, Jul 2020, Online, France. pp.51-60, ⟨10.5220/0009885400510060⟩. ⟨hal-02909787⟩

Accès au texte intégral et bibtex

2019

ref_biblio

Rabéa Ameur Boulifa, Cavalli Rosa Ana, Stephane Maag. Verifying complex software control systems from test objectives: application to the ETCS system. ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. ⟨10.5220/0007918203970406⟩. ⟨hal-02269604⟩

Accès au bibtex

ref_biblio

Sarah Dahab, Stephane Maag. Suggesting Software Measurement Plans with unsupervised learning data analysis. ENASE 2019: 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, Greece. ⟨10.5220/0007768101890197⟩. ⟨hal-02143691⟩

Accès au texte intégral et bibtex

ref_biblio

Thierno Sambe, Stephane Maag, Ana Cavalli. A methodology for enterprise resource planning automation testing application to the Open Source ERP-ODOO. ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.407-415, ⟨10.5220/0007923004070415⟩. ⟨hal-02268593⟩

Accès au bibtex

2018

ref_biblio

Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. MANETs interoperability: current trends and open research. WAINA 2018: 32nd International Conference on Advanced Information Networking and Applications Workshops, May 2018, Krakow, Poland. pp.481 - 487, ⟨10.1109/WAINA.2018.00132⟩. ⟨hal-01976999⟩

Accès au bibtex

ref_biblio

Sarah Dahab, Stephane Maag, Wissam Mallouli, Ana Cavalli. Smart measurements and analysis for software quality enhancement. ICSOFT 2018: International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.194-219, ⟨10.1007/978-3-030-29157-0_9⟩. ⟨hal-02268574⟩

Accès au bibtex

ref_biblio

Sarah Dahab, Erika Fernanda Silva Balocchi, Stephane Maag, Ana Rosa Cavalli, Wissam Mallouli. Enhancing software development process quality based on metrics correlation and suggestion. The 13th International Conference on Software Technologies (ICSOFT), Jul 2018, Porto, Portugal. pp.120 - 131, ⟨10.5220/0006856501540165⟩. ⟨hal-01977133⟩

Accès au bibtex

ref_biblio

Sarah Dahab, Juan Jose Hernandez Porras, Stephane Maag. A novel formal approach to automatically suggest metrics in software measurement plans. ENASE 2018: 13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Portugal. pp.283 - 290, ⟨10.5220/0006710902830290⟩. ⟨hal-01977158⟩

Accès au bibtex

ref_biblio

Alberto José Fernando Marroquín Piloña, Vencent Martinez, Jose Solares, Stephane Maag. A distributed test-cases dependencies framework : application to the SIP protocol. CONCAPAN 2018: 38th Central America and Panama Convention, Nov 2018, San Salvador, El Salvador. pp.1 - 6, ⟨10.1109/CONCAPAN.2018.8596359⟩. ⟨hal-01975946⟩

Accès au bibtex

ref_biblio

Erick Petersen, Marco Antonio To de Leon, Stephane Maag, Thierry Yamga. An unsupervised rule generation approach for online Complex Event Processing. NCA 2018: 17th IEEE International Symposium on Network Computing and Applications, Nov 2018, Cambridge, Ma, United States. pp.1 - 8, ⟨10.1109/NCA.2018.8548210⟩. ⟨hal-01977034⟩

Accès au bibtex

2017

ref_biblio

Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. DHYMON: a continuous Decentralized HYBrid MONitoring architecture for MANETs. LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Nov 2017, Guatemala City, Guatemala. ⟨hal-01799804⟩

Accès au bibtex

ref_biblio

Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. Monitoring dynamic mobile ad-hoc networks: a fully distributed hybrid architecture. AINA 2017: 31st IEEE International Conference on Advanced Information Networking and Applications, Mar 2017, Taipei, Taiwan. pp.407 - 414, ⟨10.1109/AINA.2017.74⟩. ⟨hal-01653375⟩

Accès au bibtex

ref_biblio

Sarah Dahab, Juan Jose Hernandez Porras, Stephane Maag. A software measurement plan management guided by an automated metrics suggestion framework. EECS 2017: European Conference on Electrical Engineering & Computer Science, Nov 2017, Bern, Switzerland. pp.9 - 16, ⟨10.1109/EECS.2017.11⟩. ⟨hal-01847908⟩

Accès au bibtex

ref_biblio

Sarah Dahab, Stephane Maag, Xiaoping Che. A software measurement framework guided by Support Vector Machines. 31st International Conference on Advanced Information Networking and Applications Workshops, Mar 2017, Taipei, Taiwan. pp.397 - 402, ⟨10.1109/WAINA.2017.66⟩. ⟨hal-01575616⟩

Accès au bibtex

ref_biblio

Sarah Dahab, Juan Jose Hernandez Porras, Stephane Maag. Automated suggesting software metrics framework. LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Nov 2017, Guatemala City, Guatemala. ⟨hal-01799805⟩

Accès au bibtex

ref_biblio

Alberto José Fernando Marroquín Piloña, Jose Solares, Stephane Maag. A distributed test case dependencies architecture : application to the SIP protocol. LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Nov 2017, Guatemala City, Guatemala. ⟨hal-01799806⟩

Accès au bibtex

ref_biblio

Erick Petersen, Marco Antonio To de Leon, Stephane Maag. A novel online CEP learning engine for MANET IDS. LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications, Nov 2017, Guatemala City, Guatemala. pp.1 - 6, ⟨10.1109/LATINCOM.2017.8240196⟩. ⟨hal-01681466⟩

Accès au bibtex

2016

ref_biblio

Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. MANETs monitoring with a distributed hybrid architecture. NCA 2016 : 15th IEEE International Symposium on Network Computing and Applications, Oct 2016, Cambridge, Ma, United States. pp.388 - 391, ⟨10.1109/NCA.2016.7778646⟩. ⟨hal-01462909⟩

Accès au bibtex

ref_biblio

Sarah Dahab, Stephane Maag, Alessandra Bagnato, Marcos Aurelio Almeida da Silva. A learning based approach for green software measurements. MEGSUS 2016 : 3rd International Workshop on Measurement and Metrics for Green and Sustainable Software Systems, Sep 2016, Ciudad Real, Spain. pp.13 - 22. ⟨hal-01387475⟩

Accès au texte intégral et bibtex

ref_biblio

Thi Hien Le, Stephane Maag. Ads network monitoring integrating realistic urban mobility patterns. WAINA 2016 : 30th International Conference on Advanced Information Networking and Applications Workshops, Mar 2016, Crans Montana, Switzerland. pp.737 - 742, ⟨10.1109/WAINA.2016.99⟩. ⟨hal-01390840⟩

Accès au bibtex

ref_biblio

Erick Petersen, Marco Antonio To de Leon, Stephane Maag. An online learning based approach for CEP rule generation. LATINCOM 2016 : 8th IEEE Latin-American Conference on Communications, Nov 2016, Medellin, Colombia. pp.1 - 6, ⟨10.1109/LATINCOM.2016.7811563⟩. ⟨hal-01462912⟩

Accès au bibtex

2015

ref_biblio

Xiaoping Che, Stephane Maag, Hwee-Xian Tan, Hwee-Pink Tan. Passively testing routing protocols in Wireless Sensor Networks. UIC 2015 : 12th IEEE International Conference on Ubiquitous Intelligence and Computing, Aug 2015, Pekin, China. pp.270 - 277, ⟨10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.59⟩. ⟨hal-01348000⟩

Accès au bibtex

ref_biblio

Xiaoping Che, Huu Nghia Nguyen, Stephane Maag, Fatiha Zaidi. Guiding testers' hands in monitoring tools : application of testing approaches on SIP. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.105-123, ⟨10.1007/978-3-319-25945-1_7⟩. ⟨hal-01263247⟩

Accès au texte intégral et bibtex

ref_biblio

Jorge López, Stephane Maag. Towards a generic trust management gramework using a machine-learning-based trust model. TRUSTCOM 2015 : 14th International Conference on Trust, Security and Privacy in Computing and Communications, Aug 2015, Helsinki, Finland. pp.1343 - 1348, ⟨10.1109/Trustcom.2015.528⟩. ⟨hal-01263244⟩

Accès au bibtex

ref_biblio

Jorge Eleazar Lopez Coronado, Stephane Maag, Cecilia Saint-Pierre, Javier Alejandro Bustos Jimenez, Ana Rosa Cavalli. Process mining for trust monitoring. WAINA 2015 : 29th International Conference on Advanced Information Networking and Applications Workshops , Mar 2015, Gwangiu, South Korea. pp.605 - 610, ⟨10.1109/WAINA.2015.71⟩. ⟨hal-01255094⟩

Accès au bibtex

ref_biblio

Jorge Eleazar Lopez Coronado, Stephane Maag, Gerardo Morales. TEAR: a multi-purpose formal language specification for TEsting At Runtime. ARES 2015 : 10th International Conference on Availability, Reliability and Security, Aug 2015, Toulouse, France. pp.727 - 734 ⟨10.1109/ARES.2015.90⟩. ⟨hal-01255090⟩

Accès au bibtex

ref_biblio

Stephane Maag, Alberto José Fernando Marroquín Piloña. Testing communication protocols within test cases dependencies framework. AC 2015 : 12th International Conference Applied Computing, Oct 2015, Maynooth, Ireland. pp.80 - 88. ⟨hal-01304434⟩

Accès au bibtex

ref_biblio

Alberto Marroquin, Douglas Gonzalez, Stephane Maag. A novel distributed testing approach based on test cases dependencies for communication protocols. RACS 2015 : The ACM Conference on Research in Adaptive and Convergent Systems, Oct 2015, Prague, Czech Republic. pp.497 - 504, ⟨10.1145/2811411.2811554⟩. ⟨hal-01255059⟩

Accès au bibtex

ref_biblio

Alberto José Fernando Marroquín Piloña, Douglas Gonzalez, Stephane Maag. Testing distributed systems with test cases dependencies architecture. LATINCOM 2015 : 7th Latin-American Conference on Communications, Nov 2015, Arequipa, Peru. pp.1 - 6, ⟨10.1109/LATINCOM.2015.7430116⟩. ⟨hal-01298024⟩

Accès au bibtex

ref_biblio

Oscar Rolando Rodas Hernandez, Marco Antonio To de Leon, Jose Alfredo Alvarez Aldana, Stephane Maag. Protecting Wireless Mesh Networks through a distributed intrusion prevention framework. LATINCOM 2015 : 7th Latin-American Conference on Communications, Nov 2015, Arequipa, Peru. pp.1 - 6, ⟨10.1109/LATINCOM.2015.7430126⟩. ⟨hal-01298022⟩

Accès au bibtex

ref_biblio

Marco Antonio To de Leon, Jose Alvarez, Marcos Cano, Stephane Maag. Spanning data across heterogeneous MANETs through proactive strip interoperability. CIT 2015 : 15th IEEE International Conference on Computer and Information Technology, Oct 2015, Liverpool, United Kingdom. pp.116 - 124, ⟨10.1109/CIT/IUCC/DASC/PICOM.2015.19⟩. ⟨hal-01263276⟩

Accès au bibtex

ref_biblio

Marco Antonio To de Leon, Oscar Rolando Rodas Hernandez, Preng Biba, Stephane Maag. A proactive approach for strip interoperability in wireless Ad hoc routing protocols. LATINCOM 2015 : 7th Latin-American Conference on Communications , Nov 2015, Arequipa, Peru. pp.1 - 6, ⟨10.1109/LATINCOM.2015.7430121⟩. ⟨hal-01298023⟩

Accès au bibtex

2014

ref_biblio

Xiaoping Che, Stephane Maag, Jorge Eleazar Lopez Coronado. A formal online mMonitoring approach to test network protocols. ADVCOMP 2014 : 8th International Conference on Advanced Engineering Computing and Applications in Sciences , Aug 2014, Rome, Italy. pp.50 - 54. ⟨hal-01263343⟩

Accès au bibtex

ref_biblio

Xiaoping Che, Stephane Maag, Jorge Eleazar Lopez Coronado, Ana Rosa Cavalli. Testing network protocols : formally, at runtime and online. SEKE 2014 : 26th International Conference on Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. pp.90 - 93. ⟨hal-01263332⟩

Accès au bibtex

ref_biblio

Jorge Eleazar Lopez Coronado, Xiaoping Che, Stephane Maag. An online passive testing approach for communication protocols. ENASE 2014 : 9th International Conference on Evaluation of Novel Approachees to Software Engineering, Apr 2014, Lisbonne, Portugal. pp.1 - 8. ⟨hal-01263329⟩

Accès au bibtex

ref_biblio

Jorge Eleazar Lopez Coronado, Xiaoping Che, Stephane Maag, Gerardo Morales. A distributed monitoring approach for trust assessment based on formal testing. WAINA 2014 : 28th International Conference on Advanced Information Networking and Applications Workshops, May 2014, Victoria, Bc, Canada. pp.702 - 707, ⟨10.1109/WAINA.2014.114⟩. ⟨hal-01263330⟩

Accès au bibtex

ref_biblio

Oscar Rolando Rodas Hernandez, Jose Alvarez, Gerardo Morales, Stephane Maag. A novel classification-based hybrid IDS. PASSAT 2014: the 6th ASE International Conference on Privacy, Security, Risk and Trust, Dec 2014, Cambridge, Ma, United States. ⟨hal-01263066⟩

Accès au bibtex

ref_biblio

Marco Antonio To de Leon, Gerardo Morales, Stephane Maag. Strip interoperability for wireless Ad hoc routing protocols. NCA 2014 : 13th IEEE International Symposium on Network Computing and Applications, Aug 2014, Cambridge, Ma Usa, United States. pp.32 - 36, ⟨10.1109/NCA.2014.9⟩. ⟨hal-01263344⟩

Accès au bibtex

2013

ref_biblio

Xiaoping Che, Stephane Maag. A passive testing approach for protocols in internet of things. iThings 2013 : IEEE International Conference on Internet of Things, Aug 2013, Beijing, China. pp.678 - 684, ⟨10.1109/GreenCom-iThings-CPSCom.2013.124⟩. ⟨hal-01273641⟩

Accès au bibtex

ref_biblio

Xiaoping Che, Stephane Maag. Passive testing on performance requirements of network protocols. NETMM2013 : International Workshop on Network Management and Monitoring, Mar 2013, Barcelona, Spain. pp.1439 - 1444, ⟨10.1109/WAINA.2013.12⟩. ⟨hal-00842773⟩

Accès au bibtex

ref_biblio

Xiaoping Che, Stephane Maag. A formal passive performance testing approach for distributed communication systems. ENASE 2013 : 8th International Conference on Evaluation of Novel Approaches to Software Engineering, Jul 2013, Angers, France. pp.74 - 84, ⟨10.5220/0004444000740084⟩. ⟨hal-01275092⟩

Accès au bibtex

ref_biblio

Felipe Lalanne Rojas, Stephane Maag. DataMonitor : a formal approach for passively testing a MANET routing protocol. IWCMC '13 : The 9th IEEE International Wireless Communications & Mobile Computing Conference, Jul 2013, Cagliari, Sardinia, Italy. pp.207-212, ⟨10.1109/IWCMC.2013.6583560⟩. ⟨hal-00860243⟩

Accès au bibtex

ref_biblio

Jorge López, Stephane Maag, Gerardo Morales. A formal distributed network monitoring approach for enhancing trust management systems. MEDES 2013 : International ACM Conference on Management of Emergent Digital EcoSystems, Oct 2013, Neumünster Abbey, Luxembourg. pp.76 - 83, ⟨10.1145/2536146.2536160⟩. ⟨hal-01274260⟩

Accès au bibtex

ref_biblio

Pramila Mouttappa, Stephane Maag, Ana Rosa Cavalli. Monitoring based on IOSTS for testing functional and security properties: application to an automotive case study. COMPSAC 2013 : 37th Annual International Computer Software & Applications Conference, Jul 2013, Kyoto, Japan. pp.1 - 10, ⟨10.1109/COMPSAC.2013.5⟩. ⟨hal-01275006⟩

Accès au bibtex

2012

ref_biblio

Xiaoping Che, Felipe Lalanne Rojas, Stephane Maag. A logic-based passive testing approach for the validation of communicating protocols. ENASE '12 : 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Jun 2012, Wroclaw, Poland. ⟨hal-00738523⟩

Accès au bibtex

ref_biblio

Felipe Lalanne Rojas, Ana Rosa Cavalli, Stephane Maag. Quality of experience as a selection criterion for web services. SITIS '12 : The 8th International Conference on Signal-Image Technology & Internet Systems, Nov 2012, Sorrento, Italy. pp.519-526, ⟨10.1109/SITIS.2012.81⟩. ⟨hal-00772763⟩

Accès au bibtex

ref_biblio

Pramila Mouttappa, Stephane Maag, Ana Rosa Cavalli. Improving protocol validation by an IOSTS-based passive testing approach. STV '12 : System Testing and Validation Workshop, Oct 2012, Paris, France. pp.87-95. ⟨hal-00738521⟩

Accès au bibtex

ref_biblio

Pramila Mouttappa, Stephane Maag, Ana Rosa Cavalli. An IOSTS based passive testing approach for the validation of data-centric protocols. QSIC '12 : 12th International Conference of Quality Software, Aug 2012, Xi'An, China. pp.49-58, ⟨10.1109/QSIC.2012.33⟩. ⟨hal-00747198⟩

Accès au bibtex

2011

ref_biblio

Felipe Lalanne Rojas, Stephane Maag. Protocol data parts inclusion in a formal passive testing approach. FINA 2011 : 7th International Symposium on Frontiers of Information Systems and Network Applications, Mar 2011, Singapore, Singapore. pp.569 - 573, ⟨10.1109/WAINA.2011.21⟩. ⟨hal-01303598⟩

Accès au bibtex

ref_biblio

Felipe Lalanne Rojas, Stephane Maag. An invariant based passive testing approach for protocol data parts. AICT 2011 : 7th Advanced International Conference on Telecommunications, Mar 2011, St. Maarten, Netherlands Antilles. pp.94 - 101. ⟨hal-01303547⟩

Accès au bibtex

ref_biblio

Felipe Lalanne Rojas, Xiaoping Che, Stephane Maag. Data-centric property formulation for passive testing of communication protocols. ACC 2011 : 4th Applied Computing Conference, Nov 2011, Angers, France. pp.176 - 181. ⟨hal-01303064⟩

Accès au bibtex

ref_biblio

Marcelo Odin, Jose Pablo Escobedo, Ana Rosa Cavalli, Stephane Maag, Ariel Sabiguero. Cost effective cross-layer protocol testing : a case study. CASE 2011 : Congreso Argentino de Sistemas Embebidos, Mar 2011, Buenos Aires, Argentina. pp.103 - 108. ⟨hal-01303607⟩

Accès au bibtex

ref_biblio

Maxim Zhigulin, Stephane Maag, Ana Rosa Cavalli, Nina Yevtushenko. FSM-based test derivation strategies for systems with time-outs. QSIC 2011 : 11th International Conference On Quality Software, Jul 2011, Madrid, Spain. pp.141 - 149, ⟨10.1109/QSIC.2011.30⟩. ⟨hal-01303601⟩

Accès au bibtex

2010

ref_biblio

Gerardo Morales, Stephane Maag, Ana Rosa Cavalli, Wissam Mallouli, Edgardo Montes de Oca, et al.. Timed extended invariants for the passive testing of Web services. ICWS 2010 : 8th International Conference on Web Services, Jul 2010, Miami, United States. pp.592 - 599, ⟨10.1109/ICWS.2010.17⟩. ⟨hal-01309503⟩

Accès au bibtex

ref_biblio

Bakr Sarakbi, Stephane Maag. BGP skeleton : an alternative to iBGP route reflection. INFOCOM 2010 : 29th Conference on Computer Communications, Mar 2010, San Diego, Ca, United States. pp.1 - 5, ⟨10.1109/INFCOM.2010.5462223⟩. ⟨hal-01309502⟩

Accès au bibtex

ref_biblio

Bakr Sarakbi, Stephane Maag. Partial complete iBGP. ICC 2010 : IEEE International Conference on Communications, May 2010, Cape Town, South Africa. pp.1 - 5, ⟨10.1109/ICC.2010.5502388⟩. ⟨hal-01309497⟩

Accès au bibtex

ref_biblio

Fatiha Zaïdi, Mounir Lallali, Stephane Maag. A Component based Testing Technique for a MANET Routing Protocol.. The ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'10), May 2010, Hammamet, Tunisia. pp.1-7, ⟨10.1109/AICCSA.2010.5587040⟩. ⟨hal-00706005⟩

Accès au texte intégral et bibtex

2009

ref_biblio

César Andrés, Stephane Maag, Ana Rosa Cavalli, Mercedes Merayo, Manuel Nunez. Analysis of the OLSR protocol by using formal passive testing. APSEC 2009 : 16th Asia-Pacific Software Engineering Conference, Dec 2009, Penang, Malaysia. pp.152 - 159, ⟨10.1109/APSEC.2009.37⟩. ⟨hal-01366249⟩

Accès au bibtex

ref_biblio

Ana Rosa Cavalli, Stephane Maag, Edgardo Montes de Oca, Fatiha Zaidi. A formal passive testing approach to test a MANET routing protocol. PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking , Mar 2009, Galveston, United States. pp.1 - 6, ⟨10.1109/PERCOM.2009.4912874⟩. ⟨hal-01369686⟩

Accès au bibtex

ref_biblio

Ana Rosa Cavalli, Stephane Maag, Edgardo Montes de Oca. A passive conformance testing approach for a MANET routing protocol. SAC '09 : 24th Annual ACM Symposium on Applied Computing, Mar 2009, Hawai, United States. pp.207-211, ⟨10.1145/1529282.1529326⟩. ⟨hal-00771619⟩

Accès au bibtex

ref_biblio

Felipe Lalanne Rojas, Stephane Maag. From the IMS PoC service monitoring to its formal conformance testing. Mobility '09 : 6th International Conference on Mobile Technology, Application & Systems, Sep 2009, Nice, France. ⟨10.1145/1710035.1710043⟩. ⟨hal-00801196⟩

Accès au bibtex

ref_biblio

Felipe Lalanne Rojas, Stephane Maag, Edgardo Montes de Oca, Ana Rosa Cavalli, Wissam Mallouli, et al.. An automated passive testing approach for the IMS PoC service. ASE 2009 : 24th IEEE/ACM International Conference on Automated Software Engineering, Nov 2009, Auckland, New Zealand. pp.535 - 539, ⟨10.1109/ASE.2009.33⟩. ⟨hal-01316417⟩

Accès au bibtex

ref_biblio

Bakr Sarakbi, Stephane Maag. BGP convergence time : a step towards continuous connectivity. ITA 2009 : 3rd International Conference on Internet Technologies and Applications, Sep 2009, Wrexham, North Wales, United Kingdom. ⟨hal-00434467⟩

Accès au bibtex

2008

ref_biblio

Maode Ma, Pengfei Xie, Sanjay Kumar Bose, Stephane Maag. An efficient scheduling algorithm for QoS provisioning in WiMAX networks. ITST 2008 : 8th International Conference on Intelligent Transport System Telecommunications, Oct 2008, Phuket, Thailand. pp.240 - 245, ⟨10.1109/ITST.2008.4740264⟩. ⟨hal-01327403⟩

Accès au bibtex

ref_biblio

Stephane Maag, Cyril Grepet. Interoperability testing of a MANET routing protocol using a node self-similarity approach. SAC 2008 : 23rd Annual ACM Symposium on Applied Computing, Mar 2008, Fortaleza, Ceará, Brazil. pp.1908 - 1912, ⟨10.1145/1363686.1364148⟩. ⟨hal-01392800⟩

Accès au bibtex

ref_biblio

Stephane Maag, Cyril Grepet. A node self similarity approach for interoperability testing of Ad Hoc routing protocols. HWISE2008 : 4th IEEE International Workshop on Heterogeneous Wireless Networks, Mar 2008, Ginowan, Japan. pp.983 - 988, ⟨10.1109/WAINA.2008.61⟩. ⟨hal-01380262⟩

Accès au bibtex

2007

ref_biblio

Ana Rosa Cavalli, Stephane Maag, Gerardo Morales. Regression and performance testing of an e-learning Web application : dotLRN. SITIS 2007 : 3rd International Conference on Signal Image Technology and Internet-Based Systems, Dec 2007, Shangai, China. pp.369 - 376, ⟨10.1109/SITIS.2007.129⟩. ⟨hal-01328016⟩

Accès au bibtex

Chapitre d'ouvrage

2020

ref_biblio

Rabéa Ameur-Boulifa, Ana R Cavalli, Stephane Maag. From formal test objectives to TTCN-3 for verifying ETCS complex software control systems. Communications in Computer and Information Science, 1250, Springer International Publishing; Springer, pp.156-178, 2020, Communications in Computer and Information Science (CCIS), 978-3-030-52990-1. ⟨10.1007/978-3-030-52991-8_8⟩. ⟨hal-02904831⟩

Accès au bibtex

2015

ref_biblio

Xiaoping Che, Jorge López, Stephane Maag. Online testing: a passive approach for protocols. Evaluation of novel approaches to software engineering : 9th international conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 : revised selected papers, 551, Springer international publishing, pp.79 - 92, 2015, Communications in Computer and Information Science, 978-3-319-27218-4. ⟨10.1007/978-3-319-27218-4⟩. ⟨hal-01255197⟩

Accès au bibtex

2014

ref_biblio

Pramila Mouttappa, Stephane Maag, Ana Rosa Cavalli. Symbolic-based monitoring for embedded applications. Handbook of research on embedded systems design, IGI Global, pp.52 - 74, 2014, Advances in Systems Analysis, Software Engineering, and High Performance Computing book series, 978-1-466-66194-3. ⟨10.4018/978-1-4666-6194-3.ch003⟩. ⟨hal-01263345⟩

Accès au bibtex

2011

ref_biblio

Wissam Mallouli, Bachar Wehbi, Ana Rosa Cavalli, Stephane Maag. Formal supervision of mobile ad hoc networks for security flaws detection. Security engineering techniques and solutions for information systems : management and implementation, IGI Global, 2011, 978-1-615-20803-6. ⟨10.4018/978-1-61520-803-6⟩. ⟨hal-00690721⟩

Accès au bibtex

2010

ref_biblio

Ana Rosa Cavalli, Mounir Lallali, Stephane Maag, Gerardo Morales, Fatiha Zaidi. Modeling and Testing of Web Based Systems. Springer. EMERGENT WEB INTELLIGENCE: ADVANCED SEMANTIC TECHNOLOGIES, Springer London, pp.355-394, 2010, Advanced Information and Knowledge Processing, ⟨10.1007/978-1-84996-077-9_14⟩. ⟨hal-00706157⟩

Accès au texte intégral et bibtex

Rapport

2009

ref_biblio

Stephane Maag, Aline Carneiro Viana, Fatiha Zaïdi. One step forward: Linking Wireless Self-Organizing Networks Validation Techniques with Formal Testing approaches. [Research Report] RR-6817, INRIA. 2009, pp.46. ⟨inria-00359569⟩

Accès au texte intégral et bibtex