Grigore Roșu | Academic Influence

Grigore Roșu's AcademicInfluence.com Rankings

Grigore Roșu

Computer Science

#4866

World Rank

#5137

Historical Rank

#1517

USA Rank

Database

#4054

World Rank

#4215

Historical Rank

#675

USA Rank

computer-science Degrees

Download Badge

Computer Science

Grigore Roșu's Degrees

Bachelors Computer Science University of Bucharest

Similar Degrees You Can Earn

Why Is Grigore Roșu Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, the K framework, matching logic, and automated coinduction.

(See a Problem?)

Grigore Roșu's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

An overview of the K semantic framework (2010) (404)
Mop: an efficient and generic runtime verification framework (2007) (398)
Synthesizing Monitors for Safety Properties (2002) (385)
Monitoring Java Programs with Java PathExplorer (2001) (308)
An executable formal semantics of C with applications (2011) (263)
An overview of the MOP runtime verification framework (2012) (256)
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine (2018) (235)
An Overview of the Runtime Verification Tool Java PathExplorer (2004) (224)
Monitoring programs using rewriting (2001) (220)
Rewriting-Based Techniques for Runtime Verification (2005) (212)
Efficient monitoring of safety properties (2004) (203)
Institution Morphisms (2013) (203)
Java-MOP: A Monitoring Oriented Programming Environment for Java (2005) (202)
Efficient decentralized monitoring of safety in distributed systems (2004) (178)
Maximal sound predictive race detection with control flow abstraction (2014) (176)
Monitoring Algorithms for Metric Temporal Logic Specifications (2004) (173)
The Rewriting Logic Semantics Project (2006) (170)
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation (2003) (148)
jPredictor: a predictive runtime analysis tool for java (2008) (147)
K-Java (2015) (134)
KEVM: A Complete Semantics of the Ethereum Virtual Machine (2017) (132)
Defining the undefinedness of C (2015) (129)
Formal Analysis of Java Programs in JavaFAN (2004) (127)
Parametric Trace Slicing and Monitoring (2009) (126)
KJS: a complete formal semantics of JavaScript (2015) (117)
Combining test case generation and runtime verification (2005) (117)
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools (2004) (99)
JavaMOP: Efficient parametric runtime monitoring framework (2012) (96)
Generating Optimal Monitors for Extended Regular Expressions (2003) (96)
A rewriting logic approach to operational semantics (2009) (96)
Runtime safety analysis of multithreaded programs (2003) (90)
Java PathExplorer: A Runtime Verification Tool (2001) (88)
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems (2008) (87)
Semantics-based program verifiers for all languages (2016) (87)
Circular coinductive rewriting (2000) (86)
ROSRV: Runtime Verification for Robots (2014) (85)
A formal verification tool for Ethereum VM bytecode (2018) (81)
Matching Logic: An Alternative to Hoare/Floyd Logic (2010) (81)
A tree based router search engine architecture with single port memories (2005) (81)
Hiding More of Hidden Algebra (1999) (77)
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions (2005) (77)
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties (2014) (75)
Checking reachability using matching logic (2012) (75)
Efficient Monitoring of omega-Languages (2005) (72)
A Formal Monitoring-Based Framework for Software Development and Analysis (2004) (71)
Mining parametric specifications (2011) (71)
One-Path Reachability Logic (2013) (69)
Experiments with Test Case Generation and Runtime Analysis (2003) (69)
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 (2019) (69)
Online efficient predictive safety analysis of multithreaded programs (2004) (63)
Parametric and Sliced Causality (2007) (61)
Circular Coinduction: A Proof Theoretical Foundation (2009) (60)
Efficient monitoring of parametric context-free patterns (2008) (60)
Efficient Monitoring of ω-Languages (2005) (59)
Hidden Congruent Deduction (1998) (58)
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP (2006) (58)
All-Path Reachability Logic (2014) (57)
Improved multithreaded unit testing (2011) (55)
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis (2006) (55)
Matching μ-Logic (2017) (54)
Maximal Causal Models for Sequentially Consistent Systems (2012) (53)
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns (2008) (52)
Testing Linear Temporal Logic Formulae on Finite Execution Traces (2001) (51)
A formal executable semantics of Verilog (2010) (49)
Runtime Verification of C Memory Safety (2009) (48)
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (2010) (47)
The rewriting logic semantics project: A progress report (2011) (47)
A complete formal semantics of x86-64 user-level instruction set architecture (2019) (47)
Matching logic: a new program verification approach (NIER track) (2011) (46)
From Hoare Logic to Matching Logic Reachability (2012) (46)
How good are the specs? A study of the bug-finding effectiveness of existing Java API specifications (2016) (45)
Formal JVM Code Analysis in JavaFAN (2004) (43)
Weak inclusion systems (1997) (43)
K Overview and SIMPLE Case Study (2014) (42)
Garbage collection for monitoring parametric properties (2011) (41)
Dependent advice: a general approach to optimizing history-based aspects (2009) (41)
Semantics and Algorithms for Parametric Monitoring (2011) (41)
CIRC: A Behavioral Verification Tool Based on Circular Coinduction (2009) (39)
Composing Hidden Information Modules over Inclusive Institutions (2004) (39)
𝕂: A Semantic Framework for Programming Languages and Formal Analysis Tools (2017) (38)
Generating Optimal Linear Temporal Logic Monitors by Coinduction (2003) (38)
Efficient Formalism-Independent Monitoring of Parametric Properties (2009) (37)
CIRC : A Circular Coinductive Prover (2007) (37)
Towards a Unified Theory of Operational and Axiomatic Semantics (2012) (36)
Synthesizing Dynamic Programming Algorithms fromLinear Temporal Logic Formulae (2001) (34)
Rule-Based Analysis of Dimensional Safety (2003) (34)
Testing Extended Regular Language Membership Incrementally by Rewriting (2003) (33)
Why and How JavaScript Developers Use Linters (2017) (33)
Conditional Circular Coinductive Rewriting with Case Analysis (2002) (30)
GPredict: Generic Predictive Concurrency Analysis (2015) (30)
Matching logic: a new program verification approach. (2011) (30)
A Rewriting Logic Approach to Type Inference (2009) (30)
Circular Coinduction (2000) (30)
An Executable Rewriting Logic Semantics of K-Scheme (2007) (30)
Distributed cooperative formal methods tools (1997) (30)
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (2007) (29)
Incompleteness of Behavioral Logics (2000) (29)
Equational axiomatizability for coalgebra (2001) (29)
EnforceMOP: a runtime property enforcement system for multithreaded programs (2013) (29)
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis (2007) (28)
Computationally Equivalent Elimination of Conditions (2006) (27)
Defining and Executing P Systems with Structured Data in K (2009) (27)
Towards Categorizing and Formalizing the JDK API (2012) (26)
Decentralized runtime analysis of multithreaded applications (2006) (26)
K: A Rewriting-Based Framework for Computations -- Preliminary version -- (2007) (26)
Certifying measurement unit safety policy (2003) (24)
A Rewriting Logic Approach to Static Checking of Units of Measurement in C (2012) (24)
On Equational Craig Interpolation (2000) (24)
A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra (1998) (24)
The K Primer (version 3.3) (2014) (23)
Runtime Verification with the RV System (2010) (23)
P4K: A Formal Semantics of P4 and Applications (2018) (23)
Certifying domain-specific policies (2001) (22)
RV-Match: Practical Semantics-Based Program Analysis (2016) (21)
An Overview of the Tatami Project (2000) (21)
A Language-Independent Proof System for Mutual Program Equivalence (2014) (20)
A language-independent proof system for full program equivalence (2016) (20)
Language definitions as rewrite theories (2014) (20)
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics (2018) (20)
An Equational Specification for the Scheme Language (2005) (19)
A rewriting approach to concurrent programming language design and semantics (2010) (19)
Axiomatizability in inclusive equational logics (2002) (19)
Security-policy monitoring and enforcement with JavaMOP (2012) (18)
From Conditional to Unconditional Rewriting (2004) (18)
Program Verification by Coinduction (2018) (17)
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain (2019) (17)
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract (2020) (17)
A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (2007) (17)
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial (2015) (17)
Maximal Causal Models for Multithreaded Systems (2008) (17)
Runtime Verification Past Experiences and Future Projections (2019) (17)
K: a Rewrite-based Framework for Modular Language Design, Semantics, Analysis and Implementation -Version 1- (2005) (16)
Equality of streams is a Π02-complete problem (2006) (16)
Certifying Optimality of State Estimation Programs (2003) (16)
Equality of streams is a Π0 over 2-complete problem (2006) (16)
Specification and Error Pattern Based Program Monitoring (2001) (15)
Matching Logic - Extended Report (2009) (15)
A Rewriting Logic Semantics Approach to Modular Program Analysis (2010) (15)
K Framework Distilled (2012) (15)
An instrumentation technique for online analysis of multithreaded programs (2004) (15)
On Safety Properties and Their Monitoring (2012) (15)
A protocol for distributed cooperative work (1999) (14)
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance (2007) (14)
Scalable Parametric Runtime Monitoring (2012) (14)
A Language-Independent Approach to Smart Contract Verification (2018) (14)
From Rewriting Logic, to Programming Language Semantics, to Program Verification (2015) (14)
An Effective Algorithm for the Membership Problem for Extended Regular Expressions (2007) (13)
Matching logic explained (2020) (13)
CS322 Fall 2003: Programming Language Design -Lecture Notes- (2003) (13)
Runtime Verification - 17 Years Later (2018) (13)
Complete Categorical Equational Deduction (2001) (12)
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 (2017) (12)
Finite-trace linear temporal logic: coinductive completeness (2016) (12)
Behavioral abstraction is hiding information (2004) (12)
A general approach to define binders using matching logic (2020) (12)
Executing Formal Semantics with the K Tool (2012) (12)
Matching Logic — Extended Abstract ∗ (2015) (12)
Towards a Module System for K (2009) (11)
A Truly Concurrent Semantics for the K Framework Based on Graph Transformations (2012) (11)
A Total Approach to Partial Algebraic Specification (2002) (11)
Efficient parametric runtime verification with deterministic string rewriting (2013) (11)
Monitoring Oriented Programming - A Project Overview (2009) (11)
Evolution-Aware Monitoring-Oriented Programming (2015) (10)
A semantic approach to interpolation (2006) (10)
Predicting Concurrency Errors at Runtime using Sliced Causality (2005) (10)
Circular Coinduction with Special Contexts (2009) (10)
Axiomatizability in Inclusive Equational Logic (1996) (10)
Behavioral and Coinductive Rewriting (2000) (10)
Electronic Notes in Theoretical Computer Science: Preface (2001) (10)
IMUnit: improved multithreaded unit testing (2010) (10)
Matching Logic - Extended Abstract (Invited Talk) (2015) (10)
A K Definition of Scheme (2007) (10)
Towards a Verified Model of the Algorand Consensus Protocol in Coq (2019) (9)
Initial Algebra Semantics in Matching Logic (2020) (9)
KOOL: A K-based Object-Oriented Language (2006) (9)
Towards a unified proof framework for automated fixpoint reasoning using matching logic (2020) (9)
A Rewriting-Based Approach to Trace Analysis (2002) (9)
An Executable Semantic Definition of the Beta Language using Rewriting Logic (2005) (9)
A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages (2006) (9)
Parametric and Termination-Sensitive Control Dependence (2006) (9)
Automating Coinduction with Case Analysis (2010) (9)
Towards certifying domain-specific properties of synthesized code (2002) (8)
Weak Inclusion Systems: Part Two (2000) (8)
Equality of streams is a Pi0 over 2-complete problem (2006) (8)
Language-parametric compiler validation with application to LLVM (2021) (8)
Rewriting Logic Systems (2007) (8)
Abstract Semantics for Module Composition (2000) (8)
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation (2021) (8)
Towards Behavioral Maude: Behavioral Membership Equational Logic (2002) (8)
Term-generic logic (2009) (8)
Applicative matching logic (2019) (7)
K : a Rewrite Logic Framework for Language Design , Semantics , Analysis and Implementation CS 422 Lecture Notes for Homework 6 (2005) (7)
Matching \mu-Logic (2019) (7)
Techniques for Evolution-Aware Runtime Verification (2019) (7)
Towards semantics-based WCET analysis (2011) (7)
From Rewriting Logic Executable Semantics to Matching Logic Program Verification (2009) (7)
A Language-Independent Program Verification Framework (2018) (7)
A rewriting approach to the design and evolution of object-oriented languages (2007) (7)
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (2010) (7)
RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring (2016) (6)
Verification of Casper in the Coq Proof Assistant (2018) (6)
Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk) (2018) (6)
Matching Logic Rewriting: Unifying Operational and Axiomatic Semantics in a Practical and Generic Framework (2011) (6)
Mining Parametric State-Based Specifications from Executions (2008) (6)
Regular Strategies as Proof Tactics for CIRC (2008) (6)
Parametric and Termination-Sensitive Control Dependence - Extended Abstract (2006) (5)
Kan Extensions of Institutions (1999) (5)
Certifying and Synthesizing Membership Equational Proofs (2003) (5)
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, ... Papers (Lecture Notes in Computer Science) (2007) (5)
Reachability Logic (2012) (5)
Runtime Verification at Work: A Tutorial (2016) (5)
Pluggable Policies for C (2008) (5)
Matching Logic: A Logic for Structural Reasoning (2014) (5)
Interpreting Abstract Interpretations in Membership Equational Logic (2001) (5)
Introduction to the special issue on runtime verification (2012) (5)
Inductive Behavioral Proofs by Unhiding (2003) (5)
Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies (2019) (5)
A Theoretical Foundation for Programming Languages Aggregation (2014) (5)
Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software (2004) (4)
Dealing With C's Original Sin (2019) (4)
Monitoring IVHM Systems using a Monitor-Oriented Programming Framework (2008) (4)
BusMOP : a Runtime Monitoring Framework for PCI Peripherals (2008) (4)
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems (2006) (4)
Specifying Languages and Verifying Programs with K (2013) (4)
Maximal Causal Models for Sequentially Consistent Multithreaded Systems (2010) (4)
Finite-trace linear temporal logic: coinductive completeness (2018) (4)
From Hoare Logic to Matching Logic (2012) (4)
The AutoBayes Program Synthesis System - System Description - (2001) (4)
Computationally Equivalent Elimination of Conditions-extended abstract-Traian (2009) (4)
Behavioral Extensions of Institutions (2005) (3)
Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk) (2020) (3)
Runtime Verification (2015) (3)
Matching mu-Logic: Foundation of K Framework (Invited Paper) (2019) (3)
Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01) (2004) (3)
Making Maude Definitions More Interactive (2012) (3)
How effective are existing Java API specifications for finding bugs during runtime verification? (2019) (3)
On the complexity of stream equality (2014) (3)
$\mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis (2019) (3)
Complete Categorical Deduction for Satisfaction as Injectivity (2006) (3)
Systematic Concurrency Testing with Maximal Causality (2015) (3)
A Formal Rewriting Logic Semantic Definition of Scheme (2007) (2)
KRAM--Extended Report (2010) (2)
Formal Techniques for Distributed Systems (2012) (2)
07011 Executive Summary -- Runtime Verification (2007) (2)
MOP: Reliable Software Development using Abstract Aspects (2006) (2)
Proofs on Safety for Untrusted Code (1999) (2)
On implementing behavioral rewriting (2002) (2)
P 4 K : A Formal Semantics of P 4 and Applications (2018) (2)
A Rewriting Based Approach to OO Language Prototyping and Design (2006) (2)
Extensional Theories and Rewriting (2004) (2)
Reachability Logic in K (2013) (2)
Formally Defining and Verifying Master/Slave Speculative Parallelization (2005) (2)
Computational Logical Frameworks and Generic Program Analysis Technologies (2005) (2)
P Systems with Control Nuclei (2009) (2)
Towards a Unified Theory of Operational and Axiomatic Semantics — Extended Abstract (2012) (1)
Program Instrumentation and Trace Analysis (2002) (1)
Certifying Kalman Filters 1 (1)
Formalizing Correct-by-Construction Casper in Coq (2020) (1)
A Formal Semantics of C with Applications: Technical Report (2011) (1)
Connecting Constrained Constructor Patterns and Matching Logic (2020) (1)
A Rewriting Logic Approach to Type Inference: Technical Report (2008) (1)
Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity (2007) (1)
SETSS’19 Lecture Notes on K (2019) (1)
An overview of the MOP runtime verification framework (2011) (1)
On Compiling Rewriting Logic Language Definitions into Competitive Interpreters (2010) (1)
Towards Behavioral Compiler Correctness Proofs using Hidden Logic (2002) (1)
Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification (2006) (1)
Automatic and Precise Dimensional Analysis (2005) (1)
Efficientmonitoring of safety properties (1)
Proceedings of the 12th international conference on Algebraic Methodology and Software Technology (2008) (1)
IMUnit: Improved Multithreaded Unit Testing Position Statement (2010) (1)
Formal semantics of hybrid automata (2020) (1)
Preface (2002) (0)
Preface (2008) (0)
Towards a \mathbb K K ool Future (2016) (0)
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431) (2021) (0)
CS 422 – Formal Methods in System Design : A Monitor Synthesis Algorithm for Past LTL (2007) (0)
Term-Generic First-Order Logic (2006) (0)
Preliminary Version The Rewriting Logic Semantics Project (2005) (0)
Editorial (2007) (0)
Programming Language Aggregation with Applications in Equivalence Checking (2014) (0)
Preface (2001) (0)
Message from the ICBC2020 General and Technical Program Chairs (2020) (0)
Behavioral Rewrite Systems and Behavioral Productivity (2014) (0)
Specifying Languages and Verifying Programs with K http : / / kframework . org (0)
Predictive Runtime Analysis of Multithreaded Programs (2005) (0)
Capturing constrained constructor patterns in matching logic (2022) (0)
Introduction to the special issue on runtime verification (2012) (0)
Circ Prover Tutorial (2007) (0)
Program verification using reachability logic (2016) (0)
Technical Report: Initial Algebra Semantics in Matching Logic (2020) (0)
Making Formal Verification Trustworthy via Proof Generation (2021) (0)
construction of small Büchi automata from LTL formulae (2007) (0)
Cut-Bisimulation and Program Equivalence (2020) (0)
Session details: Program verification I (2011) (0)
07011 Abstracts Collection -- Runtime Verification (2007) (0)
A language-independent proof system for full program equivalence (2016) (0)
Technical Report: Hyperproperties in Matching Logic (2021) (0)
Specification of the Giskard Consensus Protocol (2020) (0)
Matching logic: the foundation of the K framework (invited talk) (2020) (0)
Low-Level Program Verification using Matching Logic Reachability (2013) (0)
Why and How Does K Work? The Logical Infrastructure Behind It (2018) (0)
Open Problems and Challenges 2016 (2016) (0)
Preface (2004) (0)
The K Vision for the Future of Programming Language Design and Analysis (2021) (0)
Inductive Behavioral Proofs by Unhiding Grigore Roşu (2006) (0)
Abstract Semantics for K Module Composition (2014) (0)
Circ Prover (draft) Circ Tutorial 1.1 Introduction (2007) (0)
Checking Dimensional Safety Policies Dynamically and Statically (0)
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings (2008) (0)
GFOL: A Term-Generic Logic for Defining Lambda-Calculi (2006) (0)
Formal Methods in System: Foreword (2005) (0)
Higher-Order and Symbolic: Editorial (2007) (0)
Maximality of Atomic Causality (2008) (0)
Guarded Matching Logic is Decidable (2021) (0)
2 IMP : Operational Semantics and Hoare Logic (2012) (0)
GFOL : A Term-Generic Logic for De ning λ-Calculi ∗ (2006) (0)
Runtime Verification, 02.01. - 06.01.2007 (2008) (0)
Foreword (2005) (0)
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier (2023) (0)
Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems (2012) (0)
Matching Logic — Extended (2015) (0)
Towards Effectively Eliminating Conditional Rewrite Rules (2004) (0)

This paper list is powered by the following services:

Other Resources About Grigore Roșu

What Schools Are Affiliated With Grigore Roșu?

Grigore Roșu is affiliated with the following schools:

Image Attributions

Image Source for Grigore Roșu