default search action
Orna Grumberg
ארנה גרימברג
Person information
- affiliation: Technion - Israel Institute of Technology, Haifa, Israel
- unicode name: ארנה גרימברג
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [i6]Mishel Carelli, Orna Grumberg:
CTL* Verification and Synthesis using Existential Horn Clauses. CoRR abs/2408.11502 (2024) - 2023
- [c101]Omer Rappoport
, Orna Grumberg
Structure-Guided Solution of Constrained Horn Clauses. ATVA 2023: 117-138 - [c100]Bat-Chen Rothenberg, Orna Grumberg, Yakir Vizel, Eytan Singher
Condition Synthesis Realizability via Constrained Horn Clauses. NFM 2023: 380-396 - 2022
- [j52]Sicun Gao, Orna Grumberg, Paolo Zuliani:
Edmund Melson Clarke, Jr. (1945-2020). Formal Methods Syst. Des. 60(3): 327-328 (2022) - [j51]Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald:
Assume, guarantee or repair: a regular framework for non regular properties. Int. J. Softw. Tools Technol. Transf. 24(5): 667-689 (2022) - [c99]Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald:
Automated Program Repair Using Formal Verification Techniques. Principles of Systems Design 2022: 511-534 - [i5]Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald:
Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version). CoRR abs/2207.10534 (2022) - 2021
- [c98]Ohad Goudsmid, Orna Grumberg, Sarai Sheinvald:
Compositional Model Checking for Multi-properties. VMCAI 2021: 55-80 - [i4]Dan Rasin, Orna Grumberg, Sharon Shoham:
Modular Verification of Concurrent Programs via Sequential Model Checking. CoRR abs/2106.00732 (2021) - 2020
- [c97]Bat-Chen Rothenberg, Orna Grumberg:
Must Fault Localization for Program Repair. CAV (2) 2020: 658-680 - [c96]Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald:
Assume, Guarantee or Repair. TACAS (1) 2020: 211-227
2010 – 2019
- 2019
- [j50]Hadar Frenkel
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains. J. Autom. Reason. 63(4): 1077-1101 (2019) - [c95]Nurit Devir, Orna Grumberg, Shaul Markovitch, Gabi Nakibly:
Topology-Agnostic Runtime Detection of OSPF Routing Attacks. CNS 2019: 277-285 - 2018
- [b2]Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron A. Peled, Helmut Veith:
Model checking, 2nd Edition. MIT Press 2018, ISBN 978-0-262-03883-6 - [j49]Karam Abd Elkader
Automated circular assume-guarantee reasoning. Formal Aspects Comput. 30(5): 571-595 (2018) - [c94]Dan Rasin, Orna Grumberg, Sharon Shoham:
Modular Verification of Concurrent Programs via Sequential Model Checking. ATVA 2018: 228-247 - [c93]Bat-Chen Rothenberg, Orna Grumberg:
Program repair that learns from mistakes. ICSE (Companion Volume) 2018: 218-219 - [p5]Dennis Dams, Orna Grumberg:
Abstraction and Abstraction Refinement. Handbook of Model Checking 2018: 385-419 - 2017
- [c92]Hadar Frenkel, Orna Grumberg, Sarai Sheinvald:
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data. NFM 2017: 1-18 - [c91]Anna Trostanetski, Orna Grumberg, Daniel Kroening
Modular Demand-Driven Analysis of Semantic Difference for Program Versions. SAS 2017: 405-427 - [i3]Adi Sosnovich, Orna Grumberg, Gabi Nakibly:
Formal Black-Box Analysis of Routing Protocol Implementations. CoRR abs/1709.08096 (2017) - 2016
- [j48]Yael Meller, Orna Grumberg, Sharon Shoham
A framework for compositional verification of multi-valued systems via abstraction-refinement. Inf. Comput. 247: 169-202 (2016) - [c90]Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement. CAV (1) 2016: 329-351 - [c89]Bat-Chen Rothenberg, Orna Grumberg:
Sound and Complete Mutation-Based Program Repair. FM 2016: 593-611 - [p4]Orna Grumberg, Yael Meller:
Learning-Based Compositional Model Checking of Behavioral UML Systems. Dependable Software Systems Engineering 2016: 117-136 - [e12]Javier Esparza, Orna Grumberg, Salomon Sickert:
Dependable Software Systems Engineering. NATO Science for Peace and Security Series - D: Information and Communication Security 45, IOS Press 2016, ISBN 978-1-61499-626-2 [contents] - [i2]Julian Dolby, Orna Grumberg, Peter Müller, Omer Tripp:
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201). Dagstuhl Reports 6(5): 56-71 (2016) - 2015
- [c88]Yael Meller, Orna Grumberg, Karen Yorav:
Learning-Based Compositional Model Checking of Behavioral UML Systems. FACS 2015: 275-293 - [c87]Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
Automated Circular Assume-Guarantee Reasoning. FM 2015: 23-39 - [c86]Adi Sosnovich, Orna Grumberg, Gabi Nakibly:
Analyzing Internet Routing Security Using Model Checking. LPAR 2015: 112-129 - 2014
- [c85]Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. ATVA 2014: 348-363 - [c84]Yael Meller, Orna Grumberg, Karen Yorav:
Verifying Behavioral UML Systems via CEGAR. IFM 2014: 139-154 - [p3]Orna Grumberg, Sharon Shoham
SAT-based Model Checking: Interpolation, IC3, and Beyond. Software Systems Safety 2014: 17-41 - [e11]Orna Grumberg, Helmut Seidl, Maximilian Irlbeck:
Software Systems Safety. NATO Science for Peace and Security Series, D: Information and Communication Security 36, IOS Press 2014, ISBN 978-1-61499-384-1 [contents] - 2013
- [c83]Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. ATVA 2013: 397-411 - [c82]Adi Sosnovich, Orna Grumberg, Gabi Nakibly:
Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems. CAV 2013: 724-739 - [c81]Yakir Vizel, Orna Grumberg, Sharon Shoham
Intertwined Forward-Backward Reachability Analysis Using Interpolants. TACAS 2013: 308-323 - 2012
- [j47]Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur:
2010 CAV award announcement. Formal Methods Syst. Des. 40(2): 117-120 (2012) - [j46]Sharon Shoham
Multi-valued model checking games. J. Comput. Syst. Sci. 78(2): 414-429 (2012) - [c80]Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
Model Checking Systems and Specifications with Parameterized Atomic Propositions. ATVA 2012: 122-136 - [c79]Orna Grumberg, Yael Meller, Karen Yorav:
Applying Software Model Checking Techniques for Behavioral UML Models. FM 2012: 277-292 - [c78]Yakir Vizel, Orna Grumberg, Sharon Shoham:
Lazy abstraction and SAT-based reachability in hardware model checking. FMCAD 2012: 173-181 - [p2]Orna Grumberg:
Model Checking: From BDDs to Interpolation. Software Safety and Security 2012: 64-84 - [e10]Tobias Nipkow, Orna Grumberg, Benedikt Hauptmann:
Software Safety and Security - Tools for Analysis and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security 33, IOS Press 2012, ISBN 978-1-61499-027-7 [contents] - 2011
- [i1]Orna Grumberg, Shlomi Livne, Shaul Markovitch:
Learning to Order BDD Variables in Verification. CoRR abs/1107.0020 (2011) - 2010
- [j45]Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi:
2009 CAV award announcement. Formal Methods Syst. Des. 36(3): 195-197 (2010) - [j44]Sharon Shoham
Compositional verification and 3-valued abstractions join forces. Inf. Comput. 208(2): 178-202 (2010) - [c77]Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
Variable Automata over Infinite Alphabets. LATA 2010: 561-572 - [p1]Orna Grumberg:
2-Valued and 3-Valued Abstraction-Refinement in Model Checking. Logics and Languages for Reliability and Security 2010: 105-128 - [e9]Javier Esparza, Bernd Spanfelner, Orna Grumberg:
Logics and Languages for Reliability and Security. NATO Science for Peace and Security Series - D: Information and Communication Security 25, IOS Press 2010, ISBN 978-1-60750-099-5 [contents]
2000 – 2009
- 2009
- [j43]Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi:
The 2008 CAV Award citation. Formal Methods Syst. Des. 35(1): 4-5 (2009) - [j42]Himanshu Jain, Edmund M. Clarke, Orna Grumberg:
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. Formal Methods Syst. Des. 35(1): 6-39 (2009) - [j41]Michael Huth, Orna Grumberg:
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. Int. J. Softw. Tools Technol. Transf. 11(2): 85-94 (2009) - [c76]Orna Grumberg:
3-Valued Abstraction for (Bounded) Model Checking. ATVA 2009: 21 - [c75]Yael Meller, Orna Grumberg, Sharon Shoham
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. ATVA 2009: 271-288 - [c74]Avi Yadgar, Orna Grumberg, Assaf Schuster:
Hybrid BDD and All-SAT Method for Model Checking. Languages: From Formal to Natural 2009: 228-244 - [c73]Yakir Vizel, Orna Grumberg:
Interpolation-sequence based model checking. FMCAD 2009: 1-8 - [e8]Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner:
Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5533, Springer 2009, ISBN 978-3-642-01747-6 [contents] - 2008
- [j40]Sharon Shoham
3-Valued abstraction: More precision at less cost. Inf. Comput. 206(11): 1313-1333 (2008) - [c72]Himanshu Jain, Edmund M. Clarke, Orna Grumberg:
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. CAV 2008: 254-267 - [c71]Hana Chockler
Efficient Automatic STE Refinement Using Responsibility. TACAS 2008: 233-248 - [e7]Orna Grumberg, Helmut Veith:
25 Years of Model Checking - History, Achievements, Perspectives. Lecture Notes in Computer Science 5000, Springer 2008, ISBN 978-3-540-69849-4 [contents] - 2007
- [j39]Orna Grumberg, Martin Lange, Martin Leucker
When not losing is better than winning: Abstraction and refinement for the full mu-calculus. Inf. Comput. 205(8): 1130-1148 (2007) - [j38]Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster:
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. Int. J. Found. Comput. Sci. 18(1): 45-62 (2007) - [j37]Orna Grumberg, Shmuel Katz:
VeriTech: a framework for translating among model description notations. Int. J. Softw. Tools Technol. Transf. 9(2): 119-132 (2007) - [j36]Sharon Shoham
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. ACM Trans. Comput. Log. 9(1): 1 (2007) - [c70]Rotem Oshman, Orna Grumberg:
A New Approach to Bounded Model Checking for Branching Time Logics. ATVA 2007: 410-424 - [c69]Orna Grumberg, Assaf Schuster, Avi Yadgar:
3-Valued Circuit SAT for STE with Automatic Refinement. ATVA 2007: 457-473 - [c68]Sharon Shoham
Compositional Verification and 3-Valued Abstractions Join Forces. SAS 2007: 69-86 - [e6]Orna Grumberg, Michael Huth:
Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings. Lecture Notes in Computer Science 4424, Springer 2007, ISBN 978-3-540-71208-4 [contents] - 2006
- [j35]Orna Grumberg, Tamir Heyman, Assaf Schuster:
A work-efficient distributed algorithm for reachability analysis. Formal Methods Syst. Des. 29(2): 157-175 (2006) - [c67]Rachel Tzoref, Orna Grumberg:
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. CAV 2006: 190-204 - [c66]Sharon Shoham
3-Valued Abstraction: More Precision at Less Cost. LICS 2006: 399-410 - 2005
- [j34]Orna Grumberg, Tamir Heyman, Assaf Schuster:
Distributed Symbolic Model Checking for µ-Calculus. Formal Methods Syst. Des. 26(2): 197-219 (2005) - [j33]Sharon Barner, Orna Grumberg:
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. Formal Methods Syst. Des. 27(1-2): 29-66 (2005) - [j32]Lubos Brim, Orna Grumberg:
Introductory paper. Int. J. Softw. Tools Technol. Transf. 7(1): 1-3 (2005) - [c65]Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster:
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. ATVA 2005: 11-25 - [c64]Sharon Shoham
Multi-valued Model Checking Games. ATVA 2005: 354-369 - [c63]Ishai Rabinovitz, Orna Grumberg:
Bounded Model Checking of Concurrent Programs. CAV 2005: 82-97 - [c62]Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster:
Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation. CHARME 2005: 129-145 - [c61]Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi:
Regular Vacuity. CHARME 2005: 191-206 - [c60]Orna Grumberg:
Abstraction and Refinement in Model Checking. FMCO 2005: 219-242 - [c59]Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith:
State/Event Software Verification for Branching-Time Specifications. IFM 2005: 53-69 - [c58]Orna Grumberg, Flavio Lerda, Ofer Strichman
Proof-guided underapproximation-widening for multi-process systems. POPL 2005: 122-131 - [c57]Orna Grumberg, Martin Lange, Martin Leucker
Don't Know in the µ-Calculus. VMCAI 2005: 233-249 - 2004
- [j31]Karen Yorav, Orna Grumberg:
Static Analysis for State-Space Reductions Preserving Temporal Logics. Formal Methods Syst. Des. 25(1): 67-96 (2004) - [j30]Doron Bustan, Orna Grumberg:
Applicability of fair simulation. Inf. Comput. 194(1): 1-18 (2004) - [j29]Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty:
Test sequence generation and model checking using dynamic transition relations. Int. J. Softw. Tools Technol. Transf. 6(2): 174-182 (2004) - [c56]Orna Grumberg, Assaf Schuster, Avi Yadgar:
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis. FMCAD 2004: 275-289 - [c55]Sharon Shoham
Monotonic Abstraction-Refinement for CTL. TACAS 2004: 546-560 - 2003
- [j28]Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith:
Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5): 752-794 (2003) - [j27]Orna Grumberg, Shlomi Livne, Shaul Markovitch:
Learning to Order BDD Variables in Verification. J. Artif. Intell. Res. 18: 83-116 (2003) - [j26]Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster:
Scalable distributed on-the-fly symbolic model checking. Int. J. Softw. Tools Technol. Transf. 4(4): 496-504 (2003) - [j25]Doron Bustan, Orna Grumberg:
Simulation-based minimazation. ACM Trans. Comput. Log. 4(2): 181-206 (2003) - [c54]Orna Grumberg, Tamir Heyman, Assaf Schuster:
A Work-Efficient Distributed Algorithm for Reachability Analysis. CAV 2003: 54-66 - [c53]Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang:
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. CAV 2003: 126-140 - [c52]Sharon Shoham
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. CAV 2003: 275-287 - [c51]Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi:
Enhanced Vacuity Detection in Linear Temporal Logic. CAV 2003: 368-380 - [c50]Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang:
High Level Verification of Control Intensive Systems Using Predicate Abstraction. MEMOCODE 2003: 55-64 - [c49]Lubos Brim, Orna Grumberg:
Preface. PDMC@CAV 2003: 1-2 - [e5]Lubos Brim, Orna Grumberg:
2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003. Electronic Notes in Theoretical Computer Science 89(1), Elsevier 2003 [contents] - [e4]Lubos Brim, Orna Grumberg:
12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003. Electronic Notes in Theoretical Computer Science 86(3), Elsevier 2003 [contents] - 2002
- [j24]Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster:
A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. Formal Methods Syst. Des. 21(3): 317-338 (2002) - [j23]Karen Yorav, Orna Grumberg:
Syntax-directed model checking of sequential programs. J. Log. Algebraic Methods Program. 52-53: 129-162 (2002) - [c48]Sharon Barner, Orna Grumberg:
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. CAV 2002: 93-106 - [c47]Shmuel Katz, Orna Grumberg:
A Framework for Translating Models and Specifications. IFM 2002: 145-164 - [c46]Katerina Korenblat, Orna Grumberg, Shmuel Katz:
Translations between Textual Transition Systems and Petri Nets. IFM 2002: 339-359 - [c45]Doron Bustan, Orna Grumberg:
Applicability of Fair Simulation. TACAS 2002: 401-414 - [c44]Lubos Brim, Orna Grumberg:
Preface. PDMC@CONCUR 2002: 483 - [c43]Orna Grumberg:
Different directions in parallel and distributed model checking (invited talk). PDMC@CONCUR 2002: 485 - [e3]Lubos Brim, Orna Grumberg:
Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(4), Elsevier 2002 [contents] - 2001
- [b1]Edmund M. Clarke, Orna Grumberg, Doron A. Peled:
Model checking, 1st Edition. MIT Press 2001, ISBN 978-0-262-03270-4, pp. I-XIV, 1-314 - [j22]Orna Grumberg:
Introduction: Special Issue on CAV '97. Formal Methods Syst. Des. 18(2): 95 (2001) - [j21]Orna Grumberg, Robert P. Kurshan:
Which Branching-Time Properties are Effectively Linear? J. Log. Comput. 11(2): 201-228 (2001) - [c42]Orna Grumberg, Tamir Heyman, Assaf Schuster:
Distributed Symbolic Model Checking for µ-Calculus. CAV 2001: 350-362 - [c41]Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith:
Progress on the State Explosion Problem in Model Checking. Informatics 2001: 176-194 - 2000
- [j20]Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg:
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. Formal Methods Syst. Des. 17(2): 163-192 (2000) - [c40]Doron Bustan, Orna Grumberg:
Simulation Based Minimization. CADE 2000: 255-270 - [c39]Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster:
Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. CAV 2000: 20-35 - [c38]Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith:
Counterexample-Guided Abstraction Refinement. CAV 2000: 154-169 - [c37]Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster:
Scalable Distributed On-the-Fly Symbolic Model Checking. FMCAD 2000: 390-404
1990 – 1999
- 1999
- [j19]Edmund M. Clarke, Orna Grumberg, Marius Minea
State Space Reduction Using Partial Order Techniques. Int. J. Softw. Tools Technol. Transf. 2(3): 279-287 (1999) - [c36]Sagi Katz, Orna Grumberg, Daniel Geist:
"Have I written enough Properties?" - A Method of Comparison between Specification and Implementation. CHARME 1999: 280-297 - [c35]Alessandro Cimatti
Preface. SMC@FLoC 1999: 127-128 - [e2]Alessandro Cimatti, Orna Grumberg:
First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999. Electronic Notes in Theoretical Computer Science 23(2), Elsevier 1999 [contents] - 1998
- [c34]Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster:
First-Order-CTL Model Checking. FSTTCS 1998: 283-294 - [c33]Karen Laster, Orna Grumberg:
Modular Model Checking of Software. TACAS 1998: 20-35 - 1997
- [j18]Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi:
Another Look at LTL Model Checking. Formal Methods Syst. Des. 10(1): 47-71 (1997) - [j17]Dennis Dams, Rob Gerth, Orna Grumberg:
Abstract Interpretation of Reactive Systems. ACM Trans. Program. Lang. Syst. 19(2): 253-291 (1997) - [j16]Edmund M. Clarke, Orna Grumberg, Somesh Jha:
Verifying Parameterized Networks. ACM Trans. Program. Lang. Syst. 19(5): 726-750 (1997) - [e1]Orna Grumberg:
Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings. Lecture Notes in Computer Science 1254, Springer 1997, ISBN 3-540-63166-6 [contents] - 1996
- [j15]Orna Kupferman, Orna Grumberg:
Branching-Time Temporal Logic and Tree Automata. Inf. Comput. 125(1): 62-69 (1996) - [j14]Limor Fix, Orna Grumberg:
Verification of Temporal Properties. J. Log. Comput. 6(3): 343-361 (1996) - [j13]Orna Kupferman, Orna Grumberg:
Buy One, Get One Free!!! J. Log. Comput. 6(4): 523-539 (1996) - [c32]Sérgio Vale Aguiar Campos, Orna Grumberg:
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. CAV 1996: 257-268 - [c31]Edmund M. Clarke, Orna Grumberg, David E. Long:
Model checking. NATO ASI DPD 1996: 305-349 - 1995
- [j12]Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness:
Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods Syst. Des. 6(2): 217-232 (1995) - [c30]Hardi Hungar, Orna Grumberg, Werner Damm:
What if model checking must be truly symbolic. CHARME 1995: 1-20 - [c29]Edmund M. Clarke, Orna Grumberg, Somesh Jha:
Veryfying Parameterized Networks using Abstraction and Regular Languages. CONCUR 1995: 395-407 - [c28]Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao:
Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. DAC 1995: 427-432 - [c27]Girish Bhat, Rance Cleaveland, Orna Grumberg:
Efficient On-the-Fly Model Checking for CTL*. LICS 1995: 388-397 - 1994
- [j11]Limor Fix, Nissim Francez, Orna Grumberg:
Program Composition via Unification. Theor. Comput. Sci. 131(1): 139-179 (1994) - [j10]Orna Grumberg, David E. Long:
Model Checking and Modular Verification. ACM Trans. Program. Lang. Syst. 16(3): 843-871 (1994) - [j9]Edmund M. Clarke, Orna Grumberg, David E. Long:
Model Checking and Abstraction. ACM Trans. Program. Lang. Syst. 16(5): 1512-1542 (1994) - [c26]Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi:
Another Look at LTL Model Checking. CAV 1994: 415-427 - [c25]Orna Grumberg, Robert P. Kurshan:
How Linear Can Branching-Time Be? ICTL 1994: 180-194 - [c24]Orna Bernholtz, Orna Grumberg:
Buy One, Get One Free!!! ICTL 1994: 210-224 - 1993
- [j8]Paul C. Attie, Nissim Francez, Orna Grumberg:
Fairness and Hyperfairness in Multi-Party Interactions. Distributed Comput. 6(4): 245-254 (1993) - [j7]Hana De-Leon, Orna Grumberg:
Modular Abstractions for Verifying Real-Time Distributed Systems. Formal Methods Syst. Des. 2(1): 7-43 (1993) - [c23]Dennis Dams, Orna Grumberg, Rob Gerth:
Generation of Reduced Models for Checking Fragments of CTL. CAV 1993: 479-490 - [c22]Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness:
Verification of the Futurebus+ Cache Coherence Protocol. CHDL 1993: 15-30 - [c21]Orna Bernholtz, Orna Grumberg:
Branching Time Temporal Logic and Amorphous Tree Automata. CONCUR 1993: 262-277 - [c20]Edmund M. Clarke, Orna Grumberg, David E. Long:
Verification Tools for Finite-State Concurrent Systems. REX School/Symposium 1993: 124-175 - 1992
- [j6]Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan:
A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. J. Log. Comput. 2(5): 605-618 (1992) - [c19]Hana De-Leon, Orna Grumberg:
Modular Abstractions for Verifying Real-Time Distributed Systems. CAV 1992: 2-15 - [c18]Limor Fix, Nissim Francez, Orna Grumberg:
Program Composition via Unification. ICALP 1992: 672-684 - [c17]Edmund M. Clarke, Orna Grumberg, David E. Long:
Model Checking and Abstraction. POPL 1992: 342-354 - 1991
- [c16]Orna Grumberg, David E. Long:
Model Checking and Modular Verification. CONCUR 1991: 250-265 - [c15]Limor Fix, Nissim Francez, Orna Grumberg:
Program Composition and Modular Verification. ICALP 1991: 93-114 - 1990
- [c14]Gil Shurek, Orna Grumberg:
The Modular Framework of Computer-Aided Verification. CAV 1990: 214-223 - [c13]Gil Shurek, Orna Grumberg:
The Modular Framework of Computer-Aided Verification. CAV (DIMACS/AMS volume) 1990: 359-380 - [c12]Limor Fix, Nissim Francez, Orna Grumberg:
Sematics-Driven Decompositions for the Verification of Distributed Programs. Programming Concepts and Methods 1990: 101-124 - [c11]Paul C. Attie
Fairness and Hyperfairness in Multi-Party Interactions. POPL 1990: 292-305
1980 – 1989
- 1989
- [j5]Michael C. Browne, Edmund M. Clarke, Orna Grumberg:
Reasoning about Networks with Many Identical Finite State Processes. Inf. Comput. 81(1): 13-31 (1989) - [c10]Ze'ev Shtadler, Orna Grumberg:
Network Grammars, Communication Behaviors and Automatic Verification. Automatic Verification Methods for Finite State Systems 1989: 151-165 - [c9]Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan:
A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. Logic at Botik 1989: 81-90 - 1988
- [j4]Ran Rinat, Nissim Francez, Orna Grumberg:
Infinite Trees, Markings and Well-Foundedness. Inf. Comput. 79(2): 131-154 (1988) - [j3]Michael C. Browne, Edmund M. Clarke, Orna Grumberg:
Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theor. Comput. Sci. 59: 115-131 (1988) - 1987
- [c8]Edmund M. Clarke, Orna Grumberg:
Avoiding The State Explosion Problem in Temporal Logic Model Checking. PODC 1987: 294-303 - [c7]Michael C. Browne, Edmund M. Clarke, Orna Grumberg:
Characterizing Kripke Structures in Temporal Logic. TAPSOFT, Vol.1 1987: 256-270 - [c6]Edmund M. Clarke, Orna Grumberg:
The Model Checking Problem for Concurrent Systems with Many Similar Processes. Temporal Logic in Specification 1987: 188-201 - 1986
- [j2]Orna Grumberg, Nissim Francez, Shmuel Katz:
A Complete Rule for Equifair Termination. J. Comput. Syst. Sci. 33(3): 313-332 (1986) - [c5]Ran Rinat, Nissim Francez, Orna Grumberg:
Infinite Trees, Markings and Well Foundedness. CAAP 1986: 238-253 - [c4]Edmund M. Clarke, Orna Grumberg, Michael C. Browne:
Reasoning About Networks With Many Identical Finite-State Processes. PODC 1986: 240-248 - 1985
- [j1]Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever:
A Proof Rule for Fair Termination of Guarded Commands. Inf. Control. 66(1/2): 83-102 (1985) - [c3]Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli:
Proving Termination of Prolog Programs. Logic of Programs 1985: 89-105 - 1984
- [c2]Orna Grumberg, Nissim Francez, Shmuel Katz:
Fail Termination of Communicating Processe. PODC 1984: 254-265 - 1983
- [c1]Orna Grumberg, Nissim Francez, Shmuel Katz:
A Compete Proof Rule for Strong Equifair Termination. Logic of Programs 1983: 257-278
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: