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 42 Citations 19,863 129 World Ranking 4102 National Ranking 72

Research.com Recognitions

Awards & Achievements

2015 - ACM Fellow For contributions to research in automated formal verification of hardware and software systems.

2013 - Member of Academia Europaea

Overview

What is she best known for?

The fields of study she is best known for:

  • Programming language
  • Algorithm
  • Algebra

Her main research concerns Model checking, Temporal logic, Theoretical computer science, Programming language and Abstraction model checking. Orna Grumberg is interested in Symbolic trajectory evaluation, which is a branch of Model checking. Orna Grumberg has included themes like Linear temporal logic, Algorithm and Binary decision diagram in her Temporal logic study.

Her work on Abstract interpretation as part of general Theoretical computer science study is frequently linked to Block, therefore connecting diverse disciplines of science. Her work on Protocol as part of general Programming language research is frequently linked to Futurebus, Hardware description language and Cache coherence, bridging the gap between disciplines. Her study looks at the relationship between Abstraction model checking and fields such as State, as well as how they intersect with chemical problems.

Her most cited work include:

  • Model checking (7090 citations)
  • Model checking and abstraction (1129 citations)
  • Counterexample-guided abstraction refinement for symbolic model checking (792 citations)

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

Orna Grumberg mostly deals with Model checking, Theoretical computer science, Programming language, Algorithm and Temporal logic. Her study in Abstraction model checking and Symbolic trajectory evaluation falls within the category of Model checking. The Theoretical computer science study combines topics in areas such as Set, Concurrency and Artificial intelligence.

Her study in the fields of Formal verification, Specification language, Modular design and Software verification under the domain of Programming language overlaps with other disciplines such as Relation. Her Algorithm research includes themes of Bisimulation, Semantics and Interpolation. Her Temporal logic research incorporates elements of Linear temporal logic, Construct and State.

She most often published in these fields:

  • Model checking (54.21%)
  • Theoretical computer science (38.95%)
  • Programming language (27.89%)

What were the highlights of her more recent work (between 2012-2021)?

  • Model checking (54.21%)
  • Theoretical computer science (38.95%)
  • Programming language (27.89%)

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

Orna Grumberg mainly investigates Model checking, Theoretical computer science, Programming language, Algorithm and Correctness. As a part of the same scientific family, Orna Grumberg mostly works in the field of Model checking, focusing on Discrete mathematics and, on occasion, Variable. When carried out as part of a general Theoretical computer science research project, her work on Regular language is frequently linked to work in Automation, therefore connecting diverse disciplines of study.

The Unified Modeling Language and Thread research Orna Grumberg does as part of her general Programming language study is frequently linked to other disciplines of science, such as Fully automatic and Sequential model, therefore creating a link between diverse domains of science. As a member of one scientific family, she mostly works in the field of Algorithm, focusing on Interpolation and, on occasion, Propositional formula, Benchmark and Sequence. Her work deals with themes such as Machine learning, Field, Process and TRACE, which intersect with Correctness.

Between 2012 and 2021, her most popular works were:

  • Intertwined forward-backward reachability analysis using interpolants (16 citations)
  • Finding security vulnerabilities in a network protocol using parameterized systems (10 citations)
  • Abstraction and abstraction refinement (9 citations)

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

  • Programming language
  • Algorithm
  • Algebra

The scientist’s investigation covers issues in Theoretical computer science, Programming language, Abstraction, Algorithm and Model checking. Orna Grumberg has researched Theoretical computer science in several fields, including Simple and Modular design. Her work in the fields of Programming language, such as Unified Modeling Language, Finite-state machine and Abstract state machines, overlaps with other areas such as Abstract system and Property.

Her Abstraction research is multidisciplinary, incorporating perspectives in Routing, Computer network, Communications protocol, Routing protocol and Exploit. Her study in the field of Reachability is also linked to topics like Safety property. Her Predicate abstraction study in the realm of Model checking interacts with subjects such as Abstraction.

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

Model checking

E. Clarke;O. Grumberg;D. Long.
Proceedings of the NATO Advanced Study Institute on Deductive program design (1996)

10527 Citations

Model checking and abstraction

Edmund M. Clarke;Orna Grumberg;David E. Long.
ACM Transactions on Programming Languages and Systems (1994)

2143 Citations

Counterexample-guided abstraction refinement for symbolic model checking

Edmund Clarke;Orna Grumberg;Somesh Jha;Yuan Lu.
Journal of the ACM (2003)

1050 Citations

Model checking and modular verification

Orna Grumberg;David E. Long.
ACM Transactions on Programming Languages and Systems (1994)

707 Citations

Abstract interpretation of reactive systems

Dennis Dams;Rob Gerth;Orna Grumberg.
ACM Transactions on Programming Languages and Systems (1997)

567 Citations

Characterizing finite Kripke structures in propositional temporal logic

M. C. Browne;E. M. Clarke;O. Grümberg.
Theoretical Computer Science (1988)

547 Citations

Verification Tools for Finite-State Concurrent Systems

Edmund M. Clarke;Orna Grumberg;David E. Long.
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium (1993)

451 Citations

Reasoning about networks with many identical finite-state processes

E. M. Clarke;O. Grumberg;M. C. Browne.
principles of distributed computing (1986)

339 Citations

Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking

E. M. Clarke;O. Grumberg;K. L. McMillan;X. Zhao.
design automation conference (1995)

332 Citations

Progress on the State Explosion Problem in Model Checking

Edmund M. Clarke;Orna Grumberg;Somesh Jha;Yuan Lu.
Lecture Notes in Computer Science (2001)

291 Citations

Best Scientists Citing Orna Grumberg

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 139

Moshe Y. Vardi

Moshe Y. Vardi

Rice University

Publications: 125

Alessio Lomuscio

Alessio Lomuscio

Imperial College London

Publications: 90

Orna Kupferman

Orna Kupferman

Hebrew University of Jerusalem

Publications: 87

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 74

Calin Belta

Calin Belta

Boston University

Publications: 74

Michael Fisher

Michael Fisher

University of Manchester

Publications: 64

Marsha Chechik

Marsha Chechik

University of Toronto

Publications: 61

Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler

Publications: 59

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 58

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 57

Dirk Beyer

Dirk Beyer

Ludwig-Maximilians-Universität München

Publications: 57

Amir Pnueli

Amir Pnueli

Weizmann Institute of Science

Publications: 56

Christel Baier

Christel Baier

TU Dresden

Publications: 51

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 50

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 48

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.