Orna Kupferman
Orna Kupferman
Professor of Computer Science, The Hebrew University
Verified email at cs.huji.ac.il
TitleCited byYear
Alternating-time temporal logic
R Alur, TA Henzinger, O Kupferman
Journal of the ACM (JACM) 49 (5), 672-713, 2002
14412002
An automata-theoretic approach to branching-time model checking
O Kupferman, MY Vardi, P Wolper
Journal of the ACM (JACM) 47 (2), 312-360, 2000
6222000
Alternating-time temporal logic
R Alur, TA Henzinger, O Kupferman
International Symposium on Compositionality, 23-60, 1997
5141997
Model checking of safety properties
O Kupferman, MY Vardi
Formal Methods in System Design 19 (3), 291-314, 2001
4192001
Alternating refinement relations
R Alur, TA Henzinger, O Kupferman, MY Vardi
International Conference on Concurrency Theory, 163-178, 1998
3661998
Weak alternating automata are not that weak
O Kupferman, MY Vardi
ACM Transactions on Computational Logic (TOCL) 2 (3), 408-429, 2001
2912001
An automata-theoretic approach to branching-time model checking
O Bernholtz, MY Vardi, P Wolper
International Conference on Computer Aided Verification, 142-155, 1994
2541994
Safraless decision procedures
O Kupferman, MY Vardi
46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05), 531-540, 2005
2222005
Concurrent reachability games
L De Alfaro, TA Henzinger, O Kupferman
Theoretical Computer Science 386 (3), 188-217, 2007
2192007
Module checking revisited
O Kupferman, MY Vardi
International Conference on Computer Aided Verification, 36-47, 1997
206*1997
Synthesis with incomplete informatio
O Kupfermant, MY Vardit
Advances in Temporal Logic, 109-127, 2000
1982000
Module checking
O Kupferman, MY Vardi, P Wolper
Information and Computation 164 (2), 322-344, 2001
1872001
Vacuity detection in temporal model checking
O Kupferman, MY Vardi
International Journal on Software Tools for Technology Transfer 4 (2), 224-233, 2003
1542003
Model checking of safety properties
O Kupferman, MY Vardi
International Conference on Computer Aided Verification, 172-183, 1999
1381999
Weak alternating automata and tree automata emptiness
O Kupferman, MY Vardi
STOC 98, 224-233, 1998
1331998
Lattice automata
O Kupferman, Y Lustig
International Workshop on Verification, Model Checking, and Abstract …, 2007
1202007
Open systems in reactive environments: Control and synthesis
O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi
International Conference on Concurrency Theory, 92-107, 2000
1202000
A practical approach to coverage in model checking
H Chockler, O Kupferman, RP Kurshan, MY Vardi
International Conference on Computer Aided Verification, 66-78, 2001
1172001
Modular model checking
O Kupferman, MY Vardi
International Symposium on Compositionality, 381-401, 1997
1121997
Rational synthesis
D Fisman, O Kupferman, Y Lustig
International Conference on Tools and Algorithms for the Construction and …, 2010
1022010
The system can't perform the operation now. Try again later.
Articles 1–20