Nir Piterman - RankMe

158 papers A* 20A 11B 29C 6Journal 56Unranked 33

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata. FoSSaCS Mathieu Lehaut, Anca Muscholl, Nir Piterman
2026	J	`jnl`	From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata. CoRR Mathieu Lehaut, Anca Muscholl, Nir Piterman
2025	A*	`conf`	Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. KR Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025	J	`jnl`	Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. CoRR Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025	C	`conf`	Engineering an LTL CIAA Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, Moshe Y. Vardi
2025	J	`jnl`	Engineering an LTLf Synthesis Tool. CoRR Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, Moshe Y. Vardi
2025	—	`conf`	Full LTL Synthesis over Infinite-State Arenas. CAV (4) Shaun Azzopardi, Luca Di Stefano, Nir Piterman, Gerardo Schneider
2025	J	`jnl`	On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem. CoRR Yehia Abd Alrahman, Nir Piterman
2024	B	`conf`	A Direct Translation from LTL with Past to Deterministic Rabin Automata. MFCS Shaun Azzopardi, David Lidell, Nir Piterman
2024	J	`jnl`	A Direct Translation from LTL with Past to Deterministic Rabin Automata. CoRR Shaun Azzopardi, David Lidell, Nir Piterman
2024	—	`conf`	Attributed Point-to-Point Communication in R-CHECK. ISoLA (2) Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
2024	B	`conf`	Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. ATVA Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2024	J	`jnl`	Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology. CoRR Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2024	—	`conf`	Fair ω-Regular Games. FoSSaCS (1) Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
2024	B	`conf`	Faster and Smaller Solutions of Obliging Games. CONCUR Daniel Hausmann, Nir Piterman
2024	J	`jnl`	Faster and Smaller Solutions of Obliging Games. CoRR Daniel Hausmann, Nir Piterman
2024	—	`conf`	Measuring the Gain of Reconfigurable Communication. GandALF Mathieu Lehaut, Nir Piterman
2024	—	`conf`	Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. FoSSaCS (1) Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2023	J	`jnl`	Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. CoRR Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo, Gerardo Schneider, Patrizio Pelliccione
2023	J	`jnl`	Correct-by-Design Teamwork Plans for Multi-Agent Systems. CoRR Yehia Abd Alrahman, Nir Piterman
2023	J	`jnl`	Fair ω-Regular Games. CoRR Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
2023	J	`jnl`	Games for Efficient Supervisor Synthesis. IEEE Control. Syst. Lett. Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman
2023	J	`jnl`	LTL Synthesis on Infinite-State Arenas defined by Programs. CoRR Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano
2023	J	`jnl`	Language support for verifying reconfigurable interacting systems. Int. J. Softw. Tools Technol. Transf. Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
2023	J	`jnl`	Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL. CoRR Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2023	B	`conf`	ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. ATVA Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider
2022	C	`conf`	A PO Characterisation of Reconfiguration. ICTAC Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
2022	—	`conf`	A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. Principles of Systems Design Daniel Hausmann, Nir Piterman
2022	J	`jnl`	A Survey on Satisfiability Checking for the μ-Calculus through Tree Automata. CoRR Daniel Hausmann, Nir Piterman
2022	A	`conf`	Actions over Core-Closed Knowledge Bases. IJCAR Claudia Cauli, Magdalena Ortiz, Nir Piterman
2022	J	`jnl`	Actions over Core-closed Knowledge Bases. CoRR Claudia Cauli, Magdalena Ortiz, Nir Piterman
2022	J	`jnl`	Control and Discovery of Environment Behaviour. IEEE Trans. Software Eng. Maureen Keegan, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2022	—	`conf`	Model Checking Reconfigurable Interacting Systems. ISoLA (3) Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
2022	A	`conf`	R-CHECK: A Model Checker for Verifying Reconfigurable MAS. AAMAS Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
2022	J	`jnl`	R-CHECK: A Model Checker for Verifying Reconfigurable MAS. CoRR Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
2022	—	`conf`	Runtime Verification Meets Controller Synthesis. ISoLA (1) Shaun Azzopardi, Nir Piterman, Gerardo Schneider
2021	—	`conf`	Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract). Description Logics Claudia Cauli, Magdalena Ortiz, Nir Piterman
2021	A*	`conf`	Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. KR Claudia Cauli, Magdalena Ortiz, Nir Piterman
2021	B	`conf`	Incorporating Monitors in Reactive Synthesis Without Paying the Price. ATVA Shaun Azzopardi, Nir Piterman, Gerardo Schneider
2021	J	`jnl`	Incorporating Monitors in Reactive Synthesis without Paying the Price. CoRR Shaun Azzopardi, Nir Piterman, Gerardo Schneider
2021	J	`jnl`	Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue. CoRR Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
2021	J	`jnl`	Modelling and Verification of Reconfigurable Multi-Agent Systems. CoRR Yehia Abd Alrahman, Nir Piterman
2021	J	`jnl`	Modelling and verification of reconfigurable multi-agent systems. Auton. Agents Multi Agent Syst. Yehia Abd Alrahman, Nir Piterman
2021	—	`conf`	Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract). Description Logics Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
2021	—	`conf`	Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning. CAV (1) Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
2021	C	`conf`	Synthesis of Run-To-Completion Controllers for Discrete Event Systems. ACC Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2020	A	`conf`	Reconfigurable Interaction for MAS Modelling. AAMAS Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
2020	J	`jnl`	Synthesis of Run-To-Completion Controllers for Discrete Event Systems. CoRR Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2020	J	`jnl`	The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 153). NII Shonan Meet. Rep. Kenji Tei, Nir Piterman, Javier Cámara
2019	J	`jnl`	A Computational Framework for Adaptive Systems and its Verification. CoRR Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
2019	B	`conf`	Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR Krishnendu Chatterjee, Nir Piterman
2019	—	`conf`	Environmentally-Friendly GR(1) Synthesis. TACAS (2) Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
2019	J	`jnl`	Environmentally-friendly GR(1) Synthesis. CoRR Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
2019	—	`ch.`	Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution. Automated Reasoning for Systems Biology and Medicine Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher
2018	J	`jnl`	Combinations of Qualitative Winning for Stochastic Parity Games. CoRR Krishnendu Chatterjee, Nir Piterman
2018	J	`jnl`	Coverability: Realizability Lower Bounds. CoRR Krishnendu Chatterjee, Nir Piterman
2018	J	`jnl`	SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data. BMC Syst. Biol. Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger, Berthold Göttgens, Jasmin Fisher
2018	—	`ch.`	Temporal Logic and Fair Discrete Systems. Handbook of Model Checking Nir Piterman, Amir Pnueli
2017	J	`jnl`	Advances in verification presented in TACAS'13. Int. J. Softw. Tools Technol. Transf. Nir Piterman
2017	B	`conf`	Bringing LTL Model Checking to Biologists. VMCAI Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov
2017	C	`conf`	Equivalence of Probabilistic \mu -Calculus and p-Automata. CIAA Claudia Cauli, Nir Piterman
2017	J	`jnl`	Interaction Models and Automated Control under Partial Observable Environments. IEEE Trans. Software Eng. Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2017	J	`jnl`	Obligation Blackwell Games and P-Automata. J. Symb. Log. Krishnendu Chatterjee, Nir Piterman
2017	J	`jnl`	Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems. J. ACM Byron Cook, Heidy Khlaaf, Nir Piterman
2016	J	`jnl`	BTR: training asynchronous Boolean models using single-cell expression data. BMC Bioinform. Chee Yee Lim, Huange Wang, Steven Woodhouse, Nir Piterman, Lorenz Wernisch, Jasmin Fisher, Berthold Göttgens
2016	A	`conf`	Finding Recurrent Sets with Backward Analysis and Trace Partitioning. TACAS Alexey Bakhirkin, Nir Piterman
2016	—	`conf`	Safety Verification of Piecewise-Deterministic Markov Processes. HSCC Rafael Wisniewski, Christoffer Sloth, Manuela-Luminita Bujorianu, Nir Piterman
2016	—	`conf`	Static Analysis of Parity Games: Alternating Reachability Under Parity. Semantics, Logics, and Calculi Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2016	A	`conf`	T2: Temporal Property Verification. TACAS Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
2015	B	`conf`	A Forward Analysis for Recurrent Sets. SAS Alexey Bakhirkin, Josh Berdine, Nir Piterman
2015	—	`conf`	A Modelling Framework for Cyber-Physical System Resilience. CyPhy Manuela-Luminita Bujorianu, Nir Piterman
2015	C	`conf`	A Recursive Probabilistic Temporal Logic. ICFEM Pablo F. Castro, Cecilia Kilmurray, Nir Piterman
2015	A	`conf`	Fairness for Infinite-State Systems. TACAS Byron Cook, Heidy Khlaaf, Nir Piterman
2015	—	`ed.`	Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings Haifa Verification Conference Nir Piterman
2015	—	`conf`	On Automation of CTL* Verification for Infinite-State Systems. CAV (1) Byron Cook, Heidy Khlaaf, Nir Piterman
2015	—	`conf`	Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data. CAV (1) Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
2015	J	`jnl`	Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data. CoRR Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
2015	J	`jnl`	T2: Temporal Property Verification. CoRR Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
2015	J	`jnl`	The Rabin index of parity games: Its complexity and approximation. Inf. Comput. Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2015	J	`jnl`	Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. IEEE Trans. Robotics Vasumathi Raman, Nir Piterman, Cameron Finucane, Hadas Kress-Gazit
2015	A	`conf`	Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics. STACS Pablo F. Castro, Cecilia Kilmurray, Nir Piterman
2014	B	`conf`	Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction. SAS Alexey Bakhirkin, Josh Berdine, Nir Piterman
2014	—	`conf`	Controllability in Partial and Uncertain Environments. ACSD Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2014	B	`conf`	Faster temporal reasoning for infinite-state programs. FMCAD Byron Cook, Heidy Khlaaf, Nir Piterman
2014	J	`jnl`	Fatal Attractors in Parity Games: Building Blocks for Partial Solvers. CoRR Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2014	A*	`conf`	Finding Instability in Biological Models. CAV Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
2013	A*	`conf`	At the interface of biology and computation. CHI Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqué
2013	A*	`conf`	Controller synthesis: from modelling to enactment. ICSE Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel
2013	B	`conf`	Fatal Attractors in Parity Games. FoSSaCS Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2013	A*	`conf`	Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. CAV Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
2013	A*	`conf`	Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. ICRA Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit
2013	B	`conf`	Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development. MFCS Nir Piterman
2013	A*	`conf`	Synthesis of biological models from mutation experiments. POPL Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman
2013	J	`jnl`	Synthesizing nonanomalous event-based controllers for liveness goals. ACM Trans. Softw. Eng. Methodol. Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2013	—	`conf`	The Rabin index of parity games. GandALF Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2013	A	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings TACAS Nir Piterman, Scott A. Smolka
2012	A*	`conf`	Bma: Visual Tool for Modeling and Analyzing Biological Networks. CAV David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi
2012	B	`conf`	Effective Synthesis of Asynchronous Systems from GR(1) Specifications. VMCAI Uri Klein, Nir Piterman, Amir Pnueli
2012	J	`jnl`	Obligation Blackwell Games and p-Automata CoRR Krishnendu Chatterjee, Nir Piterman
2012	—	`conf`	Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans. IPCAT Antje Beyer, Ralf Eberhard, Nir Piterman, Michael O. Hengartner, Alex Hajnal, Jasmin Fisher
2012	J	`jnl`	Synthesis of Reactive(1) designs. J. Comput. Syst. Sci. Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar
2012	B	`conf`	The Modal Transition System Control Problem. FM Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2012	J	`jnl`	p-Automata: New foundations for discrete-time probabilistic verification. Perform. Evaluation Michael Huth, Nir Piterman, Daniel Wagner
2011	—	`conf`	Concurrent Small Progress Measures. Haifa Verification Conference Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2011	B	`conf`	Dynamic Reactive Modules. CONCUR Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi
2011	J	`jnl`	LTL generalized model checking revisited. Int. J. Softw. Tools Technol. Transf. Patrice Godefroid, Nir Piterman
2011	B	`conf`	Proving Stabilization of Biological Systems. VMCAI Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman
2011	A*	`conf`	Synthesis of live behaviour models for fallible domains. ICSE Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2011	B	`conf`	The Only Way Is Up. FM Jasmin Fisher, Nir Piterman, Moshe Y. Vardi
2011	—	`conf`	The Rabin Index of Parity Games - (Extended Abstract). Haifa Verification Conference Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2011	C	`conf`	p-Automata and Obligation Games. TIME Nir Piterman
2010	—	`conf`	An Automata-Theoretic Approach to Infinite-State Systems. Essays in Memory of Amir Pnueli Orna Kupferman, Nir Piterman, Moshe Y. Vardi
2010	—	`conf`	From Mtl to Deterministic Timed Automata. FORMATS Dejan Nickovic, Nir Piterman
2010	J	`jnl`	PCTL model checking of Markov chains: Truth and falsity as winning strategies in games. Perform. Evaluation Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
2010	J	`jnl`	Strategy logic. Inf. Comput. Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
2010	—	`conf`	Synthesis of live behaviour models. SIGSOFT FSE Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2010	—	`conf`	p-Automata: New Foundations for Discrete-Time Probabilistic Verification. QEST Michael Huth, Nir Piterman, Daniel Wagner
2009	J	`jnl`	A workbench for preprocessor design and evaluation: toward benchmarks for parity games. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Michael Huth, Nir Piterman, Huaxin Wang
2009	J	`jnl`	Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics. BMC Syst. Biol. Dennis Y. Q. Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
2009	J	`jnl`	From liveness to promptness. Formal Methods Syst. Des. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
2009	B	`conf`	LTL Generalized Model Checking Revisited. VMCAI Patrice Godefroid, Nir Piterman
2009	B	`conf`	Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata. FoSSaCS Orna Kupferman, Nir Piterman
2009	B	`conf`	Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. FCT Michael Huth, Nir Piterman, Daniel Wagner
2008	J	`jnl`	Algorithms for Büchi Games CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
2008	—	`conf`	Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. FMSB Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman
2008	—	`conf`	Hintikka Games for PCTL on Labeled Markov Chains. QEST Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
2007	A*	`conf`	From Liveness to Promptness. CAV Orna Kupferman, Nir Piterman, Moshe Y. Vardi
2007	J	`jnl`	From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata CoRR Nir Piterman
2007	J	`jnl`	From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata. Log. Methods Comput. Sci. Nir Piterman
2007	B	`conf`	Generalized Parity Games. FoSSaCS Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
2007	A	`conf`	Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
2007	J	`jnl`	Predictive Modeling of Signaling Crosstalk during PLoS Comput. Biol. Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A. Henzinger
2007	—	`conf`	Specify, Compile, Run: Hardware from PSL. COCV Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
2007	B	`conf`	Strategy Logic. CONCUR Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
2006	A*	`conf`	Faster Solutions of Rabin and Streett Games. LICS Nir Piterman, Amir Pnueli
2006	A*	`conf`	From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata. LICS Nir Piterman
2006	A	`conf`	Inferring Network Invariants Automatically. IJCAR Olga Grinchtein, Martin Leucker, Nir Piterman
2006	J	`jnl`	Liveness with invisible ranking. Int. J. Softw. Tools Technol. Transf. Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
2006	A*	`conf`	Minimizing Generalized Büchi Automata. CAV Sudeep Juvekar, Nir Piterman
2006	A*	`conf`	Safraless Compositional Synthesis. CAV Orna Kupferman, Nir Piterman, Moshe Y. Vardi
2006	B	`conf`	Solving Games Without Determinization. CSL Thomas A. Henzinger, Nir Piterman
2006	B	`conf`	Synthesis of Reactive(1) Designs. VMCAI Nir Piterman, Amir Pnueli, Yaniv Sa'ar
2005	J	`jnl`	Bridging the gap between fair simulation and trace inclusion. Inf. Comput. Yonit Kesten, Nir Piterman, Amir Pnueli
2004	—	`conf`	Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. CMSB Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin
2004	A*	`conf`	Global Model-Checking of Infinite-State Systems. CAV Nir Piterman, Moshe Y. Vardi
2004	A	`conf`	Liveness with Incomprehensible Ranking. TACAS Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
2004	B	`conf`	Liveness with Invisible Ranking. VMCAI Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
2004	—	`conf`	SAT-based Induction for Temporal Safety Properties. BMC@CAV Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
2003	A*	`conf`	Bridging the Gap between Fair Simulation and Trace Inclusion. CAV Yonit Kesten, Nir Piterman, Amir Pnueli
2003	A*	`conf`	Enhanced Vacuity Detection in Linear Temporal Logic. CAV Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
2003	—	`conf`	Fair Equivalence Relations. Verification: Theory and Practice Orna Kupferman, Nir Piterman, Moshe Y. Vardi
2003	J	`jnl`	From bidirectionality to alternation. Theor. Comput. Sci. Nir Piterman, Moshe Y. Vardi
2003	A*	`conf`	Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. LICS Nir Piterman, Moshe Y. Vardi
2002	A*	`conf`	Model Checking Linear Properties of Prefix-Recognizable Systems. CAV Orna Kupferman, Nir Piterman, Moshe Y. Vardi
2002	B	`conf`	Pushdown Specifications. LPAR Orna Kupferman, Nir Piterman, Moshe Y. Vardi
2001	B	`conf`	Extended Temporal Logic Revisited. CONCUR Orna Kupferman, Nir Piterman, Moshe Y. Vardi
2001	B	`conf`	From Bidirectionality to Alternation. MFCS Nir Piterman, Moshe Y. Vardi
2000	—	`conf`	Fair Equivalence Relations. FSTTCS Orna Kupferman, Nir Piterman, Moshe Y. Vardi