The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nir Piterman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002