Accéder directement au contenu

Sophie Pinchinat

4
Documents

Présentation

This is attempt of a CV synthesis from HAL information.

Publications

838273

Refinement and Consistency of Timed Modal Specifications.

Nathalie Bertrand , Sophie Pinchinat , Jean-Baptiste Raclet
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⟩
Communication dans un congrès inria-00424283v1

A Compositional Approach on Modal Specifications for Timed Systems.

Nathalie Bertrand , Axel Legay , Sophie Pinchinat , Jean-Baptiste Raclet
11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. pp.679-697
Communication dans un congrès inria-00424356v1