Arnault Lapitre Coauthor index pubzone.org

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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo: Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. HASE 2012: 9-16
2009
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre: Symbolic Execution Techniques Extended to Systems. ICSEA 2009: 78-85
2006
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sébastien Labbé, Arnault Lapitre: CARVER: A Slicing Tool for Communicating Automata Specifications. ISoLA 2006: 99-102
2003
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin: Automatic Test Generation with AGATHA. TACAS 2003: 591-596

Coauthor Index

1Marc Aiguier
[c3]
2Diane Bahrami
[c3]
3Boutheina Bannour
[c4]
4Céline Bigot
[c1]
5Jose Pablo Escobedo
[c4]
6Alain Faivre
[c1]
7Jean-Pierre Gallois
[c1]
8Christophe Gaston
[c4] [c3]
9Sébastien Labbé
[c2]
10David Lugato
[c1]
11Jean-Yves Pierron
[c1]
12Nicolas Rapin
[c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 20:21:05 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page