G
Grigore Rosu
Researcher at University of Illinois at Urbana–Champaign
Publications - 293
Citations - 10901
Grigore Rosu is an academic researcher from University of Illinois at Urbana–Champaign. The author has contributed to research in topics: Rewriting & Runtime verification. The author has an hindex of 54, co-authored 291 publications receiving 10222 citations. Previous affiliations of Grigore Rosu include Alexandru Ioan Cuza University & University of California, San Diego.
Papers
More filters
Proceedings ArticleDOI
Mop: an efficient and generic runtime verification framework
Feng Chen,Grigore Rosu +1 more
TL;DR: This paper proposes a parametric specification formalism-independent extension of MOP, together with an implementation of JavaMOP that supports parameters, and devised and implemented a decentralized indexing optimization.
Book ChapterDOI
Synthesizing Monitors for Safety Properties
Klaus Havelund,Grigore Rosu +1 more
TL;DR: An algorithm which takes a past time LTL formula and generates an efficient dynamic programming algorithm is presented, which is to construct a flexible framework for monitoring and analyzing program executions.
Proceedings ArticleDOI
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Everett Hildenbrandt,Manasvi Saxena,Nishant Rodrigues,Xiaoran Zhu,Philip Daian,Dwight Guth,Brandon Moore,Daejun Park,Yi Zhang,Andrei Stefanescu,Grigore Rosu +10 more
TL;DR: KEVM is presented, an executable formal specification of the EVM's bytecode stack-based language built with the K Framework, designed to serve as a solid foundation for further formal analyses and to demonstrate the usability of the semantics.
Journal ArticleDOI
Monitoring Java Programs with Java PathExplorer
Klaus Havelund,Grigore Rosu +1 more
TL;DR: Recent work on the development of Java PathExplorer (\JPaXX), a tool for monitoring the execution of Java programs, can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems.
Journal ArticleDOI
An overview of the MOP runtime verification framework
TL;DR: An overview of the, monitoring oriented programming framework (MOP), and an explanation of parametric trace monitoring and its implementation is given.