Stéphane Maag Home Page Coauthor index pubzone.org

Stephane Maag

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Xiaoping Che, Felipe Lalanne, Stephane Maag: A Logic-based Passive Testing Approach for the Validation of Communicating Protocols. ENASE 2012: 53-64
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Felipe Lalanne, Ana R. Cavalli, Stephane Maag: Quality of Experience as a Selection Criterion for Web Services. SITIS 2012: 519-526
2011
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Felipe Lalanne, Stephane Maag: Protocol Data Parts Inclusion in a Formal Passive Testing Approach. AINA Workshops 2011: 569-573
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fatiha Zaïdi, Mounir Lallali, Stéphane Maag: A component based testing technique for a MANET routing protocol. AICCSA 2010: 1-7
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bakr Sarakbi, Stéphane Maag: Partial Complete iBGP. ICC 2010: 1-5
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bakr Sarakbi, Stéphane Maag: BGP Skeleton - An Alternative to iBGP Route Reflection. INFOCOM 2010: 301-305
2009
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Felipe Lalanne, Stéphane Maag: From the IMS PoC service monitoring to its formal conformance testing. Mobility Conference 2009
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stéphane Maag, Cyril Grepet: A Node Self Similarity Approach for Interoperability Testing of Ad Hoc Routing Protocols. AINA Workshops 2008: 983-988
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stéphane Maag, Cyril Grepet: Interoperability testing of a MANET routing protocol using a node self-similarity approach. SAC 2008: 1908-1912
2007
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cyril Grepet, Stéphane Maag: A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach. PerCom Workshops 2007: 514-519
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cyril Grepet, Stéphane Maag: Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols. TestCom/FATES 2007: 123-137
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana R. Cavalli, Stéphane Maag, Gerardo Morales: Regression and Performance Testing of an e-Learning Web Application: dotLRN. SITIS 2007: 369-376
2006
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cyril Grepet, Stéphane Maag: Conformance and Interoperability Testing of an Ad Hoc Routing Protocol. MDM 2006: 124
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stéphane Maag, Fatiha Zaïdi: Testing methodology for an ad hoc routing protocol. PM2HW2N 2006: 48-55
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana R. Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada: A Validation Model for the DSR Protocol. ICDCS Workshops 2004: 768-773
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana R. Cavalli, Stéphane Maag: Automated test scenarios generation for an e-barter system. SAC 2004: 795-799
2002
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana R. Cavalli, Stéphane Maag: A New Algorithm for Service Interaction Detection. ICFEM 2002: 371-382

Coauthor Index

1César Andrés
[c17]
2Ana R. Cavalli
[c25] [c24] [c22] [j3] [c19] [c17] [c16] [c14] [c13] [j2] [c8] [c5] [j1] [c4] [c3] [c2] [c1]
3Xiaoping Che
[c26]
4Rita Dorofeeva
[j3]
5Khaled El-Fakih
[j3]
6Arnaud Gonguet
[c16]
7Cyril Grepet
[j2] [c12] [c11] [c10] [c9] [c7] [c4]
8Felipe Lalanne
[c26] [c24] [c23] [c16] [c15]
9Mounir Lallali
[c21]
10Wissam Mallouli
[c19] [c16] [c5]
11Mikael Marche
[c5]
12Mercedes G. Merayo
[c17]
13Gerardo Morales
[c19] [c8]
14Pramila Mouttappa
[c25]
15Manuel Núñez
[c17]
16Edgardo Montes de Oca
[c19] [c16] [c14] [c13]
17Sofia Papagiannaki
[j1] [c3]
18Yves-Marie Quemener
[c5]
19Bakr Sarakbi
[c20] [c18]
20Vincent Tortajada
[c4]
21Georgios Verigakis
[j1] [c3]
22Aline Carneiro Viana
[j4]
23Bachar Wehbi
[c19]
24Nina Yevtushenko
[c22] [j3]
25Fatiha Zaïdi
[j4] [c21] [c14] [c6] [c3]
26Maxim Zhigulin
[c22]
Last update Tue May 21 15:36:26 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page