Stephane Maag
List of publications from the DBLP Bibliography Server - FAQ| 2012 | ||
|---|---|---|
| c26 | Xiaoping Che, Felipe Lalanne, Stephane Maag: A Logic-based Passive Testing Approach for the Validation of Communicating Protocols. ENASE 2012: 53-64 | |
| c25 | Pramila Mouttappa, Stéphane Maag, Ana R. Cavalli: An IOSTS Based Passive Testing Approach for the Validation of Data-Centric Protocols. QSIC 2012: 49-58 | |
| c24 | Felipe Lalanne, Ana R. Cavalli, Stephane Maag: Quality of Experience as a Selection Criterion for Web Services. SITIS 2012: 519-526 | |
| 2011 | ||
| j4 | Aline Carneiro Viana, Stephane Maag, Fatiha Zaïdi: One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches. ACM Comput. Surv. 43(2): 7 (2011) | |
| c23 | Felipe Lalanne, Stephane Maag: Protocol Data Parts Inclusion in a Formal Passive Testing Approach. AINA Workshops 2011: 569-573 | |
| c22 | Maxim Zhigulin, Nina Yevtushenko, Stéphane Maag, Ana R. Cavalli: FSM-Based Test Derivation Strategies for Systems with Time-Outs. QSIC 2011: 141-149 | |
| 2010 | ||
| j3 | Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko: FSM-based conformance testing methods: A survey annotated with experimental evaluation. Information & Software Technology 52(12): 1286-1297 (2010) | |
| c21 | Fatiha Zaïdi, Mounir Lallali, Stéphane Maag: A component based testing technique for a MANET routing protocol. AICCSA 2010: 1-7 | |
| c20 | ||
| c19 | Gerardo Morales, Stéphane Maag, Ana R. Cavalli, Wissam Mallouli, Edgardo Montes de Oca, Bachar Wehbi: Timed Extended Invariants for the Passive Testing of Web Services. ICWS 2010: 592-599 | |
| c18 | Bakr Sarakbi, Stéphane Maag: BGP Skeleton - An Alternative to iBGP Route Reflection. INFOCOM 2010: 301-305 | |
| 2009 | ||
| c17 | César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez: Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC 2009: 152-159 | |
| c16 | Felipe Lalanne, Stéphane Maag, Edgardo Montes de Oca, Ana R. Cavalli, Wissam Mallouli, Arnaud Gonguet: An Automated Passive Testing Approach for the IMS PoC Service. ASE 2009: 535-539 | |
| c15 | Felipe Lalanne, Stéphane Maag: From the IMS PoC service monitoring to its formal conformance testing. Mobility Conference 2009 | |
| c14 | Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca, Fatiha Zaïdi: A Formal Passive Testing Approach to test a MANET Routing Protocol. PerCom Workshops 2009: 1-6 | |
| c13 | Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca: A passive conformance testing approach for a MANET routing protocol. SAC 2009: 207-211 | |
| 2008 | ||
| j2 | Stéphane Maag, Cyril Grepet, Ana R. Cavalli: A formal validation methodology for MANET routing protocols based on nodes' self similarity. Computer Communications 31(4): 827-841 (2008) | |
| c12 | Stéphane Maag, Cyril Grepet: A Node Self Similarity Approach for Interoperability Testing of Ad Hoc Routing Protocols. AINA Workshops 2008: 983-988 | |
| c11 | Stéphane Maag, Cyril Grepet: Interoperability testing of a MANET routing protocol using a node self-similarity approach. SAC 2008: 1908-1912 | |
| 2007 | ||
| c10 | Cyril Grepet, Stéphane Maag: A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach. PerCom Workshops 2007: 514-519 | |
| c9 | Cyril Grepet, Stéphane Maag: Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols. TestCom/FATES 2007: 123-137 | |
| c8 | Ana R. Cavalli, Stéphane Maag, Gerardo Morales: Regression and Performance Testing of an e-Learning Web Application: dotLRN. SITIS 2007: 369-376 | |
| 2006 | ||
| c7 | Cyril Grepet, Stéphane Maag: Conformance and Interoperability Testing of an Ad Hoc Routing Protocol. MDM 2006: 124 | |
| c6 | Stéphane Maag, Fatiha Zaïdi: Testing methodology for an ad hoc routing protocol. PM2HW2N 2006: 48-55 | |
| c5 | Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener: Application of Two Test Generation Tools to an Industrial Case Study. TestCom 2006: 134-148 | |
| 2005 | ||
| j1 | Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis: From UML models to automatic generated tests for the dotLRN e-learning platform. Electr. Notes Theor. Comput. Sci. 116: 133-144 (2005) | |
| 2004 | ||
| c4 | Ana R. Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada: A Validation Model for the DSR Protocol. ICDCS Workshops 2004: 768-773 | |
| c3 | Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis, Fatiha Zaïdi: A Testing Methodology for an Open Software E-learning Platform. EDUTECH 2004: 165-174 | |
| c2 | Ana R. Cavalli, Stéphane Maag: Automated test scenarios generation for an e-barter system. SAC 2004: 795-799 | |
| 2002 | ||
| c1 | Ana R. Cavalli, Stéphane Maag: A New Algorithm for Service Interaction Detection. ICFEM 2002: 371-382 | |
Data released under the ODC-BY 1.0 license — See also our legal information page