Grigore Rosu

Cited by

	All	Since 2018
Citations	14579	4914
h-index	64	36
i10-index	198	96

1000

500

250

750

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023100 100 168 221 304 399 396 504 465 552 620 650 876 754 926 896 736 725 991 928 847 847 739 560

Public access

View all

24 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Traian Florin ȘerbănuțăUniversity of BucharestVerified email at unibuc.ro
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROVerified email at info.uaic.ro
Andrei StefanescuResearch Engineer, Galois IncVerified email at stefanescu.io
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Chucky EllisonPhD Graduate from University of IllinoisVerified email at freefour.com
Philip DaianPhD Student, Cornell UniversityVerified email at cs.cornell.edu
Mark HillsAssociate Professor, Appalachian State UniversityVerified email at appstate.edu
Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO EmbedorVerified email at illinois.edu
Stefan CiobacaAlexandru Ioan Cuza UniversityVerified email at info.uaic.ro
Qingzhou LuoUniversity of Illinois Urbana ChampaignVerified email at illinois.edu
Jeff HuangLynn ’84 and Bill Crane ’83 Faculty Fellow, Associate Professor, Computer Science and EngineeringVerified email at cse.tamu.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
Vlad RusuInriaVerified email at inria.fr
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza UniversityVerified email at uaic.ro

Grigore Rosu

University of Illinois at Urbana Champaign

Verified email at illinois.edu - Homepage

Formal Methods Programming Languages Software Engineering Runtime Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An overview of the K semantic framework G Roșu, TF Șerbănută The Journal of Logic and Algebraic Programming 79 (6), 397-434, 2010	531	2010
Mop: an efficient and generic runtime verification framework F Chen, G Roşu Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007	510	2007
Synthesizing monitors for safety properties K Havelund, G Roşu Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	461	2002
Monitoring java programs with java pathexplorer K Havelund, G Roşu Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001	398	2001
Kevm: A complete formal semantics of the ethereum virtual machine E Hildenbrandt, M Saxena, N Rodrigues, X Zhu, P Daian, D Guth, ... 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 204-217, 2018	385	2018
An executable formal semantics of C with applications C Ellison, G Rosu Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012	322	2012
An overview of the MOP runtime verification framework PON Meredith, D Jin, D Griffith, F Chen, G Roşu International Journal on Software Tools for Technology Transfer 14 (3), 249-289, 2012	305	2012
An overview of the runtime verification tool Java PathExplorer K Havelund, G Roşu Formal methods in system design 24 (2), 189-215, 2004	278	2004
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	273	2001
Java-MOP: A monitoring oriented programming environment for Java F Chen, G Roşu International Conference on Tools and Algorithms for the Construction and …, 2005	267	2005
Institution morphisms J Goguen, G Roşu Formal aspects of computing 13, 274-307, 2002	263	2002
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	241	2005
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6, 158-173, 2004	225	2004
Maximal sound predictive race detection with control flow abstraction J Huang, PON Meredith, G Rosu Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014	223	2014
Towards monitoring-oriented programming: A paradigm combining specification and implementation F Chen, G Roşu Electronic Notes in Theoretical Computer Science 89 (2), 108-127, 2003	216	2003
Efficient decentralized monitoring of safety in distributed systems K Sen, A Vardhan, G Agha, G Rosu Proceedings. 26th International Conference on Software Engineering, 418-427, 2004	214	2004
Monitoring algorithms for metric temporal logic specifications P Thati, G Roşu Electronic Notes in Theoretical Computer Science 113, 145-162, 2005	199	2005
K-Java: A complete semantics of Java D Bogdanas, G Roşu Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	198	2015
Defining the undefinedness of C C Hathhorn, C Ellison, G Roşu Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	177	2015
The rewriting logic semantics project J Meseguer, G Roşu Theoretical Computer Science 373 (3), 213-237, 2007	173	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors