Nombre de documents

8

CV de Thomas Cochard


Chapitre d'ouvrage1 document

  • David Gouyon, Thomas Cochard, Jean-François Pétin, Alexandre Voisin, Pascale Marangé, et al.. Conduire à l'objectif. L'avenir se construit aujourd'hui, 2016. <hal-01366363>

Rapport2 documents

  • David Gouyon, Thomas Cochard, Jean-François Pétin, Alexandre Voisin, Mohammed-Farouk Bouaziz, et al.. Démonstration d’un service d’aide à la préparation des plannings de conduite. [Rapport de recherche] L3.1.4c, Cnrs. 2016. <hal-01338531>
  • David Gouyon, Thomas Cochard, Jean-François Pétin, Alexandre Voisin, Mohammed-Farouk Bouaziz, et al.. Spécification d’un service d’aide à la préparation des plannings de conduite. [Rapport de recherche] Centre National de la Recherche Scientifique. 2015, pp.L3.1.2b. <hal-01140593>

Poster1 document

  • Thomas Cochard, David Gouyon, Jean-François Pétin. Génération, vérification formelle et simulation de séquences de conduite pour un système complexe critique. Forum Fédération Charles Hermite - Entreprises, Jan 2015, Nancy, France. 2015. <hal-01270261>

Communication dans un congrès3 documents

  • Thomas Cochard, David Gouyon, Jean-François Pétin. Generation of safe operation sequences using iterative refinements and abstractions of timed automata. 21st International Conference on Emerging Technologies & Factory Automation, ETFA 2016, Sep 2016, Berlin, Germany. <hal-01362400>
  • Thomas Cochard, David Gouyon, Jean-François Pétin. Generation of safe plant operation sequences using reachability analysis. 20th Conference Emerging Technologies & Factory Automation, ETFA 2015, Sep 2015, Luxembourg, Luxembourg. 2015. <hal-01198590>
  • Thomas Cochard, David Gouyon, Nicolas Rapin, Jean-François Pétin. Aiding generation and verification of action sequence. 26th International Conference on Software & Systems Engineering and their Applications, ICSSEA'15, May 2015, Paris, France. <hal-01157695>

Article dans une revue1 document

  • Thomas Cochard, David Gouyon, Jean-François Pétin. Génération de séquences d'actions sûres par recherche d'atteignabilité. Génie logiciel, C & S, 2015, pp.43-50. <hal-01138524v2>