Grigore Rosu

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2018
Позовавания	14752	5070
h-индекс	65	37
i10-индекс	198	97

1000

500

250

750

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023100 100 166 221 304 399 397 504 473 560 622 652 876 754 926 895 738 725 992 930 847 856 730 711

Публичен достъп

Преглед на всички

25 статии

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
Koushik SenProfessor of Computer Science, University of California, BerkeleyПотвърден имейл адрес: cs.berkeley.edu
Chucky EllisonPhD Graduate from University of IllinoisПотвърден имейл адрес: freefour.com
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 HuangLynn ’84 and Bill Crane ’83 Faculty Fellow, Associate 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
Vlad RusuInriaПотвърден имейл адрес: inria.fr
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza UniversityПотвърден имейл адрес: uaic.ro

Следене

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	537	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	511	2007
Synthesizing monitors for safety properties K Havelund, G Roşu Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	471	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	397	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	322	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	308	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	279	2004
Monitoring programs using rewriting K Havelund, G Rosu Proceedings 16th Annual International Conference on Automated Software …, 2001	278	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	271	2005
Institution morphisms J Goguen, G Roşu Formal aspects of computing 13, 274-307, 2002	265	2002
Rewriting-based techniques for runtime verification G Roşu, K Havelund Automated Software Engineering 12 (2), 151-197, 2005	243	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	228	2014
Efficient monitoring of safety properties K Havelund, G Roşu International Journal on Software Tools for Technology Transfer 6, 158-173, 2004	225	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	216	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	216	2003
Monitoring algorithms for metric temporal logic specifications P Thati, G Roşu Electronic Notes in Theoretical Computer Science 113, 145-162, 2005	207	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	199	2015
Defining the undefinedness of C C Hathhorn, C Ellison, G Roşu Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	179	2015
The rewriting logic semantics project J Meseguer, G Roşu Theoretical Computer Science 373 (3), 213-237, 2007	175	2007

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори