| 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 | 1320 | 2003 |
| The ESTEREL language F Boussinot, R De Simone Proceedings of the IEEE 79 (9), 1293-1304, 1991 | 728 | 1991 |
| Higher-level synchronising devices in Meije-SCCS R De Simone Theoretical computer science 37, 245-267, 1985 | 445 | 1985 |
| Modeling time (s) C André, F Mallet, R Simone International Conference on Model Driven Engineering Languages and Systems …, 2007 | 159 | 2007 |
| The SL synchronous language F Boussinot, R De Simone IEEE Transactions on Software Engineering 22 (4), 256-266, 1996 | 159 | 1996 |
| Symbolic bisimulation minimisation A Bouali, R Simone International Conference on Computer Aided Verification, 96-108, 1992 | 131 | 1992 |
| 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 | 130 | 2007 |
| Auto/autograph V Roy, R Simone International Conference on Computer Aided Verification, 65-75, 1990 | 122 | 1990 |
| Aboard auto R De Simone, D Vergamini INRIA, 1989 | 111 | 1989 |
| 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 | 99 | 2005 |
| The fc2tools set A Bouali, A Ressouche, V Roy, R Simone International Conference on Computer Aided Verification, 441-445, 1996 | 84 | 1996 |
| 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 | 78 | 1989 |
| The synchronous hypothesis and synchronous languages D Potop-Butucaru, R De Simone, JP Talpin The embedded systems handbook, 1-21, 2005 | 64 | 2005 |
| 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 | 57 | 2000 |
| 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 | 55 | 2010 |
| Correctness issues on MARTE/CCSL constraints F Mallet, R De Simone Science of Computer Programming 106, 78-92, 2015 | 53 | 2015 |
| Curing schizophrenia by program rewriting in Esterel O Tardieu, R De Simone Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2004 | 49 | 2004 |
| 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 | 43 | 2008 |
| 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 | 42 | 2008 |
| 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 | 41 | 2008 |
Frederic MalletUniversité Côte d'Azur, FranceVerified email at inria.fr
