Robert de Simone
Address
-
INRIA Sophia-Antipolis
- B.P. 93
- 06902 Sophia-Antipolis CDX
- FRANCE
- Tel: (33) 04 93 65 79 41
- Fax: (33) 04 93 65 79 98
- Email
Research interests
Situation
- Current position: Research Director at
INRIA, head of the
Meije project
- Holds a PhD Thesis in Computer Science, from the Jussieu Paris 7
university.
Main Publications
- On Meije and SCCS, Infinite sums vs. Non-guarded definitions,
R. de Simone, TCS 30 (1984).
- Higher-level Synchronising devices in Meije-SCCS,
R.de Simone, TCS 37 (1985).
- Petri Nets and Algebraic Calculi of Processes,
G.Boudol R.de Simone G.Roucairol, STACS 1986.
- Process Calculi, from Theory to Practice: Verification Tools,
G.Boudol R.de Simone V.Roy D.Vergamini,
Automatic Verification Methods for Finite State Systems, LNCS 407 (1989).
- The Esterel Language, F.Boussinot R.de Simone,
Proceedings of the I.E.E.E., Sept. 91.
- Causal Models for Rational Parallel Processes,
A.Bouali R.de Simone, Concur'91, LNCS 527.
- Symbolic Bisimulation Minimisation, A.Bouali R.de Simone,
CAV'92, LNCS 663.
- Compositional Semantics of Esterel and Verification by
Compositional Reductions, R.de Simone A.Ressouche,
CAV'94, LNCS 818.
- Using Partial-Order Methods for the Verification of
Behavioural Equivalences, R.de Simone M.Lara de Souza, FORTE'95.