Thomas Cochard

According to our database1, Thomas Cochard authored at least 4 papers between 2015 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Architecture assessment for safety critical plant operation using reachability analysis of timed automata.
Reliab. Eng. Syst. Saf., 2020

2017
Contribution à la génération de séquences pour la conduite de systèmes complexes critiques. (A contribution to sequences generation for critical complex systems operating).
PhD thesis, 2017

2016
Generation of safe operation sequences using iterative refinements and abstractions of timed automata.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015
Generation of safe plant operation sequences using reachability analysis.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015


  Loading...