×
Compute Distance To:
Author ID: kupferman.orna Recent zbMATH articles by "Kupferman, Orna"
Published as: Kupferman, Orna; Bernholtz, O.
Homepage: http://www.cs.huji.ac.il/~ornak/
External Links: MGP · ORCID · Wikidata · Google Scholar · dblp · IdRef · theses.fr
Documents Indexed: 190 Publications since 1994
Co-Authors: 78 Co-Authors with 180 Joint Publications
1,588 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

146 Publications have been cited 1,264 times in 770 Documents Cited by Year
Alternating-time temporal logic. Zbl 1326.68181
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna
240
2002
An automata-theoretic approach to branching-time model checking. Zbl 1133.68376
Kupferman, Orna; Vardi, Moshe Y.; Wolper, Pierre
102
2000
Alternating refinement relations. Zbl 1070.68524
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y.
48
1998
Weak alternating automata are not that weak. Zbl 1171.68551
Kupferman, Orna; Vardi, Moshe Y.
36
2001
Rational synthesis. Zbl 1284.68396
Fisman, Dana; Kupferman, Orna; Lustig, Yoad
33
2010
Model checking of safety properties. Zbl 0995.68061
Kupferman, Orna; Vardi, Moshe Y.
32
2001
Lattice automata. Zbl 1132.68455
Kupferman, Orna; Lustig, Yoad
29
2007
Concurrent reachability games. Zbl 1154.91306
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna
28
2007
From liveness to promptness. Zbl 1192.68416
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
27
2009
Weak alternating automata and tree automata emptiness. Zbl 1005.68525
Kupferman, Orna; Vardi, Moshe Y.
25
1998
What’s decidable about weighted automata? Zbl 1348.68089
Almagor, Shaull; Boker, Udi; Kupferman, Orna
24
2011
Module checking. Zbl 1003.68071
Kupferman, Orna; Vardi, Moshe Y.; Wolper, Pierre
24
2001
Fair simulation. Zbl 1009.68071
Henzinger, Thomas A.; Kupferman, Orna; Rajamani, Sriram K.
23
2002
Synthesis with incomplete information. Zbl 0953.68090
Kupferman, Orna; Vardi, Moshe Y.
19
2000
The complexity of the graded \(\mu\)-calculus. Zbl 1072.03014
Kupferman, Orna; Sattler, Ulrike; Vardi, Moshe Y.
19
2002
Safraless compositional synthesis. Zbl 1188.68193
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
17
2006
Church’s problem revisited. Zbl 0932.03029
Kupferman, Orna; Vardi, Moshe Y.
17
1999
An automata-theoretic approach to reasoning about infinite-state systems. Zbl 0974.68083
Kupferman, Orna; Vardi, Moshe Y.
17
2000
Open systems in reactive environments: Control and synthesis. Zbl 0999.68124
Kupferman, Orna; Madhusudan, P.; Thiagarajan, P. S.; Vardi, Moshe Y.
14
2000
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
13
2014
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
13
2016
Regular vacuity. Zbl 1159.68311
Bustan, Doron; Flaisher, Alon; Grumberg, Orna; Kupferman, Orna; Vardi, Moshe Y.
12
2005
Model checking of safety properties. Zbl 1046.68597
Kupferman, Orna; Vardi, Moshe Y.
12
1999
Variable automata over infinite alphabets. Zbl 1284.68352
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
11
2010
Vacuity detection in temporal model checking. Zbl 0961.68085
Kupferman, Orna; Vardi, Moshe Y.
11
1999
From linear time to branching time. Zbl 1367.68195
Kupferman, Orna; Vardi, Moshe Y.
11
2005
Pushdown specifications. Zbl 1023.68624
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
11
2002
Sanity checks in formal verification. Zbl 1151.68485
Kupferman, Orna
10
2006
On the complexity of verifying concurrent transition systems. Zbl 1009.68082
Harel, David; Kupferman, Orna; Vardi, Moshe Y.
10
2002
Repairing multi-player games. Zbl 1374.68317
Almagor, Shaull; Avni, Guy; Kupferman, Orna
10
2015
Network-formation games with regular objectives. Zbl 1353.91012
Avni, Guy; Kupferman, Orna; Tamir, Tami
9
2016
Improved model checking of hierarchical systems. Zbl 1277.68130
Aminof, Benjamin; Kupferman, Orna; Murano, Aniello
8
2012
Latticed simulation relations and games. Zbl 1200.68155
Kupferman, Orna; Lustig, Yoad
8
2010
Once and for all. Zbl 1245.03022
Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y.
8
2012
\(\mu\)-calculus synthesis. Zbl 0996.68107
Kupferman, Orna; Vardi, Moshe Y.
8
2000
Typeness for \(\omega\)-regular automata. Zbl 1098.68073
Kupferman, Orna; Morgenstern, Gila; Murano, Aniello
7
2006
Freedom, weakness, and determinism: From linear-time to branching-time. Zbl 0945.68522
Kupferman, Orna; Vardi, Moshe Y.
7
1998
Reasoning about online algorithms with weighted automata. Zbl 1300.68071
Aminof, Benjamin; Kupferman, Orna; Lampert, Robby
7
2010
Dynamic resource allocation games. Zbl 1403.91059
Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna
7
2016
Congestion games with multisets of resources and applications in synthesis. Zbl 1369.91007
Avni, Guy; Kupferman, Orna; Tamir, Tami
7
2015
On bounded specifications. Zbl 1275.68094
Kupferman, Orna; Vardi, Moshe Y.
7
2001
Formalizing and reasoning about quality. Zbl 1335.68130
Almagor, Shaull; Boker, Udi; Kupferman, Orna
6
2013
Nondeterminism in the presence of a diverse or unknown future. Zbl 1334.68112
Boker, Udi; Kuperberg, Denis; Kupferman, Orna; Skrzypczak, Michał
6
2013
Finding shortest witnesses to the nonemptiness of automata on infinite words. Zbl 1151.68462
Kupferman, Orna; Sheinvald-Faragy, Sarai
6
2006
Synthesis from component libraries with costs. Zbl 1417.68097
Avni, Guy; Kupferman, Orna
6
2014
Automata theory and model checking. Zbl 1392.68255
Kupferman, Orna
6
2018
Büchi complementation made tighter. Zbl 1096.68081
Friedgut, Ehud; Kupferman, Orna; Vardi, Moshe Y.
5
2006
Verifying quantitative properties using bound functions. Zbl 1159.68313
Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
5
2005
Network-formation games with regular objectives. Zbl 1348.91069
Avni, Guy; Kupferman, Orna; Tamir, Tami
5
2014
Alternation removal in Büchi automata. Zbl 1288.68148
Boker, Udi; Kupferman, Orna; Rosenberg, Adin
5
2010
On complementing nondeterministic Büchi automata. Zbl 1179.68070
Gurumurthy, Sankar; Kupferman, Orna; Somenzi, Fabio; Vardi, Moshe Y.
5
2003
On locally checkable properties. Zbl 1165.68408
Kupferman, Orna; Lustig, Yoad; Vardi, Moshe Y.
5
2006
Buy one, get one free!!! Zbl 0857.03009
Kupferman, Orna; Grumberg, Orna
5
1996
The weakness of self-complementation. Zbl 0924.03045
Kupferman, Orna; Vardi, Moshe Y.
5
1999
Relating word and tree automata. Zbl 1097.03034
Kupferman, Orna; Safra, Shmuel; Vardi, Moshe Y.
5
2006
Abstraction for falsification. Zbl 1081.68051
Ball, Thomas; Kupferman, Orna; Yorsh, Greta
5
2005
From pre-historic to post-modern symbolic model checking. Zbl 1074.68036
Henzinger, Thomas A.; Kupferman, Orna; Qadeer, Shaz
5
2003
From complementation to certification. Zbl 1126.68481
Kupferman, Orna; Vardi, Moshe Y.
4
2004
A measured collapse of the modal \(\mu \)-calculus alternation hierarchy. Zbl 1122.68470
Bustan, Doron; Kupferman, Orna; Vardi, Moshe Y.
4
2004
Büchi complementation made tighter. Zbl 1108.68068
Friedgut, Ehud; Kupferman, Orna; Vardi, Moshe Y.
4
2004
Latticed-LTL synthesis in the presence of noisy inputs. Zbl 1405.68178
Almagor, Shaull; Kupferman, Orna
4
2014
An automata-theoretic approach to infinite-state systems. Zbl 1288.68158
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
4
2010
Max and sum semantics for alternating weighted automata. Zbl 1348.68116
Almagor, Shaull; Kupferman, Orna
4
2011
From liveness to promptness. Zbl 1135.03336
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
4
2007
Leaping loops in the presence of abstraction. Zbl 1135.68465
Ball, Thomas; Kupferman, Orna; Sagiv, Mooly
4
2007
On verifying fault tolerance of distributed protocols. Zbl 1134.68317
Fisman, Dana; Kupferman, Orna; Lustig, Yoad
4
2008
Making weighted containment feasible: a heuristic based on simulation and abstraction. Zbl 1364.68242
Avni, Guy; Kupferman, Orna
4
2012
Extended temporal logic revisited. Zbl 1006.68086
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
4
2001
Model checking linear properties of prefix-recognizable systems. Zbl 1010.68078
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
4
2002
Trading probability for fairness. Zbl 1020.68060
Jurdzinski, Marcin; Kupferman, Orna; Henzinger, Thomas A.
4
2002
Augmenting branching temporal logics with existential quantification over atomic propositions. Zbl 0942.68072
Kupferman, Orna
4
1999
Robust satisfaction. Zbl 0939.68083
Kupferman, Orna; Vardi, Moshe Y.
4
1999
On the construction of fine automata for safety properties. Zbl 1161.68572
Kupferman, Orna; Lampert, Robby
4
2006
Translating to co-Büchi made tight, unified, and useful. Zbl 1351.68135
Boker, Udi; Kupferman, Orna
4
2012
On the complexity of parity word automata. Zbl 0978.68077
King, Valerie; Kupferman, Orna; Vardi, Moshe Y.
4
2001
The sensing cost of monitoring and synthesis. Zbl 1366.68131
Almagor, Shaull; Kuperberg, Denis; Kupferman, Orna
4
2015
On the universal and existential fragments of the \(\mu\)-calculus. Zbl 1088.68106
Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
3
2006
Rigorous approximated determinization of weighted automata. Zbl 1291.68224
Aminof, Benjamin; Kupferman, Orna; Lampert, Robby
3
2013
Promptness in \(\omega \)-regular automata. Zbl 1305.68108
Almagor, Shaull; Hirshfeld, Yoram; Kupferman, Orna
3
2010
Parityizing Rabin and Streett. Zbl 1245.68120
Boker, Udi; Kupferman, Orna; Steinitz, Avital
3
2010
\(\omega\)-regular languages are testable with a constant number of queries. Zbl 1086.68071
Chockler, Hana; Kupferman, Orna
3
2004
Reasoning about systems with transition fairness. Zbl 1108.68486
Aminof, Benjamin; Ball, Thomas; Kupferman, Orna
3
2005
Resets vs. aborts in linear temporal logic. Zbl 1031.68075
Armoni, Roy; Bustan, Doron; Kupferman, Orna; Vardi, Moshe Y.
3
2003
From complementation to certification. Zbl 1079.68060
Kupferman, Orna; Vardi, Moshe Y.
3
2005
The blow-up in translating LTL to deterministic automata. Zbl 1327.68161
Kupferman, Orna; Rosenberg, Adin
3
2011
Coverage metrics for temporal logic model checking. Zbl 0978.68092
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
3
2001
What causes a system to satisfy a specification? Zbl 1367.68185
Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna
3
2008
Synthesis of uninitialized systems. Zbl 1057.68060
Henzinger, Thomas A.; Krishnan, Sriram C.; Kupferman, Orna; Mang, Freddy Y. C.
3
2002
Formally reasoning about quality. Zbl 1426.68161
Almagor, Shaull; Boker, Udi; Kupferman, Orna
3
2016
Branching-depth hierarchies. Zbl 1260.03034
Shamir, Shoham; Kupferman, Orna; Shamir, Eli
2
2003
Typeness for \(\omega\)-regular automata. Zbl 1108.68070
Kupferman, Orna; Morgenstern, Gila; Murano, Aniello
2
2004
Coverage metrics for temporal logic model checking. Zbl 1105.68075
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
2
2006
When does abstraction help? Zbl 1284.68338
Avni, Guy; Kupferman, Orna
2
2013
Coverage metrics for formal verification. Zbl 1179.68080
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
2
2003
Fair equivalence relations. Zbl 1274.68194
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
2
2003
Formal analysis of online algorithms. Zbl 1348.68298
Aminof, Benjamin; Kupferman, Orna; Lampert, Robby
2
2011
Model checking systems and specifications with parameterized atomic propositions. Zbl 1374.68288
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
2
2012
Temporal synthesis for bounded systems and environments. Zbl 1230.68144
Kupferman, Orna; Lustig, Yoad; Vardi, Moshe Y.; Yannakakis, Mihalis
2
2011
Minimizing deterministic lattice automata. Zbl 1326.68194
Halamish, Shulamit; Kupferman, Orna
2
2011
Complementation constructions for nondeterministic automata on infinite words. Zbl 1087.68050
Kupferman, Orna; Vardi, Moshe Y.
2
2005
Certifying inexpressibility. Zbl 07410435
Kupferman, Orna; Sickert, Salomon
1
2021
Automata theory and model checking. Zbl 1392.68255
Kupferman, Orna
6
2018
An abstraction-refinement methodology for reasoning about network games. Zbl 1418.91097
Avni, Guy; Guha, Shibashis; Kupferman, Orna
2
2018
How deterministic are good-for-games automata? Zbl 07278090
Boker, Udi; Kupferman, Orna; Skrzypczak, Michal
1
2018
Synthesis from component libraries with costs. Zbl 1386.68099
Avni, Guy; Kupferman, Orna
1
2018
LTL with arithmetic and its applications in reasoning about hierarchical systems. Zbl 1415.68144
Faran, Rachel; Kupferman, Orna
1
2018
Hierarchical network formation games. Zbl 1457.91106
Kupferman, Orna; Tamir, Tami
2
2017
Timed network games. Zbl 1441.91014
Avni, Guy; Guha, Shibashis; Kupferman, Orna
1
2017
Latticed-LTL synthesis in the presence of noisy inputs. Zbl 1374.93029
Almagor, Shaull; Kupferman, Orna
1
2017
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
13
2016
Network-formation games with regular objectives. Zbl 1353.91012
Avni, Guy; Kupferman, Orna; Tamir, Tami
9
2016
Dynamic resource allocation games. Zbl 1403.91059
Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna
7
2016
Formally reasoning about quality. Zbl 1426.68161
Almagor, Shaull; Boker, Udi; Kupferman, Orna
3
2016
On high-quality synthesis. Zbl 1476.68150
Kupferman, Orna
1
2016
Minimizing expected cost under hard Boolean constraints, with applications to quantitative synthesis. Zbl 1392.68225
Almagor, Shaull; Kupferman, Orna; Velner, Yaron
1
2016
Repairing multi-player games. Zbl 1374.68317
Almagor, Shaull; Avni, Guy; Kupferman, Orna
10
2015
Congestion games with multisets of resources and applications in synthesis. Zbl 1369.91007
Avni, Guy; Kupferman, Orna; Tamir, Tami
7
2015
The sensing cost of monitoring and synthesis. Zbl 1366.68131
Almagor, Shaull; Kuperberg, Denis; Kupferman, Orna
4
2015
Stochastization of weighted automata. Zbl 1465.68130
Avni, Guy; Kupferman, Orna
2
2015
On relative and probabilistic finite counterability. Zbl 1373.68288
Kupferman, Orna; Vardi, Gal
2
2015
Profile trees for Büchi word automata, with application to determinization. Zbl 1336.68155
Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas
2
2015
Minimizing deterministic lattice automata. Zbl 1354.68156
Halamish, Shulamit; Kupferman, Orna
1
2015
Prime languages. Zbl 1312.68121
Kupferman, Orna; Mosheiff, Jonathan
1
2015
Spanning the spectrum from safety to liveness. Zbl 1408.68095
Faran, Rachel; Kupferman, Orna
1
2015
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
13
2014
Synthesis from component libraries with costs. Zbl 1417.68097
Avni, Guy; Kupferman, Orna
6
2014
Network-formation games with regular objectives. Zbl 1348.91069
Avni, Guy; Kupferman, Orna; Tamir, Tami
5
2014
Latticed-LTL synthesis in the presence of noisy inputs. Zbl 1405.68178
Almagor, Shaull; Kupferman, Orna
4
2014
A game-theoretic approach to simulation of data-parameterized systems. Zbl 1448.68300
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
2
2014
Regular sensing. Zbl 1360.68537
Almagor, Shaull; Kuperberg, Denis; Kupferman, Orna
2
2014
From reachability to temporal specifications in cost-sharing games. Zbl 1423.68272
Avni, Guy; Kupferman, Orna; Tamir, Tami
1
2014
Discounting in LTL. Zbl 1477.68163
Almagor, Shaull; Boker, Udi; Kupferman, Orna
1
2014
An abstraction-refinement framework for trigger querying. Zbl 1291.68242
Avni, Guy; Kupferman, Orna
1
2014
Formalizing and reasoning about quality. Zbl 1335.68130
Almagor, Shaull; Boker, Udi; Kupferman, Orna
6
2013
Nondeterminism in the presence of a diverse or unknown future. Zbl 1334.68112
Boker, Udi; Kuperberg, Denis; Kupferman, Orna; Skrzypczak, Michał
6
2013
Rigorous approximated determinization of weighted automata. Zbl 1291.68224
Aminof, Benjamin; Kupferman, Orna; Lampert, Robby
3
2013
When does abstraction help? Zbl 1284.68338
Avni, Guy; Kupferman, Orna
2
2013
A framework for ranking vacuity results. Zbl 1410.68216
Ben-David, Shoham; Kupferman, Orna
2
2013
An automata-theoretic approach to reasoning about parameterized systems and specifications. Zbl 1410.68228
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
2
2013
Unifying Büchi complementation constructions. Zbl 1274.68158
Fogarty, Seth J.; Kupferman, Orna; Wilke, Thomas; Vardi, Moshe Y.
1
2013
Profile trees for Büchi word automata, with application to determinization. Zbl 1464.68166
Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas
1
2013
Improved model checking of hierarchical systems. Zbl 1277.68130
Aminof, Benjamin; Kupferman, Orna; Murano, Aniello
8
2012
Once and for all. Zbl 1245.03022
Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y.
8
2012
Making weighted containment feasible: a heuristic based on simulation and abstraction. Zbl 1364.68242
Avni, Guy; Kupferman, Orna
4
2012
Translating to co-Büchi made tight, unified, and useful. Zbl 1351.68135
Boker, Udi; Kupferman, Orna
4
2012
Model checking systems and specifications with parameterized atomic propositions. Zbl 1374.68288
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
2
2012
Coping with selfish on-going behaviors. Zbl 1237.68115
Kupferman, Orna; Tamir, Tami
1
2012
Approximating deterministic lattice automata. Zbl 1375.68073
Halamish, Shulamit; Kupferman, Orna
1
2012
What’s decidable about weighted automata? Zbl 1348.68089
Almagor, Shaull; Boker, Udi; Kupferman, Orna
24
2011
Max and sum semantics for alternating weighted automata. Zbl 1348.68116
Almagor, Shaull; Kupferman, Orna
4
2011
The blow-up in translating LTL to deterministic automata. Zbl 1327.68161
Kupferman, Orna; Rosenberg, Adin
3
2011
Formal analysis of online algorithms. Zbl 1348.68298
Aminof, Benjamin; Kupferman, Orna; Lampert, Robby
2
2011
Temporal synthesis for bounded systems and environments. Zbl 1230.68144
Kupferman, Orna; Lustig, Yoad; Vardi, Moshe Y.; Yannakakis, Mihalis
2
2011
Minimizing deterministic lattice automata. Zbl 1326.68194
Halamish, Shulamit; Kupferman, Orna
2
2011
Unifying Büchi complementation constructions. Zbl 1247.68136
Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas
1
2011
Rational synthesis. Zbl 1284.68396
Fisman, Dana; Kupferman, Orna; Lustig, Yoad
33
2010
Variable automata over infinite alphabets. Zbl 1284.68352
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai
11
2010
Latticed simulation relations and games. Zbl 1200.68155
Kupferman, Orna; Lustig, Yoad
8
2010
Reasoning about online algorithms with weighted automata. Zbl 1300.68071
Aminof, Benjamin; Kupferman, Orna; Lampert, Robby
7
2010
Alternation removal in Büchi automata. Zbl 1288.68148
Boker, Udi; Kupferman, Orna; Rosenberg, Adin
5
2010
An automata-theoretic approach to infinite-state systems. Zbl 1288.68158
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
4
2010
Promptness in \(\omega \)-regular automata. Zbl 1305.68108
Almagor, Shaull; Hirshfeld, Yoram; Kupferman, Orna
3
2010
Parityizing Rabin and Streett. Zbl 1245.68120
Boker, Udi; Kupferman, Orna; Steinitz, Avital
3
2010
Erratum for “What causes a system to satisfy a specification?”. Zbl 1370.68197
Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna
2
2010
Synthesis of trigger properties. Zbl 1310.68143
Kupferman, Orna; Vardi, Moshe Y.
2
2010
The quest for a tight translation of Büchi to co-Büchi automata. Zbl 1287.68092
Boker, Udi; Kupferman, Orna
1
2010
Coping with selfish on-going behaviors. Zbl 1310.68135
Kupferman, Orna; Tamir, Tami
1
2010
From liveness to promptness. Zbl 1192.68416
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
27
2009
Reasoning about online algorithms with weighted automata. Zbl 1422.68318
Aminof, Benjamin; Kupferman, Orna; Lampert, Robby
1
2009
On verifying fault tolerance of distributed protocols. Zbl 1134.68317
Fisman, Dana; Kupferman, Orna; Lustig, Yoad
4
2008
What causes a system to satisfy a specification? Zbl 1367.68185
Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna
3
2008
Vacuity in testing. Zbl 1138.68437
Ball, Thomas; Kupferman, Orna
1
2008
On the relative succinctness of nondeterministic Büchi and co-Büchi word automata. Zbl 1182.68098
Aminof, Benjamin; Kupferman, Orna; Lev, Omer
1
2008
Lattice automata. Zbl 1132.68455
Kupferman, Orna; Lustig, Yoad
29
2007
Concurrent reachability games. Zbl 1154.91306
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna
28
2007
From liveness to promptness. Zbl 1135.03336
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
4
2007
Leaping loops in the presence of abstraction. Zbl 1135.68465
Ball, Thomas; Kupferman, Orna; Sagiv, Mooly
4
2007
Latticed simulation relations and games. Zbl 1141.68473
Kupferman, Orna; Lustig, Yoad
2
2007
Tightening the exchange rates between automata. Zbl 1179.68072
Kupferman, Orna
1
2007
Safraless compositional synthesis. Zbl 1188.68193
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
17
2006
Sanity checks in formal verification. Zbl 1151.68485
Kupferman, Orna
10
2006
Typeness for \(\omega\)-regular automata. Zbl 1098.68073
Kupferman, Orna; Morgenstern, Gila; Murano, Aniello
7
2006
Finding shortest witnesses to the nonemptiness of automata on infinite words. Zbl 1151.68462
Kupferman, Orna; Sheinvald-Faragy, Sarai
6
2006
Büchi complementation made tighter. Zbl 1096.68081
Friedgut, Ehud; Kupferman, Orna; Vardi, Moshe Y.
5
2006
On locally checkable properties. Zbl 1165.68408
Kupferman, Orna; Lustig, Yoad; Vardi, Moshe Y.
5
2006
Relating word and tree automata. Zbl 1097.03034
Kupferman, Orna; Safra, Shmuel; Vardi, Moshe Y.
5
2006
On the construction of fine automata for safety properties. Zbl 1161.68572
Kupferman, Orna; Lampert, Robby
4
2006
On the universal and existential fragments of the \(\mu\)-calculus. Zbl 1088.68106
Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
3
2006
Coverage metrics for temporal logic model checking. Zbl 1105.68075
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
2
2006
Verification of open systems. Zbl 1266.68133
Kupferman, Orna; Vardi, Moshe Y.
1
2006
Regular vacuity. Zbl 1159.68311
Bustan, Doron; Flaisher, Alon; Grumberg, Orna; Kupferman, Orna; Vardi, Moshe Y.
12
2005
From linear time to branching time. Zbl 1367.68195
Kupferman, Orna; Vardi, Moshe Y.
11
2005
Verifying quantitative properties using bound functions. Zbl 1159.68313
Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
5
2005
Abstraction for falsification. Zbl 1081.68051
Ball, Thomas; Kupferman, Orna; Yorsh, Greta
5
2005
Reasoning about systems with transition fairness. Zbl 1108.68486
Aminof, Benjamin; Ball, Thomas; Kupferman, Orna
3
2005
From complementation to certification. Zbl 1079.68060
Kupferman, Orna; Vardi, Moshe Y.
3
2005
Complementation constructions for nondeterministic automata on infinite words. Zbl 1087.68050
Kupferman, Orna; Vardi, Moshe Y.
2
2005
From complementation to certification. Zbl 1126.68481
Kupferman, Orna; Vardi, Moshe Y.
4
2004
A measured collapse of the modal \(\mu \)-calculus alternation hierarchy. Zbl 1122.68470
Bustan, Doron; Kupferman, Orna; Vardi, Moshe Y.
4
2004
Büchi complementation made tighter. Zbl 1108.68068
Friedgut, Ehud; Kupferman, Orna; Vardi, Moshe Y.
4
2004
...and 46 more Documents
all top 5

Cited by 1,044 Authors

51 Kupferman, Orna
31 Chatterjee, Krishnendu
29 Murano, Aniello
28 Vardi, Moshe Ya’akov
26 Henzinger, Thomas A.
20 Raskin, Jean-François
17 Wooldridge, Michael J.
15 Avni, Guy
15 Mogavero, Fabio
14 Gutierrez, Julian
13 Bozzelli, Laura
13 Zimmermann, Martín G.
12 Perelli, Giuseppe
12 Pinchinat, Sophie
11 Jamroga, Wojciech
11 Schewe, Sven
9 Baier, Christel
9 Doyen, Laurent
9 Laroussinie, François
9 Piterman, Nir
8 Ågotnes, Thomas
8 Chockler, Hana
8 Lange, Martin
8 Rubin, Sasha
8 van der Hoek, Wiebe
7 Alechina, Natasha
7 Benerecetti, Massimo
7 Bloem, Roderick
7 Bruyère, Véronique
7 Finkbeiner, Bernd
7 Fisman, Dana
7 Markey, Nicolas
7 Otop, Jan
7 Pérez, Guillermo A.
7 Pnueli, Amir
7 Sorrentino, Loredana
7 Tamir, Tami
6 Aminof, Benjamin
6 Boker, Udi
6 Broersen, Jan M.
6 Dell’Erba, Daniele
6 Ibsen-Jensen, Rasmus
6 Klein, Joachim
6 Klüppelholz, Sascha
6 Sickert, Salomon
6 Skrzypczak, Michał
6 van Ditmarsch, Hans Pieter
5 Alur, Rajeev
5 Bouyer, Patricia
5 Bulling, Nils
5 Demri, Stéphane P.
5 Faella, Marco
5 Filiot, Emmanuel
5 Gastin, Paul
5 Grumberg, Orna
5 Harrenstein, Paul
5 Křetínský, Jan
5 Kuperberg, Denis
5 Kwiatkowska, Marta Z.
5 Larsen, Kim Guldstrand
5 Legay, Axel
5 Logan, Brian
5 Lorini, Emiliano
5 Montanari, Angelo
5 Peron, Adriano
5 Reynolds, Mark Alexander
5 Weinert, Alexander
4 Almagor, Shaull
4 Belardinelli, Francesco
4 Bollig, Benedikt
4 Brihaye, Thomas
4 Della Monica, Dario
4 Dixon, Clare
4 Droste, Manfred
4 Ehlers, Rüdiger
4 Fogarty, Seth J.
4 French, Tim
4 Goranko, Valentin F.
4 Guelev, Dimitar P.
4 Guha, Shibashis
4 Hunt, Harry Bowen III
4 Jobstmann, Barbara
4 Klaedtke, Felix
4 Küpper, Sebastian
4 La Torre, Salvatore
4 Lehtinen, Karoliina
4 Li, Yongming
4 Lugiez, Denis
4 Majumdar, Rupak
4 Marathe, Madhav V.
4 Mazowiecki, Filip
4 Meinecke, Ingmar
4 Michaliszyn, Jakub
4 Napoli, Margherita
4 Naumov, Pavel G.
4 Niskanen, Reino
4 Pauly, Arno M.
4 Potapov, Igor
4 Quaas, Karin
4 Ravi, S. S.
...and 944 more Authors
all top 5

Cited in 67 Serials

92 Theoretical Computer Science
71 Information and Computation
39 Formal Methods in System Design
28 Acta Informatica
25 Artificial Intelligence
24 Journal of Computer and System Sciences
19 Logical Methods in Computer Science
13 Formal Aspects of Computing
13 International Journal of Foundations of Computer Science
13 ACM Transactions on Computational Logic
11 Information Processing Letters
11 Discrete Event Dynamic Systems
10 Synthese
9 Journal of Applied Logic
7 Studia Logica
7 Journal of Applied Non-Classical Logics
7 Journal of Logical and Algebraic Methods in Programming
6 Journal of Automated Reasoning
6 International Journal of Approximate Reasoning
6 Annals of Mathematics and Artificial Intelligence
5 Automatica
5 Journal of Logic, Language and Information
5 Journal of the ACM
5 The Journal of Logic and Algebraic Programming
5 Nonlinear Analysis. Hybrid Systems
4 Fuzzy Sets and Systems
4 Journal of Philosophical Logic
4 Science of Computer Programming
4 Annals of Pure and Applied Logic
4 MSCS. Mathematical Structures in Computer Science
4 Theory of Computing Systems
4 Frontiers of Computer Science
3 Fundamenta Informaticae
3 Journal of Applied Mathematics
3 The Review of Symbolic Logic
2 Systems & Control Letters
2 Algorithmica
2 Distributed Computing
2 Vestnik St. Petersburg University. Mathematics
2 Soft Computing
2 International Game Theory Review
2 Games
2 Computer Science Review
1 International Journal of Control
1 Information Sciences
1 The Journal of Symbolic Logic
1 Mathematics of Operations Research
1 Programming and Computer Software
1 Semigroup Forum
1 SIAM Journal on Computing
1 SIAM Journal on Control and Optimization
1 AI Communications
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 Computational & Mathematical Organization Theory
1 European Journal of Control
1 RAIRO. Theoretical Informatics and Applications
1 Methodology and Computing in Applied Probability
1 Sādhanā
1 Quantum Information Processing
1 Computational Management Science
1 Discrete Optimization
1 Algorithms
1 Science China. Information Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Dynamic Games and Applications
1 Journal of Applied and Computational Topology

Citations by Year

Wikidata Timeline

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