Grigore Rosu

引用次数

	总计	2019 年至今
引用	15552	4889
h 指数	65	35
i10 指数	204	100

980

490

245

735

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024107 88 166 221 306 411 394 526 474 560 632 667 879 742 904 854 736 732 965 937 827 906 761 760 682

开放获取的出版物数量

查看全部

26 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratory在 jpl.nasa.gov 的电子邮件经过验证
Traian Florin ȘerbănuțăUniversity of Bucharest在 unibuc.ro 的电子邮件经过验证
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO在 info.uaic.ro 的电子邮件经过验证
Andrei StefanescuResearch Engineer, Galois Inc在 stefanescu.io 的电子邮件经过验证
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Chucky EllisonPhD Graduate from University of Illinois在 freefour.com 的电子邮件经过验证
Koushik SenProfessor of Computer Science, University of California, Berkeley在 cs.berkeley.edu 的电子邮件经过验证
Philip DaianPhD Student, Cornell University在 cs.cornell.edu 的电子邮件经过验证
Mark HillsAssociate Professor, Appalachian State University在 appstate.edu 的电子邮件经过验证
Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO Embedor在 illinois.edu 的电子邮件经过验证
Stefan CiobacaAlexandru Ioan Cuza University在 info.uaic.ro 的电子邮件经过验证
Qingzhou LuoUniversity of Illinois Urbana Champaign在 illinois.edu 的电子邮件经过验证
Jeff HuangAssociate Professor, Computer Science and Engineering在 cse.tamu.edu 的电子邮件经过验证
Darko MarinovUniversity of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Willem VisserComputer Science Division, Stellenbosch University在 cs.sun.ac.za 的电子邮件经过验证
Corina PasareanuCMU/NASA Ames在 nasa.gov 的电子邮件经过验证
Wolfram SchultePrincipal researcher, Microsoft Corporation在 microsoft.com 的电子邮件经过验证
Cyrille ArthoKTH Royal Institute of Technology, Sweden在 kth.se 的电子邮件经过验证
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza University在 uaic.ro 的电子邮件经过验证
Vlad RusuInria在 inria.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	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	523	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	495	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	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	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	287	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	277	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	244	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	213	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	185	2015

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

关注

引用次数

合著作者