Search the dblp DataBase

Publications of Author

1. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
   Fair Equivalence Relations. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:702-732 [Conf]
   
2. Olga Grinchtein, Martin Leucker, Nir Piterman
   Inferring Network Invariants Automatically. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:483-497 [Conf]
   
3. Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
   Enhanced Vacuity Detection in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:368-380 [Conf]
   
4. Sudeep Juvekar, Nir Piterman
   Minimizing Generalized Büchi Automata. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:45-58 [Conf]
   
5. Yonit Kesten, Nir Piterman, Amir Pnueli
   Bridging the Gap between Fair Simulation and Trace Inclusion. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:381-393 [Conf]
   
6. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
   Model Checking Linear Properties of Prefix-Recognizable Systems. [Citation Graph (0, 0)][DBLP]
   CAV, 2002, pp:371-385 [Conf]
   
7. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
   Safraless Compositional Synthesis. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:31-44 [Conf]
   
8. Nir Piterman, Moshe Y. Vardi
   Global Model-Checking of Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
   CAV, 2004, pp:387-400 [Conf]
   
9. Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin
   Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. [Citation Graph (0, 0)][DBLP]
   CMSB, 2004, pp:236-241 [Conf]
   
10. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Extended Temporal Logic Revisited. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:519-535 [Conf]
    
11. Thomas A. Henzinger, Nir Piterman
    Solving Games Without Determinization. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:395-410 [Conf]
    
12. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Fair Equivalence Relations. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:151-163 [Conf]
    
13. Nir Piterman
    From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:255-264 [Conf]
    
14. Nir Piterman, Amir Pnueli
    Faster Solutions of Rabin and Streett Games. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:275-284 [Conf]
    
15. Nir Piterman, Moshe Y. Vardi
    Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:381-0 [Conf]
    
16. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Pushdown Specifications. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:262-277 [Conf]
    
17. Nir Piterman, Moshe Y. Vardi
    From Bidirectionality to Alternation. [Citation Graph (0, 0)][DBLP]
    MFCS, 2001, pp:598-610 [Conf]
    
18. Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
    Liveness with Incomprehensible Ranking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:482-496 [Conf]
    
19. Nir Piterman, Amir Pnueli, Yaniv Sa'ar
    Synthesis of Reactive(1) Designs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:364-380 [Conf]
    
20. Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
    Liveness with Invisible Ranking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:223-238 [Conf]
    
21. Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
    SAT-based Induction for Temporal Safety Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:3-16 [Journal]
    
22. Yonit Kesten, Nir Piterman, Amir Pnueli
    Bridging the gap between fair simulation and trace inclusion. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:200, n:1, pp:35-61 [Journal]
    
23. Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
    Liveness with invisible ranking. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:261-279 [Journal]
    
24. Nir Piterman, Moshe Y. Vardi
    From bidirectionality to alternation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:, pp:295-321 [Journal]
    
25. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    From Liveness to Promptness. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:406-419 [Conf]
    
26. Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
    Strategy Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:59-73 [Conf]
    
27. Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
    Interactive presentation: Automatic hardware synthesis from specifications: a case study. [Citation Graph (0, 0)][DBLP]
    DATE, 2007, pp:1188-1193 [Conf]
    
28. Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
    Generalized Parity Games. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:153-167 [Conf]
    
29. Nir Piterman
    From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
30. 
    An Automata-Theoretic Approach to Infinite-State Systems. [Citation Graph (, )][DBLP]
    
    
31. 
    Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. [Citation Graph (, )][DBLP]
    
    
32. 
    Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata. [Citation Graph (, )][DBLP]
    
    
33. 
    Hintikka Games for PCTL on Labeled Markov Chains. [Citation Graph (, )][DBLP]
    
    
34. 
    LTL Generalized Model Checking Revisited. [Citation Graph (, )][DBLP]
    
    
35. 
    Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. [Citation Graph (, )][DBLP]
    
    
36. 
    Algorithms for Büchi Games [Citation Graph (, )][DBLP]
    
    
37. 
    Specify, Compile, Run: Hardware from PSL. [Citation Graph (, )][DBLP]