Grigore Rosu

Citeras av

	Alla	Sedan 2020
Citat	15781	4158
h-index	66	32
i10-index	205	93

980

490

245

735

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025107 88 167 221 308 409 394 527 474 560 634 681 867 737 905 854 738 739 967 943 839 942 798 786 730 56

Offentlig åtkomst

Visa alla

26 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerifierad e-postadress på jpl.nasa.gov
Traian Florin ȘerbănuțăUniversity of BucharestVerifierad e-postadress på unibuc.ro
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROVerifierad e-postadress på info.uaic.ro
Andrei StefanescuResearch Engineer, Galois IncVerifierad e-postadress på stefanescu.io
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
Chucky EllisonPhD Graduate from University of IllinoisVerifierad e-postadress på freefour.com
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerifierad e-postadress på cs.berkeley.edu
Philip DaianPhD Student, Cornell UniversityVerifierad e-postadress på cs.cornell.edu
Mark HillsAssociate Professor, Appalachian State UniversityVerifierad e-postadress på appstate.edu
Gul AghaProfessor of Comp. Science, University of Illinois at Urbana-Champaign & Chief Scientist StructureIQVerifierad e-postadress på illinois.edu
Stefan CiobacaAlexandru Ioan Cuza UniversityVerifierad e-postadress på info.uaic.ro
Qingzhou LuoUniversity of Illinois Urbana ChampaignVerifierad e-postadress på illinois.edu
Jeff HuangAssociate Professor, Computer Science and EngineeringVerifierad e-postadress på cse.tamu.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityVerifierad e-postadress på cs.sun.ac.za
Corina PasareanuCMU/NASA AmesVerifierad e-postadress på nasa.gov
Wolfram SchultePrincipal researcher, Microsoft CorporationVerifierad e-postadress på microsoft.com
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerifierad e-postadress på kth.se
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza UniversityVerifierad e-postadress på uaic.ro
Vlad RusuInriaVerifierad e-postadress på inria.fr

Följ

Grigore Rosu

University of Illinois at Urbana Champaign

Verifierad e-postadress på illinois.edu - Startsida

Formal Methods Programming Languages Software Engineering Runtime Verification


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare