Orna Grumberg
#52,610
Most Influential Person Now
Israeli computer scientist
Orna Grumberg's AcademicInfluence.com Rankings
Orna Grumbergcomputer-science Degrees
Computer Science
#4232
World Rank
#4453
Historical Rank
Software Engineering
#286
World Rank
#292
Historical Rank
Database
#7274
World Rank
#7529
Historical Rank
Download Badge
Computer Science
Why Is Orna Grumberg Influential?
(Suggest an Edit or Addition)According to Wikipedia, Orna Grumberg is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion. Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs. With Edmund M. Clarke and Doron A. Peled, she is the author of the book Model Checking .
Orna Grumberg'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
- Model checking and abstraction (1994) (1246)
- Counterexample-guided abstraction refinement for symbolic model checking (2003) (1006)
- Model checking and modular verification (1991) (723)
- Model checking and abstraction (1992) (538)
- Characterizing Finite Kripke Structures in Propositional Temporal Logic (1988) (454)
- Abstract interpretation of reactive systems (1997) (441)
- Another Look at LTL Model Checking (1994) (337)
- Verification Tools for Finite-State Concurrent Systems (1993) (325)
- Verification of the Futurebus+ cache coherence protocol (1993) (315)
- Efficient generation of counterexamples and witnesses in symbolic model checking (1995) (255)
- Progress on the State Explosion Problem in Model Checking (2001) (238)
- State space reduction using partial order techniques (1999) (205)
- 25 Years of Model Checking - History, Achievements, Perspectives (2008) (193)
- Reasoning about networks with many identical finite-state processes (1986) (173)
- Avoiding the state explosion problem in temporal logic model checking (1987) (159)
- A game-based framework for CTL counterexamples and 3-valued abstraction-refinement (2003) (149)
- Efficient on-the-fly model checking for CTL (1995) (141)
- Reasoning about Networks with Many Identical Finite State Processes (1989) (141)
- Veryfying Parameterized Networks using Abstraction and Regular Languages (1995) (130)
- Bounded Model Checking of Concurrent Programs (2005) (115)
- "Have I written enough Properties?" - A Method of Comparison between Specification and Implementation (1999) (103)
- Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits (2000) (95)
- Research on Automatic Verification of Finite-State Concurrent Systems (1987) (91)
- Simulation-based minimization (2003) (90)
- Generation of Reduced Models for Checking Fragments of CTL (1993) (87)
- Abstract Interpretation of Reactive Systems: Abstractions Preserving 'I1CTL *. 3CTL * and CTL * (1994) (85)
- Enhanced Vacuity Detection in Linear Temporal Logic (2003) (85)
- Variable Automata over Infinite Alphabets (2010) (82)
- Verifying parameterized networks (1997) (82)
- Network Grammars, Communication Behaviors and Automatic Verification (1989) (79)
- Monotonic Abstraction-Refinement for CTL (2004) (78)
- A Proof Rule for Fair Termination of Guarded Commands (1985) (75)
- Proof-guided underapproximation-widening for multi-process systems (2005) (72)
- Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis (2004) (64)
- Modular Model Checking of Software (1998) (62)
- Abstract interpretation of reactive systems : abstractions preserving .. (1994) (61)
- Regular Vacuity (2005) (58)
- Interpolation-sequence based model checking (2009) (57)
- A work-efficient distributed algorithm for reachability analysis (2003) (56)
- Characterizing Kripke Structures in Temporal Logic (1987) (54)
- 3-Valued Abstraction: More Precision at Less Cost (2006) (54)
- Verification of Temporal Properties (1993) (53)
- Scalable distributed on-the-fly symbolic model checking (2000) (51)
- Static Analysis for State-Space Reductions Preserving Temporal Logics (2004) (48)
- Fairness and hyperfairness in multi-party interactions (1989) (47)
- Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation (2005) (47)
- Buy One, Get One Free!!! (1994) (45)
- Don't Know in the µ-Calculus (2005) (42)
- Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations (2008) (42)
- Lazy abstraction and SAT-based reachability in hardware model checking (2012) (41)
- First-Order-CTL Model Checking (1998) (41)
- Distributed Symbolic Model Checking for μ-Calculus (2005) (41)
- When not losing is better than winning: Abstraction and refinement for the full mu-calculus (2007) (41)
- Learning to Order BDD Variables in Verification (2011) (40)
- Distributed Symbolic Model Checking for µ-Calculus (2001) (37)
- A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems (1989) (36)
- Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking (2002) (33)
- State/Event Software Verification for Branching-Time Specifications (2005) (31)
- Abstract interpretation of reactive systems : preservation of CTL* (1995) (31)
- Multi-valued model checking games (2005) (29)
- Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System (1996) (29)
- What if model checking must be truly symbolic (1995) (27)
- Proving Termination of Prolog Programs (1985) (27)
- A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits (2002) (27)
- Branching Time Temporal Logic and Amorphous Tree Automata (1993) (26)
- The Modular Framework of Computer-Aided Verification (1990) (25)
- A Framework for Translating Models and Specifications (2002) (23)
- Fair termination of communicating processes (1984) (21)
- Simulation Based Minimization (2000) (21)
- Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems (2013) (20)
- Formal Logical Methods for System Security and Correctness (2008) (20)
- Software Safety and Security - Tools for Analysis and Verification (2012) (20)
- Compositional Verification and 3-Valued Abstractions Join Forces (2007) (20)
- Abstraction and Refinement in Model Checking (2005) (19)
- Intertwined Forward-Backward Reachability Analysis Using Interpolants (2013) (18)
- Modular Demand-Driven Analysis of Semantic Difference for Program Versions (2017) (17)
- Automated circular assume-guarantee reasoning (2015) (17)
- Efficient Automatic STE Refinement Using Responsibility (2008) (17)
- Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation (2006) (17)
- Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates (2003) (17)
- High level verification of control intensive systems using predicate abstraction (2003) (17)
- 3-Valued Circuit SAT for STE with Automatic Refinement (2007) (16)
- Languages: From Formal to Natural (2009) (16)
- Model Checking Systems and Specifications with Parameterized Atomic Propositions (2012) (16)
- Sound and Complete Mutation-Based Program Repair (2016) (14)
- Modular Minimization of Deterministic Finite State Machines (2001) (13)
- Branching-Time Temporal Logic and Tree Automata (1996) (13)
- Abstraction and Abstraction Refinement (2018) (13)
- Applicability of fair simulation (2002) (12)
- How Linear Can Branching-Time Be? (1994) (12)
- A New Approach to Bounded Model Checking for Branching Time Logics (2007) (12)
- Modular abstractions for verifying real-time distributed systems (1992) (12)
- Program Composition and Modular Verification (1991) (11)
- Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement (2016) (11)
- Applying Software Model Checking Techniques for Behavioral UML Models (2012) (10)
- A framework for compositional verification of multi-valued systems via abstraction-refinement (2009) (10)
- 2-Valued and 3-Valued Abstraction-Refinement in Model Checking (2010) (10)
- Counterexample-Guide dAbstractio nRefinemen t ? (2000) (10)
- An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications (2013) (10)
- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond (2005) (9)
- A Compete Proof Rule for Strong Equifair Termination (1983) (9)
- Verifying Behavioral UML Systems via CEGAR (2014) (9)
- Translations between Textual Transition Systems and Petri Nets (2002) (8)
- Abstractions and Reductions in Model Checking (2002) (8)
- Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (2009) (8)
- 3-Valued Abstraction for (Bounded) Model Checking (2009) (8)
- Hybrid BDD and All-SAT Method for Model Checking (2009) (7)
- An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data (2017) (7)
- Parallel Model Checking for {LTL}, {CTL{$^{\ast}$}} and {$L_μ^2$} (2003) (6)
- Model checking, 2nd Edition (2018) (6)
- VeriTech: a framework for translating among model description notations (2007) (6)
- A Game-Theoretic Approach to Simulation of Data-Parameterized Systems (2014) (6)
- Assume, Guarantee or Repair (2020) (6)
- Formal Black-Box Analysis of Routing Protocol Implementations (2017) (5)
- Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings (1997) (5)
- An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains (2018) (5)
- Infinite Trees, Markings and Well-Foundedness (1988) (5)
- The Model Checking Problem for Concurrent Systems with Many Similar Processes (1987) (5)
- Learning-Based Compositional Model Checking of Behavioral UML Systems (2015) (5)
- Abstract interpretation of reactive systems : abstractions preserving $\forall$CTL*, $\exists$CTL* and CTL* (1994) (4)
- Computer Aided Verification (1992) (4)
- \emph{Don't know} in the $μ$-calculus (2005) (4)
- Checking for fair simulation in models with B uchi fairness constraints (2000) (4)
- Must Fault Localization for Program Repair (2020) (4)
- A Complete Rule for Equifair Termination (1986) (4)
- Test sequence generation and model checking using dynamic transition relations (2004) (3)
- Compositional Model Checking for Multi-properties (2021) (3)
- Analyzing Internet Routing Security Using Model Checking (2015) (3)
- Program Composition via Unification (1992) (3)
- Proceedings of the 9th International Conference on Computer Aided Verification (1997) (3)
- Tools and Algorithms for the Construction and Analysis of Systems (2007) (3)
- Characterizing Kripke structures in temporal logic. Interim report (1987) (2)
- Automatic verification of sequential circuit designs. Discussion (1992) (2)
- Assume, guarantee or repair: a regular framework for non regular properties (2022) (2)
- Software Tools for Technology Transfer Manuscript-nr. State Space Reduction Using Partial Order Techniques (1998) (2)
- A Framework for Translating Models and Speci (2015) (2)
- Different directions in parallel and distributed model checking (invited talk) (2002) (2)
- Model checking, 1st Edition (2001) (2)
- Which Branching-Time Properties are Effectively Linear? (2001) (2)
- Infinite Trees, Markings and Well Foundedness (1986) (2)
- Sematics-Driven Decompositions for the Verification of Distributed Programs (1990) (1)
- 2010 CAV award announcement (2012) (1)
- Distributed BDD-Based Model Checking: Invited Presentation at the 10th International Workshop on Parallel and Distributed Methods in verifiCation (2011) (1)
- Preface: volume 89 (2003) (1)
- Applying Machine Learning for Identifying Attacks at Run-Time (2019) (1)
- Hybrid BDD and All-SAT Method for Model Chcking and Other Applications (2007) (1)
- Syntax-directed model checking of sequential programs (2002) (1)
- Introduction: Special Issue on CAV '97 (2001) (1)
- Introductory paper (2004) (0)
- Software Systems Safety (2014) (0)
- An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains (2018) (0)
- Modular Verification of Concurrent Programs via Sequential Model Checking (2018) (0)
- A Heuristi for the Automati Generation of Ranking Fun tions (2000) (0)
- 2010 CAV award announcement (2011) (0)
- Introductory paper: Parallel and Distributed Model Checking (2005) (0)
- Review of : Model Checking (2004) (0)
- PDMC 2002 - Parallel and Distributed Model Checking. Proceedings. (2002) (0)
- Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201) (2016) (0)
- ABSTRACTIONS ANDREDUCTIONS INMODEL CHECKING (2015) (0)
- Poster: Program Repair that Learns from Mistakes (2018) (0)
- Lemma 4 given 0 = S 0 0 S 0 #cell #nodes #time(sec) Trans. #reachable States #cell #nodes #time(sec) Trans. #reachable States (1994) (0)
- Learn Your Program (2019) (0)
- Automated circular assume-guarantee reasoning (2017) (0)
- Assume , Guarantee or Repair Student submission (2019) (0)
- Automated Program Repair Using Formal Verification Techniques (2022) (0)
- SAT-based Model Checking: Interpolation, IC3, and Beyond (2013) (0)
- The 2008 CAV Award citation (2009) (0)
- Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification (2009) (0)
- Modular Demand-Driven Analysis of Semantic Difference for Program Versions (cid:63) (2017) (0)
- (a) Size of Reachable States Set 6.3 Parallel Reachability { Timing and Communication 7 Comments on Related Work 6.1 Slicing Results 6.2 Parallel Reachability { Space Reduction 5 Eecient Transfer of Bdds (0)
- Symbolic Trajectory Evaluation ( STE ) : Automatic Refinement and Vacuity Detection (2007) (0)
- Figure 3: Microprocessor Speciication Bolic Model Checking for Sequential Circuit Veriication. Ieee Transactions on 5 Conclusions and Future Work 4.2 Abstracting the Microprocessor Design 4.1 Proving the Lemmas Using Model-checking (0)
- 2009 CAV award announcement (2010) (0)
- GORjVIEL-Grammar ORiented ModEL checker (2015) (0)
- Preface (2006) (0)
- Model Checking: From BDDs to Interpolation (2012) (0)
- Fail Termination of Communicating Processe. (1984) (0)
- PISE: Protocol Inference using Symbolic Execution and Automata Learning (2023) (0)
- Program repair that learns from mistakes (2018) (0)
- Topology-Agnostic Runtime Detection of OSPF Routing Attacks (2019) (0)
- Modular Minimization of Finite State Machines (2015) (0)
This paper list is powered by the following services:
Other Resources About Orna Grumberg
What Schools Are Affiliated With Orna Grumberg?
Orna Grumberg is affiliated with the following schools:
