- 2
- 2
Sophie Pinchinat
4
Documents
Présentation
This is attempt of a CV synthesis from HAL information.
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 1
- 3
Modal event-clock specifications for timed component-based designScience of Computer Programming, 2012, 77, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩
Article dans une revue
hal-00752449v1
|
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⟩
Communication dans un congrès
inria-00424283v1
|
|
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
Communication dans un congrès
inria-00424356v1
|
|
A Compositional Approach on Modal Specifications for Timed Systems[Research Report] RR-7039, INRIA. 2009
Rapport
inria-00418855v1
|