Publications


Journal Conferences Book_chapter




Journal

  1. Ioannis Stavrakakis et al., The teaching of computer ethics on computer science and related degree programmes: a European survey, International Journal of Ethics Education, 7 (1), pp.101-129. 10.1007/s40889-021-00135-1, 2022.
  2. Jose Alfredo Alvarez Aldana, Stephane Maag and Fatiha Zaïdi, A formal consensus-based distributed monitoring approach for mobile IoT networks, Internet of Things, Vol.13: 100352, 2021.
  3. Bagnato A., Sadovykh A., Dahab Sarah, Maag S. et al., Modeling OMG SMM metrics using the Modelio modeling tool in the MEASURE project, Génie logiciel, march 2017, n° 120, pp. 46-52
  4. Marco Antonio To, Oscar Rodas, Preng Biba and Stephane Maag, A Proactive Approach for Strip Interoperability in Wireless Ad hoc Routing Protocols, In IEEE Latin America Transactions, Vol. 14, No. 6, June 2016
  5. Xiaoping Che, Stephane Maag, Hwee-Xian Tan, Hwee-Pink Tan and Zhangbing Zhou, A Passive Testing Approach for Protocols in Wireless Sensor Networks, In Sensors, SCI, pages 29250-29272, Volume 11, 2015
  6. Jorge Lopez, Stephane Maag and Gerardo Morales, Behavior evaluation for trust management based on formal distributed network monitoring, in World Wide Web, DOI: 10.1007/s11280-015-0324-6, Springer US, Feb. 2015
  7. Xiaoping Che and Stephane Maag, Formally Testing the Protocol Performances, Int. J. of Space-Based and Situated Computing, Special Issue on Network Management and Monitoring, page 76-88, Volume 2, 2015
  8. Stephane Maag, Model-Based Testing for MANETs, in Proceedings of the Institute for System Programming Volume 26 (Issue 6), pp. 31-46, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print), DOI: 10.15514/ISPRAS-2014-26(6)-2, 2014
  9. Xiaoping Che, Jorge Lopez, Stephane Maag and Gerardo Morales, Testing trust properties using a formal distributed network monitoring approach, Annals of telecommunications, DOI: 10.1007/s12243-014-0454-3, Springer Paris, Dec. 2014
  10. Xiaoping Che and Stephane Maag, Passive performance testing of network protocols, in Computer Communications, Volume 51, Pages 36-47, 2014
  11. Xiaoping Che and Stephane Maag, Testing Protocols in Internet of Things by a Formal Passive Technique, in Science China Information Science (Springer), Volume 53, Issue 3, Pages 1-13, 2014
  12. Pramila Mouttappa, Stephane Maag and Ana Cavalli, Using Passive Testing based on Symbolic Execution and Slicing techniques: Application to the Validation of Communication Protocols, in Computer Networks, dx.doi.org/10.1016/j.comnet.2013.06.019, Volume 57, Issue 15, Pages 2992-3008, Oct. 2013
  13. Felipe Lalanne and Stephane Maag, A Formal Data-centric Approach for Passive Testing of Communication Protocols, ACM / IEEE Transactions on Networking, DOI: 10.1109/TNET.2012.2210443, Vol. 1 - Issue 3, Aug. 2012.
  14. A. Carneiro Viana, S. Maag and F. Zaidi. One step forward: Linking wireless self-organising networks validation techniques with formal testing approaches, ACM Computing Surveys, 43(2):7, April 2011
  15. Rita Dorofeeva, Khaled El-Fakih, Stephane Maag, Ana R. Cavalli, Nina Yevtushenko, FSM-based Conformance Testing Methods: a Survey annotated with Experimental Evaluation, in Elsevier Information and Software Technology, Vol. 52, p.1286-1297, 2010.
  16. S. Maag, C. Grepet and A. Cavalli, A formal validation methodology for MANET routing protocols based on nodes' self similarity, Computer Communications Journal, Vol.31:4, pp. 827-841, 2008
  17. S. Maag and F. Zaidi, A Step-Wise Validation Approach for a Wireless Routing Protocol, In Research, Development and Application on Electronics, Telecommunications and Information Technology, of Posts Telecommunications and Information Technology Journal, Vol.1, p.34-40, 2007.
  18. A. Cavalli, S. Maag, S. Papagiannaki and G. Verigakis, From UML models to automatic generated tests for the dotLRN e-learning platform. Electr. Notes Theor. Comput. Sci. 116: p.133-144, 2005.

Conferences & Workshops

    2022

  1. Oussama Loubiri and Stephane Maag, Automated Web Testing using Machine Learning and Containerization, 26th International Conference on Circuits, Systems, Communications and Computers Chania, Crete Island, Greece, July 19-22, 2022

    2. 2021

  2. Yeisson Chicas and Stephane Maag, An automated parallel compatibility testing framework fo web-based systems, 20th International Conference on WWW/Internet and 18th international conference on Applied Computing, Online, France. pp.163-174, Oct 2021.
  3. Paul Doyle, Cathy Ennis, Anna Becevel, Stephane Maag et al., HUBLINKED: a curriculum mapping framework for industry, Polytechnic Summit, Dublin, Ireland, Jun 2021.

    4. 2020

  4. Duyen Phuc Nguyen and Stephane Maag. Codeless Web Testing using Selenium and Machine Learning. In 15th International Conference on Software Technologies, Online Streaming, 2020.
  5. Duyen Phuc Nguyen and Stephane Maag. A Machine Learning Based Methodology for Web Systems Codeless Testing with Selenium. In 15th ICSOFT 2020: Paris, France - Selected Papers, 2020.

    6. 2019

  6. Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag, From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. ICSOFT (Selected Papers), pages 156-178, 2019
  7. Sarah Dahab and Stephane Maag. Automated Software Measurement Strategies Elaboration Using Unsupervised Learning Data Analysis.. In 14th International Conference on Evaluation of Novel Approaches to Software Engineering, Revised Extended Version, pages 341-363, 2019.
  8. Rabea Ameur Boulifa, Stephane Maag, and Cavalli Rosa Ana. Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. In 14th International Conference on Software Technologies, Prague, Czech Republic, July 2019.
  9. Thierno Sambe, Stephane Maag, and Ana Cavalli. A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO. In 14th International Conference on Software Technologies, pages 407-415, Prague, Czech Republic, July 2019. SCITEPRESS - Science and Technology Publications.
  10. Sarah Dahab and Stephane Maag. Suggesting Software Measurement Plans with unsupervised learning data analysis. In ENASE 2019: 14th International Conference on Evaluation of Novel Approaches to Software Engineering, Heraklion, Greece, May 2019.
  11. Sarah Dahab, Stephane Maag, Wissam Mallouli, and Ana Cavalli. Smart Measurements and Analysis for Software Quality Enhancement. In Communications in Computer and Information Science, pages 194-219. August 2019

    12. 2018

  12. Alberto Jose Fernando Marroquin Pilona, Vencent Martinez, Jose Solares, and Stephane Maag. A distributed test-cases dependencies framework : application to the SIP protocol. In CONCAPAN 2018: 38th Central America and Panama Convention, pages 1-6, San Salvador, El Salvador, November 2018. IEEE Computer Society
  13. Erick Petersen, Marco Antonio To De Leon, Stephane Maag, and Thierry Yamga. An unsupervised rule generation approach for online Complex Event Processing. In NCA 2018: 17th IEEE International Symposium on Network Computing and Applications, pages 1-8, Cambridge, Ma, United States, November 2018. IEEE Computer Society.
  14. Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaïdi,MANETs Interoperability: Current Trends and Open Research, 32nd International Conference on Advanced Information Networking and Applications Workshops, AINA 2018 workshops, Krakow, Poland, May 16-18, 2018
  15. Sarah A. Dahab, Juan Jose Hernandez Porras, Stephane Maag, A Novel Formal Approach to Automatically Suggest Metrics in Software Measurement Plans, Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018
  16. Sarah Dahab, Erika Silva, Stephane Maag et al., Enhancing software development process quality based on metrics correlation and suggestion, The 13th International Conference on Software Technologies, Portugal, July 2018, ICSOFT 2018

    17. 2017

  17. Erick Petersen, Marco Antonio To, Stephane Maag, A novel online CEP learning engine for MANET IDS, 9th IEEE Latin-American Conference on Communications, LATINCOM 2017, Guatemala City, Guatemala, November 8-10, 2017
  18. Jose Alvarez, Stephane Maag, Fatiha Zaïdi, Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture, 31st IEEE International Conference on Advanced Information Networking and Applications, AINA 2017, Taipei, Taiwan, March 27-29, 2017
  19. Sarah A. Dahab, Stephane Maag, Xiaoping Che, A Software Measurement Framework Guided by Support Vector Machines, 31st International Conference on Advanced Information Networking and Applications Workshops, AINA 2017 Workshops/NetSMM, Taipei, Taiwan, March 27-29, 2017
  20. Alvarez Jose Alfredo, Maag Stephane, Zaidi Fatiha, DHYMON: a continuous Decentralized HYBrid MONitoring architecture for MANETs, LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Los Alamitos : IEEE Computer Society, 08-10 november 2017, Guatemala City, Guatemala, 2017
  21. Dahab Sarah, Hernandez Juan Jose, Maag Stephane, Automated suggesting software metrics framework, LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Los Alamitos : IEEE Computer Society, 08-10 november 2017, Guatemala City, Guatemala, 2017
  22. Marroquin Alberto José Fernando, Solares Jose, Maag Stephane, A distributed test case dependencies architecture : application to the SIP protocol, LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Los Alamitos : IEEE Computer Society, 08-10 november 2017, Guatemala City, Guatemala, 2017
  23. Dahab Sarah, Hernandez Juan Jose, Maag Stephane, A software measurement plan management guided by an automated metrics suggestion framework, EECS 2017: European Conference on Electrical Engineering & Computer Science, Los Alamitos : IEEE Computer Society, 17-19 november 2017, Bern, Switzerland, 2017

    24. 2016

  24. Thi Hien Le and Stephane Maag, Ads Network Monitoring Integrating Realistic Urban Mobility Patterns, In the 4th International Workshop on Network Management and Monitoring (NetMM 2016), pp. 737-742, Crans-Montana, Switzerland, 2016
  25. Sarah Dahab, Stephane Maag, Alessandra Bagnato and Marcos A. A. da Silva, A Learning based approach for Green Software Measurements, In the 3rd International Workshop on Measurements and Metrics for Green and Sustainable Software Systems, Spain, 2016
  26. Jose Alvarez, Stéphane Maag and Fatiha Zaïdi, MANETs monitoring with a distributed hybrid architecture, NCA 2016, Cambridge, MA, USA

    27. 2015

  27. Jorge Lopez, Stephane Maag, Cecilia Saint-Pierre, Javier Bustos and Ana Cavalli, Process Mining for Trust Monitoring, In the 3rd International Workshop on Network Management and Monitoring (NetMM 2015), Gwangju, Korea, 2015
  28. Oscar Rodas, Marco Antonio To, Jose Alvarez and Stephane Maag, Protecting Wireless Mesh Networks through a Distributed Intrusion Prevention Framework, In the 7th IEEE Latin-American Conference on Communications (LATINCOM 2015), Peru
  29. Alberto Marroquin, Stephane Maag and Gerardo Morales, A novel Distributed Testing approach based on Test Cases Dependencies for Communication Protocols, In the ACM Conference on Research in Adaptive and Convergent Systems (RACS 2015), Prague, Czech Republic, 2015
  30. Marco Antonio To, Jose Alvarez, Marcos Cano and Stephane Maag,Spanning Data Across Heterogeneous MANETs through Proactive Strip Interoperability, In the 15th IEEE International Conference on Computer and Information Technology (CIT 2015), Liverpool, UK, 2015
  31. Jorge Lopez, Stephane Maag and Gerardo Morales, TEAR: a Multi-purpose Formal Language Specification for TEsting At Runtime, In the 1st International Workshop on Security Testing And Monitoring 2015 (STAM 2015), Toulouse, France
  32. Xiaoping Che, Stephane Maag, Hwee-Xian Tan and Hwee-Pink Tan, Passively Testing Routing Protocols in Wireless Sensor Networks, In the 12th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 2015), Beijing, China
  33. Xiaoping Che, Huu Nghia Nguyen, Stephane Maag and Fatiha Zaidi, Guiding Testers’ hands in monitoring tools: Application of Testing Approaches on SIP, in The 27th IFIP International Conference on Testing Software and Systems (ICTSS 2015), Dubai
  34. Alberto Marroquin, Douglas Gonzalez and Stephane Maag, Testing Distributed Systems with Test Cases Dependencies architecture, In the 7th IEEE Latin-American Conference on Communications (LATINCOM 2015), Peru
  35. Jorge Lopez and Stephane Maag, Towards a Generic Trust Management Framework using a Machine-Learning-Based Trust Model, In the 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15), Helsinki, Finland
  36. Alberto Marroquin, Stephane Maag and Gerardo Morales, Testing Communication Protocols within test cases dependencies Framework, In The 12th International Conference on Applied Computing (AC 2015), Dublin, Ireland
  37. Marco Antonio To, Oscar Rodas, Preng Biba and Stephane Maag, A Proactive Approach for Strip Interoperability in Wireless Ad hoc Routing Protocols, In the 7th IEEE Latin-American Conference on Communications (LATINCOM 2015), Peru

    38. 2014

  38. Oscar Rodas, Jose Alvarez, Gerardo Morales and Stephane Maag, A novel Classification-based Hybrid IDS, In the Sixth ASE International Conference on Privacy, Security, Risk and Trust (PASSAT 2014), Cambridge, MA, USA, December 14-16, 2014
  39. Marco Antonio To De Leon, Gerardo Morales and Stephane Maag, Strip Interoperability for Wireless Ad hoc Routing Protocols, In the 13th IEEE International Symposium on Network Computing and Applications (IEEE NCA 2014), Cambridge, MA, USA
  40. Xiaoping Che, Stephane Maag and Jorge Lopez, A Formal Online Monitoring approach to Test Network Protocols, In the 8th International Conference on Advanced Engineering Computing and Applications in Sciences, ADVCOMP 2014, Roma, Italy
  41. Xiaoping Che, Jorge Lopez, Stephane Maag and Ana Cavalli, Testing Network Protocols: Formally, at runtime and on line, In the 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), Vancouver, Canada, July 2014
  42. Jorge Lopez, Xiaoping Che, Stephane Maag and Gerardo Morales, A Trust Monitoring approach based on Formal Testing, In the 2nd International Workshop on Network Management and Monitoring (NetMM 2014), Victoria, Canada, 2014
  43. Jorge Lopez, Xiaoping Che and Stephane Maag, An Online Passive Testing Approach for Communication Protocols, In the 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2014), Lisbon, Portugal, 2014

    44. 2013

  44. Jorge Lopez, Stephane Maag and Gerardo Morales, A Formal Distributed Network Monitoring Approach for Enhancing Trust Management Systems, In the Proc. of the 5th International ACM/IFIP Conference on Management of Emergent Digital EcoSystems (MEDES 2013), Luxembourg, Oct. 2013.
  45. Xiaoping Che and Stephane Maag, A Passive Testing approach for protocols in Internet of Things, In Proc. of IEEE International Conference on Internet of Things (iThings 2013), Beijing, China, 2013
  46. Xiaoping Che and Stephane Maag, A Formal Passive Performance Testing Approach for Distributed Communication Systems, In 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), Angers, France, 2013, Best Student Paper Award.
  47. Pramila Mouttappa, Stephane Maag and A. Cavalli, Monitoring based on IOSTS for testing functional and security properties: application to an Automotive case study, 37th Annual IEEE International Computer Software & Applications Conference (COMPSAC 2013), Kyoto, Japan, July 2013
  48. Felipe Lalanne and Stephane Maag, DataMonitor, a Formal approach for passively Testing a MANET routing protocol, The 9th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC 2013), Italy, July 2013
  49. Xiaoping Che and Stephane Maag, Passive Testing on Performance Requirements of Network Protocols, The 1st International Workshop on Network Management and Monitoring (NetMM 2013), Barcelona, Spain, March 2013

    50. 2012

  50. Xiaoping Che, Felipe Lalanne and Stephane Maag, A Logic-based Passive Testing Approach for the Validation of Communicating Protocols, In Proc. 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Wroclaw, Poland, 2012
  51. Pramila Mouttappa, Stephane Maag and Ana Cavalli, An IOSTS based Passive Testing approach for the Validation of data-centric Protocols, in Proc. 12th International Conference on Quality of Software (QSIC), Xi'an, China, 2012
  52. Pramila Mouttappa, Stephane Maag and Ana Cavalli, Improving Protocol Validation by an IOSTS-based Passive Testing approach, In Proc. 9th Workshop on System Testing and Validation, Paris, France, 2012
  53. Felipe Lalanne, Ana Cavalli and Stephane Maag, Quality of Experience as a selection criteria for Web Services, in Proc. of the 8th IEEE International Conf. on Signal-Image Technology & Internet Systems (SITIS), Torrento, Italy, Nov. 2012

    54. 2011

  54. S. Maag, Habilitation à Diriger des Recherches, Model-based Conformance and Interoperability Testing, Univ. Paris Sud 11, May 2011.
  55. M.O. Guirado, JP. Escobedo, A. Cavalli, S. Maag and A.S. Yawelak, Cost Effective Cross-layer Protocol Testing: A Case Study, In Proc. Congreso Argentino de Sistemas Embebidos, Buenos Aeres, Argentina, March 2011
  56. M. Zhigulin, S. Maag, A. Cavalli and N. Yevtushenko, FSM-based test derivation strategies for systems with time-outs, 11th International Conference On Quality Software, Madrid, July 2011
  57. F. Lalanne, S. Maag, Protocol Data Parts Inclusion in a Formal Passive Testing Approach. The First International Workshop on Interworking and Interoperable Networks and Services, IEEE AINA Workshops, Singapore, March 2011
  58. F. Lalanne and S. Maag, An Invariant based Passive Testing approach for Protocol Data parts, in The Seventh Advanced International Conference on Telecommunications (AICT 2011), St Maarteen, March 2011
  59. F. Lalanne, X. Che and S. Maag, Data-Centric Property Formulation for Passive Testing of Communication Protocols, in The Fourth Applied Computing Conference (ACC 2011), Angers, France, 2011

    60. 2010

  60. Gerardo Morales, Stephane Maag, Ana Cavalli, Wissam Mallouli, Edgardo Montes de Oca, and Bachar Wehbi. Timed Extended Invariants for the Passive Testing of Web Services. The 8th International Conference on Web Services (ICWS 2010), Miami, Florida, USA, July 5-10, 2010
  61. F. Zaidi, M. Lallali, S. Maag. A Component based Testing Technique for a Manet Routing Protocol. In AICCSA'2010 - IEEE International Conference on Computer Systems and Applications, Tunisia, May 2010
  62. B. Sarakbi et S. Maag, BGP Skeleton: An Alternative to iBGP Route Reflection, IEEE INFOCOM 2010, San Diego, CA, USA, March 2010
  63. B. Sarakbi et S. Maag, Partial Complete iBGP, IEEE ICC 2010, South Africa, May 2010

    64. 2009

  64. A. Cavalli, S. Maag, E. Montes de Oca, and F. Zaidi. A Formal Passive Testing Approach to test a MANET Routing Protocol. In 7th IEEE International Conference on Pervasive Computing and Communications Percom 2009/PWN, pages 1-6, Texas, USA, March 2009. IEEE, IEEE CS.
  65. A. Cavalli, S. Maag, E. Montes de Oca and W. Jimenez, A Conformance Passive Testing Approach for a MANET Routing Protocol, The 24th Annual ACM Symposium on Applied Computing (SAC 2009), USA
  66. B. Sarakbi and S. Maag, BGP Convergence Time: A Step Towards Continuous Connectivity, The 3rd International Conference on Internet Technologies and Applications (ITA 2009), Wrexham, NorthWales, UK.
  67. F. Lalanne and S.Maag, From the IMS PoC Service Monitoring to its Formal Conformance Testing, The 6th ACM International Conference on Mobile Technology, Applications and Systems, Nice , 2009
  68. F.Lalanne, S. Maag, E.Montes de Oca, A. Cavalli, W. Mallouli and A.Gonguet, An Automated Passive Testing Approach for the IMS PoC Service, the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 2009
  69. C. Andres, S. Maag, A. Cavalli, M.G. Merayo and M. Nunez, Analysis of the OLSR Protocol by using formal passive testing, 16th Asia Pacific Software Engineering Conference (APSEC 2009)

    70. 2008

  70. Maode Ma, P. Xie, S. K. Bose and S. Maag, An Efficient Scheduling Algorithm for QoS Provisioning in WiMAX Networks, Proceedings of 8th International Conference on Intelligent Transport System Telecommunications 2008, ITST2008, Thailand, Oct. 2008
  71. Stephane Maag and Cyril Grepet, Interoperability Testing of a MANET Routing Protocol using a Node SelfSimilarity Approach, The 23rd Annual ACM Symposium on Applied Computing (SAC 2008), Fortaleza, Ceara, Brazil, March 2008
  72. Stephane Maag and Cyril Grepet, A Node Self Similarity Approach for Interoperability Testing of Ad Hoc Routing Protocols, The Fourth IEEE International Workshop on Heterogeneous Wireless Networks (HWISE2008) in conjunction with the IEEE 22nd International Conference on Advanced Information Networking and Applications (AINA 2008), GinoWan, Okinawa, Japan, March 2008

    73. 2007

  73. C. Grepet and S. Maag, A Testing Methodology for a MANET Routing Protocol using a Node Self-Similarity Approach, The 3rd IEEE PerCom Workshop on Pervasive Wireless Networking (PWN07), White Plains, New York March 19-23, 2007.
  74. Koceilah Merouane, Cyril Grepet, Stephane Maag, A Methodology for Interoperability Testing of a MANET Routing Protocol , The Third IEEE International Conference on Wireless and Mobile Communications ICWMC 2007.
  75. Cyril Grepet and Stephane Maag, Nodes Self-Similarity to Test Wireless Ad Hoc Routing Protocols, 19th IFIP International Conference on Testing of Communicating Systems, Tallinn, Estonia, June 2007.
  76. Ana Cavalli, Stephane Maag and Gerardo Morales, Regression and Performance Testing of an e-learning Web application: dotLRN, 3rd ACM / IEEE International Conference on Signal-Image Technology and Internet-Based Systems (SITIS'07), Shangai, China, December 2007. Best Paper Award.

    77. 2006

  77. A. Cavalli, S. Maag, W. Mallouli, M. Marche and Y.M. Quemener, Application of Two Test Generation Tools to an Industrial Case Study, The 18th IFIP International Conference on Testing Communicating Systems (TestCom 2006), New York, USA, May 2006.
  78. S. Maag and C. Grepet, Conformance and Interoperability Testing of an Ad Hoc Routing Protocol, The 1st IEEE/ACM FMUIT 2006, May 2006, Nara, Japan.
  79. S. Maag and F. Zaidi, Testing Methodology for an Ad Hoc Routing Protocol, The 1st ACM PM2HW2N 2006, October 2006, Torremolinos, Spain.
  80. S. Maag and F. Zaidi, A Step-Wise Validation Approach for a Wireless Routing Protocol , The First IEEE International Conference of Communication and Electronics (HUT-ICCE'06), October 2006, Hanoi, Vietnam
  81. C. Grepet and S. Maag, Test de Conformité d'un Protocole de Routage Ad Hoc par Autosimilarité des Noeuds, Workshop GET (invited paper - without reviewing process) - Programme Initiative "réseaux spontanés", nov. 2006, Rennes, France

    82. 2005

  82. R. Dorofeeva, K. El-Fakih, S. Maag, A. Cavalli and N. Yevtushenko, Experimental Evaluation of FSM-Based Testing Methods, The 3rd IEEE SEFM 2005, Koblenz, Germany.
  83. A. Cavalli, S. Maag and F. Zaidi, Une approche UML pour la validation des services web, NOTERE 2005, Gatineau, Quebec, Sept. 2005.
  84. S. Maag, C. Grepet and A. Cavalli, Un modèle de validation pour le protocole DSR, CFIP 2005, March-April, Bordeaux, France.

    85. 2004

  85. A. Cavalli, S. Maag, S. Papagiannaki, G. Verigakis, F. Zaidi, A Testing Methodology for an Open Software E-Learning Platform, IFIP EDUTECH'2004, August 2004, Toulouse (France).
  86. A. Cavalli, S. Maag, S. Papagiannaki, G. Verigakis, From UML models to automatic generated tests for the dotLRN e-learning platform, The 2nd IEEE TACOS'2004, March-April 2004, Barcelona (Spain).
  87. A. Cavalli and S. Maag, Automated Test Scenarios Generation for an E-barter System, The 19th ACM Symposium on Applied Computing (SAC) 2004, March 2004, Nicosia (Cyprus).
  88. A. Cavalli, C. Grepet, S. Maag and V. Tortajada, A validation Model for the DSR Protocol, The 24th IEEE ICDCS'2004, March 2004, Tokyo (Japan)


Book chapter

  1. Pramila Mouttappa, Stephane Maag and Ana Cavalli, Symbolic-based Monitoring for Embedded Applications. Book chapter in "Industry and Research Perspectives on Embedded System Design", Editors A. Bagnato et al., ISBN-13: 978-1466661943, IGI Global, June 2014.
  2. W. Mallouli, B. Wehbi, A. Cavalli and S. Maag, Formal Supervision of Mobile Ad hoc Networks for Security Flaws Detection. Book chapter in "Security Engineering Techniques and Solutions for Information Systems: Management and Implementation", Editors Pr. Noureddine Boudriga and Pr. Mohamed Hamdi. Publisher: Information Science Reference - IGI Global. ISBN: 9781615208036. Published on 15 May 2011.
  3. A. Cavalli, M. Lallali, S. Maag, G. Morales, and F. Zaidi. Modeling and Testing of Web Based Systems. Book chapter in "Emergent Web Intelligence", Studies in Computational Intelligence. Springer Verlag, 544 pages, ISBN-10 1849960763, Mai 2010

www.ifcah.org

www.ifcah.com

www.ifcah.org

www.ifcah.org

www.ifcah.org