default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNir Piterman
Person information
- affiliation: University of Gothenburg, Gothenburg, Sweden
- affiliation (former): University of Leicester, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c91]Daniel Hausmann, Nir Piterman:
Faster and Smaller Solutions of Obliging Games. CONCUR 2024: 28:1-28:19- [c90]Daniel Hausmann
, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck:
Fair ømega-Regular Games. FoSSaCS (1) 2024: 13-33 - [c89]Daniel Hausmann, Mathieu Lehaut, Nir Piterman:
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. FoSSaCS (1) 2024: 55-78 - [c88]Shaun Azzopardi, David Lidell, Nir Piterman:
A Direct Translation from LTL with Past to Deterministic Rabin Automata. MFCS 2024: 13:1-13:15 - [i27]Shaun Azzopardi, David Lidell, Nir Piterman:
A Direct Translation from LTL with Past to Deterministic Rabin Automata. CoRR abs/2405.01178 (2024) - [i26]Daniel Hausmann, Nir Piterman:
Faster and Smaller Solutions of Obliging Games. CoRR abs/2407.11856 (2024) - [i25]Daniel Hausmann, Mathieu Lehaut, Nir Piterman:
Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology. CoRR abs/2408.10708 (2024) - 2023
- [j26]Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman:
Games for Efficient Supervisor Synthesis. IEEE Control. Syst. Lett. 7: 2881-2885 (2023) - [j25]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): 765-784 (2023) - [c87]Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider:
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. ATVA 2023: 276-287 - [i24]Yehia Abd Alrahman, Nir Piterman:
Correct-by-Design Teamwork Plans for Multi-Agent Systems. CoRR abs/2301.01257 (2023) - [i23]Mathieu Lehaut, Nir Piterman:
Measuring the Gain of Reconfigurable Communication. CoRR abs/2305.01425 (2023) - [i22]Daniel Hausmann, Mathieu Lehaut, Nir Piterman:
Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL. CoRR abs/2305.02793 (2023) - [i21]Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo, Gerardo Schneider, Patrizio Pelliccione:
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. CoRR abs/2306.08144 (2023) - [i20]Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano:
LTL Synthesis on Infinite-State Arenas defined by Programs. CoRR abs/2307.09776 (2023) - [i19]Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck:
Fair $ω$-Regular Games. CoRR abs/2310.13612 (2023) - 2022
- [j24]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): 1965-1978 (2022) - [c86]Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman:
R-CHECK: A Model Checker for Verifying Reconfigurable MAS. AAMAS 2022: 1518-1520 - [c85]Daniel Hausmann, Nir Piterman:
A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. Principles of Systems Design 2022: 228-251 - [c84]Claudia Cauli, Magdalena Ortiz, Nir Piterman:
Actions over Core-Closed Knowledge Bases. IJCAR 2022: 281-299 - [c83]Yehia Abd Alrahman, Mauricio Martel, Nir Piterman:
A PO Characterisation of Reconfiguration. ICTAC 2022: 42-59 - [c82]Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman:
Model Checking Reconfigurable Interacting Systems. ISoLA (3) 2022: 373-389 - [c81]Shaun Azzopardi, Nir Piterman, Gerardo Schneider:
Runtime Verification Meets Controller Synthesis. ISoLA (1) 2022: 382-396 - [i18]Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman:
R-CHECK: A Model Checker for Verifying Reconfigurable MAS. CoRR abs/2201.06312 (2022) - [i17]Claudia Cauli, Magdalena Ortiz, Nir Piterman:
Actions over Core-closed Knowledge Bases. CoRR abs/2202.12592 (2022) - [i16]Daniel Hausmann, Nir Piterman:
A Survey on Satisfiability Checking for the μ-Calculus through Tree Automata. CoRR abs/2207.00517 (2022) - 2021
- [j23]Yehia Abd Alrahman, Nir Piterman:
Modelling and verification of reconfigurable multi-agent systems. Auton. Agents Multi Agent Syst. 35(2): 47 (2021) - [c80]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: 4892-4899 - [c79]Shaun Azzopardi, Nir Piterman, Gerardo Schneider:
Incorporating Monitors in Reactive Synthesis Without Paying the Price. ATVA 2021: 337-353 - [c78]Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk:
Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning. CAV (1) 2021: 767-780 - [c77]Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk:
Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract). Description Logics 2021 - [c76]Claudia Cauli, Magdalena Ortiz, Nir Piterman:
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract). Description Logics 2021 - [c75]Claudia Cauli, Magdalena Ortiz, Nir Piterman:
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. KR 2021: 174-183 - [i15]Yehia Abd Alrahman, Nir Piterman:
Modelling and Verification of Reconfigurable Multi-Agent Systems. CoRR abs/2104.10998 (2021) - [i14]Shaun Azzopardi, Nir Piterman, Gerardo Schneider:
Incorporating Monitors in Reactive Synthesis without Paying the Price. CoRR abs/2107.00929 (2021) - [i13]Yehia Abd Alrahman, Mauricio Martel, Nir Piterman:
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue. CoRR abs/2107.14668 (2021) - 2020
- [c74]Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman:
Reconfigurable Interaction for MAS Modelling. AAMAS 2020: 7-15 - [i12]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 abs/2009.05554 (2020) - [i11]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)
2010 – 2019
- 2019
- [c73]Krishnendu Chatterjee, Nir Piterman:
Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR 2019: 6:1-6:17 - [c72]Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck:
Environmentally-Friendly GR(1) Synthesis. TACAS (2) 2019: 229-246 - [p2]Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher:
Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution. Automated Reasoning for Systems Biology and Medicine 2019: 133-153 - [i10]Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck:
Environmentally-friendly GR(1) Synthesis. CoRR abs/1902.05629 (2019) - [i9]Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman:
A Computational Framework for Adaptive Systems and its Verification. CoRR abs/1906.10793 (2019) - 2018
- [j22]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): 59:1-59:7 (2018) - [p1]Nir Piterman, Amir Pnueli:
Temporal Logic and Fair Discrete Systems. Handbook of Model Checking 2018: 27-73 - [i8]Krishnendu Chatterjee, Nir Piterman:
Combinations of Qualitative Winning for Stochastic Parity Games. CoRR abs/1804.03453 (2018) - [i7]Krishnendu Chatterjee, Nir Piterman:
Coverability: Realizability Lower Bounds. CoRR abs/1804.03454 (2018) - 2017
- [j21]Byron Cook, Heidy Khlaaf, Nir Piterman:
Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems. J. ACM 64(2): 15:1-15:39 (2017) - [j20]Krishnendu Chatterjee, Nir Piterman:
Obligation Blackwell Games and P-Automata. J. Symb. Log. 82(2): 420-452 (2017) - [j19]Nir Piterman:
Advances in verification presented in TACAS'13. Int. J. Softw. Tools Technol. Transf. 19(5): 511-515 (2017) - [j18]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): 19-33 (2017) - [c71]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: 1-13 - [c70]Claudia Cauli, Nir Piterman:
Equivalence of Probabilistic \mu -Calculus and p-Automata. CIAA 2017: 64-75 - 2016
- [j17]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: 355 (2016) - [c69]Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Static Analysis of Parity Games: Alternating Reachability Under Parity. Semantics, Logics, and Calculi 2016: 159-177 - [c68]Rafael Wisniewski, Christoffer Sloth, Manuela-Luminita Bujorianu, Nir Piterman:
Safety Verification of Piecewise-Deterministic Markov Processes. HSCC 2016: 257-266 - [c67]Alexey Bakhirkin, Nir Piterman:
Finding Recurrent Sets with Backward Analysis and Trace Partitioning. TACAS 2016: 17-35 - [c66]Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman:
T2: Temporal Property Verification. TACAS 2016: 387-393 - 2015
- [j16]Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
The Rabin index of parity games: Its complexity and approximation. Inf. Comput. 245: 36-53 (2015) - [j15]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): 591-604 (2015) - [c65]Byron Cook, Heidy Khlaaf, Nir Piterman:
On Automation of CTL* Verification for Infinite-State Systems. CAV (1) 2015: 13-29 - [c64]Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse:
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data. CAV (1) 2015: 544-560 - [c63]Manuela-Luminita Bujorianu, Nir Piterman:
A Modelling Framework for Cyber-Physical System Resilience. CyPhy 2015: 67-82 - [c62]Pablo F. Castro, Cecilia Kilmurray, Nir Piterman:
A Recursive Probabilistic Temporal Logic. ICFEM 2015: 336-348 - [c61]Alexey Bakhirkin, Josh Berdine, Nir Piterman:
A Forward Analysis for Recurrent Sets. SAS 2015: 293-311 - [c60]Pablo F. Castro, Cecilia Kilmurray, Nir Piterman:
Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics. STACS 2015: 211-223 - [c59]Byron Cook, Heidy Khlaaf, Nir Piterman:
Fairness for Infinite-State Systems. TACAS 2015: 384-398 - [e2]Nir Piterman:
Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Lecture Notes in Computer Science 9434, Springer 2015, ISBN 978-3-319-26286-4 [contents] - [i6]Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse:
Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data. CoRR abs/1505.05193 (2015) - [i5]Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman:
T2: Temporal Property Verification. CoRR abs/1512.08689 (2015) - 2014
- [c58]Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Controllability in Partial and Uncertain Environments. ACSD 2014: 52-61 - [c57]Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman:
Finding Instability in Biological Models. CAV 2014: 358-372 - [c56]Byron Cook, Heidy Khlaaf, Nir Piterman:
Faster temporal reasoning for infinite-state programs. FMCAD 2014: 75-82 - [c55]Alexey Bakhirkin, Josh Berdine, Nir Piterman:
Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction. SAS 2014: 34-50 - [i4]Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Fatal Attractors in Parity Games: Building Blocks for Partial Solvers. CoRR abs/1405.0386 (2014) - 2013
- [j14]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): 9:1-9:36 (2013) - [c54]Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang:
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. CAV 2013: 85-100 - [c53]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: 493-502 - [c52]Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Fatal Attractors in Parity Games. FoSSaCS 2013: 34-49 - [c51]Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit:
Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. ICRA 2013: 4075-4081 - [c50]Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel:
Controller synthesis: from modelling to enactment. ICSE 2013: 1347-1350 - [c49]Nir Piterman:
Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development. MFCS 2013: 45-49 - [c48]Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman:
Synthesis of biological models from mutation experiments. POPL 2013: 469-482 - [c47]Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
The Rabin index of parity games. GandALF 2013: 35-49 - [e1]Nir Piterman, Scott A. Smolka:
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. Lecture Notes in Computer Science 7795, Springer 2013, ISBN 978-3-642-36741-0 [contents] - 2012
- [j13]Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar:
Synthesis of Reactive(1) designs. J. Comput. Syst. Sci. 78(3): 911-938 (2012) - [j12]Michael Huth, Nir Piterman, Daniel Wagner:
p-Automata: New foundations for discrete-time probabilistic verification. Perform. Evaluation 69(7-8): 356-378 (2012) - [c46]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: 686-692 - [c45]Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
The Modal Transition System Control Problem. FM 2012: 155-170 - [c44]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: 99-104 - [c43]Uri Klein, Nir Piterman, Amir Pnueli:
Effective Synthesis of Asynchronous Systems from GR(1) Specifications. VMCAI 2012: 283-298 - [i3]Krishnendu Chatterjee, Nir Piterman:
Obligation Blackwell Games and p-Automata. CoRR abs/1206.5174 (2012) - 2011
- [j11]Patrice Godefroid, Nir Piterman:
LTL generalized model checking revisited. Int. J. Softw. Tools Technol. Transf. 13(6): 571-584 (2011) - [c42]Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi:
Dynamic Reactive Modules. CONCUR 2011: 404-418 - [c41]Jasmin Fisher, Nir Piterman, Moshe Y. Vardi:
The Only Way Is Up. FM 2011: 3-11 - [c40]Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Concurrent Small Progress Measures. Haifa Verification Conference 2011: 130-144 - [c39]Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
The Rabin Index of Parity Games - (Extended Abstract). Haifa Verification Conference 2011: 259-260 - [c38]Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Synthesis of live behaviour models for fallible domains. ICSE 2011: 211-220 - [c37]Nir Piterman:
p-Automata and Obligation Games. TIME 2011: 3-6 - [c36]Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman:
Proving Stabilization of Biological Systems. VMCAI 2011: 134-149 - 2010
- [j10]Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Strategy logic. Inf. Comput. 208(6): 677-693 (2010) - [j9]Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner:
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games. Perform. Evaluation 67(9): 858-872 (2010) - [c35]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
An Automata-Theoretic Approach to Infinite-State Systems. Essays in Memory of Amir Pnueli 2010: 202-259 - [c34]Dejan Nickovic, Nir Piterman:
From Mtl to Deterministic Timed Automata. FORMATS 2010: 152-167 - [c33]Michael Huth, Nir Piterman, Daniel Wagner:
p-Automata: New Foundations for Discrete-Time Probabilistic Verification. QEST 2010: 161-170 - [c32]Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Synthesis of live behaviour models. SIGSOFT FSE 2010: 77-86
2000 – 2009
- 2009
- [j8]Dennis Y. Q. Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher:
Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics. BMC Syst. Biol. 3: 118 (2009) - [j7]Michael Huth, Nir Piterman, Huaxin Wang:
A workbench for preprocessor design and evaluation: toward benchmarks for parity games. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009) - [j6]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
From liveness to promptness. Formal Methods Syst. Des. 34(2): 83-103 (2009) - [c31]Michael Huth, Nir Piterman, Daniel Wagner:
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. FCT 2009: 205-216 - [c30]Orna Kupferman, Nir Piterman:
Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata. FoSSaCS 2009: 182-196 - [c29]Patrice Godefroid, Nir Piterman:
LTL Generalized Model Checking Revisited. VMCAI 2009: 89-104 - 2008
- [c28]Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman:
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. FMSB 2008: 17-32 - [c27]Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner:
Hintikka Games for PCTL on Labeled Markov Chains. QEST 2008: 169-178 - [i2]Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Algorithms for Büchi Games. CoRR abs/0805.2620 (2008) - 2007
- [j5]Nir Piterman:
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata. Log. Methods Comput. Sci. 3(3) (2007) - [j4]