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

Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag. From formal test objectives to TTCN-3 for verifying ETCS complex software control systems. ICSOFT 2019 : 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.156-178, ⟨10.1007/978-3-030-52991-8_8⟩. ⟨hal-02904831⟩

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, Erika Fernanda Silva Balocchi, Stephane Maag, Ana Rosa Cavalli, Wissam Mallouli. Enhancing software development process quality based on metrics correlation and suggestion. ICSOFT 2018: 13th International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.120 - 131, ⟨10.5220/0006856501540165⟩. ⟨hal-01977133⟩

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, 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, 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. 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, 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 Lopez, 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 Lopez, 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. 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

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

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

2015

ref_biblio

Xiaoping Che, Jorge Lopez, 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