David Gouyon

According to our database, David Gouyon authored at least 7 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

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

2019

Capitalization and reuse with patterns in a Model-Based Systems Engineering (MBSE) framework.

Quentin Wu, David Gouyon, Sophie Boudau, Eric Levrat

Proceedings of the International Symposium on Systems Engineering, 2019

2018

A Review of Know-How Reuse with Patterns in Model-Based Systems Engineering.

Quentin Wu, David Gouyon, Eric Levrat, Sophie Boudau

Proceedings of the Complex Systems Design & Management, 2018

2016

Generation of safe operation sequences using iterative refinements and abstractions of timed automata.

Thomas Cochard, David Gouyon, Jean-François Pétin

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Generation of safe plant operation sequences using reachability analysis.

Thomas Cochard, David Gouyon, Jean-François Pétin

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2013

Specifying Some Key SE Training Artifacts.

David Gouyon, Fabien Bouffaron, Gérard Morel

Proceedings of the Complex Systems Design & Management, 2013