Grigore Rosu

Citirano

	Sve	Od 2018.
Citati	14571	4914
H-indeks	64	36
i10-indeks	198	96

1000

500

250

750

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023100 100 168 221 304 399 396 504 465 552 620 650 876 754 926 889 736 725 992 928 847 847 739 559

Javni pristup

Prikaži sve

25 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryPotvrđena adresa e-pošte na jpl.nasa.gov
Traian Florin ȘerbănuțăUniversity of BucharestPotvrđena adresa e-pošte na unibuc.ro
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROPotvrđena adresa e-pošte na info.uaic.ro
Andrei StefanescuResearch Engineer, Galois IncPotvrđena adresa e-pošte na stefanescu.io
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignPotvrđena adresa e-pošte na illinois.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyPotvrđena adresa e-pošte na cs.berkeley.edu
Chucky EllisonPhD Graduate from University of IllinoisPotvrđena adresa e-pošte na freefour.com
Philip DaianPhD Student, Cornell UniversityPotvrđena adresa e-pošte na cs.cornell.edu
Mark HillsAssociate Professor, Appalachian State UniversityPotvrđena adresa e-pošte na appstate.edu
Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO EmbedorPotvrđena adresa e-pošte na illinois.edu
Stefan CiobacaAlexandru Ioan Cuza UniversityPotvrđena adresa e-pošte na info.uaic.ro
Qingzhou LuoUniversity of Illinois Urbana ChampaignPotvrđena adresa e-pošte na illinois.edu
Jeff HuangLynn ’84 and Bill Crane ’83 Faculty Fellow, Associate Professor, Computer Science and EngineeringPotvrđena adresa e-pošte na cse.tamu.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignPotvrđena adresa e-pošte na illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityPotvrđena adresa e-pošte na cs.sun.ac.za
Corina PasareanuCMU/NASA AmesPotvrđena adresa e-pošte na nasa.gov
Wolfram SchultePrincipal researcher, Microsoft CorporationPotvrđena adresa e-pošte na microsoft.com
Cyrille ArthoKTH Royal Institute of Technology, SwedenPotvrđena adresa e-pošte na kth.se
Vlad RusuInriaPotvrđena adresa e-pošte na inria.fr
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza UniversityPotvrđena adresa e-pošte na uaic.ro

Prati

Grigore Rosu

University of Illinois at Urbana Champaign

Potvrđena adresa e-pošte na illinois.edu - Početna stranica

Formal Methods Programming Languages Software Engineering Runtime Verification


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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	321	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	197	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

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori