Grigore Rosu

引用先

	すべて	2020 年以来
引用	15781	4158
h 指標	66	32
i10 指標	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 785 731 56

オープンアクセス

すべて表示

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 Comp. Science, University of Illinois at Urbana-Champaign & Chief Scientist StructureIQ確認したメールアドレス: 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	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

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者