David Gouyon

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 6

Top Topics

Systems Engineering

Reachability Analysis

Top Venues

Reliab. Eng. Syst. Saf.

Publications

Quentin Wu, David Gouyon, Eric Levrat, Sophie Boudau
Use of Patterns for Know-How Reuse in a Model-Based Systems Engineering Framework. IEEE Syst. J. 14 (4) (2020)
David Gouyon, Jean-François Pétin, Thomas Cochard, Catherine Devic
Architecture assessment for safety critical plant operation using reachability analysis of timed automata. Reliab. Eng. Syst. Saf. 199 (2020)
Quentin Wu, David Gouyon, Sophie Boudau, Eric Levrat
Capitalization and reuse with patterns in a Model-Based Systems Engineering (MBSE) framework. ISSE (2019)
Quentin Wu, David Gouyon, Eric Levrat, Sophie Boudau
A Review of Know-How Reuse with Patterns in Model-Based Systems Engineering. CSDM (2018)
Thomas Cochard, David Gouyon, Jean-François Pétin
Generation of safe operation sequences using iterative refinements and abstractions of timed automata. ETFA (2016)
Thomas Cochard, David Gouyon, Jean-François Pétin
Generation of safe plant operation sequences using reachability analysis. ETFA (2015)
David Gouyon, Fabien Bouffaron, Gérard Morel
Specifying Some Key SE Training Artifacts. CSDM (2013)