| 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 | 1426 | 2003 |
| 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 | 1261 | 2023 |
| The ESTEREL language F Boussinot, R De Simone Proceedings of the IEEE 79 (9), 1293-1304, 1991 | 773 | 1991 |
| Higher-level synchronising devices in Meije-SCCS R De Simone Theoretical computer science 37, 245-267, 1985 | 459 | 1985 |
| Modeling time (s) C André, F Mallet, R De Simone Model Driven Engineering Languages and Systems: 10th International …, 2007 | 172 | 2007 |
| The SL synchronous language F Boussinot, R De Simone IEEE Transactions on Software Engineering 22 (4), 256-266, 1996 | 166 | 1996 |
| 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 | 147 | 2007 |
| Auto/autograph V Roy, R Simone Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 140 | 1991 |
| Symbolic bisimulation minimisation A Bouali, R De Simone Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993 | 138 | 1993 |
| Aboard auto R De Simone, D Vergamini INRIA, 1989 | 129 | 1989 |
| Méthodes et outils pour la vérification symbolique de systèmes temporisés S Yovine Institut National Polytechnique de Grenoble-INPG, 1993 | 110 | 1993 |
| 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 | 106 | 2005 |
| The fc2tools set A Bouali, A Ressouche, V Roy, R de Simone Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 91 | 1996 |
| 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 | 81 | 1990 |
| 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 | 65 | 2000 |
| 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 | 64 | 2010 |
| The synchronous hypothesis and synchronous languages D Potop-Butucaru, R De Simone, JP Talpin The embedded systems handbook, 1-21, 2005 | 63 | 2005 |
| Correctness issues on MARTE/CCSL constraints F Mallet, R De Simone Science of Computer Programming 106, 78-92, 2015 | 60 | 2015 |
| 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 | 58 | 2010 |
| Curing schizophrenia by program rewriting in Esterel O Tardieu, R De Simone Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2004 | 51 | 2004 |
Frederic MalletUniversité Côte d'Azur, FranceEmail verificata su inria.fr