Specifying Some Key SE Training Artifacts. - David Gouyon; Fabien Bouffaron; Gérard Morel (CSDM, 2013)

Generation of safe plant operation sequences using reachability analysis. - Thomas Cochard; David Gouyon; Jean-François Pétin (ETFA, 2015)

Generation of safe operation sequences using iterative refinements and abstractions of timed automata. - Thomas Cochard; David Gouyon; Jean-François Pétin (ETFA, 2016)

A Review of Know-How Reuse with Patterns in Model-Based Systems Engineering. - Quentin Wu; David Gouyon; Eric Levrat; Sophie Boudau (CSDM, 2018)

Capitalization and reuse with patterns in a Model-Based Systems Engineering (MBSE) framework. - Quentin Wu; David Gouyon; Sophie Boudau; Eric Levrat (ISSE, 2019)

Architecture assessment for safety critical plant operation using reachability analysis of timed automata. - David Gouyon; Jean-François Pétin; Thomas Cochard; Catherine Devic (Reliab. Eng. Syst. Saf., 2020)

Use of Patterns for Know-How Reuse in a Model-Based Systems Engineering Framework. - Quentin Wu; David Gouyon; Eric Levrat; Sophie Boudau (IEEE Syst. J., 2020)