dblp.uni-trier.dewww.uni-trier.de

Christel Seguin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
9EEJean-Charles Chaudemar, Charles Castel, Christel Seguin: FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. ABZ 2008: 358
8EESophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc: Deriving Safety Software Requirements from an AltaRica System Model. SAFECOMP 2008: 320-331
2006
7EEOdile Laurent, Christel Seguin, Virginie Wiels: A methodology for automated test generation guided by functional coverage constraints at specification level. ASE 2006: 285-288
2004
6 Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels: Formal proof and test case generation for critical embedded systems using SCADE. IFIP Congress Topical Sessions 2004: 499-504
5 Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin: Safety assessment with AltaRica. IFIP Congress Topical Sessions 2004: 505-510
2002
4EEPierre Bieber, Charles Castel, Christel Seguin: Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. EDCC 2002: 19-31
1998
3 Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché: Helping the Automated Validation Process of User Interfaces Systems. ICSE 1998: 219-228
1996
2 Christel Seguin, Virginie Wiels: Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. FME 1996: 347-366
1993
1 Jean Paul Bahsoun, Corinne Servieres, Christel Seguin: A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. Formal Methods in Programming and Their Applications 1993: 267-280

Coauthor Index

1Jean Paul Bahsoun [1]
2Pierre Bieber [4] [5]
3Jean-Marc Bosc [8]
4Christian Bougnol [5]
5Charles Castel [4] [5] [8] [9]
6Jean-Charles Chaudemar [9]
7Guy Durrieu [3] [6]
8Jean-Pierre Heckmann [5]
9Sophie Humbert [8]
10Christophe Kehren [5]
11Odile Laurent [6] [7]
12Sylvain Metge [5]
13Pierre Roché [3]
14Corinne Servieres [1]
15Virginie Wiels [2] [6] [7]
16Bruno d'Ausbourg [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)