Grigore Rosu - Google Scholar Citations

Cited by

	All	Since 2015
Citations	11724	4577
h-index	59	37
i10-index	181	100

980

490

245

735

20002001200220032004200520062007200820092010201120122013201420152016201720182019202098 94 171 188 320 401 388 495 471 540 578 738 874 741 873 901 694 703 973 902 395

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
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
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
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Chucky EllisonPhD Graduate from University of IllinoisVerified email at illinois.edu
Mark HillsAssociate Professor, East Carolina UniversityVerified email at ecu.edu
Gul AghaProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Stefan CiobacaAlexandru Ioan Cuza UniversityVerified email at info.uaic.ro
Philip DaianPhD Student, Cornell UniversityVerified email at cs.cornell.edu
Daejun ParkPhD student in Computer Science, University of Illinois at Urbana–ChampaignVerified email at illinois.edu
Marcelo d'AmorimFederal University of PernambucoVerified email at cin.ufpe.br
Qingzhou LuoUniversity of Illinois Urbana ChampaignVerified email at illinois.edu
Jeff HuangAssociate Professor, Computer Science and Engineering, Texas A&M UniversityVerified email at cse.tamu.edu
Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza UniversityVerified email at uaic.ro
Vlad RusuInriaVerified email at inria.fr

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
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	439	2007
Synthesizing monitors for safety properties K Havelund, G Roşu International Conference on Tools and Algorithms for the Construction and …, 2002	387	2002
Monitoring java programs with java pathexplorer K Havelund, G Roşu Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001	367	2001
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	359	2010
Institution morphisms J Goguen, G Roşu Formal aspects of computing 13 (3-5), 274-307, 2002	251	2002
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	250	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	244	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	242	2004
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	238	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	226	2005
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6 (2), 158-173, 2004	209	2004
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	201	2005
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	196	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	171	2004
The rewriting logic semantics project J Meseguer, G Roşu Theoretical Computer Science 373 (3), 213-237, 2007	163	2007
Formal analysis of Java programs in JavaFAN A Farzan, F Chen, J Meseguer, G Roşu International Conference on Computer Aided Verification, 501-505, 2004	155	2004
Monitoring algorithms for metric temporal logic specifications P Thati, G Roşu Electronic Notes in Theoretical Computer Science 113, 145-162, 2005	154	2005
Efficient Monitoring of ω-Languages M d’Amorim, G Roşu International Conference on Computer Aided Verification, 364-378, 2005	141	2005
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	140	2014
jPredictor: A Predictive Runtime Analysis Tool for Java F Chen, TF Serbanuta, G Rosu Software Engineering, 2008. ICSE'08. ACM/IEEE 30th International Conference …, 2008	137*	2008

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

Upload PDF

Follow this author

Cited by

Co-authors