Rosaria Simone

Statistics

Publications

Citations

1.5K

H-Index

Active since

1991

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Fondation Sophia Antipolis

École Nationale Supérieure des Mines de Paris

Rosaria Simone is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and formal verification.

ORCID

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsSystems EngineeringComputer EngineeringSystem SoftwareProgram AnalysisParallel ComputingComputer Architecture

Publications per year

1991–2011

Publications

The synchronous languages 12 years later

Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 922 citations · Full text

Special Section, Engineering, Embedded Systems +23

The ESTEREL language

Frédéric Boussinot, Rosaria Simone · Proceedings of the IEEE · 1991 · 442 citations

Engineering, Computer Architecture, Concurrent System +22

The SL synchronous language

Frédéric Boussinot, Rosaria Simone · IEEE Transactions on Software Engineering · 1996 · 83 citations

Engineering, Verification, Chomsky Hierarchy +20

Curing Schizophrenia by program rewriting in Esterel

Olivier Tardieu, Rosaria Simone · 2005 · 29 citations

Engineering, Interpreter (Computing), Software Analysis +24

Dealing with AADL End-to-End Flow Latency with UML MARTE

Su‐Young Lee, Frédéric Mallet, Rosaria Simone · 2008 · 21 citations · Full text

Engineering, Computer Architecture, Embedded Systems +20

1–5 of 8