Grigore Rosu

Citado por

	Todos	Desde 2019
Citações	15526	4865
Índice h	65	35
Índice i10	204	100

980

490

245

735

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024107 88 166 221 306 411 394 526 474 560 632 666 880 742 904 854 736 732 965 937 826 904 761 759 664

Acesso público

Ver todos

26 artigos

0 artigo

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryE-mail confirmado em jpl.nasa.gov
Traian Florin ȘerbănuțăUniversity of BucharestE-mail confirmado em unibuc.ro
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROE-mail confirmado em info.uaic.ro
Andrei StefanescuResearch Engineer, Galois IncE-mail confirmado em stefanescu.io
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignE-mail confirmado em illinois.edu
Chucky EllisonPhD Graduate from University of IllinoisE-mail confirmado em freefour.com
Koushik SenProfessor of Computer Science, University of California, BerkeleyE-mail confirmado em cs.berkeley.edu
Philip DaianPhD Student, Cornell UniversityE-mail confirmado em cs.cornell.edu
Mark HillsAssociate Professor, Appalachian State UniversityE-mail confirmado em appstate.edu
Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO EmbedorE-mail confirmado em illinois.edu
Stefan CiobacaAlexandru Ioan Cuza UniversityE-mail confirmado em info.uaic.ro
Qingzhou LuoUniversity of Illinois Urbana ChampaignE-mail confirmado em illinois.edu
Jeff HuangAssociate Professor, Computer Science and EngineeringE-mail confirmado em cse.tamu.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignE-mail confirmado em illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityE-mail confirmado em cs.sun.ac.za
Corina PasareanuCMU/NASA AmesE-mail confirmado em nasa.gov
Wolfram SchultePrincipal researcher, Microsoft CorporationE-mail confirmado em microsoft.com
Cyrille ArthoKTH Royal Institute of Technology, SwedenE-mail confirmado em kth.se
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza UniversityE-mail confirmado em uaic.ro
Vlad RusuInriaE-mail confirmado em inria.fr

Seguir

Grigore Rosu

University of Illinois at Urbana Champaign

E-mail confirmado em illinois.edu - Página inicial

Formal Methods Programming Languages Software Engineering Runtime Verification


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	582	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	522	2007
Synthesizing monitors for safety properties K Havelund, G Roşu Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	497	2002
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	493	2018
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	333	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	322	2012
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	289	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	286	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	276	2005
Institution morphisms J Goguen, G Roşu Formal aspects of computing 13, 274-307, 2002	272	2002
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	253	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	243	2014
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6, 158-173, 2004	235	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	226	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	212	2015
Defining the undefinedness of C C Hathhorn, C Ellison, G Roşu Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	187	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	184	2015

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores