| 2026 | CAV | sweap: Reactive Synthesis for Infinite-State Integer Problems. | Shaun Azzopardi, Luca Di Stefano, Nir Piterman |
| 2026 | CAV | Fast Obligation Translation and Synthesis. | Alexandre Duret-Lutz, Giuseppe De Giacomo, Marcin Jurdzinski, Nir Piterman, Moshe Y. Vardi, Shufang Zhu |
| 2026 | CONCUR | A Look Back at Strategy Logic (Invited Contribution for the Test-of-Time Award). | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
| 2026 | FOSSACS | From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata. | Mathieu Lehaut, Anca Muscholl, Nir Piterman |
| 2025 | CAV | Full LTL Synthesis over Infinite-State Arenas. | Shaun Azzopardi, Luca Di Stefano, Nir Piterman, Gerardo Schneider |
| 2025 | KR | Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. | Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman |
| 2024 | ATVA | Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. | Daniel Hausmann, Mathieu Lehaut, Nir Piterman |
| 2024 | CONCUR | Faster and Smaller Solutions of Obliging Games. | Daniel Hausmann, Nir Piterman |
| 2024 | FOSSACS | Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. | Daniel Hausmann, Mathieu Lehaut, Nir Piterman |
| 2024 | FOSSACS | Fair ω-Regular Games. | Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck |
| 2024 | ISoLA | Attributed Point-to-Point Communication in R-CHECK. | Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman |
| 2024 | MFCS | A Direct Translation from LTL with Past to Deterministic Rabin Automata. | Shaun Azzopardi, David Lidell, Nir Piterman |
| 2023 | ATVA | ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. | Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider |
| 2022 | CADE | Actions over Core-Closed Knowledge Bases. | Claudia Cauli, Magdalena Ortiz, Nir Piterman |
| 2022 | ICTAC | A PO Characterisation of Reconfiguration. | Yehia Abd Alrahman, Mauricio Martel, Nir Piterman |
| 2022 | ISoLA | Model Checking Reconfigurable Interacting Systems. | Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman |
| 2022 | ISoLA | Runtime Verification Meets Controller Synthesis. | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
| 2021 | ATVA | Incorporating Monitors in Reactive Synthesis Without Paying the Price. | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
| 2021 | CAV | Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning. | Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk |
| 2021 | KR | Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. | Claudia Cauli, Magdalena Ortiz, Nir Piterman |
| 2019 | CONCUR | Combinations of Qualitative Winning for Stochastic Parity Games. | Krishnendu Chatterjee, Nir Piterman |
| 2019 | TACAS | Environmentally-Friendly GR(1) Synthesis. | Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck |
| 2017 | VMCAI | Bringing LTL Model Checking to Biologists. | 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 |
| 2016 | TACAS | Finding Recurrent Sets with Backward Analysis and Trace Partitioning. | Alexey Bakhirkin, Nir Piterman |
| 2016 | TACAS | T2: Temporal Property Verification. | Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman |
| 2015 | CAV | On Automation of CTL* Verification for Infinite-State Systems. | Byron Cook, Heidy Khlaaf, Nir Piterman |
| 2015 | CAV | Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data. | Jasmin Fisher, Ali Sinan Kksal, Nir Piterman, Steven Woodhouse |
| 2015 | ICFEM | A Recursive Probabilistic Temporal Logic. | Pablo F. Castro, Cecilia Kilmurray, Nir Piterman |
| 2015 | STACS | Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics. | Pablo F. Castro, Cecilia Kilmurray, Nir Piterman |
| 2015 | SAS | A Forward Analysis for Recurrent Sets. | Alexey Bakhirkin, Josh Berdine, Nir Piterman |
| 2015 | TACAS | Fairness for Infinite-State Systems. | Byron Cook, Heidy Khlaaf, Nir Piterman |
| 2014 | CAV | Finding Instability in Biological Models. | Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman |
| 2014 | FMCAD | Faster temporal reasoning for infinite-state programs. | Byron Cook, Heidy Khlaaf, Nir Piterman |
| 2014 | SAS | Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction. | Alexey Bakhirkin, Josh Berdine, Nir Piterman |
| 2013 | CAV | Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. | Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang |
| 2013 | CHI | At the interface of biology and computation. | Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqu |
| 2013 | FOSSACS | Fatal Attractors in Parity Games. | Michael Huth, Jim Huan-Pu Kuo, Nir Piterman |
| 2013 | ICRA | Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. | Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit |
| 2013 | ICSE | Controller synthesis: from modelling to enactment. | Vctor A. Braberman, Nicols D'Ippolito, Nir Piterman, Daniel Sykes, Sebastin Uchitel |
| 2013 | MFCS | Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development. | Nir Piterman |
| 2013 | POPL | Synthesis of biological models from mutation experiments. | Ali Sinan Kksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodk, Jasmin Fisher, Nir Piterman |
| 2012 | CAV | Bma: Visual Tool for Modeling and Analyzing Biological Networks. | David Benqu, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi |
| 2012 | FM | The Modal Transition System Control Problem. | Nicols D'Ippolito, Vctor A. Braberman, Nir Piterman, Sebastin Uchitel |
| 2012 | VMCAI | Effective Synthesis of Asynchronous Systems from GR(1) Specifications. | Uri Klein, Nir Piterman, Amir Pnueli |
| 2011 | CONCUR | Dynamic Reactive Modules. | Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi |
| 2011 | FM | The Only Way Is Up. | Jasmin Fisher, Nir Piterman, Moshe Y. Vardi |
| 2011 | ICSE | Synthesis of live behaviour models for fallible domains. | Nicols D'Ippolito, Vctor A. Braberman, Nir Piterman, Sebastin Uchitel |
| 2011 | TIME | p-Automata and Obligation Games. | Nir Piterman |
| 2011 | VMCAI | Proving Stabilization of Biological Systems. | Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman |
| 2009 | FCT | Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. | Michael Huth, Nir Piterman, Daniel Wagner |
| 2009 | FOSSACS | Lower Bounds on Witnesses for Nonemptiness of Universal Co-Bchi Automata. | Orna Kupferman, Nir Piterman |
| 2009 | VMCAI | LTL Generalized Model Checking Revisited. | Patrice Godefroid, Nir Piterman |
| 2007 | CAV | From Liveness to Promptness. | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
| 2007 | CONCUR | Strategy Logic. | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
| 2007 | DATE | Interactive presentation: Automatic hardware synthesis from specifications: a case study. | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |
| 2007 | FOSSACS | Generalized Parity Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
| 2006 | CADE | Inferring Network Invariants Automatically. | Olga Grinchtein, Martin Leucker, Nir Piterman |
| 2006 | CAV | Minimizing Generalized Bchi Automata. | Sudeep Juvekar, Nir Piterman |
| 2006 | CAV | Safraless Compositional Synthesis. | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
| 2006 | CSL | Solving Games Without Determinization. | Thomas A. Henzinger, Nir Piterman |
| 2006 | LICS | From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata. | Nir Piterman |
| 2006 | LICS | Faster Solutions of Rabin and Streett Games. | Nir Piterman, Amir Pnueli |
| 2006 | VMCAI | Synthesis of Reactive(1) Designs. | Nir Piterman, Amir Pnueli, Yaniv Sa'ar |
| 2004 | CAV | Global Model-Checking of Infinite-State Systems. | Nir Piterman, Moshe Y. Vardi |
| 2004 | TACAS | Liveness with Incomprehensible Ranking. | Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
| 2004 | VMCAI | Liveness with Invisible Ranking. | Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
| 2003 | CAV | Enhanced Vacuity Detection in Linear Temporal Logic. | Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi |
| 2003 | CAV | Bridging the Gap between Fair Simulation and Trace Inclusion. | Yonit Kesten, Nir Piterman, Amir Pnueli |
| 2003 | LICS | Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. | Nir Piterman, Moshe Y. Vardi |
| 2002 | CAV | Model Checking Linear Properties of Prefix-Recognizable Systems. | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
| 2002 | LPAR | Pushdown Specifications. | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
| 2001 | CONCUR | Extended Temporal Logic Revisited. | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
| 2001 | MFCS | From Bidirectionality to Alternation. | Nir Piterman, Moshe Y. Vardi |