Skip to Main content
Number of documents

4

CV Sophie Pinchinat


This is attempt of a CV synthesis from HAL information.


Jean-Baptiste Raclet   

Journal articles1 document

  • Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. Modal event-clock specifications for timed component-based design. Science of Computer Programming, Elsevier, 2012, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩. ⟨hal-00752449⟩

Conference papers2 documents

  • Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems.. 11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. pp.679-697. ⟨inria-00424356⟩
  • Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications.. 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. pp.152-163, ⟨10.1007/978-3-642-00982-2_13⟩. ⟨inria-00424283⟩

Reports1 document

  • Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems. [Research Report] RR-7039, INRIA. 2009. ⟨inria-00418855⟩