Thomas Cochard

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 3

Top Topics

Reachability Analysis

Nuclear Power Plant

Top Venues

Reliab. Eng. Syst. Saf.

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

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)
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)