Follow
Robert de Simone
Robert de Simone
Directeur de Recherche, Inria
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
The synchronous languages 12 years later
A Benveniste, P Caspi, SA Edwards, N Halbwachs, P Le Guernic, ...
Proceedings of the IEEE 91 (1), 64-83, 2003
13202003
The ESTEREL language
F Boussinot, R De Simone
Proceedings of the IEEE 79 (9), 1293-1304, 1991
7281991
Higher-level synchronising devices in Meije-SCCS
R De Simone
Theoretical computer science 37, 245-267, 1985
4451985
Modeling time (s)
C André, F Mallet, R Simone
International Conference on Model Driven Engineering Languages and Systems …, 2007
1592007
The SL synchronous language
F Boussinot, R De Simone
IEEE Transactions on Software Engineering 22 (4), 256-266, 1996
1591996
Symbolic bisimulation minimisation
A Bouali, R Simone
International Conference on Computer Aided Verification, 96-108, 1992
1311992
Marte: Also an uml profile for modeling aadl applications
M Faugere, T Bourbeau, R De Simone, S Gerard
12th IEEE International Conference on Engineering Complex Computer Systems …, 2007
1302007
Auto/autograph
V Roy, R Simone
International Conference on Computer Aided Verification, 65-75, 1990
1221990
Aboard auto
R De Simone, D Vergamini
INRIA, 1989
1111989
Guidelines for a graduate curriculum on embedded software and systems
P Caspi, A Sangiovanni-Vincentelli, L Almeida, A Benveniste, ...
ACM Transactions on Embedded Computing Systems (TECS) 4 (3), 587-611, 2005
992005
The fc2tools set
A Bouali, A Ressouche, V Roy, R Simone
International Conference on Computer Aided Verification, 441-445, 1996
841996
Process calculi, from theory to practice: Verification tools
G Boudol, V Roy, R Simone, D Vergamini
International Conference on Computer Aided Verification, 1-10, 1989
781989
The synchronous hypothesis and synchronous languages
D Potop-Butucaru, R De Simone, JP Talpin
The embedded systems handbook, 1-21, 2005
642005
Esterel: A formal method applied to avionic software development
G Berry, A Bouali, X Fornari, E Ledinot, E Nassor, R De Simone
Science of Computer Programming 36 (1), 5-25, 2000
572000
The clock constraint specification language for building timed causality models
F Mallet, J DeAntoni, C André, R De Simone
Innovations in Systems and Software Engineering 6 (1), 99-106, 2010
552010
Correctness issues on MARTE/CCSL constraints
F Mallet, R De Simone
Science of Computer Programming 106, 78-92, 2015
532015
Curing schizophrenia by program rewriting in Esterel
O Tardieu, R De Simone
Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2004
492004
Marte: A profile for rt/e systems modeling, analysis (and simulation?)
F Mallet, R De Simone
First International Conference on Simulation Tools and Techniques for …, 2008
432008
Dealing with AADL End-to-end Flow Latency with UML MARTE
SY Lee, F Mallet, R De Simone
13th IEEE International Conference on Engineering of Complex Computer …, 2008
422008
Modeling spirit IP-XACT in UML marte
C André, F Mallet, AM Khan, R De Simone
Conf. on Design, Automation and Test in Europe (DATE), MARTE Workshop, 35-40, 2008
412008
The system can't perform the operation now. Try again later.
Articles 1–20