2009 | ||
---|---|---|
115 | EE | Orna Kupferman, Nir Piterman: Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata. FOSSACS 2009: 182-196 |
114 | EE | Benjamin Aminof, Orna Kupferman, Robby Lampert: Reasoning about online algorithms with weighted automata. SODA 2009: 835-844 |
113 | EE | Orna Kupferman, Nir Piterman, Moshe Y. Vardi: From liveness to promptness. Formal Methods in System Design 34(2): 83-103 (2009) |
2008 | ||
112 | EE | Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi: A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22 |
111 | EE | Benjamin Aminof, Orna Kupferman, Omer Lev: On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata. LPAR 2008: 183-197 |
110 | EE | Dana Fisman, Orna Kupferman, Yoad Lustig: On Verifying Fault Tolerance of Distributed Protocols. TACAS 2008: 315-331 |
109 | EE | Thomas Ball, Orna Kupferman: Vacuity in Testing. TAP 2008: 4-17 |
108 | EE | Orna Kupferman, Yoad Lustig: Multi-valued Logics, Automata, Simulations, and Games. VMCAI 2008: 5 |
107 | EE | Hana Chockler, Joseph Y. Halpern, Orna Kupferman: What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9(3): (2008) |
2007 | ||
106 | EE | Orna Kupferman, Yoad Lustig: Latticed Simulation Relations and Games. ATVA 2007: 316-330 |
105 | EE | Orna Kupferman, Nir Piterman, Moshe Y. Vardi: From Liveness to Promptness. CAV 2007: 406-419 |
104 | EE | Thomas Ball, Orna Kupferman, Mooly Sagiv: Leaping Loops in the Presence of Abstraction. CAV 2007: 491-503 |
103 | EE | Orna Kupferman: Tightening the Exchange Rates Between Automata. CSL 2007: 7-22 |
102 | EE | Orna Kupferman, Yoad Lustig: What Triggers a Behavior? FMCAD 2007: 146-153 |
101 | EE | Orna Kupferman, Yoad Lustig: Lattice Automata. VMCAI 2007: 199-213 |
100 | EE | Thomas Ball, Orna Kupferman: Better Under-Approximation of Programs by Hiding Variables. VMCAI 2007: 314-328 |
99 | EE | Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman: Concurrent reachability games. Theor. Comput. Sci. 386(3): 188-217 (2007) |
2006 | ||
98 | EE | Orna Kupferman, Robby Lampert: On the Construction of Fine Automata for Safety Properties. ATVA 2006: 110-124 |
97 | EE | Benjamin Aminof, Orna Kupferman: On the Succinctness of Nondeterminism. ATVA 2006: 125-140 |
96 | EE | Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Safraless Compositional Synthesis. CAV 2006: 31-44 |
95 | EE | Orna Kupferman: Sanity Checks in Formal Verification. CONCUR 2006: 37-51 |
94 | EE | Orna Kupferman, Sarai Sheinvald-Faragy: Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. CONCUR 2006: 492-508 |
93 | EE | Orna Kupferman: Avoiding Determinization. LICS 2006: 243-254 |
92 | EE | Orna Kupferman, Moshe Y. Vardi: Memoryful Branching-Time Logic. LICS 2006: 265-274 |
91 | EE | Thomas Ball, Orna Kupferman: An Abstraction-Refinement Framework for Multi-Agent Systems. LICS 2006: 379-388 |
90 | EE | Orna Kupferman, Yoad Lustig, Moshe Y. Vardi: On Locally Checkable Properties. LPAR 2006: 302-316 |
89 | EE | Orna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating word and tree automata. Ann. Pure Appl. Logic 138(1-3): 126-146 (2006) |
88 | EE | Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for temporal logic model checking*. Formal Methods in System Design 28(3): 189-212 (2006) |
87 | EE | Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi: Büchi Complementation Made Tighter. Int. J. Found. Comput. Sci. 17(4): 851-868 (2006) |
86 | EE | Orna Kupferman, Gila Morgenstern, Aniello Murano: Typeness for omega-regular Automata. Int. J. Found. Comput. Sci. 17(4): 869-884 (2006) |
85 | EE | Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for formal verification. STTT 8(4-5): 373-386 (2006) |
84 | EE | Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the universal and existential fragments of the mu-calculus. Theor. Comput. Sci. 354(2): 173-186 (2006) |
2005 | ||
83 | EE | Thomas Ball, Orna Kupferman, Greta Yorsh: Abstraction for Falsification. CAV 2005: 67-81 |
82 | EE | Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi: Regular Vacuity. CHARME 2005: 191-206 |
81 | EE | Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64 |
80 | EE | Orna Kupferman, Moshe Y. Vardi: Safraless Decision Procedures. FOCS 2005: 531-542 |
79 | EE | Orna Kupferman, Moshe Y. Vardi: Complementation Constructions for Nondeterministic Automata on Infinite Words. TACAS 2005: 206-221 |
78 | EE | Orna Kupferman, Moshe Y. Vardi: From linear time to branching time. ACM Trans. Comput. Log. 6(2): 273-294 (2005) |
77 | EE | Orna Kupferman, Moshe Y. Vardi: From complementation to certification. Theor. Comput. Sci. 345(1): 83-100 (2005) |
2004 | ||
76 | EE | Orna Kupferman, Gila Morgenstern, Aniello Murano: Typeness for omega-Regular Automata. ATVA 2004: 324-338 |
75 | EE | Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi: Büchi Complementation Made Tighter. ATVA 2004: 64-78 |
74 | EE | Benjamin Aminof, Thomas Ball, Orna Kupferman: Reasoning About Systems with Transition Fairness. LPAR 2004: 194-208 |
73 | EE | Doron Bustan, Orna Kupferman, Moshe Y. Vardi: A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. STACS 2004: 522-533 |
72 | EE | Orna Kupferman, Moshe Y. Vardi: From Complementation to Certification. TACAS 2004: 591-606 |
71 | EE | Hana Chockler, Orna Kupferman: w-Regular languages are testable with a constant number of queries. Theor. Comput. Sci. 329(1-3): 71-92 (2004) |
2003 | ||
70 | EE | Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Formal Verification. CHARME 2003: 111-125 |
69 | EE | Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi: On Complementing Nondeterministic Büchi Automata. CHARME 2003: 96-110 |
68 | EE | Orna Kupferman, Moshe Y. Vardi: Pi2 cap Sigma2 equiv AFMC. ICALP 2003: 697-713 |
67 | EE | Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the Universal and Existential Fragments of the µ-Calculus. TACAS 2003: 49-64 |
66 | EE | Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi: Resets vs. Aborts in Linear Temporal Logic. TACAS 2003: 65-80 |
65 | EE | Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations. Verification: Theory and Practice 2003: 702-732 |
64 | EE | Hana Chockler, Joseph Y. Halpern, Orna Kupferman: What Causes a System to Satisfy a Specification? CoRR cs.LO/0312036: (2003) |
63 | EE | Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer: From Pre-Historic to Post-Modern Symbolic Model Checking. Formal Methods in System Design 23(3): 303-327 (2003) |
62 | EE | Orna Kupferman, David Harel: Response to "Comments on 'On Object Systems and Behavior Inheritance'". IEEE Trans. Software Eng. 29(6): 576 (2003) |
61 | EE | Orna Kupferman, Moshe Y. Vardi: Vacuity detection in temporal model checking. STTT 4(2): 224-233 (2003) |
2002 | ||
60 | EE | Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi: The Complexity of the Graded µ-Calculus. CADE 2002: 423-437 |
59 | EE | Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002: 371-385 |
58 | EE | Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger: Trading Probability for Fairness. CSL 2002: 292-305 |
57 | EE | Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang: Synthesis of Uninitialized Systems. ICALP 2002: 644-656 |
56 | Hana Chockler, Orna Kupferman: Coverage of Implementations by Simulating Specifications. IFIP TCS 2002: 409-421 | |
55 | EE | Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Pushdown Specifications. LPAR 2002: 262-277 |
54 | EE | Orna Kupferman, Sharon Zuhovitzky: An Improved Algorithm for the Membership Problem for Extended Regular Expressions. MFCS 2002: 446-458 |
53 | EE | Hana Chockler, Orna Kupferman: omega-Regular Languages Are Testable with a Constant Number of Queries. RANDOM 2002: 26-28 |
52 | EE | David Harel, Orna Kupferman: On Object Systems and Behavioral Inheritance. IEEE Trans. Software Eng. 28(9): 889-903 (2002) |
51 | EE | Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. Inf. Comput. 173(1): 64-81 (2002) |
50 | EE | David Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002) |
49 | EE | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman: Alternating-time temporal logic. J. ACM 49(5): 672-713 (2002) |
2001 | ||
48 | EE | Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78 |
47 | EE | Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Extended Temporal Logic Revisited. CONCUR 2001: 519-535 |
46 | EE | Valerie King, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Parity Word Automata. FoSSaCS 2001: 276-286 |
45 | Orna Kupferman, Moshe Y. Vardi: Synthesizing Distributed Systems. LICS 2001 | |
44 | EE | Orna Kupferman, Moshe Y. Vardi: On Bounded Specifications. LPAR 2001: 24-38 |
43 | EE | Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542 |
42 | EE | Orna Kupferman, Moshe Y. Vardi: Weak alternating automata are not that weak. ACM Trans. Comput. Log. 2(3): 408-429 (2001) |
41 | Orna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. Formal Methods in System Design 19(3): 291-314 (2001) | |
40 | Orna Kupferman, Moshe Y. Vardi, Pierre Wolper: Module Checking. Inf. Comput. 164(2): 322-344 (2001) | |
2000 | ||
39 | Orna Kupferman, Moshe Y. Vardi: An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. CAV 2000: 36-52 | |
38 | EE | Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107 |
37 | EE | Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations. FSTTCS 2000: 151-163 |
36 | EE | Orna Kupferman, Moshe Y. Vardi: µ-Calculus Synthesis. MFCS 2000: 497-507 |
35 | EE | David Harel, Orna Kupferman: On the Behavioral Inheritance of State-Based Objects. TOOLS (34) 2000: 83-94 |
34 | EE | Orna Kupferman, Moshe Y. Vardi: An automata-theortetic approach to modular model checking. ACM Trans. Program. Lang. Syst. 22(1): 87-128 (2000) |
33 | EE | Shoham Shamir, Orna Kupferman, Eli Shamir: Branching-Depth Hierarchies. Electr. Notes Theor. Comput. Sci. 39(1): (2000) |
32 | EE | Orna Kupferman, Moshe Y. Vardi, Pierre Wolper: An automata-theoretic approach to branching-time model checking. J. ACM 47(2): 312-360 (2000) |
1999 | ||
31 | EE | Orna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. CAV 1999: 172-183 |
30 | EE | Orna Kupferman, Moshe Y. Vardi: Vacuity Detection in Temporal Model Checking. CHARME 1999: 82-96 |
29 | EE | Orna Kupferman, Moshe Y. Vardi: Robust Satisfaction. CONCUR 1999: 383-398 |
28 | EE | Orna Kupferman, Moshe Y. Vardi: The Weakness of Self-Complementation. STACS 1999: 455-466 |
27 | EE | Orna Kupferman, Moshe Y. Vardi: Church's problem revisited. Bulletin of Symbolic Logic 5(2): 245-263 (1999) |
26 | EE | Orna Kupferman: Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. J. Log. Comput. 9(2): 135-147 (1999) |
1998 | ||
25 | Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer: From Pre-historic to Post-modern Symbolic Model Checking. CAV 1998: 195-206 | |
24 | EE | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: Alternating Refinement Relations. CONCUR 1998: 163-178 |
23 | EE | Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman: Concurrent Reachability Games. FOCS 1998: 564-575 |
22 | Orna Kupferman, Moshe Y. Vardi: Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. LICS 1998: 81-92 | |
21 | Orna Kupferman, Moshe Y. Vardi: Relating linear and branching model checking. PROCOMET 1998: 304-326 | |
20 | EE | Orna Kupferman, Moshe Y. Vardi: Weak Alternating Automata and Tree Automata Emptiness. STOC 1998: 224-233 |
19 | EE | Orna Kupferman, Moshe Y. Vardi: Verification of Fair Transition Systems. Chicago J. Theor. Comput. Sci. 1998: (1998) |
1997 | ||
18 | Orna Kupferman, Moshe Y. Vardi: Model Checking Revisited. CAV 1997: 36-47 | |
17 | EE | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman: Alternating-Time Temporal Logic. COMPOS 1997: 23-60 |
16 | EE | Orna Kupferman, Moshe Y. Vardi: Modular Model Checking. COMPOS 1997: 381-401 |
15 | David Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997: 258-272 | |
14 | Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. CONCUR 1997: 273-287 | |
13 | Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis: Existence of Reduction Hierarchies. CSL 1997: 327-340 | |
12 | EE | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman: Alternating-time Temporal Logic. FOCS 1997: 100-109 |
11 | Thomas A. Henzinger, Orna Kupferman: From Quantity to Quality. HART 1997: 48-62 | |
10 | EE | Orna Kupferman, Moshe Y. Vardi: Weak Alternating Automata Are Not That Weak. ISTCS 1997: 147-158 |
1996 | ||
9 | Orna Kupferman, Moshe Y. Vardi: Verification of Fair Transisiton Systems. CAV 1996: 372-382 | |
8 | Orna Kupferman, Moshe Y. Vardi: Module Checking. CAV 1996: 75-86 | |
7 | Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996: 514-529 | |
6 | Orna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating Word and Tree Automata. LICS 1996: 322-332 | |
5 | Orna Kupferman, Orna Grumberg: Branching-Time Temporal Logic and Tree Automata. Inf. Comput. 125(1): 62-69 (1996) | |
4 | Orna Kupferman, Orna Grumberg: Buy One, Get One Free!!! J. Log. Comput. 6(4): 523-539 (1996) | |
1995 | ||
3 | Orna Kupferman: Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. CAV 1995: 325-338 | |
2 | Orna Kupferman, Moshe Y. Vardi: On the Complexity of Branching Modular Model Checking (Extended Abstract). CONCUR 1995: 408-422 | |
1 | Orna Kupferman, Amir Pnueli: Once and For All LICS 1995: 25-35 |