{"id":3521,"date":"2022-04-13T17:17:51","date_gmt":"2022-04-13T15:17:51","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/index.php\/acmes-2\/stephane-maag-2\/"},"modified":"2022-04-13T17:18:07","modified_gmt":"2022-04-13T15:18:07","slug":"stephane-maag-2","status":"publish","type":"page","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/acmes-2\/stephane-maag-2\/","title":{"rendered":"St\u00e9phane MAAG"},"content":{"rendered":"<p><div class=\"bandeau-personnel MonLaboUser\"><img decoding=\"async\" src=\"https:\/\/samovar.telecom-sudparis.eu\/wp-content\/uploads\/2022\/11\/par_default-150x150.jpg\" class=\"wp-image-6 alignleft img-arrondi wp-post-image\" height=\"150\" width=\"150\" alt=\" \" \/><div class=\"adresse\"><p>SAMOVAR - SAMOVAR<br \/>Telecom SudParis<br \/>\r\n9 rue Charles Fourier<br \/>\r\n91011 EVRY CEDEX<\/p><p>Fax : +33 (0) 1 60 76 20 80<\/p><\/div><div class=\"monlaboBlocTexte\"><h1>Pr. St\u00e9phane <span class=\"MonLabo-lastname\">MAAG<\/span><\/h1><div class=\"coordonnees\"><em>Professeur<\/em><br \/><span class=\"team-description\"><a href=\"https:\/\/samovar.telecom-sudparis.eu\/?page_id=2450\" class=\"MonLaboLink\"><span class=\"MonLabo_team_name\">NeSS<\/span><\/a><\/span><\/div><div class=\"coordonnees\"><span class=\"MonLabo-email\">St\u00e9phane.maag[&#64;<span>-Code to remove to avoid SPAM-<\/span>]telecom-sudparis.eu<\/span><\/div><div class=\"external_url\"><h1 style=\"text-align: center;\"><a href=\"http:\/\/www-public.it-sudparis.eu\/~maag\/\"><button class=\"btn btn-oldstyle\" type=\"button\">Site personnel<\/button><\/a><\/h1><\/div><\/div><\/div>\n<div id=\"res_script\">\n<p class='Rubrique'>Article dans une revue<\/p>\n<p class='SousRubrique'>2022<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>International Journal of Ethics Education<\/i>, 2022, 7 (1), pp.101-129. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/s40889-021-00135-1\">&#x27E8;10.1007\/s40889-021-00135-1&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03377525v1\">&#x27E8;hal-03377525&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-03377525\/file\/StavrakakisETAL21.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03377525\/file\/StavrakakisETAL21.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03377525\/file\/StavrakakisETAL21.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03377525v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2021<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Za\u00efdi. A formal consensus-based distributed monitoring approach for mobile IoT networks. <i>Internet of Things<\/i>, 2021, 13, pp.100352. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.iot.2020.100352\">&#x27E8;10.1016\/j.iot.2020.100352&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03546760v1\">&#x27E8;hal-03546760&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-03546760\/file\/1-s2.0-S2542660520301839-main.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03546760\/file\/1-s2.0-S2542660520301839-main.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03546760\/file\/1-s2.0-S2542660520301839-main.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03546760v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2017<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>G\u00e9nie logiciel : le magazine de l'ing\u00e9nierie du logiciel et des syst\u00e8mes<\/i>, 2017, 120, pp.46 - 52. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01534818v1\">&#x27E8;hal-01534818&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01534818v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2016<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge Eleazar Lopez Coronado, Stephane Maag, Gerardo Morales. Behavior evaluation for trust management based on formal distributed network monitoring. <i>World Wide Web<\/i>, 2016, 19 (1), pp.21 - 39. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/s11280-015-0324-6\">&#x27E8;10.1007\/s11280-015-0324-6&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01255091v1\">&#x27E8;hal-01255091&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01255091v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>IEEE Latin America Transactions<\/i>, 2016, 14 (6), pp.2543 - 2549. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/TLA.2016.7555216\">&#x27E8;10.1109\/TLA.2016.7555216&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01390853v1\">&#x27E8;hal-01390853&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01390853v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2015<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Stephane Maag. Formally testing the protocol performances. <i>International Journal of Space-Based and Situated Computing<\/i>, 2015, 5 (2), pp.76 - 88. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1504\/IJSSC.2015.069197\">&#x27E8;10.1504\/IJSSC.2015.069197&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01255092v1\">&#x27E8;hal-01255092&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01255092v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Stephane Maag, Hwee-Pink Tan, Hwee-Xian Tan, Zhangbing Zhou. A passive testing approach for protocols in Wireless Sensor Networks. <i>Sensors<\/i>, 2015, 15 (11), pp.29250 - 29272. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.3390\/s151129250\">&#x27E8;10.3390\/s151129250&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01262371v1\">&#x27E8;hal-01262371&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01262371v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Jorge Eleazar Lopez Coronado, Stephane Maag, Gerardo Morales. Testing trust properties using a formal distributed network monitoring approach. <i>Annals of Telecommunications - annales des t\u00e9l\u00e9communications<\/i>, 2015, 70 (3), pp.95 - 105. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/s12243-014-0454-3\">&#x27E8;10.1007\/s12243-014-0454-3&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01287769v1\">&#x27E8;hal-01287769&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01287769v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2014<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Stephane Maag. Testing protocols in Internet of Things by a formal passive technique. <i>Science in China Series F: Information Sciences<\/i>, 2014, 53 (3), pp.1 - 13. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/s11432-014-5068-x\">&#x27E8;10.1007\/s11432-014-5068-x&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263346v1\">&#x27E8;hal-01263346&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263346v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Stephane Maag. Passive performance testing of network protocols. <i>Computer Communications<\/i>, 2014, 51, pp.36 - 47. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.comcom.2014.06.001\">&#x27E8;10.1016\/j.comcom.2014.06.001&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263272v1\">&#x27E8;hal-01263272&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263272v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Stephane Maag. Model-based testing for MANETs. <i>Proceedings of the Institute for System Programming of the RAS (ISP RAS)<\/i>, 2014, 26 (6), pp.31 - 46. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.15514\/ISPRAS-2014-26(6)-2\">&#x27E8;10.15514\/ISPRAS-2014-26(6)-2&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01255093v1\">&#x27E8;hal-01255093&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01255093v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2013<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Felipe Lalanne Rojas, Stephane Maag. A formal data-centric approach for passive testing of communication protocols. <i>IEEE\/ACM Transactions on Networking<\/i>, 2013, 21 (3), pp.788-801. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/TNET.2012.2210443\">&#x27E8;10.1109\/TNET.2012.2210443&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00838645v1\">&#x27E8;hal-00838645&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00838645v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>Computer Networks<\/i>, 2013, 57 (15), pp.2992 - 3008. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.comnet.2013.06.019\">&#x27E8;10.1016\/j.comnet.2013.06.019&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01273640v1\">&#x27E8;hal-01273640&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01273640v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2010<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>Information and Software Technology<\/i>, 2010, 52 (12), pp.1286-1297. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.infsof.2010.07.001\">&#x27E8;10.1016\/j.infsof.2010.07.001&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00593960v1\">&#x27E8;hal-00593960&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00593960v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2009<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Aline Carneiro Viana, Stephane Maag, Fatiha Za\u00efdi. One step forward: Linking Wireless Self-Organising Networks Validation Techniques with Formal Testing approaches. <i>ACM Computing Surveys<\/i>, 2009. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/inria-00429444v1\">&#x27E8;inria-00429444&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/inria.hal.science\/inria-00429444v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2008<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Stephane Maag, Cyril Grepet, Ana Rosa Cavalli. A formal validation methodology for MANET routing protocols based on nodes' self similarity. <i>Computer Communications<\/i>, 2008, 31 (4), pp.827 - 841. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.comcom.2007.10.031\">&#x27E8;10.1016\/j.comcom.2007.10.031&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01354849v1\">&#x27E8;hal-01354849&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01354849v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2007<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Stephane Maag, Fatiha Zaidi. A step-wise validation approach for a wireless routing protocol. <i>Research, Development and Application on Electronics, Telecommunications and Information Technology<\/i>, 2007, 1, pp.34 - 40. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01328077v1\">&#x27E8;hal-01328077&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01328077v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='Rubrique'>Communication dans un congr\u00e8s<\/p>\n<p class='SousRubrique'>2021<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Yeisson Chicas, Stephane Maag. An automated parallel compatibility testing framework fo web-based systems. <i>ICWI AC 2021: 20th International Conference on WWW\/Internet and 18th international conference on Applied Computing<\/i>, Oct 2021, Online, France. pp.163-174. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03546824v1\">&#x27E8;hal-03546824&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-03546824\/file\/paperAC2021pdfauthorsversion.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03546824\/file\/paperAC2021pdfauthorsversion.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03546824\/file\/paperAC2021pdfauthorsversion.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03546824v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Paul Doyle, Cathy Ennis, Anna Becevel, Stephane Maag, Radu Dobrin, et al.. HUBLINKED: a curriculum mapping framework for industry. <i>2021 Polytechnic Summit<\/i>, Jun 2021, Dublin (online), Ireland. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.21427\/GT0M-3C42\">&#x27E8;10.21427\/GT0M-3C42&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03546797v1\">&#x27E8;hal-03546797&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-03546797\/file\/HUBLINKED_%20A%20Curriculum%20Mapping%20Framework%20for%20Industry.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03546797\/file\/HUBLINKED_%20A%20Curriculum%20Mapping%20Framework%20for%20Industry.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03546797\/file\/HUBLINKED_%20A%20Curriculum%20Mapping%20Framework%20for%20Industry.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03546797v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2020<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Duyen Phuc Nguyen, Stephane Maag. Codeless web testing using Selenium and machine learning. <i>ICSOFT 2020: 15th International Conference on Software Technologies<\/i>, Jul 2020, Online, France. pp.51-60, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0009885400510060\">&#x27E8;10.5220\/0009885400510060&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02909787v1\">&#x27E8;hal-02909787&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-02909787\/file\/ICSOFT_2020_76_CR%20%281%29.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-02909787\/file\/ICSOFT_2020_76_CR%20%281%29.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-02909787\/file\/ICSOFT_2020_76_CR%20%281%29.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-02909787v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2019<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Rab\u00e9a Ameur Boulifa, Cavalli Rosa Ana, Stephane Maag. Verifying complex software control systems from test objectives: application to the ETCS system. <i>ICSOFT 2019: 14th International Conference on Software Technologies<\/i>, Jul 2019, Prague, Czech Republic. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0007918203970406\">&#x27E8;10.5220\/0007918203970406&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02269604v1\">&#x27E8;hal-02269604&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-02269604v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Sarah Dahab, Stephane Maag. Suggesting Software Measurement Plans with unsupervised learning data analysis. <i>ENASE 2019: 14th International Conference on Evaluation of Novel Approaches to Software Engineering<\/i>, May 2019, Heraklion, Greece. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0007768101890197\">&#x27E8;10.5220\/0007768101890197&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02143691v1\">&#x27E8;hal-02143691&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-02143691\/file\/ENASE_2019_97_CR.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-02143691\/file\/ENASE_2019_97_CR.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-02143691\/file\/ENASE_2019_97_CR.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-02143691v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Thierno Sambe, Stephane Maag, Ana Cavalli. A methodology for enterprise resource planning automation testing application to the Open Source ERP-ODOO. <i>ICSOFT 2019: 14th International Conference on Software Technologies<\/i>, Jul 2019, Prague, Czech Republic. pp.407-415, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0007923004070415\">&#x27E8;10.5220\/0007923004070415&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02268593v1\">&#x27E8;hal-02268593&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-02268593v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2018<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. MANETs interoperability: current trends and open research. <i>WAINA 2018: 32nd International Conference on Advanced Information Networking and Applications Workshops<\/i>, May 2018, Krakow, Poland. pp.481 - 487, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/WAINA.2018.00132\">&#x27E8;10.1109\/WAINA.2018.00132&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01976999v1\">&#x27E8;hal-01976999&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01976999v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>The 13th International Conference on Software Technologies (ICSOFT)<\/i>, Jul 2018, Porto, Portugal. pp.120 - 131, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0006856501540165\">&#x27E8;10.5220\/0006856501540165&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01977133v1\">&#x27E8;hal-01977133&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01977133v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Sarah Dahab, Stephane Maag, Wissam Mallouli, Ana Cavalli. Smart measurements and analysis for software quality enhancement. <i>ICSOFT 2018: International Conference on Software Technologies<\/i>, Jul 2018, Porto, Portugal. pp.194-219, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-29157-0_9\">&#x27E8;10.1007\/978-3-030-29157-0_9&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02268574v1\">&#x27E8;hal-02268574&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-02268574v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Sarah Dahab, Juan Jose Hernandez Porras, Stephane Maag. A novel formal approach to automatically suggest metrics in software measurement plans. <i>ENASE 2018: 13th International Conference on Evaluation of Novel Approaches to Software Engineering<\/i>, Mar 2018, Funchal, Portugal. pp.283 - 290, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0006710902830290\">&#x27E8;10.5220\/0006710902830290&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01977158v1\">&#x27E8;hal-01977158&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01977158v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Alberto Jos\u00e9 Fernando Marroqu\u00edn Pilo\u00f1a, Vencent Martinez, Jose Solares, Stephane Maag. A distributed test-cases dependencies framework : application to the SIP protocol. <i>CONCAPAN 2018: 38th Central America and Panama Convention<\/i>, Nov 2018, San Salvador, El Salvador. pp.1 - 6, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/CONCAPAN.2018.8596359\">&#x27E8;10.1109\/CONCAPAN.2018.8596359&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01975946v1\">&#x27E8;hal-01975946&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01975946v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Erick Petersen, Marco Antonio To de Leon, Stephane Maag, Thierry Yamga. An unsupervised rule generation approach for online Complex Event Processing. <i>NCA 2018: 17th IEEE International Symposium on Network Computing and Applications<\/i>, Nov 2018, Cambridge, Ma, United States. pp.1 - 8, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/NCA.2018.8548210\">&#x27E8;10.1109\/NCA.2018.8548210&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01977034v1\">&#x27E8;hal-01977034&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01977034v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2017<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. DHYMON: a continuous Decentralized HYBrid MONitoring architecture for MANETs. <i>LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop<\/i>, Nov 2017, Guatemala City, Guatemala. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01799804v1\">&#x27E8;hal-01799804&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01799804v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. Monitoring dynamic mobile ad-hoc networks: a fully distributed hybrid architecture. <i>AINA 2017: 31st IEEE International Conference on Advanced Information Networking and Applications<\/i>, Mar 2017, Taipei, Taiwan. pp.407 - 414, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/AINA.2017.74\">&#x27E8;10.1109\/AINA.2017.74&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01653375v1\">&#x27E8;hal-01653375&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01653375v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Sarah Dahab, Stephane Maag, Xiaoping Che. A software measurement framework guided by Support Vector Machines. <i>31st International Conference on Advanced Information Networking and Applications Workshops<\/i>, Mar 2017, Taipei, Taiwan. pp.397 - 402, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/WAINA.2017.66\">&#x27E8;10.1109\/WAINA.2017.66&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01575616v1\">&#x27E8;hal-01575616&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01575616v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Sarah Dahab, Juan Jose Hernandez Porras, Stephane Maag. A software measurement plan management guided by an automated metrics suggestion framework. <i>EECS 2017: European Conference on Electrical Engineering & Computer Science<\/i>, Nov 2017, Bern, Switzerland. pp.9 - 16, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/EECS.2017.11\">&#x27E8;10.1109\/EECS.2017.11&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01847908v1\">&#x27E8;hal-01847908&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01847908v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Sarah Dahab, Juan Jose Hernandez Porras, Stephane Maag. Automated suggesting software metrics framework. <i>LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop<\/i>, Nov 2017, Guatemala City, Guatemala. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01799805v1\">&#x27E8;hal-01799805&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01799805v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Alberto Jos\u00e9 Fernando Marroqu\u00edn Pilo\u00f1a, Jose Solares, Stephane Maag. A distributed test case dependencies architecture : application to the SIP protocol. <i>LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop<\/i>, Nov 2017, Guatemala City, Guatemala. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01799806v1\">&#x27E8;hal-01799806&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01799806v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Erick Petersen, Marco Antonio To de Leon, Stephane Maag. A novel online CEP learning engine for MANET IDS. <i>LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications<\/i>, Nov 2017, Guatemala City, Guatemala. pp.1 - 6, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/LATINCOM.2017.8240196\">&#x27E8;10.1109\/LATINCOM.2017.8240196&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01681466v1\">&#x27E8;hal-01681466&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01681466v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2016<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. MANETs monitoring with a distributed hybrid architecture. <i>NCA 2016 : 15th IEEE International Symposium on Network Computing and Applications<\/i>, Oct 2016, Cambridge, Ma, United States. pp.388 - 391, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/NCA.2016.7778646\">&#x27E8;10.1109\/NCA.2016.7778646&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01462909v1\">&#x27E8;hal-01462909&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/arxiv.org\/pdf\/1805.02717\"  target=\"_blank\"><img decoding=\"async\" alt=\"https:\/\/arxiv.org\/pdf\/1805.02717\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/arxiv.gif\" border=\"0\" title=\"arXiv PDF\" width=\"16px\" height=\"16px\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01462909v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Sarah Dahab, Stephane Maag, Alessandra Bagnato, Marcos Aurelio Almeida da Silva. A learning based approach for green software measurements. <i>MEGSUS 2016 : 3rd International Workshop on Measurement and Metrics for Green and Sustainable Software Systems<\/i>, Sep 2016, Ciudad Real, Spain. pp.13 - 22. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01387475v1\">&#x27E8;hal-01387475&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01387475\/file\/Camera-ready_Megsus16_Dahab_Maag_Bagnato_Almeida.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01387475\/file\/Camera-ready_Megsus16_Dahab_Maag_Bagnato_Almeida.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01387475\/file\/Camera-ready_Megsus16_Dahab_Maag_Bagnato_Almeida.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01387475v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Thi Hien Le, Stephane Maag. Ads network monitoring integrating realistic urban mobility patterns. <i>WAINA 2016 : 30th International Conference on Advanced Information Networking and Applications Workshops<\/i>, Mar 2016, Crans Montana, Switzerland. pp.737 - 742, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/WAINA.2016.99\">&#x27E8;10.1109\/WAINA.2016.99&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01390840v1\">&#x27E8;hal-01390840&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01390840v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Erick Petersen, Marco Antonio To de Leon, Stephane Maag. An online learning based approach for CEP rule generation. <i>LATINCOM 2016 : 8th IEEE Latin-American Conference on Communications<\/i>, Nov 2016, Medellin, Colombia. pp.1 - 6, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/LATINCOM.2016.7811563\">&#x27E8;10.1109\/LATINCOM.2016.7811563&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01462912v1\">&#x27E8;hal-01462912&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01462912v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2015<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Stephane Maag, Hwee-Xian Tan, Hwee-Pink Tan. Passively testing routing protocols in Wireless Sensor Networks. <i>UIC 2015 : 12th IEEE International Conference on Ubiquitous Intelligence and Computing<\/i>, Aug 2015, Pekin, China. pp.270 - 277, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/UIC-ATC-ScalCom-CBDCom-IoP.2015.59\">&#x27E8;10.1109\/UIC-ATC-ScalCom-CBDCom-IoP.2015.59&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01348000v1\">&#x27E8;hal-01348000&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01348000v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Huu Nghia Nguyen, Stephane Maag, Fatiha Zaidi. Guiding testers' hands in monitoring tools : application of testing approaches on SIP. <i>27th IFIP International Conference on Testing Software and Systems (ICTSS)<\/i>, Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.105-123, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-25945-1_7\">&#x27E8;10.1007\/978-3-319-25945-1_7&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263247v1\">&#x27E8;hal-01263247&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01263247\/file\/385214_1_En_7_Chapter.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01263247\/file\/385214_1_En_7_Chapter.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01263247\/file\/385214_1_En_7_Chapter.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01263247v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge L\u00f3pez, Stephane Maag. Towards a generic trust management gramework using a machine-learning-based trust model. <i>TRUSTCOM 2015 : 14th International Conference on Trust, Security and Privacy in Computing and Communications<\/i>, Aug 2015, Helsinki, Finland. pp.1343 - 1348, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/Trustcom.2015.528\">&#x27E8;10.1109\/Trustcom.2015.528&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263244v1\">&#x27E8;hal-01263244&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263244v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge Eleazar Lopez Coronado, Stephane Maag, Cecilia Saint-Pierre, Javier Alejandro Bustos Jimenez, Ana Rosa Cavalli. Process mining for trust monitoring. <i>WAINA 2015 : 29th International Conference on Advanced Information Networking and Applications Workshops <\/i>, Mar 2015, Gwangiu, South Korea. pp.605 - 610, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/WAINA.2015.71\">&#x27E8;10.1109\/WAINA.2015.71&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01255094v1\">&#x27E8;hal-01255094&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01255094v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge Eleazar Lopez Coronado, Stephane Maag, Gerardo Morales. TEAR: a multi-purpose formal language specification for TEsting At Runtime. <i>ARES 2015 : 10th International Conference on Availability, Reliability and Security<\/i>, Aug 2015, Toulouse, France. pp.727 - 734 <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/ARES.2015.90\">&#x27E8;10.1109\/ARES.2015.90&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01255090v1\">&#x27E8;hal-01255090&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01255090v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Stephane Maag, Alberto Jos\u00e9 Fernando Marroqu\u00edn Pilo\u00f1a. Testing communication protocols within test cases dependencies framework. <i>AC 2015 : 12th International Conference Applied Computing<\/i>, Oct 2015, Maynooth, Ireland. pp.80 - 88. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01304434v1\">&#x27E8;hal-01304434&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01304434v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Alberto Marroquin, Douglas Gonzalez, Stephane Maag. A novel distributed testing approach based on test cases dependencies for communication protocols. <i>RACS 2015 : The ACM Conference on Research in Adaptive and Convergent Systems<\/i>, Oct 2015, Prague, Czech Republic. pp.497 - 504, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/2811411.2811554\">&#x27E8;10.1145\/2811411.2811554&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01255059v1\">&#x27E8;hal-01255059&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01255059v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Alberto Jos\u00e9 Fernando Marroqu\u00edn Pilo\u00f1a, Douglas Gonzalez, Stephane Maag. Testing distributed systems with test cases dependencies architecture. <i>LATINCOM 2015 : 7th Latin-American Conference on Communications<\/i>, Nov 2015, Arequipa, Peru. pp.1 - 6, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/LATINCOM.2015.7430116\">&#x27E8;10.1109\/LATINCOM.2015.7430116&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01298024v1\">&#x27E8;hal-01298024&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01298024v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>LATINCOM 2015 : 7th Latin-American Conference on Communications<\/i>, Nov 2015, Arequipa, Peru. pp.1 - 6, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/LATINCOM.2015.7430126\">&#x27E8;10.1109\/LATINCOM.2015.7430126&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01298022v1\">&#x27E8;hal-01298022&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01298022v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>LATINCOM 2015 : 7th Latin-American Conference on Communications <\/i>, Nov 2015, Arequipa, Peru. pp.1 - 6, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/LATINCOM.2015.7430121\">&#x27E8;10.1109\/LATINCOM.2015.7430121&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01298023v1\">&#x27E8;hal-01298023&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01298023v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Marco Antonio To de Leon, Jose Alvarez, Marcos Cano, Stephane Maag. Spanning data across heterogeneous MANETs through proactive strip interoperability. <i>CIT 2015 : 15th IEEE International Conference on Computer and Information Technology<\/i>, Oct 2015, Liverpool, United Kingdom. pp.116 - 124, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/CIT\/IUCC\/DASC\/PICOM.2015.19\">&#x27E8;10.1109\/CIT\/IUCC\/DASC\/PICOM.2015.19&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263276v1\">&#x27E8;hal-01263276&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263276v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2014<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Stephane Maag, Jorge Eleazar Lopez Coronado. A formal online mMonitoring approach to test network protocols. <i>ADVCOMP 2014 : 8th International Conference on Advanced Engineering Computing and Applications in Sciences <\/i>, Aug 2014, Rome, Italy. pp.50 - 54. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263343v1\">&#x27E8;hal-01263343&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263343v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Stephane Maag, Jorge Eleazar Lopez Coronado, Ana Rosa Cavalli. Testing network protocols : formally, at runtime and online. <i>SEKE 2014 : 26th International Conference on Software Engineering and Knowledge Engineering<\/i>, Jul 2014, Vancouver, Canada. pp.90 - 93. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263332v1\">&#x27E8;hal-01263332&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263332v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge Eleazar Lopez Coronado, Xiaoping Che, Stephane Maag. An online passive testing approach for communication protocols. <i>ENASE 2014 : 9th International Conference on Evaluation of Novel Approachees to Software Engineering<\/i>, Apr 2014, Lisbonne, Portugal. pp.1 - 8. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263329v1\">&#x27E8;hal-01263329&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263329v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge Eleazar Lopez Coronado, Xiaoping Che, Stephane Maag, Gerardo Morales. A distributed monitoring approach for trust assessment based on formal testing. <i>WAINA 2014 : 28th International Conference on Advanced Information Networking and Applications Workshops<\/i>, May 2014, Victoria, Bc, Canada. pp.702 - 707, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/WAINA.2014.114\">&#x27E8;10.1109\/WAINA.2014.114&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263330v1\">&#x27E8;hal-01263330&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263330v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Oscar Rolando Rodas Hernandez, Jose Alvarez, Gerardo Morales, Stephane Maag. A novel classification-based hybrid IDS. <i>PASSAT 2014: the 6th ASE International Conference on Privacy, Security, Risk and Trust<\/i>, Dec 2014, Cambridge, Ma, United States. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263066v1\">&#x27E8;hal-01263066&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263066v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Marco Antonio To de Leon, Gerardo Morales, Stephane Maag. Strip interoperability for wireless Ad hoc routing protocols. <i>NCA 2014 : 13th IEEE International Symposium on Network Computing and Applications<\/i>, Aug 2014, Cambridge, Ma Usa, United States. pp.32 - 36, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/NCA.2014.9\">&#x27E8;10.1109\/NCA.2014.9&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263344v1\">&#x27E8;hal-01263344&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263344v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2013<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Stephane Maag. A passive testing approach for protocols in internet of things. <i>iThings 2013 : IEEE International Conference on Internet of Things<\/i>, Aug 2013, Beijing, China. pp.678 - 684, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/GreenCom-iThings-CPSCom.2013.124\">&#x27E8;10.1109\/GreenCom-iThings-CPSCom.2013.124&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01273641v1\">&#x27E8;hal-01273641&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01273641v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Stephane Maag. A formal passive performance testing approach for distributed communication systems. <i>ENASE 2013 : 8th International Conference on Evaluation of Novel Approaches to Software Engineering<\/i>, Jul 2013, Angers, France. pp.74 - 84, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0004444000740084\">&#x27E8;10.5220\/0004444000740084&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01275092v1\">&#x27E8;hal-01275092&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01275092v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Stephane Maag. Passive testing on performance requirements of network protocols. <i>NETMM2013 : International Workshop on Network Management and Monitoring<\/i>, Mar 2013, Barcelona, Spain. pp.1439 - 1444, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/WAINA.2013.12\">&#x27E8;10.1109\/WAINA.2013.12&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00842773v1\">&#x27E8;hal-00842773&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00842773v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Felipe Lalanne Rojas, Stephane Maag. DataMonitor : a formal approach for passively testing a MANET routing protocol. <i>IWCMC '13 : The 9th IEEE International Wireless Communications & Mobile Computing Conference<\/i>, Jul 2013, Cagliari, Sardinia, Italy. pp.207-212, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/IWCMC.2013.6583560\">&#x27E8;10.1109\/IWCMC.2013.6583560&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00860243v1\">&#x27E8;hal-00860243&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00860243v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge L\u00f3pez, Stephane Maag, Gerardo Morales. A formal distributed network monitoring approach for enhancing trust management systems. <i>MEDES 2013 : International ACM Conference on Management of Emergent Digital EcoSystems<\/i>, Oct 2013, Neum\u00fcnster Abbey, Luxembourg. pp.76 - 83, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/2536146.2536160\">&#x27E8;10.1145\/2536146.2536160&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01274260v1\">&#x27E8;hal-01274260&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01274260v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>COMPSAC 2013 : 37th Annual International Computer Software & Applications Conference<\/i>, Jul 2013, Kyoto, Japan. pp.1 - 10, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/COMPSAC.2013.5\">&#x27E8;10.1109\/COMPSAC.2013.5&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01275006v1\">&#x27E8;hal-01275006&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01275006v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2012<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Felipe Lalanne Rojas, Stephane Maag. A logic-based passive testing approach for the validation of communicating protocols. <i>ENASE '12 : 7th International Conference on Evaluation of Novel Approaches to Software Engineering<\/i>, Jun 2012, Wroclaw, Poland. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00738523v1\">&#x27E8;hal-00738523&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00738523v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Felipe Lalanne Rojas, Ana Rosa Cavalli, Stephane Maag. Quality of experience as a selection criterion for web services. <i>SITIS '12 : The 8th International Conference on Signal-Image Technology & Internet Systems<\/i>, Nov 2012, Sorrento, Italy. pp.519-526, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/SITIS.2012.81\">&#x27E8;10.1109\/SITIS.2012.81&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00772763v1\">&#x27E8;hal-00772763&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00772763v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Pramila Mouttappa, Stephane Maag, Ana Rosa Cavalli. Improving protocol validation by an IOSTS-based passive testing approach. <i>STV '12 : System Testing and Validation Workshop<\/i>, Oct 2012, Paris, France. pp.87-95. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00738521v1\">&#x27E8;hal-00738521&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00738521v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Pramila Mouttappa, Stephane Maag, Ana Rosa Cavalli. An IOSTS based passive testing approach for the validation of data-centric protocols. <i>QSIC '12 : 12th International Conference of Quality Software<\/i>, Aug 2012, Xi'An, China. pp.49-58, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/QSIC.2012.33\">&#x27E8;10.1109\/QSIC.2012.33&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00747198v1\">&#x27E8;hal-00747198&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00747198v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2011<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Felipe Lalanne Rojas, Stephane Maag. An invariant based passive testing approach for protocol data parts. <i>AICT 2011 : 7th Advanced International Conference on Telecommunications<\/i>, Mar 2011, St. Maarten, Netherlands Antilles. pp.94 - 101. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01303547v1\">&#x27E8;hal-01303547&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01303547v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Felipe Lalanne Rojas, Xiaoping Che, Stephane Maag. Data-centric property formulation for passive testing of communication protocols. <i>ACC 2011 : 4th Applied Computing Conference<\/i>, Nov 2011, Angers, France. pp.176 - 181. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01303064v1\">&#x27E8;hal-01303064&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01303064v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Felipe Lalanne Rojas, Stephane Maag. Protocol data parts inclusion in a formal passive testing approach. <i> FINA 2011 : 7th International Symposium on Frontiers of Information Systems and Network Applications<\/i>, Mar 2011, Singapore, Singapore. pp.569 - 573, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/WAINA.2011.21\">&#x27E8;10.1109\/WAINA.2011.21&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01303598v1\">&#x27E8;hal-01303598&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01303598v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Marcelo Odin, Jose Pablo Escobedo, Ana Rosa Cavalli, Stephane Maag, Ariel Sabiguero. Cost effective cross-layer protocol testing : a case study. <i>CASE 2011 : Congreso Argentino de Sistemas Embebidos<\/i>, Mar 2011, Buenos Aires, Argentina. pp.103 - 108. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01303607v1\">&#x27E8;hal-01303607&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01303607v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Maxim Zhigulin, Stephane Maag, Ana Rosa Cavalli, Nina Yevtushenko. FSM-based test derivation strategies for systems with time-outs. <i>QSIC 2011 : 11th International Conference On Quality Software<\/i>, Jul 2011, Madrid, Spain. pp.141 - 149, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/QSIC.2011.30\">&#x27E8;10.1109\/QSIC.2011.30&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01303601v1\">&#x27E8;hal-01303601&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01303601v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2010<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>ICWS 2010 : 8th International Conference on Web Services<\/i>, Jul 2010, Miami, United States. pp.592 - 599, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/ICWS.2010.17\">&#x27E8;10.1109\/ICWS.2010.17&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01309503v1\">&#x27E8;hal-01309503&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01309503v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Bakr Sarakbi, Stephane Maag. BGP skeleton : an alternative to iBGP route reflection. <i>INFOCOM 2010 : 29th Conference on Computer Communications<\/i>, Mar 2010, San Diego, Ca, United States. pp.1 - 5, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/INFCOM.2010.5462223\">&#x27E8;10.1109\/INFCOM.2010.5462223&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01309502v1\">&#x27E8;hal-01309502&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01309502v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Bakr Sarakbi, Stephane Maag. Partial complete iBGP. <i>ICC 2010 : IEEE International Conference on Communications<\/i>, May 2010, Cape Town, South Africa. pp.1 - 5, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/ICC.2010.5502388\">&#x27E8;10.1109\/ICC.2010.5502388&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01309497v1\">&#x27E8;hal-01309497&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01309497v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Fatiha Za\u00efdi, Mounir Lallali, Stephane Maag. A Component based Testing Technique for a MANET Routing Protocol.. <i>The ACS\/IEEE International Conference on Computer Systems and Applications (AICCSA'10)<\/i>, May 2010, Hammamet, Tunisia. pp.1-7, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/AICCSA.2010.5587040\">&#x27E8;10.1109\/AICCSA.2010.5587040&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.univ-brest.fr\/hal-00706005v1\">&#x27E8;hal-00706005&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.univ-brest.fr\/hal-00706005\/file\/A_Component_based_Testing_Technique_AICCSA2010.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.univ-brest.fr\/hal-00706005\/file\/A_Component_based_Testing_Technique_AICCSA2010.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.univ-brest.fr\/hal-00706005\/file\/A_Component_based_Testing_Technique_AICCSA2010.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.univ-brest.fr\/hal-00706005v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2009<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">C\u00e9sar Andr\u00e9s, Stephane Maag, Ana Rosa Cavalli, Mercedes Merayo, Manuel Nunez. Analysis of the OLSR protocol by using formal passive testing. <i>APSEC 2009 : 16th Asia-Pacific Software Engineering Conference<\/i>, Dec 2009, Penang, Malaysia. pp.152 - 159, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/APSEC.2009.37\">&#x27E8;10.1109\/APSEC.2009.37&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01366249v1\">&#x27E8;hal-01366249&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01366249v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Ana Rosa Cavalli, Stephane Maag, Edgardo Montes de Oca, Fatiha Zaidi. A formal passive testing approach to test a MANET routing protocol. <i>PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking <\/i>, Mar 2009, Galveston, United States. pp.1 - 6, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/PERCOM.2009.4912874\">&#x27E8;10.1109\/PERCOM.2009.4912874&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01369686v1\">&#x27E8;hal-01369686&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01369686v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Ana Rosa Cavalli, Stephane Maag, Edgardo Montes de Oca. A passive conformance testing approach for a MANET routing protocol. <i>SAC '09 : 24th Annual ACM Symposium on Applied Computing<\/i>, Mar 2009, Hawai, United States. pp.207-211, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/1529282.1529326\">&#x27E8;10.1145\/1529282.1529326&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00771619v1\">&#x27E8;hal-00771619&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00771619v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Felipe Lalanne Rojas, Stephane Maag. From the IMS PoC service monitoring to its formal conformance testing. <i>Mobility '09 : 6th International Conference on Mobile Technology, Application & Systems<\/i>, Sep 2009, Nice, France. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/1710035.1710043\">&#x27E8;10.1145\/1710035.1710043&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00801196v1\">&#x27E8;hal-00801196&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00801196v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>ASE 2009 : 24th IEEE\/ACM International Conference on Automated Software Engineering<\/i>, Nov 2009, Auckland, New Zealand. pp.535 - 539, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/ASE.2009.33\">&#x27E8;10.1109\/ASE.2009.33&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01316417v1\">&#x27E8;hal-01316417&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01316417v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Bakr Sarakbi, Stephane Maag. BGP convergence time : a step towards continuous connectivity. <i>ITA 2009 : 3rd International Conference on Internet Technologies and Applications<\/i>, Sep 2009, Wrexham, North Wales, United Kingdom. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00434467v1\">&#x27E8;hal-00434467&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00434467v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2008<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Maode Ma, Pengfei Xie, Sanjay Kumar Bose, Stephane Maag. An efficient scheduling algorithm for QoS provisioning in WiMAX networks. <i>ITST 2008 : 8th International Conference on Intelligent Transport System Telecommunications<\/i>, Oct 2008, Phuket, Thailand. pp.240 - 245, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/ITST.2008.4740264\">&#x27E8;10.1109\/ITST.2008.4740264&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01327403v1\">&#x27E8;hal-01327403&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01327403v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Stephane Maag, Cyril Grepet. Interoperability testing of a MANET routing protocol using a node self-similarity approach. <i>SAC 2008 : 23rd Annual ACM Symposium on Applied Computing<\/i>, Mar 2008, Fortaleza, Cear\u00e1, Brazil. pp.1908 - 1912, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/1363686.1364148\">&#x27E8;10.1145\/1363686.1364148&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01392800v1\">&#x27E8;hal-01392800&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01392800v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Stephane Maag, Cyril Grepet. A node self similarity approach for interoperability testing of Ad Hoc routing protocols. <i>HWISE2008 : 4th IEEE International Workshop on Heterogeneous Wireless Networks<\/i>, Mar 2008, Ginowan, Japan. pp.983 - 988, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/WAINA.2008.61\">&#x27E8;10.1109\/WAINA.2008.61&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01380262v1\">&#x27E8;hal-01380262&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01380262v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2007<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Ana Rosa Cavalli, Stephane Maag, Gerardo Morales. Regression and performance testing of an e-learning Web application : dotLRN. <i>SITIS 2007 : 3rd International Conference on Signal Image Technology and Internet-Based Systems<\/i>, Dec 2007, Shangai, China. pp.369 - 376, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/SITIS.2007.129\">&#x27E8;10.1109\/SITIS.2007.129&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01328016v1\">&#x27E8;hal-01328016&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01328016v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='Rubrique'>Chapitre d'ouvrage<\/p>\n<p class='SousRubrique'>2020<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Rab\u00e9a Ameur-Boulifa, Ana R Cavalli, Stephane Maag. From formal test objectives to TTCN-3 for verifying ETCS complex software control systems. <i>Communications in Computer and Information Science<\/i>, 1250, Springer International Publishing; Springer, pp.156-178, 2020, Communications in Computer and Information Science (CCIS), 978-3-030-52990-1. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-52991-8_8\">&#x27E8;10.1007\/978-3-030-52991-8_8&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02904831v1\">&#x27E8;hal-02904831&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-02904831v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2015<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Xiaoping Che, Jorge L\u00f3pez, Stephane Maag. Online testing: a passive approach for protocols. <i>Evaluation of novel approaches to software engineering : 9th international conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 : revised selected papers<\/i>, 551, Springer international publishing, pp.79 - 92, 2015, Communications in Computer and Information Science, 978-3-319-27218-4. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-27218-4\">&#x27E8;10.1007\/978-3-319-27218-4&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01255197v1\">&#x27E8;hal-01255197&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01255197v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2014<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Pramila Mouttappa, Stephane Maag, Ana Rosa Cavalli. Symbolic-based monitoring for embedded applications. <i>Handbook of research on embedded systems design<\/i>, IGI Global, pp.52 - 74, 2014, Advances in Systems Analysis, Software Engineering, and High Performance Computing book series, 978-1-466-66194-3. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4018\/978-1-4666-6194-3.ch003\">&#x27E8;10.4018\/978-1-4666-6194-3.ch003&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263345v1\">&#x27E8;hal-01263345&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263345v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2011<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Wissam Mallouli, Bachar Wehbi, Ana Rosa Cavalli, Stephane Maag. Formal supervision of mobile ad hoc networks for security flaws detection. <i>Security engineering techniques and solutions for information systems : management and implementation<\/i>, IGI Global, 2011, 978-1-615-20803-6. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4018\/978-1-61520-803-6\">&#x27E8;10.4018\/978-1-61520-803-6&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00690721v1\">&#x27E8;hal-00690721&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00690721v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2010<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Ana Rosa Cavalli, Mounir Lallali, Stephane Maag, Gerardo Morales, Fatiha Zaidi. Modeling and Testing of Web Based Systems. Springer. <i>EMERGENT WEB INTELLIGENCE: ADVANCED SEMANTIC TECHNOLOGIES<\/i>, Springer London, pp.355-394, 2010, Advanced Information and Knowledge Processing, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-1-84996-077-9_14\">&#x27E8;10.1007\/978-1-84996-077-9_14&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.univ-brest.fr\/hal-00706157v1\">&#x27E8;hal-00706157&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.univ-brest.fr\/hal-00706157\/file\/lallali-chapter-book-2009.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.univ-brest.fr\/hal-00706157\/file\/lallali-chapter-book-2009.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.univ-brest.fr\/hal-00706157\/file\/lallali-chapter-book-2009.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.univ-brest.fr\/hal-00706157v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>Rapport<\/p>\n<p class='SousRubrique'>2009<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Stephane Maag, Aline Carneiro Viana, Fatiha Za\u00efdi. One step forward: Linking Wireless Self-Organizing Networks Validation Techniques with Formal Testing approaches. [Research Report] RR-6817, INRIA. 2009, pp.46. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/inria-00359569v1\">&#x27E8;inria-00359569&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/inria-00359569\/file\/RR-6817.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/inria-00359569\/file\/RR-6817.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/inria-00359569\/file\/RR-6817.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/inria-00359569v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":4,"featured_media":0,"parent":2438,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ocean_post_layout":"","ocean_both_sidebars_style":"","ocean_both_sidebars_content_width":0,"ocean_both_sidebars_sidebars_width":0,"ocean_sidebar":"0","ocean_second_sidebar":"0","ocean_disable_margins":"enable","ocean_add_body_class":"","ocean_shortcode_before_top_bar":"","ocean_shortcode_after_top_bar":"","ocean_shortcode_before_header":"","ocean_shortcode_after_header":"","ocean_has_shortcode":"","ocean_shortcode_after_title":"","ocean_shortcode_before_footer_widgets":"","ocean_shortcode_after_footer_widgets":"","ocean_shortcode_before_footer_bottom":"","ocean_shortcode_after_footer_bottom":"","ocean_display_top_bar":"default","ocean_display_header":"default","ocean_header_style":"","ocean_center_header_left_menu":"0","ocean_custom_header_template":"0","ocean_custom_logo":0,"ocean_custom_retina_logo":0,"ocean_custom_logo_max_width":0,"ocean_custom_logo_tablet_max_width":0,"ocean_custom_logo_mobile_max_width":0,"ocean_custom_logo_max_height":0,"ocean_custom_logo_tablet_max_height":0,"ocean_custom_logo_mobile_max_height":0,"ocean_header_custom_menu":"0","ocean_menu_typo_font_family":"0","ocean_menu_typo_font_subset":"","ocean_menu_typo_font_size":0,"ocean_menu_typo_font_size_tablet":0,"ocean_menu_typo_font_size_mobile":0,"ocean_menu_typo_font_size_unit":"px","ocean_menu_typo_font_weight":"","ocean_menu_typo_font_weight_tablet":"","ocean_menu_typo_font_weight_mobile":"","ocean_menu_typo_transform":"","ocean_menu_typo_transform_tablet":"","ocean_menu_typo_transform_mobile":"","ocean_menu_typo_line_height":0,"ocean_menu_typo_line_height_tablet":0,"ocean_menu_typo_line_height_mobile":0,"ocean_menu_typo_line_height_unit":"","ocean_menu_typo_spacing":0,"ocean_menu_typo_spacing_tablet":0,"ocean_menu_typo_spacing_mobile":0,"ocean_menu_typo_spacing_unit":"","ocean_menu_link_color":"","ocean_menu_link_color_hover":"","ocean_menu_link_color_active":"","ocean_menu_link_background":"","ocean_menu_link_hover_background":"","ocean_menu_link_active_background":"","ocean_menu_social_links_bg":"","ocean_menu_social_hover_links_bg":"","ocean_menu_social_links_color":"","ocean_menu_social_hover_links_color":"","ocean_disable_title":"default","ocean_disable_heading":"default","ocean_post_title":"","ocean_post_subheading":"","ocean_post_title_style":"","ocean_post_title_background_color":"","ocean_post_title_background":0,"ocean_post_title_bg_image_position":"","ocean_post_title_bg_image_attachment":"","ocean_post_title_bg_image_repeat":"","ocean_post_title_bg_image_size":"","ocean_post_title_height":0,"ocean_post_title_bg_overlay":0.5,"ocean_post_title_bg_overlay_color":"","ocean_disable_breadcrumbs":"default","ocean_breadcrumbs_color":"","ocean_breadcrumbs_separator_color":"","ocean_breadcrumbs_links_color":"","ocean_breadcrumbs_links_hover_color":"","ocean_display_footer_widgets":"default","ocean_display_footer_bottom":"default","ocean_custom_footer_template":"0","footnotes":""},"class_list":["post-3521","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/3521","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/comments?post=3521"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/3521\/revisions"}],"predecessor-version":[{"id":3522,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/3521\/revisions\/3522"}],"up":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/2438"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=3521"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}