Grigore Rosu

인용

	전체	2020년 이후
서지정보	15784	4161
h-index	66	32
i10-index	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 786 732 57

공개 액세스

모두 보기

자료 26개

자료 0개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratoryjpl.nasa.gov의 이메일 확인됨
Traian Florin ȘerbănuțăUniversity of Bucharestunibuc.ro의 이메일 확인됨
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROinfo.uaic.ro의 이메일 확인됨
Andrei StefanescuResearch Engineer, Galois Incstefanescu.io의 이메일 확인됨
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
Chucky EllisonPhD Graduate from University of Illinoisfreefour.com의 이메일 확인됨
Koushik SenProfessor of Computer Science, University of California, Berkeleycs.berkeley.edu의 이메일 확인됨
Philip DaianPhD Student, Cornell Universitycs.cornell.edu의 이메일 확인됨
Mark HillsAssociate Professor, Appalachian State Universityappstate.edu의 이메일 확인됨
Gul AghaProfessor of Comp. Science, University of Illinois at Urbana-Champaign & Chief Scientist StructureIQillinois.edu의 이메일 확인됨
Stefan CiobacaAlexandru Ioan Cuza Universityinfo.uaic.ro의 이메일 확인됨
Qingzhou LuoUniversity of Illinois Urbana Champaignillinois.edu의 이메일 확인됨
Jeff HuangAssociate Professor, Computer Science and Engineeringcse.tamu.edu의 이메일 확인됨
Darko MarinovUniversity of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
Willem VisserComputer Science Division, Stellenbosch Universitycs.sun.ac.za의 이메일 확인됨
Corina PasareanuCMU/NASA Amesnasa.gov의 이메일 확인됨
Wolfram SchultePrincipal researcher, Microsoft Corporationmicrosoft.com의 이메일 확인됨
Cyrille ArthoKTH Royal Institute of Technology, Swedenkth.se의 이메일 확인됨
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza Universityuaic.ro의 이메일 확인됨
Vlad RusuInriainria.fr의 이메일 확인됨

팔로우

Grigore Rosu

University of Illinois at Urbana Champaign

illinois.edu의 이메일 확인됨 - 홈페이지

Formal Methods Programming Languages Software Engineering Runtime Verification


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
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	504	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	274	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

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자