Grigore Rosu

Citée par

	Toutes	Depuis 2020
Citations	15781	4158
indice h	66	32
indice i10	205	93

980

490

245

735

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025107 88 167 221 308 409 394 527 474 560 634 682 866 737 905 854 738 739 967 943 839 942 798 785 731 56

Accès public

Tout afficher

26 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryAdresse e-mail validée de jpl.nasa.gov
Traian Florin ȘerbănuțăUniversity of BucharestAdresse e-mail validée de unibuc.ro
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROAdresse e-mail validée de info.uaic.ro
Andrei StefanescuResearch Engineer, Galois IncAdresse e-mail validée de stefanescu.io
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignAdresse e-mail validée de illinois.edu
Chucky EllisonPhD Graduate from University of IllinoisAdresse e-mail validée de freefour.com
Koushik SenProfessor of Computer Science, University of California, BerkeleyAdresse e-mail validée de cs.berkeley.edu
Philip DaianPhD Student, Cornell UniversityAdresse e-mail validée de cs.cornell.edu
Mark HillsAssociate Professor, Appalachian State UniversityAdresse e-mail validée de appstate.edu
Gul AghaProfessor of Comp. Science, University of Illinois at Urbana-Champaign & Chief Scientist StructureIQAdresse e-mail validée de illinois.edu
Stefan CiobacaAlexandru Ioan Cuza UniversityAdresse e-mail validée de info.uaic.ro
Qingzhou LuoUniversity of Illinois Urbana ChampaignAdresse e-mail validée de illinois.edu
Jeff HuangAssociate Professor, Computer Science and EngineeringAdresse e-mail validée de cse.tamu.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignAdresse e-mail validée de illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityAdresse e-mail validée de cs.sun.ac.za
Corina PasareanuCMU/NASA AmesAdresse e-mail validée de nasa.gov
Wolfram SchultePrincipal researcher, Microsoft CorporationAdresse e-mail validée de microsoft.com
Cyrille ArthoKTH Royal Institute of Technology, SwedenAdresse e-mail validée de kth.se
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza UniversityAdresse e-mail validée de uaic.ro
Vlad RusuInriaAdresse e-mail validée de inria.fr

Suivre

Grigore Rosu

University of Illinois at Urbana Champaign

Adresse e-mail validée de illinois.edu - Page d'accueil

Formal Methods Programming Languages Software Engineering Runtime Verification


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	590	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	524	2007
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	502	2018
Synthesizing monitors for safety properties K Havelund, G Roşu Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	501	2002
Monitoring java programs with java pathexplorer K Havelund, G Roşu Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001	409	2001
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	334	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	323	2012
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	290	2001
An overview of the runtime verification tool Java PathExplorer K Havelund, G Roşu Formal methods in system design 24 (2), 189-215, 2004	289	2004
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	278	2005
Institution morphisms J Goguen, G Roşu Formal aspects of computing 13, 274-307, 2002	273	2002
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	254	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	246	2014
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6, 158-173, 2004	236	2004
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	228	2004
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	227	2003
Monitoring algorithms for metric temporal logic specifications P Thati, G Roşu Electronic Notes in Theoretical Computer Science 113, 145-162, 2005	225	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	214	2015
Defining the undefinedness of C C Hathhorn, C Ellison, G Roşu Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	188	2015
KJS: A complete formal semantics of JavaScript D Park, A Stefănescu, G Roşu Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	186	2015

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs