dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Orna Kupferman Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman: Recent Challenges and Ideas in Temporal Synthesis. SOFSEM 2012: 88-98
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Tami Tamir: Coping with selfish on-going behaviors. Inf. Comput. 210: 1-12 (2012)
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Orna Kupferman, Aniello Murano: Improved model checking of hierarchical systems. Inf. Comput. 210: 68-86 (2012)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Amir Pnueli, Moshe Y. Vardi: Once and for all. J. Comput. Syst. Sci. 78(3): 981-996 (2012)
2011
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaull Almagor, Orna Kupferman: Max and Sum Semantics for Alternating Weighted Automata. ATVA 2011: 13-27
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Orna Kupferman, Robby Lampert: Formal Analysis of Online Algorithms. ATVA 2011: 213-227
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaull Almagor, Udi Boker, Orna Kupferman: What's Decidable about Weighted Automata? ATVA 2011: 482-491
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke: Unifying Büchi Complementation Constructions. CSL 2011: 248-263
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUdi Boker, Orna Kupferman: Co-Büching Them All. FOSSACS 2011: 184-198
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShulamit Halamish, Orna Kupferman: Minimizing Deterministic Lattice Automata. FOSSACS 2011: 199-213
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Orna Kupferman, Robby Lampert: Rigorous Approximated Determinization of Weighted Automata. LICS 2011: 345-354
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUdi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman: Temporal Specifications with Accumulative Values. LICS 2011: 43-52
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy Avni, Orna Kupferman: An Abstraction-Refinement Framework for Trigger Querying. SAS 2011: 263-279
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis: Temporal Synthesis for Bounded Systems and Environments. STACS 2011: 615-626
2010
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaull Almagor, Yoram Hirshfeld, Orna Kupferman: Promptness in omega-Regular Automata. ATVA 2010: 22-36
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: An Automata-Theoretic Approach to Infinite-State Systems. Essays in Memory of Amir Pnueli 2010: 202-259
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUdi Boker, Orna Kupferman, Avital Steinitz: Parityizing Rabin and Streett. FSTTCS 2010: 412-423
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUdi Boker, Orna Kupferman: The Quest for a Tight Translation of Büchi to co-Büchi Automata. Fields of Logic and Computation 2010: 147-164
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUdi Boker, Orna Kupferman, Adin Rosenberg: Alternation Removal in Büchi Automata. ICALP (2) 2010: 76-87
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Grumberg, Orna Kupferman, Sarai Sheinvald: Variable Automata over Infinite Alphabets. LATA 2010: 561-572
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Synthesis of Trigger Properties. LPAR (Dakar) 2010: 312-331
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Tami Tamir: Coping with Selfish On-Going Behaviors. LPAR (Dakar) 2010: 501-516
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Adin Rosenberg: The Blowup in Translating LTL to Deterministic Automata. MoChArt 2010: 85-94
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana Fisman, Orna Kupferman, Yoad Lustig: Rational Synthesis. TACAS 2010: 190-204
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Orna Kupferman, Aniello Murano: Improved Model Checking of Hierarchical Systems. VMCAI 2010: 61-77
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman: Multi-Valued Automata and Their Applications. Logics and Languages for Reliability and Security 2010: 179-194
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Joseph Y. Halpern, Orna Kupferman: Erratum for "What causes a system to satisfy a specification?". ACM Trans. Comput. Log. 11(4): (2010)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Orna Kupferman, Robby Lampert: Reasoning about online algorithms with weighted automata. ACM Transactions on Algorithms 6(2): (2010)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Yoad Lustig: Latticed Simulation Relations and Games. Int. J. Found. Comput. Sci. 21(2): 167-189 (2010)
2009
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman: Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata. FOSSACS 2009: 182-196
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana Fisman, Orna Kupferman: Reasoning about Finite-State Switched Systems. Haifa Verification Conference 2009: 71-86
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUdi Boker, Orna Kupferman: Co-ing Büchi Made Tight and Useful. LICS 2009: 245-254
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Orna Kupferman, Robby Lampert: Reasoning about online algorithms with weighted automata. SODA 2009: 835-844
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana Fisman, Orna Kupferman, Yoad Lustig: Rational Synthesis CoRR abs/0907.3019: (2009)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: From liveness to promptness. Formal Methods in System Design 34(2): 83-103 (2009)
2008
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Wenchao Li, Sanjit A. Seshia: A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. FMCAD 2008: 1-9
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi: A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Orna Kupferman, Omer Lev: On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata. LPAR 2008: 183-197
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana Fisman, Orna Kupferman, Yoad Lustig: On Verifying Fault Tolerance of Distributed Protocols. TACAS 2008: 315-331
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Orna Kupferman: Vacuity in Testing. TAP 2008: 4-17
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Yoad Lustig: Multi-valued Logics, Automata, Simulations, and Games. VMCAI 2008: 5
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Joseph Y. Halpern, Orna Kupferman: What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9(3): (2008)
2007
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Yoad Lustig: Latticed Simulation Relations and Games. ATVA 2007: 316-330
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: From Liveness to Promptness. CAV 2007: 406-419
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Orna Kupferman, Mooly Sagiv: Leaping Loops in the Presence of Abstraction. CAV 2007: 491-503
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman: Tightening the Exchange Rates Between Automata. CSL 2007: 7-22
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Yoad Lustig: What Triggers a Behavior? FMCAD 2007: 146-153
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Yoad Lustig: Lattice Automata. VMCAI 2007: 199-213
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Orna Kupferman: Better Under-Approximation of Programs by Hiding Variables. VMCAI 2007: 314-328
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman: Exponential Gaps in our Knowledge. Bulletin of the EATCS 92: 45-64 (2007)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Thomas A. Henzinger, Orna Kupferman: Concurrent reachability games. Theor. Comput. Sci. 386(3): 188-217 (2007)
2006
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Robby Lampert: On the Construction of Fine Automata for Safety Properties. ATVA 2006: 110-124
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Orna Kupferman: On the Succinctness of Nondeterminism. ATVA 2006: 125-140
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Safraless Compositional Synthesis. CAV 2006: 31-44
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman: Sanity Checks in Formal Verification. CONCUR 2006: 37-51
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Sarai Sheinvald-Faragy: Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. CONCUR 2006: 492-508
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman: Avoiding Determinization. LICS 2006: 243-254
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Memoryful Branching-Time Logic. LICS 2006: 265-274
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Orna Kupferman: An Abstraction-Refinement Framework for Multi-Agent Systems. LICS 2006: 379-388
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Yoad Lustig, Moshe Y. Vardi: On Locally Checkable Properties. LPAR 2006: 302-316
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating word and tree automata. Ann. Pure Appl. Logic 138(1-3): 126-146 (2006)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for temporal logic model checking*. Formal Methods in System Design 28(3): 189-212 (2006)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhud Friedgut, Orna Kupferman, Moshe Y. Vardi: Büchi Complementation Made Tighter. Int. J. Found. Comput. Sci. 17(4): 851-868 (2006)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Gila Morgenstern, Aniello Murano: Typeness for omega-regular Automata. Int. J. Found. Comput. Sci. 17(4): 869-884 (2006)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for formal verification. STTT 8(4-5): 373-386 (2006)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Orna Kupferman, Greta Yorsh: Abstraction for Falsification. CAV 2005: 67-81
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi: Regular Vacuity. CHARME 2005: 191-206
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Safraless Decision Procedures. FOCS 2005: 531-542
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Complementation Constructions for Nondeterministic Automata on Infinite Words. TACAS 2005: 206-221
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: From linear time to branching time. ACM Trans. Comput. Log. 6(2): 273-294 (2005)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: From complementation to certification. Theor. Comput. Sci. 345(1): 83-100 (2005)
2004
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Gila Morgenstern, Aniello Murano: Typeness for omega-Regular Automata. ATVA 2004: 324-338
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhud Friedgut, Orna Kupferman, Moshe Y. Vardi: Büchi Complementation Made Tighter. ATVA 2004: 64-78
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Thomas Ball, Orna Kupferman: Reasoning About Systems with Transition Fairness. LPAR 2004: 194-208
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Bustan, Orna Kupferman, Moshe Y. Vardi: A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. STACS 2004: 522-533
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: From Complementation to Certification. TACAS 2004: 591-606
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman: w-Regular languages are testable with a constant number of queries. Theor. Comput. Sci. 329(1-3): 71-92 (2004)
2003
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Formal Verification. CHARME 2003: 111-125
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi: On Complementing Nondeterministic Büchi Automata. CHARME 2003: 96-110
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Pi2 cap Sigma2 equiv AFMC. ICALP 2003: 697-713
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the Universal and Existential Fragments of the µ-Calculus. TACAS 2003: 49-64
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi: Resets vs. Aborts in Linear Temporal Logic. TACAS 2003: 65-80
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations. Verification: Theory and Practice 2003: 702-732
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Joseph Y. Halpern, Orna Kupferman: What Causes a System to Satisfy a Specification? CoRR cs.LO/0312036: (2003)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, David Harel: Response to "Comments on 'On Object Systems and Behavior Inheritance'". IEEE Trans. Software Eng. 29(6): 576 (2003)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Vacuity detection in temporal model checking. STTT 4(2): 224-233 (2003)
2002
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Ulrike Sattler, Moshe Y. Vardi: The Complexity of the Graded µ-Calculus. CADE 2002: 423-437
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002: 371-385
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger: Trading Probability for Fairness. CSL 2002: 292-305
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang: Synthesis of Uninitialized Systems. ICALP 2002: 644-656
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman: Coverage of Implementations by Simulating Specifications. IFIP TCS 2002: 409-421
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Pushdown Specifications. LPAR 2002: 262-277
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Sharon Zuhovitzky: An Improved Algorithm for the Membership Problem for Extended Regular Expressions. MFCS 2002: 446-458
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman: omega-Regular Languages Are Testable with a Constant Number of Queries. RANDOM 2002: 26-28
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Orna Kupferman: On Object Systems and Behavioral Inheritance. IEEE Trans. Software Eng. 28(9): 889-903 (2002)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. Inf. Comput. 173(1): 64-81 (2002)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Thomas A. Henzinger, Orna Kupferman: Alternating-time temporal logic. J. ACM 49(5): 672-713 (2002)
2001
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Extended Temporal Logic Revisited. CONCUR 2001: 519-535
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValerie King, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Parity Word Automata. FoSSaCS 2001: 276-286
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Synthesizing Distributed Systems. LICS 2001: 389-398
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: On Bounded Specifications. LPAR 2001: 24-38
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Weak alternating automata are not that weak. ACM Trans. Comput. Log. 2(3): 408-429 (2001)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. Formal Methods in System Design 19(3): 291-314 (2001)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi, Pierre Wolper: Module Checking. Inf. Comput. 164(2): 322-344 (2001)
2000
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. CAV 2000: 36-52
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations. FSTTCS 2000: 151-163
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: µ-Calculus Synthesis. MFCS 2000: 497-507
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Orna Kupferman: On the Behavioral Inheritance of State-Based Objects. TOOLS (34) 2000: 83-94
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: An automata-theortetic approach to modular model checking. ACM Trans. Program. Lang. Syst. 22(1): 87-128 (2000)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShoham Shamir, Orna Kupferman, Eli Shamir: Branching-Depth Hierarchies. Electr. Notes Theor. Comput. Sci. 39(1): 65-78 (2000)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi, Pierre Wolper: An automata-theoretic approach to branching-time model checking. J. ACM 47(2): 312-360 (2000)
1999
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. CAV 1999: 172-183
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Vacuity Detection in Temporal Model Checking. CHARME 1999: 82-96
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Robust Satisfaction. CONCUR 1999: 383-398
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: The Weakness of Self-Complementation. STACS 1999: 455-466
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Church's problem revisited. Bulletin of Symbolic Logic 5(2): 245-263 (1999)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman: Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. J. Log. Comput. 9(2): 135-147 (1999)
1998
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Orna Kupferman, Shaz Qadeer: From Pre-historic to Post-modern Symbolic Model Checking. CAV 1998: 195-206
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: Alternating Refinement Relations. CONCUR 1998: 163-178
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Thomas A. Henzinger, Orna Kupferman: Concurrent Reachability Games. FOCS 1998: 564-575
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. LICS 1998: 81-92
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Relating linear and branching model checking. PROCOMET 1998: 304-326
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Weak Alternating Automata and Tree Automata Emptiness. STOC 1998: 224-233
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Verification of Fair Transition Systems. Chicago J. Theor. Comput. Sci. 1998: (1998)
1997
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Model Checking Revisited. CAV 1997: 36-47
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Thomas A. Henzinger, Orna Kupferman: Alternating-Time Temporal Logic. COMPOS 1997: 23-60
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Modular Model Checking. COMPOS 1997: 381-401
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997: 258-272
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. CONCUR 1997: 273-287
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Robert P. Kurshan, Mihalis Yannakakis: Existence of Reduction Hierarchies. CSL 1997: 327-340
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Thomas A. Henzinger, Orna Kupferman: Alternating-time Temporal Logic. FOCS 1997: 100-109
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Orna Kupferman: From Quantity to Quality. HART 1997: 48-62
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Weak Alternating Automata Are Not That Weak. ISTCS 1997: 147-158
1996
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Verification of Fair Transisiton Systems. CAV 1996: 372-382
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Module Checking. CAV 1996: 75-86
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996: 514-529
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating Word and Tree Automata. LICS 1996: 322-332
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Orna Grumberg: Branching-Time Temporal Logic and Tree Automata. Inf. Comput. 125(1): 62-69 (1996)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Orna Grumberg: Buy One, Get One Free!!! J. Log. Comput. 6(4): 523-539 (1996)
1995
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman: Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. CAV 1995: 325-338
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: On the Complexity of Branching Modular Model Checking (Extended Abstract). CONCUR 1995: 408-422
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Amir Pnueli: Once and For All LICS 1995: 25-35

Coauthor Index

1Luca de Alfaro [23] [99]
2Shaull Almagor [135] [143] [145]
3Rajeev Alur [12] [17] [24] [49]
4Benjamin Aminof [74] [97] [112] [117] [122] [125] [139] [144] [147]
5Roy Armoni [66]
6Guy Avni [137]
7Thomas Ball [74] [83] [91] [101] [105] [110]
8Udi Boker [118] [131] [132] [133] [138] [141] [143]
9Doron Bustan [66] [73] [82]
10Arindam Chakrabarti [81]
11Krishnendu Chatterjee [81] [138]
12Hana Chockler [43] [48] [53] [56] [64] [70] [71] [85] [88] [108] [123]
13Dana Fisman [111] [113] [116] [119] [126]
14Alon Flaisher [82]
15Seth Fogarty [142]
16Ehud Friedgut [75] [87]
17Orna Grumberg [4] [5] [82] [130]
18Sankar Gurumurthy [69]
19Shulamit Halamish [140]
20Joseph Y. Halpern [64] [108] [123]
21David Harel [15] [35] [50] [52] [62]
22Thomas A. Henzinger [7] [11] [12] [14] [17] [23] [24] [25] [49] [51] [57] [58] [63] [67] [81] [84] [99] [138]
23Yoram Hirshfeld [135]
24Marcin Jurdzinski [58]
25Valerie King [46]
26Sriram C. Krishnan [57]
27Robert P. Kurshan [13] [48]
28Robby Lampert [98] [117] [122] [139] [144]
29Omer Lev [112]
30Wenchao Li [114]
31Yoad Lustig [90] [102] [103] [107] [109] [111] [116] [121] [126] [136]
32P. Madhusudan (Parthasarathy Madhusudan) [38]
33Rupak Majumdar [67] [81] [84]
34Freddy Y. C. Mang [57]
35Gila Morgenstern [76] [86]
36Aniello Murano [76] [86] [125] [147]
37Nir Piterman [37] [47] [55] [59] [65] [96] [106] [115] [120] [134]
38Amir Pnueli [1] [146]
39Shaz Qadeer [25] [63]
40Sriram K. Rajamani [14] [51]
41Adin Rosenberg [127] [131]
42Shmuel Safra (Muli Safra) [6] [89]
43Shmuel Sagiv (Mooly Sagiv) [105]
44Ulrike Sattler [60]
45Sanjit A. Seshia [114]
46Eli Shamir [33]
47Shoham Shamir [33]
48Sarai Sheinvald (Sarai Sheinvald-Faragy) [94] [113] [130]
49Fabio Somenzi [69]
50Avital Steinitz [133]
51Tami Tamir [128] [148]
52P. S. Thiagarajan [38]
53Moshe Y. Vardi [2] [6] [7] [8] [9] [10] [15] [16] [18] [19] [20] [21] [22] [24] [27] [28] [29] [30] [31] [32] [34] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [50] [55] [59] [60] [61] [65] [66] [68] [69] [70] [72] [73] [75] [77] [78] [79] [80] [82] [85] [87] [88] [89] [90] [92] [96] [106] [113] [115] [129] [134] [136] [142] [146]
54Thomas Wilke [142]
55Pierre Wolper [32] [40]
56Mihalis Yannakakis [13] [136]
57Greta Yorsh [83]
58Sharon Zuhovitzky [54]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page