|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 4 keywords
|
|
|
|
|
Results
Found 55 publication records. Showing 55 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar |
Synthesis of Reactive(1) designs.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antje Beyer, Ralf Eberhard, Nir Piterman, Michael O. Hengartner, Alex Hajnal, Jasmin Fisher |
Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans. |
IPCAT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Uri Klein, Nir Piterman, Amir Pnueli |
Effective Synthesis of Asynchronous Systems from GR(1) Specifications. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Nir Piterman |
LTL generalized model checking revisited. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi |
Dynamic Reactive Modules. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Piterman |
p-Automata and Obligation Games. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Fisher, Nir Piterman, Moshe Y. Vardi |
The Only Way Is Up. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman |
Proving Stabilization of Biological Systems. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel |
Synthesis of live behaviour models for fallible domains. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
Strategy logic. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner |
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games. |
Perform. Eval. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejan Nickovic, Nir Piterman |
From Mtl to Deterministic Timed Automata. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
An Automata-Theoretic Approach to Infinite-State Systems. |
Essays in Memory of Amir Pnueli |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Huth, Nir Piterman, Daniel Wagner |
p-Automata: New Foundations for Discrete-Time Probabilistic Verification. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel |
Synthesis of live behaviour models. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Huth, Nir Piterman, Huaxin Wang |
A workbench for preprocessor design and evaluation: toward benchmarks for parity games. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
From liveness to promptness. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Verification, Temporal logic, Liveness |
| 1 | Michael Huth, Nir Piterman, Daniel Wagner |
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Nir Piterman |
LTL Generalized Model Checking Revisited. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman |
Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
Algorithms for Büchi Games |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman |
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. |
FMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner |
Hintikka Games for PCTL on Labeled Markov Chains. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Piterman |
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A. Henzinger |
Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development. |
PLoS Computational Biology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |
Specify, Compile, Run: Hardware from PSL. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Piterman |
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
Strategy Logic. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |
Interactive presentation: Automatic hardware synthesis from specifications: a case study. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
From Liveness to Promptness. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
Generalized Parity Games. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
Liveness with invisible ranking. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Parametrized systems, Deductive verification, BDD techniques, Liveness, Automatic verification |
| 1 | Olga Grinchtein, Martin Leucker, Nir Piterman |
Inferring Network Invariants Automatically. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudeep Juvekar, Nir Piterman |
Minimizing Generalized Büchi Automata. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Safraless Compositional Synthesis. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Piterman, Amir Pnueli |
Faster Solutions of Rabin and Streett Games. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Piterman |
From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Piterman, Amir Pnueli, Yaniv Sa'ar |
Synthesis of Reactive(1) Designs. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Nir Piterman |
Solving Games Without Determinization. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonit Kesten, Nir Piterman, Amir Pnueli |
Bridging the gap between fair simulation and trace inclusion. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi |
SAT-based Induction for Temporal Safety Properties. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
Liveness with Incomprehensible Ranking. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Piterman, Moshe Y. Vardi |
Global Model-Checking of Infinite-State Systems. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
Liveness with Invisible Ranking. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Piterman, Moshe Y. Vardi |
From bidirectionality to alternation. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Fair Equivalence Relations. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonit Kesten, Nir Piterman, Amir Pnueli |
Bridging the Gap between Fair Simulation and Trace Inclusion. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi |
Enhanced Vacuity Detection in Linear Temporal Logic. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Piterman, Moshe Y. Vardi |
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Pushdown Specifications. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Model Checking Linear Properties of Prefix-Recognizable Systems. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Extended Temporal Logic Revisited. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Piterman, Moshe Y. Vardi |
From Bidirectionality to Alternation. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Fair Equivalence Relations. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #55 of 55 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")