Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Stephane Maag" ( http://dblp.L3S.de/Authors/Stephane_Maag )

URL (Homepage):  http://sites.google.com/site/stephanemaaghomepage/home  Author page on DBLP  Author page in RDF  Community of Stéphane Maag in ASPL-2

Publication years (Num. hits)
2002-2009 (18) 2010-2011 (8)
Publication types (Num. hits)
article(4) inproceedings(22)
Venues (Conferences, Journals, ...)
SAC(3) AINA Workshops(2) PerCom Workshops(2) ACM Comput. Surv.(1) AICCSA(1) APSEC(1) ASE(1) Computer Communications(1) EDUTECH(1) Electr. Notes Theor. Comput. S...(1) ICC(1) ICDCS Workshops(1) ICFEM(1) ICWS(1) INFOCOM(1) Information & Software Technol...(1) More (+10 of total 22)
Authors
Stéphane Maag(26) Ana R. Cavalli(14) Cyril Grepet(7) Fatiha Zaïdi(5) Edgardo Montes de Oca(4) Felipe Lalanne(3) Wissam Mallouli(3) Bakr Sarakbi(2) Georgios Verigakis(2) Nina Yevtushenko(2) Sofia Papagiannaki(2) Aline Carneiro Viana(1) Arnaud Gonguet(1) Bachar Wehbi(1) César Andrés(1) Gerardo Morales(1) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 38 occurrences of 29 keywords
Results
Found 26 publication records. Showing 26 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Aline Carneiro Viana, Stephane Maag, Fatiha Zaïdi One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Felipe Lalanne, Stephane Maag Protocol Data Parts Inclusion in a Formal Passive Testing Approach. Search on Bibsonomy AINA Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Maxim Zhigulin, Nina Yevtushenko, Stéphane Maag, Ana R. Cavalli FSM-Based Test Derivation Strategies for Systems with Time-Outs. Search on Bibsonomy QSIC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko FSM-based conformance testing methods: A survey annotated with experimental evaluation. Search on Bibsonomy Information & Software Technology The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bakr Sarakbi, Stéphane Maag Partial Complete iBGP. Search on Bibsonomy ICC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bakr Sarakbi, Stéphane Maag BGP Skeleton - An Alternative to iBGP Route Reflection. Search on Bibsonomy INFOCOM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fatiha Zaïdi, Mounir Lallali, Stéphane Maag A component based testing technique for a MANET routing protocol. Search on Bibsonomy AICCSA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gerardo 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. Search on Bibsonomy ICWS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF BPEL, Passive Testing
1Cé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. Search on Bibsonomy APSEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Felipe 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. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Testing, Formal model, IMS
1Felipe Lalanne, Stéphane Maag From the IMS PoC service monitoring to its formal conformance testing. Search on Bibsonomy Mobility Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF service implementation, testing, formal model, IMS
1Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca A passive conformance testing approach for a MANET routing protocol. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MANET, routing protocols, conformance testing
1Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca, Fatiha Zaïdi A Formal Passive Testing Approach to test a MANET Routing Protocol. Search on Bibsonomy PerCom Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stéphane Maag, Cyril Grepet, Ana R. Cavalli A formal validation methodology for MANET routing protocols based on nodes' self similarity. Search on Bibsonomy Computer Communications The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stéphane Maag, Cyril Grepet Interoperability testing of a MANET routing protocol using a node self-similarity approach. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MANET, routing protocols, self-similarity, interoperability testing
1Stéphane Maag, Cyril Grepet A Node Self Similarity Approach for Interoperability Testing of Ad Hoc Routing Protocols. Search on Bibsonomy AINA Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cyril Grepet, Stéphane Maag A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach. Search on Bibsonomy PerCom Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cyril Grepet, Stéphane Maag Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols. Search on Bibsonomy TestCom/FATES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener Application of Two Test Generation Tools to an Industrial Case Study. Search on Bibsonomy TestCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF telephonic service, service testing, test generation tools, formal specification, conformance testing, Case study, automatic test generation, extended finite state machine
1Cyril Grepet, Stéphane Maag Conformance and Interoperability Testing of an Ad Hoc Routing Protocol. Search on Bibsonomy MDM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Stéphane Maag, Fatiha Zaïdi Testing methodology for an ad hoc routing protocol. Search on Bibsonomy PM2HW2N The full citation details ... 2006 DBLP  DOI  BibTeX  RDF PLTL, ad hoc network protocols, simulations, model checking, verification, testing, SPIN
1Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis From UML models to automatic generated tests for the dotLRN e-learning platform. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ana R. Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada A Validation Model for the DSR Protocol. Search on Bibsonomy ICDCS Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF routing protocol, conformance testing, SDL, Ad hoc wireless networks, DSR
1Ana R. Cavalli, Stéphane Maag Automated test scenarios generation for an e-barter system. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF formal methods, e-commerce, testing tools, specification techniques
1Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis, Fatiha Zaïdi A Testing Methodology for an Open Software E-learning Platform. Search on Bibsonomy EDUTECH The full citation details ... 2004 DBLP  BibTeX  RDF
1Ana R. Cavalli, Stéphane Maag A New Algorithm for Service Interaction Detection. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Finite State Machine, Feature interaction, Intelligent Network, Telecommunication service
Displaying result #1 - #26 of 26 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.