Stebėti
Orna Kupferman
Orna Kupferman
Professor of Computer Science, The Hebrew University
Patvirtintas el. paštas cs.huji.ac.il
Pavadinimas
Cituota
Cituota
Metai
Alternating-time temporal logic
R Alur, TA Henzinger, O Kupferman
Journal of the ACM (JACM) 49 (5), 672-713, 2002
2280*2002
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
6962000
Model checking of safety properties
O Kupferman, MY Vardi
Formal methods in system design 19, 291-314, 2001
6942001
Alternating refinement relations
R Alur, TA Henzinger, O Kupferman, MY Vardi
CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998
4521998
Weak alternating automata are not that weak
O Kupferman, MY Vardi
ACM Transactions on Computational Logic (TOCL) 2 (3), 408-429, 2001
3682001
Concurrent reachability games
L De Alfaro, TA Henzinger, O Kupferman
Theoretical computer science 386 (3), 188-217, 2007
3022007
Safraless decision procedures
O Kupferman, MY Vardi
46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05), 531-540, 2005
3012005
An automata-theoretic approach to branching-time model checking
O Bernholtz, MY Vardi, P Wolper
Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994
2721994
Synthesis with incomplete informatio
O Kupfermant, MY Vardit
Advances in temporal logic, 109-127, 2000
2382000
Module checking revisited
O Kupferman, MY Vardi
International Conference on Computer Aided Verification, 36-47, 1997
235*1997
Module checking
O Kupferman, MY Vardi, P Wolper
Information and Computation 164 (2), 322-344, 2001
2132001
Vacuity detection in temporal model checking
O Kupferman, MY Vardi
International Journal on Software Tools for Technology Transfer 4, 224-233, 2003
1942003
Model checking of safety properties
O Kupferman, MY Vardi
International Conference on Computer Aided Verification, 172-183, 1999
1901999
Rational synthesis
D Fisman, O Kupferman, Y Lustig
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
1772010
Weak alternating automata and tree automata emptiness
O Kupferman, MY Vardi
Proceedings of the thirtieth annual ACM symposium on Theory of computing …, 1998
1601998
Lattice automata
O Kupferman, Y Lustig
International Workshop on Verification, Model Checking, and Abstract …, 2007
1522007
Coverage metrics for formal verification
H Chockler, O Kupferman, MY Vardi
Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced …, 2003
1422003
Open systems in reactive environments: Control and synthesis
O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi
CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000
1382000
Temporal specifications with accumulative values
U Boker, K Chatterjee, TA Henzinger, O Kupferman
ACM Transactions on Computational Logic (TOCL) 15 (4), 1-25, 2014
1282014
A practical approach to coverage in model checking
H Chockler, O Kupferman, RP Kurshan, MY Vardi
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
1282001
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20