Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Orna Kupferman" ( http://dblp.L3S.de/Authors/Orna_Kupferman )

URL (Homepage):  http://www.cs.huji.ac.il/~ornak/  Author page on DBLP  Author page in RDF  Community of Orna Kupferman in ASPL-2

Publication years (Num. hits)
1995-1997 (18) 1998-2000 (21) 2001-2002 (21) 2003-2004 (16) 2005-2006 (22) 2007-2008 (16) 2009-2010 (21) 2011-2012 (14)
Publication types (Num. hits)
article(39) incollection(1) inproceedings(109)
Venues (Conferences, Journals, ...)
CAV(13) CONCUR(10) LICS(10) ATVA(9) TACAS(7) Inf. Comput.(6) CHARME(5) LPAR(5) ACM Trans. Comput. Log.(4) CSL(4) Formal Methods in System Desig...(4) FOSSACS(4) Theor. Comput. Sci.(4) VMCAI(4) FOCS(3) ICALP(3) More (+10 of total 55)
Authors
Orna Kupferman(149) Moshe Y. Vardi(67) Thomas A. Henzinger(18) Hana Chockler(11) Nir Piterman(10) Yoad Lustig(10) Benjamin Aminof(9) Udi Boker(7) Thomas Ball(6) Dana Fisman(5) David Harel(5) Robby Lampert(5) Aniello Murano(4) Orna Grumberg(4) Rajeev Alur(4) Doron Bustan(3) More (+10 of total 60)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 30 occurrences of 20 keywords
Results
Found 149 publication records. Showing 149 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Orna Kupferman, Tami Tamir Coping with selfish on-going behaviors. Search on Bibsonomy Inf. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Orna Kupferman, Aniello Murano Improved model checking of hierarchical systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Amir Pnueli, Moshe Y. Vardi Once and for all. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Orna Kupferman Recent Challenges and Ideas in Temporal Synthesis. Search on Bibsonomy SOFSEM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis Temporal Synthesis for Bounded Systems and Environments. Search on Bibsonomy STACS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shaull Almagor, Udi Boker, Orna Kupferman What's Decidable about Weighted Automata? Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shaull Almagor, Orna Kupferman Max and Sum Semantics for Alternating Weighted Automata. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Orna Kupferman, Robby Lampert Formal Analysis of Online Algorithms. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman Temporal Specifications with Accumulative Values. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Orna Kupferman, Robby Lampert Rigorous Approximated Determinization of Weighted Automata. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guy Avni, Orna Kupferman An Abstraction-Refinement Framework for Trigger Querying. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke Unifying Büchi Complementation Constructions. Search on Bibsonomy CSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shulamit Halamish, Orna Kupferman Minimizing Deterministic Lattice Automata. Search on Bibsonomy FOSSACS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Udi Boker, Orna Kupferman Co-Büching Them All. Search on Bibsonomy FOSSACS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Yoad Lustig Latticed Simulation Relations and Games. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Orna Kupferman, Robby Lampert Reasoning about online algorithms with weighted automata. Search on Bibsonomy ACM Transactions on Algorithms The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Joseph Y. Halpern, Orna Kupferman Erratum for "What causes a system to satisfy a specification?". Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Orna Kupferman Multi-Valued Automata and Their Applications. Search on Bibsonomy Logics and Languages for Reliability and Security The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Orna Grumberg, Orna Kupferman, Sarai Sheinvald Variable Automata over Infinite Alphabets. Search on Bibsonomy LATA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dana Fisman, Orna Kupferman, Yoad Lustig Rational Synthesis. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Moshe Y. Vardi Synthesis of Trigger Properties. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Tami Tamir Coping with Selfish On-Going Behaviors. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Udi Boker, Orna Kupferman, Adin Rosenberg Alternation Removal in Büchi Automata. Search on Bibsonomy ICALP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shaull Almagor, Yoram Hirshfeld, Orna Kupferman Promptness in omega-Regular Automata. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Adin Rosenberg The Blowup in Translating LTL to Deterministic Automata. Search on Bibsonomy MoChArt The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Udi Boker, Orna Kupferman The Quest for a Tight Translation of Büchi to co-Büchi Automata. Search on Bibsonomy Fields of Logic and Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Nir Piterman, Moshe Y. Vardi An Automata-Theoretic Approach to Infinite-State Systems. Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Orna Kupferman, Aniello Murano Improved Model Checking of Hierarchical Systems. Search on Bibsonomy VMCAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Udi Boker, Orna Kupferman, Avital Steinitz Parityizing Rabin and Streett. Search on Bibsonomy FSTTCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dana Fisman, Orna Kupferman, Yoad Lustig Rational Synthesis Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Orna Kupferman, Nir Piterman, Moshe Y. Vardi From liveness to promptness. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Verification, Temporal logic, Liveness
1Benjamin Aminof, Orna Kupferman, Robby Lampert Reasoning about online algorithms with weighted automata. Search on Bibsonomy SODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Udi Boker, Orna Kupferman Co-ing Büchi Made Tight and Useful. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dana Fisman, Orna Kupferman Reasoning about Finite-State Switched Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Nir Piterman Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata. Search on Bibsonomy FOSSACS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Joseph Y. Halpern, Orna Kupferman What causes a system to satisfy a specification?. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model checking, causality, responsibility, coverage metrics
1Dana Fisman, Orna Kupferman, Yoad Lustig On Verifying Fault Tolerance of Distributed Protocols. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Wenchao Li, Sanjit A. Seshia A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Orna Kupferman, Omer Lev On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Orna Kupferman Vacuity in Testing. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi A Framework for Inherent Vacuity. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Yoad Lustig Multi-valued Logics, Automata, Simulations, and Games. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman Concurrent reachability games. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Orna Kupferman Exponential Gaps in our Knowledge. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2007 DBLP  BibTeX  RDF
1Orna Kupferman, Yoad Lustig What Triggers a Behavior? Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Yoad Lustig Latticed Simulation Relations and Games. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Orna Kupferman, Mooly Sagiv Leaping Loops in the Presence of Abstraction. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Nir Piterman, Moshe Y. Vardi From Liveness to Promptness. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Orna Kupferman Better Under-Approximation of Programs by Hiding Variables. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Yoad Lustig Lattice Automata. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Orna Kupferman Tightening the Exchange Rates Between Automata. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar On the universal and existential fragments of the mu-calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Gila Morgenstern, Aniello Murano Typeness for omega-regular Automata. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi Büchi Complementation Made Tighter. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Shmuel Safra, Moshe Y. Vardi Relating word and tree automata. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Orna Kupferman, Moshe Y. Vardi Coverage metrics for formal verification. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Algorithms, Model checking, Formal verification, Coverage metrics
1Hana Chockler, Orna Kupferman, Moshe Y. Vardi Coverage metrics for temporal logic model checking*. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Algorithms, Model checking, Formal verification, Coverage metrics
1Orna Kupferman Sanity Checks in Formal Verification. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Sarai Sheinvald-Faragy Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Yoad Lustig, Moshe Y. Vardi On Locally Checkable Properties. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Robby Lampert On the Construction of Fine Automata for Safety Properties. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Orna Kupferman On the Succinctness of Nondeterminism. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Nir Piterman, Moshe Y. Vardi Safraless Compositional Synthesis. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Orna Kupferman Avoiding Determinization. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Orna Kupferman An Abstraction-Refinement Framework for Multi-Agent Systems. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Moshe Y. Vardi Memoryful Branching-Time Logic. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Moshe Y. Vardi From complementation to certification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Moshe Y. Vardi From linear time to branching time. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF alternation-free ?-calculus, Linear temporal logic
1Orna Kupferman, Moshe Y. Vardi Complementation Constructions for Nondeterministic Automata on Infinite Words. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar Verifying Quantitative Properties Using Bound Functions. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi Regular Vacuity. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Orna Kupferman, Greta Yorsh Abstraction for Falsification. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Moshe Y. Vardi Safraless Decision Procedures. Search on Bibsonomy FOCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Orna Kupferman w-Regular languages are testable with a constant number of queries. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Moshe Y. Vardi From Complementation to Certification. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Thomas Ball, Orna Kupferman Reasoning About Systems with Transition Fairness. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Doron Bustan, Orna Kupferman, Moshe Y. Vardi A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. Search on Bibsonomy STACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Gila Morgenstern, Aniello Murano Typeness for omega-Regular Automata. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi Büchi Complementation Made Tighter. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, David Harel Response to "Comments on 'On Object Systems and Behavior Inheritance'". (PDF / PS) Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Joseph Y. Halpern, Orna Kupferman What Causes a System to Satisfy a Specification? Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Orna Kupferman, Moshe Y. Vardi Vacuity detection in temporal model checking. Search on Bibsonomy STTT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Vacuous satisfaction, Model checking
1Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer From Pre-Historic to Post-Modern Symbolic Model Checking. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2003 DBLP  DOI  BibTeX  RDF forward traversal, regular specifications, symbolic model checking, calculus
1Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi Resets vs. Aborts in Linear Temporal Logic. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar On the Universal and Existential Fragments of the µ-Calculus. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Moshe Y. Vardi Pi2 cap Sigma2 equiv AFMC. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  BibTeX  RDF
1Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi On Complementing Nondeterministic Büchi Automata. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Orna Kupferman, Moshe Y. Vardi Coverage Metrics for Formal Verification. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Nir Piterman, Moshe Y. Vardi Fair Equivalence Relations. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1David Harel, Orna Kupferman On Object Systems and Behavioral Inheritance. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF object systems, trace containment, simulation, verification, inheritance, Object-oriented analysis and design
1David Harel, Orna Kupferman, Moshe Y. Vardi On the Complexity of Verifying Concurrent Transition Systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani Fair Simulation. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-time temporal logic. Search on Bibsonomy J. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF temporaxl logic, model checking, games, Alternation
1Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi The Complexity of the Graded µ-Calculus. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Nir Piterman, Moshe Y. Vardi Pushdown Specifications. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang Synthesis of Uninitialized Systems. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Sharon Zuhovitzky An Improved Algorithm for the Membership Problem for Extended Regular Expressions. Search on Bibsonomy MFCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Orna Kupferman Coverage of Implementations by Simulating Specifications. Search on Bibsonomy IFIP TCS The full citation details ... 2002 DBLP  BibTeX  RDF
1Orna Kupferman, Nir Piterman, Moshe Y. Vardi Model Checking Linear Properties of Prefix-Recognizable Systems. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Orna Kupferman omega-Regular Languages Are Testable with a Constant Number of Queries. Search on Bibsonomy RANDOM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 149 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.