Jean Souyris Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Souyris, Virginie Wiels, David Delmas, Hervé Delseny: Formal Verification of Avionics Software Products. FM 2009: 532-546
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine: Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. FMICS 2009: 53-69
2007
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Souyris, David Delmas: Experimental Assessment of Astrée on Safety-Critical Avionics Software. SAFECOMP 2007: 479-490
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Delmas, Jean Souyris: Astrée: From Research to Industry. SAS 2007: 437-451
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Traverse, Isabelle Lacaze, Jean Souyris: A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm. EDCC 2005: 1
2004
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Traverse, Isabelle Lacaze, Jean Souyris: Airbus fly-by-wire - A total approach to dependability. IFIP Congress Topical Sessions 2004: 191-212
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Souyris: Industrial experience of abstract interpretation-based static analyzers. IFIP Congress Topical Sessions 2004: 393-400
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Souyris, Denis Favre-Felix: Proof of properties in avionics. IFIP Congress Topical Sessions 2004: 527-536
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand: An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. DSN 2003: 625-
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFamantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen: Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. World Congress on Formal Methods 1999: 1798-1815

Coauthor Index

1Patrick Baudin [1]
2David Delmas [7] [8] [9] [10]
3Hervé Delseny [10]
4Denis Favre-Felix [3]
5Christian Ferdinand [2]
6Eric Goubault [9]
7Reinhold Heckmann [2]
8Isabelle Lacaze [5] [6]
9Marc Langenbach [2]
10Anne Pacalet [1]
11Sylvie Putot [9]
12Jacques Raguideau [1]
13Famantanantsoa Randimbivololona [1] [2]
14Dominique Schoen [1]
15Karim Tekkal [9]
16Stephan Thesing [2]
17Pascal Traverse [5] [6]
18Franck Védrine [9]
19Virginie Wiels [10]
20Reinhard Wilhelm [2]

Colors in the list of coauthors

Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)