Thomas Cochard

Thomas Cochard

Université de Lorraine - Nancy / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 5046094
University of Lorraine
person_outline Thomas Cochard's MOST POPULAR ARTICLES
1-) Architecture assessment for safety critical plant operation using reachability analysis of timed automata D Gouyon, JF Pétin, T Cochard, C Devic Reliability Engineering & System Safety 199, 106923, 2020 72020
2-) Contribution à la génération de séquences pour la conduite de systèmes complexes critiques T Cochard Université de Lorraine, 2017 42017
3-) Generation of safe plant operation sequences using reachability analysis T Cochard, D Gouyon, JF Pétin 20th IEEE International Conference on Emerging Technologies and Factory …, 2015 42015
4-) Safe operation sequences: a generation approach based on iterative refinements and abstractions of timed automataT Cochard, D Gouyon, JF PétinIFAC-PapersOnLine 50 (1), 6952-6957, 201732017
5-) Génération de séquence d\'actions sûres par recherche d\'atteignabilitéT Cochard, D Gouyon, JF PétinGénie Logiciel, 43-50, 201522015