Nir Piterman

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 56

Top Venues

CoRR

CAV (1)

TACAS

Int. J. Softw. Tools Technol. Transf.

Publications

Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. FoSSaCS (1) (2024)
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
Fair ømega-Regular Games. FoSSaCS (1) (2024)
Daniel Hausmann, Nir Piterman
Faster and Smaller Solutions of Obliging Games. CoRR (2024)
Shaun Azzopardi, David Lidell, Nir Piterman
A Direct Translation from LTL with Past to Deterministic Rabin Automata. CoRR (2024)
Daniel Hausmann, Nir Piterman
Faster and Smaller Solutions of Obliging Games. CONCUR (2024)
Shaun Azzopardi, David Lidell, Nir Piterman
A Direct Translation from LTL with Past to Deterministic Rabin Automata. MFCS (2024)
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL. CoRR (2023)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano
LTL Synthesis on Infinite-State Arenas defined by Programs. CoRR (2023)
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
Language support for verifying reconfigurable interacting systems. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman
Games for Efficient Supervisor Synthesis. IEEE Control. Syst. Lett. 7 (2023)
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
Fair $ω$-Regular Games. CoRR (2023)
Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo, Gerardo Schneider, Patrizio Pelliccione
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. CoRR (2023)
Mathieu Lehaut, Nir Piterman
Measuring the Gain of Reconfigurable Communication. CoRR (2023)
Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. ATVA (2023)
Yehia Abd Alrahman, Nir Piterman
Correct-by-Design Teamwork Plans for Multi-Agent Systems. CoRR (2023)
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
R-CHECK: A Model Checker for Verifying Reconfigurable MAS. CoRR (2022)
Daniel Hausmann, Nir Piterman
A Survey on Satisfiability Checking for the μ-Calculus through Tree Automata. CoRR (2022)
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Actions over Core-closed Knowledge Bases. CoRR (2022)
Maureen Keegan, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Control and Discovery of Environment Behaviour. IEEE Trans. Software Eng. 48 (6) (2022)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Runtime Verification Meets Controller Synthesis. ISoLA (1) (2022)
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
R-CHECK: A Model Checker for Verifying Reconfigurable MAS. AAMAS (2022)
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Model Checking Reconfigurable Interacting Systems. ISoLA (3) (2022)
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Actions over Core-Closed Knowledge Bases. IJCAR (2022)
Daniel Hausmann, Nir Piterman
A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. Principles of Systems Design (2022)
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
A PO Characterisation of Reconfiguration. ICTAC (2022)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Incorporating Monitors in Reactive Synthesis without Paying the Price. CoRR (2021)
Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract). Description Logics (2021)
Yehia Abd Alrahman, Nir Piterman
Modelling and Verification of Reconfigurable Multi-Agent Systems. CoRR (2021)
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract). Description Logics (2021)
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. KR (2021)
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue. CoRR (2021)
Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning. CAV (1) (2021)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Incorporating Monitors in Reactive Synthesis Without Paying the Price. ATVA (2021)
Yehia Abd Alrahman, Nir Piterman
Modelling and verification of reconfigurable multi-agent systems. Auton. Agents Multi Agent Syst. 35 (2) (2021)
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. ACC (2021)
Kenji Tei, Nir Piterman, Javier Cámara
The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 153). NII Shonan Meet. Rep. 2020 (2020)
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
Reconfigurable Interaction for MAS Modelling. AAMAS (2020)
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. CoRR (2020)
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Environmentally-Friendly GR(1) Synthesis. TACAS (2) (2019)
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Environmentally-friendly GR(1) Synthesis. CoRR (2019)
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
A Computational Framework for Adaptive Systems and its Verification. CoRR (2019)
Krishnendu Chatterjee, Nir Piterman
Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR (2019)
Krishnendu Chatterjee, Nir Piterman
Coverability: Realizability Lower Bounds. CoRR (2018)
Krishnendu Chatterjee, Nir Piterman
Combinations of Qualitative Winning for Stochastic Parity Games. CoRR (2018)
Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger, Berthold Göttgens, Jasmin Fisher
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data. BMC Syst. Biol. 12 (1) (2018)
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
Bringing LTL Model Checking to Biologists. VMCAI (2017)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
Interaction Models and Automated Control under Partial Observable Environments. IEEE Trans. Software Eng. 43 (1) (2017)
Krishnendu Chatterjee, Nir Piterman
Obligation Blackwell Games and P-Automata. J. Symb. Log. 82 (2) (2017)
Nir Piterman
Advances in verification presented in TACAS'13. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Claudia Cauli, Nir Piterman
Equivalence of Probabilistic \mu -Calculus and p-Automata. CIAA (2017)
Byron Cook, Heidy Khlaaf, Nir Piterman
Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems. J. ACM 64 (2) (2017)
Chee Yee Lim, Huange Wang, Steven Woodhouse, Nir Piterman, Lorenz Wernisch, Jasmin Fisher, Berthold Göttgens
BTR: training asynchronous Boolean models using single-cell expression data. BMC Bioinform. 17 (2016)
Alexey Bakhirkin, Nir Piterman
Finding Recurrent Sets with Backward Analysis and Trace Partitioning. TACAS (2016)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Static Analysis of Parity Games: Alternating Reachability Under Parity. Semantics, Logics, and Calculi (2016)
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
T2: Temporal Property Verification. TACAS (2016)
Rafael Wisniewski, Christoffer Sloth, Manuela-Luminita Bujorianu, Nir Piterman
Safety Verification of Piecewise-Deterministic Markov Processes. HSCC (2016)
Pablo F. Castro, Cecilia Kilmurray, Nir Piterman
A Recursive Probabilistic Temporal Logic. ICFEM (2015)
Manuela-Luminita Bujorianu, Nir Piterman
A Modelling Framework for Cyber-Physical System Resilience. CyPhy (2015)
Vasumathi Raman, Nir Piterman, Cameron Finucane, Hadas Kress-Gazit
Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. IEEE Trans. Robotics 31 (3) (2015)
Alexey Bakhirkin, Josh Berdine, Nir Piterman
A Forward Analysis for Recurrent Sets. SAS (2015)
Byron Cook, Heidy Khlaaf, Nir Piterman
On Automation of CTL* Verification for Infinite-State Systems. CAV (1) (2015)
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
T2: Temporal Property Verification. CoRR (2015)
Pablo F. Castro, Cecilia Kilmurray, Nir Piterman
Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics. STACS (2015)
Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data. CAV (1) (2015)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
The Rabin index of parity games: Its complexity and approximation. Inf. Comput. 245 (2015)
Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data. CoRR (2015)
Byron Cook, Heidy Khlaaf, Nir Piterman
Fairness for Infinite-State Systems. TACAS (2015)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Controllability in Partial and Uncertain Environments. ACSD (2014)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Fatal Attractors in Parity Games: Building Blocks for Partial Solvers. CoRR (2014)
Byron Cook, Heidy Khlaaf, Nir Piterman
Faster temporal reasoning for infinite-state programs. FMCAD (2014)
Alexey Bakhirkin, Josh Berdine, Nir Piterman
Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction. SAS (2014)
Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
Finding Instability in Biological Models. CAV (2014)
Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel
Controller synthesis: from modelling to enactment. ICSE (2013)
Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman
Synthesis of biological models from mutation experiments. POPL (2013)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Fatal Attractors in Parity Games. FoSSaCS (2013)
Nir Piterman
Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development. MFCS (2013)
Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqué
At the interface of biology and computation. CHI (2013)
Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. CAV (2013)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
The Rabin index of parity games. GandALF (2013)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Synthesizing nonanomalous event-based controllers for liveness goals. ACM Trans. Softw. Eng. Methodol. 22 (1) (2013)
Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit
Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. ICRA (2013)
David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi
Bma: Visual Tool for Modeling and Analyzing Biological Networks. CAV (2012)
Uri Klein, Nir Piterman, Amir Pnueli
Effective Synthesis of Asynchronous Systems from GR(1) Specifications. VMCAI (2012)
Michael Huth, Nir Piterman, Daniel Wagner
p-Automata: New foundations for discrete-time probabilistic verification. Perform. Evaluation 69 (7-8) (2012)
Krishnendu Chatterjee, Nir Piterman
Obligation Blackwell Games and p-Automata CoRR (2012)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
The Modal Transition System Control Problem. FM (2012)
Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar
Synthesis of Reactive(1) designs. J. Comput. Syst. Sci. 78 (3) (2012)
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)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Concurrent Small Progress Measures. Haifa Verification Conference (2011)
Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi
Dynamic Reactive Modules. CONCUR (2011)
Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman
Proving Stabilization of Biological Systems. VMCAI (2011)
Jasmin Fisher, Nir Piterman, Moshe Y. Vardi
The Only Way Is Up. FM (2011)
Patrice Godefroid, Nir Piterman
LTL generalized model checking revisited. Int. J. Softw. Tools Technol. Transf. 13 (6) (2011)
Nir Piterman
p-Automata and Obligation Games. TIME (2011)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Synthesis of live behaviour models for fallible domains. ICSE (2011)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
The Rabin Index of Parity Games - (Extended Abstract). Haifa Verification Conference (2011)
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
An Automata-Theoretic Approach to Infinite-State Systems. Essays in Memory of Amir Pnueli (2010)
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
Strategy logic. Inf. Comput. 208 (6) (2010)
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
Synthesis of live behaviour models. SIGSOFT FSE (2010)
Dejan Nickovic, Nir Piterman
From Mtl to Deterministic Timed Automata. FORMATS (2010)

Nir Piterman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nir Piterman