Nir Piterman
Om Nir Piterman
Mina forskningsintressen inkluderar formell verifiering och automatteori. Jag har arbetat (och fortfarande är) om modellkontroll av olika typer av system, olika aspekter av tidsmässig logik, samt syntes och spellösning. Jag jobbar också med tillämpningar av formella metoder för biologisk modellering.
För mer information, kolla in min personliga hemsida.
Den här texten har automatiskt översatts till svenska av Google Translate.
-
Games for Efficient Supervisor
Synthesis
Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman
IEEE Control Systems Letters - 2023 -
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 -
Model Checking Reconfigurable Interacting
Systems
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Lecture Notes in Computer Science book series (LNCS,volume 13703) - 2022 -
R-CHECK: A Model Checker for Verifying Reconfigurable
MAS
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
AAMAS 2022 - 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 -
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 -
Control and Discovery of Environment
Behaviour
Maureen Keegan, Victor A. Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
IEEE Transactions on Software Engineering - 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