D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 59 Citations 10,867 233 World Ranking 1691 National Ranking 929

Research.com Recognitions

Awards & Achievements

2021 - IEEE Fellow For contributions to runtime verification and programming language semantics

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algebra

His scientific interests lie mostly in Programming language, Java, Runtime verification, Temporal logic and Linear temporal logic. His Programming language study typically links adjacent topics like Semantics. His Semantics research is multidisciplinary, incorporating perspectives in Semantics of logic, Semantics and Undefined behavior.

His biological study spans a wide range of topics, including Aspect-oriented programming, Software, Overhead and Embedded system. His research in Temporal logic tackles topics such as Process which are related to areas like Distributed computing, Projection, Domain and Symbolic execution. His Linear temporal logic research includes elements of Finite-state machine, Dynamic programming and Linear logic.

His most cited work include:

  • Mop: an efficient and generic runtime verification framework (328 citations)
  • Synthesizing Monitors for Safety Properties (295 citations)
  • Monitoring Java Programs with Java PathExplorer (234 citations)

What are the main themes of his work throughout his whole career to date?

His primary scientific interests are in Programming language, Theoretical computer science, Runtime verification, Rewriting and Operational semantics. In his research on the topic of Programming language, Semantics of logic is strongly related with Semantics. His Theoretical computer science study integrates concerns from other disciplines, such as Soundness and Concurrency.

Grigore Rosu combines subjects such as Embedded system, Software and Software engineering, Formal specification with his study of Runtime verification. His studies in Formal specification integrate themes in fields like Model checking and Formal methods. His Rewriting research includes themes of Term, Executable, Confluence and Coinduction.

He most often published in these fields:

  • Programming language (55.73%)
  • Theoretical computer science (28.34%)
  • Runtime verification (17.20%)

What were the highlights of his more recent work (between 2015-2021)?

  • Programming language (55.73%)
  • Formal semantics (9.24%)
  • Theoretical computer science (28.34%)

In recent papers he was focusing on the following fields of study:

His main research concerns Programming language, Formal semantics, Theoretical computer science, Runtime verification and Matching. His Programming language research focuses on Compiler, Operational semantics, Formal verification, Semantics and Correctness. His work carried out in the field of Formal semantics brings together such families of science as Virtual machine, Formal methods, Executable and Parsing.

His Theoretical computer science research is multidisciplinary, incorporating elements of Semantics of logic and Pattern matching. His study in Runtime verification is interdisciplinary in nature, drawing from both Linear temporal logic, Java, Software engineering, Formal specification and Synchronization. Grigore Rosu works mostly in the field of Java, limiting it down to topics relating to Software development and, in certain cases, Set.

Between 2015 and 2021, his most popular works were:

  • KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine (147 citations)
  • KEVM: A Complete Semantics of the Ethereum Virtual Machine (89 citations)
  • Semantics-based program verifiers for all languages (54 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algebra

Grigore Rosu spends much of his time researching Programming language, Formal semantics, Operational semantics, Theoretical computer science and Compiler. Programming language is closely attributed to Semantics in his study. His Formal semantics study integrates concerns from other disciplines, such as Virtual machine, Bytecode, Rewriting, Executable and Formal verification.

His research integrates issues of Program analysis, Correctness and Structure in his study of Operational semantics. His work focuses on many connections between Theoretical computer science and other disciplines, such as Pattern matching, that overlap with his field of interest in Linear temporal logic, Computation tree logic and Dynamic logic. As a part of the same scientific family, he mostly works in the field of Formal methods, focusing on Formal specification and, on occasion, Java.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Mop: an efficient and generic runtime verification framework

Feng Chen;Grigore Roşu.
conference on object-oriented programming systems, languages, and applications (2007)

485 Citations

Synthesizing Monitors for Safety Properties

Klaus Havelund;Grigore Rosu.
tools and algorithms for construction and analysis of systems (2002)

426 Citations

Monitoring Java Programs with Java PathExplorer

Klaus Havelund;Grigore Rosu.
runtime verification (2001)

385 Citations

An executable formal semantics of C with applications

Chucky Ellison;Grigore Rosu.
symposium on principles of programming languages (2012)

279 Citations

An Overview of the Runtime Verification Tool Java PathExplorer

Klaus Havelund;Grigore Roşu.
formal methods (2004)

269 Citations

An overview of the MOP runtime verification framework

Patrick O’Neil Meredith;Dongyun Jin;Dennis Griffith;Feng Chen.
runtime verification (2012)

267 Citations

Institution Morphisms

Joseph Goguen;Grigore Roşu.
(2013)

261 Citations

Monitoring programs using rewriting

K. Havelund;G. Rosu.
automated software engineering (2001)

260 Citations

Java-MOP: a monitoring oriented programming environment for java

Feng Chen;Grigore Roşu.
tools and algorithms for construction and analysis of systems (2005)

245 Citations

Efficient monitoring of safety properties

Klaus Havelund;Grigore Roşu.
tools and algorithms for construction and analysis of systems (2004)

221 Citations

Best Scientists Citing Grigore Rosu

Klaus Havelund

Klaus Havelund

Jet Propulsion Lab

Publications: 59

José Meseguer

José Meseguer

University of Illinois at Urbana-Champaign

Publications: 55

Chao Wang

Chao Wang

Chinese Academy of Sciences

Publications: 29

Viktor K. Prasanna

Viktor K. Prasanna

University of Southern California

Publications: 26

David Basin

David Basin

ETH Zurich

Publications: 26

Martin Leucker

Martin Leucker

University of Lübeck

Publications: 24

Eric Bodden

Eric Bodden

University of Paderborn

Publications: 24

Mahesh Viswanathan

Mahesh Viswanathan

University of Illinois at Urbana-Champaign

Publications: 23

Jan Rutten

Jan Rutten

Radboud University Nijmegen

Publications: 21

Oleg Sokolsky

Oleg Sokolsky

University of Pennsylvania

Publications: 21

Insup Lee

Insup Lee

University of Pennsylvania

Publications: 20

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 18

Matthew B. Dwyer

Matthew B. Dwyer

University of Virginia

Publications: 18

Koushik Sen

Koushik Sen

University of California, Berkeley

Publications: 18

Andrzej Tarlecki

Andrzej Tarlecki

University of Warsaw

Publications: 17

Darko Marinov

Darko Marinov

University of Illinois at Urbana-Champaign

Publications: 17

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us
Something went wrong. Please try again later.