- Home
- About
- Find staff
- Nir Piterman
Nir Piterman
Professor
Formal MethodsAbout Nir Piterman
My research interests include formal verification and automata theory. I have worked (and still am) on model checking of various types of systems, different aspects of temporal logic, as well as synthesis and game solving. I am also working on applications of formal methods to biological modeling.
For further information, check out my personal homepage.
-
Fair Omega-regular
Games
Daniel Hausmann, Nir Piterman, Irmaq Saglam, Anne-Kathrin Schmuck
27th International Conference on Foundations of Software Science and Computation Structures - 2024 -
Symbolic Solution of Emerson-Lei Games for Reactive
Synthesis
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
27th International Conference on Foundations of Software Science and Computation Structures - 2024 -
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic
Formulae
Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider
Automated Technology for Verification and Analysis (ATVA) - 2023 -
Language Support for Verifying Reconfigurable Interacting
Systems
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
International Journal on Software Tools for Technology Transfer (STTT) - 2023 -
Games for Efficient Supervisor
Synthesis
Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman
IEEE Control Systems Letters - 2023 -
Games for Efficient Supervisor
Synthesis
Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman
Proceedings of the 62nd IEEE Conference on Decision and Control (CDC) - 2023 -
R-CHECK: A Model Checker for Verifying Reconfigurable
MAS
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
AAMAS 2022 - 2022 -
Model Checking Reconfigurable Interacting
Systems
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Lecture Notes in Computer Science book series (LNCS,volume 13703) - 2022 -
A Survey on Satisfiability Checking for the μ -Calculus Through Tree
Automata
Daniel Hausmann, Nir Piterman
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2022 -
A PO Characterisation
of Reconfiguration
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2022 -
Runtime Verification Meets Controller
Synthesis
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Lecture Notes in Computer Science book series (LNCS,volume 13701) - 2022 -
Actions over Core-closed Knowledge
Bases
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Proceedings of the 11th International Joint Conference on Automated Reasoning - 2022 -
Incorporating Monitors in Reactive Synthesis without Paying the
Price
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
19th International Symposium on Automated Technology for Verification and Analysis - 2021 -
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure
Security
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning - 2021 -
Synthesis of Run-To-Completion Controllers for Discrete Event
Systems
Yehia Abd Alrahman, Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
2021 American Control Conference - 2021 -
Pre-Deployment Security Assessment for Cloud Services through Semantic
Reasoning
Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
33rd International Conference on Computer-Aided Verification - 2021 -
Modelling and verification of reconfigurable multi-agent
systems
Yehia Abd Alrahman, Nir Piterman
Autonomous Agents and Multi-Agent Systems - 2021 -
Control and Discovery of Environment
Behaviour
Maureen Keegan, Victor A. Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
IEEE Transactions on Software Engineering - 2020 -
Reconfigurable Interaction for MAS
Modelling
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems - 2020 -
Environmentally-Friendly GR(1)
Synthesis
Rupak Majumdar, Nir Piterman, Anne Kathrin Schmuck
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019 -
Combinations of qualitative winning for stochastic parity
games
Krishnendu Chatterjee, Nir Piterman
Leibniz International Proceedings in Informatics, LIPIcs - 2019 -
Heterogeneity of Myc expression in breast cancer exposes pharmacological vulnerabilities revealed through executable mechanistic
modeling
P. Kreuzaler, M. A. Clarke, E. J. Brown, C. H. Wilson, R. M. Kortlever, Nir Piterman, T. Littlewood, G. I. Evan, J. Fisher
Proceedings of the National Academy of Sciences of the United States of America - 2019 -
Equivalence of probabilistic μ-calculus and
p-automata
Claudia Cauli, Nir Piterman
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2017 -
Advances in verification presented in
TACAS’13
Nir Piterman
International Journal on Software Tools for Technology Transfer - 2017 -
Bringing LTL model checking to
biologists
Zara Ahmed, David Benque, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2017