Följ
Robert de Simone
Robert de Simone
Directeur de Recherche, Inria
Verifierad e-postadress på inria.fr - Startsida
Titel
Citeras av
Citeras av
År
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
14172003
The ESTEREL language
F Boussinot, R De Simone
Proceedings of the IEEE 79 (9), 1293-1304, 1991
7671991
GWTC-3: compact binary coalescences observed by LIGO and Virgo during the second part of the third observing run
R Abbott, TD Abbott, F Acernese, K Ackley, C Adams, N Adhikari, ...
Physical Review X 13 (4), 041039, 2023
7542023
Higher-level synchronising devices in Meije-SCCS
R De Simone
Theoretical computer science 37, 245-267, 1985
4501985
Modeling time (s)
C André, F Mallet, R De Simone
Model Driven Engineering Languages and Systems: 10th International …, 2007
1722007
The SL synchronous language
F Boussinot, R De Simone
IEEE Transactions on Software Engineering 22 (4), 256-266, 1996
1651996
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
1492007
Auto/autograph
V Roy, R Simone
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
1391991
Symbolic bisimulation minimisation
A Bouali, R De Simone
Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993
1371993
Aboard auto
R De Simone, D Vergamini
INRIA, 1989
1291989
Méthodes et outils pour la vérification symbolique de systèmes temporisés
S Yovine
Institut National Polytechnique de Grenoble-INPG, 1993
1081993
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
1062005
The fc2tools set
A Bouali, A Ressouche, V Roy, R de Simone
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
911996
Process calculi, from theory to practice: Verification tools
G Boudol, V Roy, R de Simone, D Vergamini
Automatic Verification Methods for Finite State Systems: International …, 1990
811990
The Time Model of Logical Clocks available in the OMG MARTE profile
C André, J DeAntoni, F Mallet, R De Simone
Synthesis of embedded software: Frameworks and methodologies for correctness …, 2010
652010
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
622000
The synchronous hypothesis and synchronous languages
D Potop-Butucaru, R De Simone, JP Talpin
The embedded systems handbook, 1-21, 2005
612005
Correctness issues on MARTE/CCSL constraints
F Mallet, R De Simone
Science of Computer Programming 106, 78-92, 2015
592015
The clock constraint specification language for building timed causality models: Application to synchronous data flow graphs
F Mallet, J DeAntoni, C André, R De Simone
Innovations in Systems and Software Engineering 6 (1), 99-106, 2010
582010
Curing schizophrenia by program rewriting in Esterel
O Tardieu, R De Simone
Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2004
512004
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20