( en | de | ru )

 

Disambiguation of "Seguin, Christel"

Author of the publication

copydeleteadd this publication to your clipboard
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica.

, , , , and . IMBSA, volume 10437 of Lecture Notes in Computer Science, page 147-162. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Guillaume Seguin

Holger Seguin

Johanne Seguin

Lutz Seguin

Philippe Séguin

 

Other publications of authors with the same name

Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System., , and . EDCC, volume 2485 of Lecture Notes in Computer Science, page 19-31. Springer, (2002)Tiered Model-Based Safety Assessment., , and . IMBSA, volume 11842 of Lecture Notes in Computer Science, page 141-156. Springer, (2019)Formal proof and test case generation for critical embedded systems using SCADE., , , and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 499-504. Kluwer/Springer, (2004)DALculus - Theory and Tool for Development Assurance Level Allocation., , and . SAFECOMP, volume 6894 of Lecture Notes in Computer Science, page 43-56. Springer, (2011)Task Model-Based Systematic Analysis of Both System Failures and Human Errors., , , , , and . IEEE Trans. Hum. Mach. Syst., 46 (2): 243-254 (2016)A methodology for automated test generation guided by functional coverage constraints at specification level., , and . ASE, page 285-288. IEEE Computer Society, (2006)Helping the Automated Validation Process of User Interfaces Systems., , , and . ICSE, page 219-228. IEEE Computer Society, (1998)Which Automata for Which Safety Assessment Step of Satellite FDIR?, , and . SAFECOMP, volume 7612 of Lecture Notes in Computer Science, page 235-246. Springer, (2012)Aircraft operational reliability - A model-based approach and a case study., , , , and . Reliab. Eng. Syst. Saf., (2013)A Unique Formalism for Specifying and Designing Objects in a Parallel Environment., , and . Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, page 267-280. Springer, (1993)