The SCEAS System
Navigation Menu

Search the dblp DataBase


Christel Seguin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pierre Bieber, Charles Castel, Christel Seguin
    Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. [Citation Graph (0, 0)][DBLP]
    EDCC, 2002, pp:19-31 [Conf]
  2. Jean Paul Bahsoun, Corinne Servieres, Christel Seguin
    A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:267-280 [Conf]
  3. Christel Seguin, Virginie Wiels
    Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:347-366 [Conf]
  4. Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché
    Helping the Automated Validation Process of User Interfaces Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 1998, pp:219-228 [Conf]
  5. Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin
    Safety assessment with AltaRica. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:505-510 [Conf]
  6. Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels
    Formal proof and test case generation for critical embedded systems using SCADE. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:499-504 [Conf]
  7. Odile Laurent, Christel Seguin, Virginie Wiels
    A methodology for automated test generation guided by functional coverage constraints at specification level. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:285-288 [Conf]

  8. FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. [Citation Graph (, )][DBLP]

  9. Deriving Safety Software Requirements from an AltaRica System Model. [Citation Graph (, )][DBLP]

Search in 0.343secs, Finished in 0.344secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002