×
Author ID: grumberg.orna Recent zbMATH articles by "Grumberg, Orna"
Published as: Grumberg, Orna; Grumberg, O.; Grümberg, O.; Grümberg, Orna
External Links: MGP · Wikidata · dblp · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

88 Publications have been cited 907 times in 699 Documents Cited by Year
Counterexample-guided abstraction refinement. Zbl 0974.68517
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
167
2000
Counterexample-guided abstraction refinement for symbolic model checking. Zbl 1325.68145
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
125
2003
Model checking. 2nd expanded and updated edition. Zbl 1423.68002
Clarke, Edmund M. jun.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
76
2018
Characterizing finite Kripke structures in propositional temporal logic. Zbl 0677.03011
Browne, M. C.; Clarke, E. M.; Grümberg, O.
69
1988
Model checking. Zbl 0847.68063
Clarke, E.; Grumberg, O.; Long, D.
40
1996
Reasoning about networks with many identical finite state processes. Zbl 0709.68610
Browne, M. C.; Clarke, E. M.; Grumberg, O.
29
1989
Variable automata over infinite alphabets. Zbl 1284.68352
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
20
2010
A proof rule for fair termination of guarded commands. Zbl 0577.68022
Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.
18
1985
State space reduction using partial order techniques. Zbl 1065.68506
Clarke, E. M.; Grumberg, O.; Minea, M.; Peled, D.
18
1999
25 years of model checking. History, achievements, perspectives. Zbl 1139.68003
17
2008
Monotonic abstraction-refinement for CTL. Zbl 1126.68487
Shoham, Sharon; Grumberg, Orna
17
2004
Enhanced vacuity detection in linear temporal logic. Zbl 1278.68153
Armoni, Roy; Fix, Limor; Flaisher, Alon; Grumberg, Orna; Piterman, Nir; Tiemeyer, Andreas; Vardi, Moshe Y.
15
2003
Regular vacuity. Zbl 1159.68311
Bustan, Doron; Flaisher, Alon; Grumberg, Orna; Kupferman, Orna; Vardi, Moshe Y.
14
2005
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. Zbl 1278.68195
Shoham, Sharon; Grumberg, Orna
13
2003
Simulation-based minimization. Zbl 1365.68319
Bustan, Doron; Grumberg, Orna
12
2003
Don’t know in the \(\mu\)-calculus. Zbl 1112.68090
Grumberg, Orna; Lange, Martin; Leucker, Martin; Shoham, Sharon
11
2005
When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus. Zbl 1306.68100
Grumberg, Orna; Lange, Martin; Leucker, Martin; Shoham, Sharon
10
2007
Characterizing Kripke structures in temporal logic. Zbl 0626.03019
Browne, M. C.; Clarke, E. M.; Grümberg, O.
9
1987
Efficient Craig interpolation for linear diophantine (dis)equations and linear modular equations. Zbl 1155.68439
Jain, Himanshu; Clarke, Edmund; Grumberg, Orna
9
2008
Fairness and hyperfairness in multi-party interactions. Zbl 0797.68100
Attie, Paul C.; Francez, Nissim; Grumberg, Orna
8
1993
“Have I written enough properties?” – A method of comparison between specification and implementation. Zbl 0957.68069
Katz, Sagi; Grumberg, Orna
7
1999
Static analysis for state-space reductions preserving temporal logics. Zbl 1073.68055
Yorav, Karen; Grumberg, Orna
7
2004
Abstraction and abstraction refinement. Zbl 1392.68244
Dams, Dennis; Grumberg, Orna
7
2018
Simulation based minimization. Zbl 0963.68110
Bustan, Doron; Grumberg, Orna
7
2000
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. Zbl 1367.68203
Shoham, Sharon; Grumberg, Orna
7
2007
Multi-valued model checking games. Zbl 1170.68527
Shoham, Sharon; Grumberg, Orna
6
2005
3-valued abstraction: More precision at less cost. Zbl 1169.68028
Shoham, Sharon; Grumberg, Orna
6
2008
Multi-valued model checking games. Zbl 1257.68105
Shoham, Sharon; Grumberg, Orna
6
2012
Achieving scalability in parallel reachability analysis of very large circuits. Zbl 0974.68547
Heyman, Tamir; Geist, Danny; Grumberg, Orna; Schuster, Assaf
5
2000
Compositional verification and 3-valued abstractions join forces. Zbl 1211.68256
Shoham, Sharon; Grumberg, Orna
5
2007
Intertwined forward-backward reachability analysis using interpolants. Zbl 1381.68184
Vizel, Yakir; Grumberg, Orna; Shoham, Sharon
5
2013
A synthesis of two approaches for verifying finite state concurrent systems. Zbl 0688.68019
Clarke, E. M.; Grumberg, O.; Kurshan, R. P.
5
1989
Buy one, get one free!!! Zbl 0857.03009
Kupferman, Orna; Grumberg, Orna
5
1996
Automatic refinement and vacuity detection for symbolic trajectory evaluation. Zbl 1188.68199
Tzoref, Rachel; Grumberg, Orna
5
2006
A scalable parallel algorithm for reachability analysis of very large circuits. Zbl 1020.68107
Heyman, Tamir; Geist, Danny; Grumberg, Orna; Schuster, Assaf
5
2002
Proof-guided underapproximation-widening for multi-process systems. Zbl 1369.68259
Grumberg, Orna; Lerda, Flavio; Strichman, Ofer; Theobald, Michael
5
2005
Bounded model checking of concurrent programs. Zbl 1081.68633
Rabinovitz, Ishai; Grumberg, Orna
4
2005
Program composition and modular verification. Zbl 0769.68093
Fix, Limor; Francez, Nissim; Grumberg, Orna
4
1991
Proving termination of Prolog programs. Zbl 0577.68023
Francez, Nissim; Grumberg, Orna; Katz, Shmuel; Pnueli, Amir
4
1985
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
4
2005
Verification of temporal properties. Zbl 0851.68070
Fix, Limor; Grumberg, Orna
4
1996
Automated circular assume-guarantee reasoning with N-way decomposition and alphabet refinement. Zbl 1411.68056
Abd Elkader, Karam; Grumberg, Orna; Păsăreanu, Corina S.; Shoham, Sharon
4
2016
A work-efficient distributed algorithm for reachability analysis. Zbl 1278.68174
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
4
2003
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. Zbl 1116.68006
4
2007
Efficient automatic STE refinement using responsibility. Zbl 1134.68401
Chockler, Hana; Grumberg, Orna; Yadgar, Avi
3
2008
A work-efficient distributed algorithm for reachability analysis. Zbl 1110.68075
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
3
2006
Abstraction and refinement in model checking. Zbl 1196.68138
Grumberg, Orna
3
2006
Distributed symbolic model checking for \(\mu\)-calculus. Zbl 0996.68106
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
3
2001
An automata-theoretic approach to reasoning about parameterized systems and specifications. Zbl 1410.68228
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
3
2013
Compositional model checking for multi-properties. Zbl 1472.68089
Goudsmid, Ohad; Grumberg, Orna; Sheinvald, Sarai
3
2021
Compositional verification and 3-valued abstractions join forces. Zbl 1191.68416
Shoham, Sharon; Grumberg, Orna
3
2010
Combining symmetry reduction and under-approximation for symbolic model checking. Zbl 1010.68510
Barner, Sharon; Grumberg, Orna
3
2002
Assume, guarantee or repair. Zbl 1507.68186
Frenkel, Hadar; Grumberg, Orna; Pasareanu, Corina; Sheinvald, Sarai
3
2020
Proceedings of the 1st international workshop on Symbolic model checking (SMC ’99), as part of the 2nd federated logic conference (FLoC ’99). Trento, Italy, July 6, 1999. Zbl 0920.00044
2
1999
An automata-theoretic approach to model-checking systems and specifications over infinite data domains. Zbl 1468.68128
Frenkel, Hadar; Grumberg, Orna; Sheinvald, Sarai
2
2019
Sound and complete mutation-based program repair. Zbl 1427.68052
Rothenberg, Bat-Chen; Grumberg, Orna
2
2016
A complete rule for equifair termination. Zbl 0612.68021
Grumberg, Orna; Francez, Nissim; Katz, Shmuel
2
1986
Infinite trees, markings, and well-foundedness. Zbl 0659.68021
Rinat, Ran; Francez, Nissim; Grumberg, Orna
2
1988
Memory efficient all-solutions SAT solver and its application for reachability analysis. Zbl 1117.68429
Grumberg, Orna; Schuster, Assaf; Yadgar, Avi
2
2004
Achieving speedups in distributed symbolic reachability analysis through asynchronous computation. Zbl 1159.68322
Grumberg, Orna; Heyman, Tamir; Ifergan, Nili; Schuster, Assaf
2
2005
A new approach to bounded model checking for branching time logics. Zbl 1141.68482
Oshman, Rotem; Grumberg, Orna
2
2007
3-valued circuit SAT for STE with automatic refinement. Zbl 1141.68467
Grumberg, Orna; Schuster, Assaf; Yadgar, Avi
2
2007
Learning to order BDD variables in verification. Zbl 1045.68092
Grumberg, O.; Livne, S.; Markovitch, S.
2
2003
A framework for compositional verification of multi-valued systems via abstraction-refinement. Zbl 1262.68127
Meller, Yael; Grumberg, Orna; Shoham, Sharon
2
2009
A synthesis of two approaches for verifying finite state concurrent systems. Zbl 0782.68078
Clarke, E. M.; Grumberg, O.; Kurshan, R. P.
2
1992
Model checking systems and specifications with parameterized atomic propositions. Zbl 1374.68288
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
2
2012
Branching-time temporal logic and tree automata. Zbl 0853.68133
Kupferman, Orna; Grumberg, Orna
2
1996
2-valued and 3-valued abstraction-refinement in model checking. Zbl 1214.68212
Grumberg, Orna
2
2010
Program composition via unification. Zbl 0822.68061
Fix, Limor; Francez, Nissim; Grumberg, Orna
2
1994
Combining symmetry reduction and under-approximation for symbolic model checking. Zbl 1085.68086
Barner, Sharon; Grumberg, Orna
2
2005
Automated circular assume-guarantee reasoning. Zbl 1427.68194
Elkader, Karam Abd; Grumberg, Orna; Păsăreanu, Corina S.; Shoham, Sharon
2
2015
Must fault localization for program repair. Zbl 1478.68058
Rothenberg, Bat-Chen; Grumberg, Orna
2
2020
Modular demand-driven analysis of semantic difference for program versions. Zbl 1420.68076
Trostanetski, Anna; Grumberg, Orna; Kroening, Daniel
2
2017
Making predicate abstraction efficient: how to eliminate redundant predicates. Zbl 1278.68163
Clarke, Edmund; Grumberg, Orna; Talupur, Muralidhar; Wang, Dong
2
2003
A complete proof rule for strong equifair termination. Zbl 0558.68013
Grümberg, Orna; Francez, Nissim; Katz, Shmuel
2
1984
A game-theoretic approach to simulation of data-parameterized systems. Zbl 1448.68300
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
2
2014
How linear can branching-time be? Zbl 0949.03512
Grumberg, O.; Kurshan, R. P.
1
1994
Buy one, get one free!!! Zbl 0949.03509
Bernholtz, O.; Grumberg, O.
1
1994
Program composition via unification. Zbl 1427.68045
Fix, Limor; Francez, Nissim; Grumberg, Orna
1
1992
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. Zbl 1186.68013
Jain, Himanshu; Clarke, Edmund M.; Grumberg, Orna
1
2009
Applicability of fair simulation. Zbl 1043.68567
Bustan, Doron; Grumberg, Orna
1
2002
A framework for translating models and specifications. Zbl 1057.68628
Katz, Shmuel; Grumberg, Orna
1
2002
Hybrid BDD and All-SAT method for model checking. Zbl 1241.68082
Yadgar, Avi; Grumberg, Orna; Schuster, Assaf
1
2009
Applicability of fair simulation. Zbl 1070.68089
Bustan, Doron; Grumberg, Orna
1
2004
The modular framework of computer-aided verification. Zbl 0786.68068
Shurek, Gil; Grumberg, Orna
1
1991
The modular framework of computer-aided verification. Zbl 0765.68145
Shurek, Gil; Grumberg, Orna
1
1991
Distributed symbolic model checking for \(\mu\)-calculus. Zbl 1083.68069
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
1
2005
Computer aided verification. 9th international conference, CAV’97, Haifa, Israel, June 22–25, 1997. Proceedings. Zbl 1524.68004
1
1997
Compositional model checking for multi-properties. Zbl 1472.68089
Goudsmid, Ohad; Grumberg, Orna; Sheinvald, Sarai
3
2021
Assume, guarantee or repair. Zbl 1507.68186
Frenkel, Hadar; Grumberg, Orna; Pasareanu, Corina; Sheinvald, Sarai
3
2020
Must fault localization for program repair. Zbl 1478.68058
Rothenberg, Bat-Chen; Grumberg, Orna
2
2020
An automata-theoretic approach to model-checking systems and specifications over infinite data domains. Zbl 1468.68128
Frenkel, Hadar; Grumberg, Orna; Sheinvald, Sarai
2
2019
Model checking. 2nd expanded and updated edition. Zbl 1423.68002
Clarke, Edmund M. jun.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
76
2018
Abstraction and abstraction refinement. Zbl 1392.68244
Dams, Dennis; Grumberg, Orna
7
2018
Modular demand-driven analysis of semantic difference for program versions. Zbl 1420.68076
Trostanetski, Anna; Grumberg, Orna; Kroening, Daniel
2
2017
Automated circular assume-guarantee reasoning with N-way decomposition and alphabet refinement. Zbl 1411.68056
Abd Elkader, Karam; Grumberg, Orna; Păsăreanu, Corina S.; Shoham, Sharon
4
2016
Sound and complete mutation-based program repair. Zbl 1427.68052
Rothenberg, Bat-Chen; Grumberg, Orna
2
2016
Automated circular assume-guarantee reasoning. Zbl 1427.68194
Elkader, Karam Abd; Grumberg, Orna; Păsăreanu, Corina S.; Shoham, Sharon
2
2015
A game-theoretic approach to simulation of data-parameterized systems. Zbl 1448.68300
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
2
2014
Intertwined forward-backward reachability analysis using interpolants. Zbl 1381.68184
Vizel, Yakir; Grumberg, Orna; Shoham, Sharon
5
2013
An automata-theoretic approach to reasoning about parameterized systems and specifications. Zbl 1410.68228
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
3
2013
Multi-valued model checking games. Zbl 1257.68105
Shoham, Sharon; Grumberg, Orna
6
2012
Model checking systems and specifications with parameterized atomic propositions. Zbl 1374.68288
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
2
2012
Variable automata over infinite alphabets. Zbl 1284.68352
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
20
2010
Compositional verification and 3-valued abstractions join forces. Zbl 1191.68416
Shoham, Sharon; Grumberg, Orna
3
2010
2-valued and 3-valued abstraction-refinement in model checking. Zbl 1214.68212
Grumberg, Orna
2
2010
A framework for compositional verification of multi-valued systems via abstraction-refinement. Zbl 1262.68127
Meller, Yael; Grumberg, Orna; Shoham, Sharon
2
2009
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. Zbl 1186.68013
Jain, Himanshu; Clarke, Edmund M.; Grumberg, Orna
1
2009
Hybrid BDD and All-SAT method for model checking. Zbl 1241.68082
Yadgar, Avi; Grumberg, Orna; Schuster, Assaf
1
2009
25 years of model checking. History, achievements, perspectives. Zbl 1139.68003
17
2008
Efficient Craig interpolation for linear diophantine (dis)equations and linear modular equations. Zbl 1155.68439
Jain, Himanshu; Clarke, Edmund; Grumberg, Orna
9
2008
3-valued abstraction: More precision at less cost. Zbl 1169.68028
Shoham, Sharon; Grumberg, Orna
6
2008
Efficient automatic STE refinement using responsibility. Zbl 1134.68401
Chockler, Hana; Grumberg, Orna; Yadgar, Avi
3
2008
When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus. Zbl 1306.68100
Grumberg, Orna; Lange, Martin; Leucker, Martin; Shoham, Sharon
10
2007
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. Zbl 1367.68203
Shoham, Sharon; Grumberg, Orna
7
2007
Compositional verification and 3-valued abstractions join forces. Zbl 1211.68256
Shoham, Sharon; Grumberg, Orna
5
2007
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. Zbl 1116.68006
4
2007
A new approach to bounded model checking for branching time logics. Zbl 1141.68482
Oshman, Rotem; Grumberg, Orna
2
2007
3-valued circuit SAT for STE with automatic refinement. Zbl 1141.68467
Grumberg, Orna; Schuster, Assaf; Yadgar, Avi
2
2007
Automatic refinement and vacuity detection for symbolic trajectory evaluation. Zbl 1188.68199
Tzoref, Rachel; Grumberg, Orna
5
2006
A work-efficient distributed algorithm for reachability analysis. Zbl 1110.68075
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
3
2006
Abstraction and refinement in model checking. Zbl 1196.68138
Grumberg, Orna
3
2006
Regular vacuity. Zbl 1159.68311
Bustan, Doron; Flaisher, Alon; Grumberg, Orna; Kupferman, Orna; Vardi, Moshe Y.
14
2005
Don’t know in the \(\mu\)-calculus. Zbl 1112.68090
Grumberg, Orna; Lange, Martin; Leucker, Martin; Shoham, Sharon
11
2005
Multi-valued model checking games. Zbl 1170.68527
Shoham, Sharon; Grumberg, Orna
6
2005
Proof-guided underapproximation-widening for multi-process systems. Zbl 1369.68259
Grumberg, Orna; Lerda, Flavio; Strichman, Ofer; Theobald, Michael
5
2005
Bounded model checking of concurrent programs. Zbl 1081.68633
Rabinovitz, Ishai; Grumberg, Orna
4
2005
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
4
2005
Achieving speedups in distributed symbolic reachability analysis through asynchronous computation. Zbl 1159.68322
Grumberg, Orna; Heyman, Tamir; Ifergan, Nili; Schuster, Assaf
2
2005
Combining symmetry reduction and under-approximation for symbolic model checking. Zbl 1085.68086
Barner, Sharon; Grumberg, Orna
2
2005
Distributed symbolic model checking for \(\mu\)-calculus. Zbl 1083.68069
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
1
2005
Monotonic abstraction-refinement for CTL. Zbl 1126.68487
Shoham, Sharon; Grumberg, Orna
17
2004
Static analysis for state-space reductions preserving temporal logics. Zbl 1073.68055
Yorav, Karen; Grumberg, Orna
7
2004
Memory efficient all-solutions SAT solver and its application for reachability analysis. Zbl 1117.68429
Grumberg, Orna; Schuster, Assaf; Yadgar, Avi
2
2004
Applicability of fair simulation. Zbl 1070.68089
Bustan, Doron; Grumberg, Orna
1
2004
Counterexample-guided abstraction refinement for symbolic model checking. Zbl 1325.68145
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
125
2003
Enhanced vacuity detection in linear temporal logic. Zbl 1278.68153
Armoni, Roy; Fix, Limor; Flaisher, Alon; Grumberg, Orna; Piterman, Nir; Tiemeyer, Andreas; Vardi, Moshe Y.
15
2003
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. Zbl 1278.68195
Shoham, Sharon; Grumberg, Orna
13
2003
Simulation-based minimization. Zbl 1365.68319
Bustan, Doron; Grumberg, Orna
12
2003
A work-efficient distributed algorithm for reachability analysis. Zbl 1278.68174
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
4
2003
Learning to order BDD variables in verification. Zbl 1045.68092
Grumberg, O.; Livne, S.; Markovitch, S.
2
2003
Making predicate abstraction efficient: how to eliminate redundant predicates. Zbl 1278.68163
Clarke, Edmund; Grumberg, Orna; Talupur, Muralidhar; Wang, Dong
2
2003
A scalable parallel algorithm for reachability analysis of very large circuits. Zbl 1020.68107
Heyman, Tamir; Geist, Danny; Grumberg, Orna; Schuster, Assaf
5
2002
Combining symmetry reduction and under-approximation for symbolic model checking. Zbl 1010.68510
Barner, Sharon; Grumberg, Orna
3
2002
Applicability of fair simulation. Zbl 1043.68567
Bustan, Doron; Grumberg, Orna
1
2002
A framework for translating models and specifications. Zbl 1057.68628
Katz, Shmuel; Grumberg, Orna
1
2002
Distributed symbolic model checking for \(\mu\)-calculus. Zbl 0996.68106
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
3
2001
Counterexample-guided abstraction refinement. Zbl 0974.68517
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
167
2000
Simulation based minimization. Zbl 0963.68110
Bustan, Doron; Grumberg, Orna
7
2000
Achieving scalability in parallel reachability analysis of very large circuits. Zbl 0974.68547
Heyman, Tamir; Geist, Danny; Grumberg, Orna; Schuster, Assaf
5
2000
State space reduction using partial order techniques. Zbl 1065.68506
Clarke, E. M.; Grumberg, O.; Minea, M.; Peled, D.
18
1999
“Have I written enough properties?” – A method of comparison between specification and implementation. Zbl 0957.68069
Katz, Sagi; Grumberg, Orna
7
1999
Proceedings of the 1st international workshop on Symbolic model checking (SMC ’99), as part of the 2nd federated logic conference (FLoC ’99). Trento, Italy, July 6, 1999. Zbl 0920.00044
2
1999
Computer aided verification. 9th international conference, CAV’97, Haifa, Israel, June 22–25, 1997. Proceedings. Zbl 1524.68004
1
1997
Model checking. Zbl 0847.68063
Clarke, E.; Grumberg, O.; Long, D.
40
1996
Buy one, get one free!!! Zbl 0857.03009
Kupferman, Orna; Grumberg, Orna
5
1996
Verification of temporal properties. Zbl 0851.68070
Fix, Limor; Grumberg, Orna
4
1996
Branching-time temporal logic and tree automata. Zbl 0853.68133
Kupferman, Orna; Grumberg, Orna
2
1996
Program composition via unification. Zbl 0822.68061
Fix, Limor; Francez, Nissim; Grumberg, Orna
2
1994
How linear can branching-time be? Zbl 0949.03512
Grumberg, O.; Kurshan, R. P.
1
1994
Buy one, get one free!!! Zbl 0949.03509
Bernholtz, O.; Grumberg, O.
1
1994
Fairness and hyperfairness in multi-party interactions. Zbl 0797.68100
Attie, Paul C.; Francez, Nissim; Grumberg, Orna
8
1993
A synthesis of two approaches for verifying finite state concurrent systems. Zbl 0782.68078
Clarke, E. M.; Grumberg, O.; Kurshan, R. P.
2
1992
Program composition via unification. Zbl 1427.68045
Fix, Limor; Francez, Nissim; Grumberg, Orna
1
1992
Program composition and modular verification. Zbl 0769.68093
Fix, Limor; Francez, Nissim; Grumberg, Orna
4
1991
The modular framework of computer-aided verification. Zbl 0786.68068
Shurek, Gil; Grumberg, Orna
1
1991
The modular framework of computer-aided verification. Zbl 0765.68145
Shurek, Gil; Grumberg, Orna
1
1991
Reasoning about networks with many identical finite state processes. Zbl 0709.68610
Browne, M. C.; Clarke, E. M.; Grumberg, O.
29
1989
A synthesis of two approaches for verifying finite state concurrent systems. Zbl 0688.68019
Clarke, E. M.; Grumberg, O.; Kurshan, R. P.
5
1989
Characterizing finite Kripke structures in propositional temporal logic. Zbl 0677.03011
Browne, M. C.; Clarke, E. M.; Grümberg, O.
69
1988
Infinite trees, markings, and well-foundedness. Zbl 0659.68021
Rinat, Ran; Francez, Nissim; Grumberg, Orna
2
1988
Characterizing Kripke structures in temporal logic. Zbl 0626.03019
Browne, M. C.; Clarke, E. M.; Grümberg, O.
9
1987
A complete rule for equifair termination. Zbl 0612.68021
Grumberg, Orna; Francez, Nissim; Katz, Shmuel
2
1986
A proof rule for fair termination of guarded commands. Zbl 0577.68022
Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.
18
1985
Proving termination of Prolog programs. Zbl 0577.68023
Francez, Nissim; Grumberg, Orna; Katz, Shmuel; Pnueli, Amir
4
1985
A complete proof rule for strong equifair termination. Zbl 0558.68013
Grümberg, Orna; Francez, Nissim; Katz, Shmuel
2
1984
all top 5

Cited by 1,308 Authors

24 Grumberg, Orna
19 Kupferman, Orna
15 Vardi, Moshe Ya’akov
13 Kröning, Daniel
9 Katoen, Joost-Pieter
8 Chockler, Hana
8 Clarke, Edmund Melson jun.
8 Sharygina, Natasha
7 Bloem, Roderick
7 Duan, Zhenhua
7 Konnov, Igor V.
7 Ranzato, Francesco
7 Shoham, Sharon
7 Veith, Helmut
7 Zhang, Nan
6 Baier, Christel
6 Brim, Luboš
6 Cimatti, Alessandro
6 Francez, Nissim
6 Gurfinkel, Arie
6 Järvisalo, Matti
6 Peled, Doron A.
6 Pnueli, Amir
6 Strichman, Ofer
6 Tian, Cong
6 Tonetta, Stefano
5 French, Tim
5 Frenkel, Hadar
5 Giacobazzi, Roberto
5 Griggio, Alberto
5 Gupta, Aarti
5 Henzinger, Thomas A.
5 Larsen, Kim Guldstrand
5 Legay, Axel
5 Leucker, Martin
5 Meseguer Guaita, José
5 Păsăreanu, Corina S.
5 Podelski, Andreas
5 Reynolds, Mark Alexander
5 Sheinvald, Sarai
5 van Ditmarsch, Hans Pieter
5 Wolf, Karsten
5 Zhang, Lijun
4 Abdulla, Parosh Aziz
4 Avni, Guy
4 Chaki, Sagar
4 Chechik, Marsha
4 De Nicola, Rocco
4 Degano, Pierpaolo
4 Eiter, Thomas
4 Fecher, Harald
4 Fedyukovich, Grigory
4 Fix, Limor
4 Iosif, Radu
4 Janota, Mikoláš
4 Jansen, David N.
4 Jansen, Nils
4 Kamide, Norihiro
4 Li, Yongming
4 Liu, Yang
4 Majzik, Istvan
4 Marques-Silva, João P.
4 Murano, Aniello
4 Niskanen, Andreas
4 Piazza, Carla
4 Roscoe, Andrew William
4 Roveri, Marco
4 Rybalchenko, Andrey
4 Schmidt, David A.
4 Schuppan, Viktor
4 Schuster, Assaf
4 Steffen, Bernhard
4 Sun, Jun
4 Tapparo, Francesco
4 Valmari, Antti
4 Wahl, Thomas
4 Wallner, Johannes Peter
4 Weissenbacher, Georg
4 Widder, Josef
3 Aminof, Benjamin
3 André, Étienne
3 Barnat, Jiří
3 Belardinelli, Francesco
3 Beneš, Nikola
3 Beyer, Dirk
3 Bozga, Marius
3 Cao, Yongzhi
3 Ciancia, Vincenzo
3 Dang, Thao
3 Edelkamp, Stefan
3 Esparza, Javier
3 Fantechi, Alessandro
3 Ferrari, Gian Luigi
3 Fisman, Dana
3 Frehse, Goran
3 Gallagher, John P.
3 Giannakopoulou, Dimitra
3 Gnesi, Stefania
3 Guha, Shibashis
3 Gutierrez, Julian
...and 1,208 more Authors
all top 5

Cited in 73 Serials

67 Formal Methods in System Design
53 Theoretical Computer Science
42 Formal Aspects of Computing
39 Information and Computation
23 Acta Informatica
17 Science of Computer Programming
15 Artificial Intelligence
14 Journal of Logical and Algebraic Methods in Programming
12 Journal of Automated Reasoning
10 Journal of Computer and System Sciences
10 Distributed Computing
8 Information Processing Letters
8 Annals of Mathematics and Artificial Intelligence
8 Fundamenta Informaticae
7 Programming and Computer Software
6 Automatica
6 Theory and Practice of Logic Programming
6 Logical Methods in Computer Science
5 Discrete Event Dynamic Systems
5 The Journal of Logic and Algebraic Programming
4 Journal of Symbolic Computation
4 ACM Transactions on Computational Logic
4 Nonlinear Analysis. Hybrid Systems
3 Information Sciences
3 Annals of Pure and Applied Logic
3 Mathematical Structures in Computer Science
3 International Journal of Foundations of Computer Science
3 Journal of Logic, Language and Information
3 Computer Languages, Systems & Structures
3 Science China. Information Sciences
2 Studia Logica
2 Journal of Computer Science and Technology
2 International Journal of Approximate Reasoning
2 Real-Time Systems
2 Journal of Applied Non-Classical Logics
2 The Journal of Artificial Intelligence Research (JAIR)
2 Theory of Computing Systems
2 International Journal of Applied Mathematics and Computer Science
2 RAIRO. Theoretical Informatics and Applications
2 RAIRO. Theoretical Informatics and Applications
2 Computer Science Review
2 Modelirovanie i Analiz Informatsionnykh Sistem
1 International Journal of General Systems
1 ACM Transactions on Database Systems
1 Fuzzy Sets and Systems
1 Journal of Philosophical Logic
1 Order
1 New Generation Computing
1 Journal of Parallel and Distributed Computing
1 Machine Learning
1 Games and Economic Behavior
1 RAIRO. Informatique Théorique et Applications
1 Cybernetics and Systems Analysis
1 Journal of Computer and Systems Sciences International
1 Applied Categorical Structures
1 Combinatorics, Probability and Computing
1 The Electronic Journal of Combinatorics
1 Constraints
1 Journal of Combinatorial Optimization
1 Journal of the ACM
1 Informatica (Vilnius)
1 Journal of Applied Mathematics
1 Mathematical Biosciences and Engineering
1 Science in China. Series F
1 Mathematics in Computer Science
1 Logica Universalis
1 Journal of Satisfiability, Boolean Modeling and Computation
1 Foundations and Trends in Theoretical Computer Science
1 Algorithms
1 Symmetry
1 Games
1 Frontiers of Computer Science in China
1 Frontiers of Computer Science

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.