Grigore Rosu

Citado por

	Todos	Desde 2016
Citações	12734	4484
Índice h	60	36
Índice i10	187	92

1000

500

250

750

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021105 74 176 218 312 391 388 530 463 548 642 702 892 726 902 902 705 723 988 936 789 341

Acesso público

Visualizar todos

20 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
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignE-mail confirmado em illinois.edu
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
Koushik SenProfessor of Computer Science, University of California, BerkeleyE-mail confirmado em cs.berkeley.edu
Chucky EllisonPhD Graduate from University of IllinoisE-mail confirmado em illinois.edu
Mark HillsAssociate Professor, East Carolina UniversityE-mail confirmado em ecu.edu
Philip DaianPhD Student, Cornell UniversityE-mail confirmado em cs.cornell.edu
Gul AghaProfessor of Computer Science, University of Illinois at Urbana-ChampaignE-mail confirmado em illinois.edu
Daejun ParkRuntime Verification, Inc.E-mail confirmado em runtimeverification.com
Stefan CiobacaAlexandru Ioan Cuza UniversityE-mail confirmado em info.uaic.ro
Marcelo d'AmorimFederal University of PernambucoE-mail confirmado em cin.ufpe.br
Qingzhou LuoUniversity of Illinois Urbana ChampaignE-mail confirmado em illinois.edu
Jeff HuangLynn ’84 and Bill Crane ’83 Faculty Fellow, Associate Professor, Computer Science and EngineeringE-mail confirmado em cse.tamu.edu
Willem VisserComputer Science Division, Stellenbosch UniversityE-mail confirmado em cs.sun.ac.za
Corina PasareanuCMU/NASA AmesE-mail confirmado em nasa.gov
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza UniversityE-mail confirmado em uaic.ro
Darko MarinovUniversity of Illinois at Urbana-ChampaignE-mail confirmado em illinois.edu
Vlad RusuInriaE-mail confirmado em inria.fr

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
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	475	2007
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	425	2010
Synthesizing monitors for safety properties K Havelund, G Roşu International Conference on Tools and Algorithms for the Construction and …, 2002	416	2002
Monitoring java programs with java pathexplorer K Havelund, G Roşu Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001	375	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	274	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	263	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	262	2004
Institution morphisms J Goguen, G Roşu Formal aspects of computing 13 (3), 274-307, 2002	255	2002
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	255	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	240	2005
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6 (2), 158-173, 2004	219	2004
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	212	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	205	2003
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	201	2018
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	188	2004
The rewriting logic semantics project J Meseguer, G Roşu Theoretical Computer Science 373 (3), 213-237, 2007	164	2007
Monitoring algorithms for metric temporal logic specifications P Thati, G Roşu Electronic Notes in Theoretical Computer Science 113, 145-162, 2005	164	2005
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	161	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	159	2014
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	153	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

Fazer upload de PDF

Seguir este autor

Citado por

Coautores