


default search action
Nir 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
2020 – today
- 2024
- [c94]Daniel Hausmann
, Mathieu Lehaut
, Nir Piterman
:
Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. ATVA 2024: 160-180 - [c93]Daniel Hausmann
, Nir Piterman:
Faster and Smaller Solutions of Obliging Games. CONCUR 2024: 28:1-28:19 - [c92]Daniel Hausmann
, Nir Piterman
, Irmak Saglam
, Anne-Kathrin Schmuck
:
Fair ω-Regular Games. FoSSaCS (1) 2024: 13-33 - [c91]Daniel Hausmann
, Mathieu Lehaut, Nir Piterman:
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. FoSSaCS (1) 2024: 55-78 - [c90]Yehia Abd Alrahman
, Shaun Azzopardi
, Luca Di Stefano
, Nir Piterman
:
Attributed Point-to-Point Communication in R-CHECK. ISoLA (2) 2024: 333-350 - [c89]Shaun Azzopardi, David Lidell
, Nir Piterman:
A Direct Translation from LTL with Past to Deterministic Rabin Automata. MFCS 2024: 13:1-13:15 - [c88]Mathieu Lehaut, Nir Piterman:
Measuring the Gain of Reconfigurable Communication. GandALF 2024: 88-102 - [i26]Shaun Azzopardi, David Lidell, Nir Piterman:
A Direct Translation from LTL with Past to Deterministic Rabin Automata. CoRR abs/2405.01178 (2024) - [i25]Daniel Hausmann, Nir Piterman:
Faster and Smaller Solutions of Obliging Games. CoRR abs/2407.11856 (2024) - [i24]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 - [i23]Yehia Abd Alrahman
, Nir Piterman:
Correct-by-Design Teamwork Plans for Multi-Agent Systems. CoRR abs/2301.01257 (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]Jasmin Fisher
, Nir Piterman
, Alex Hajnal
, Thomas A. Henzinger:
Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development. PLoS Comput. Biol. 3(5) (2007) - [c26]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
From Liveness to Promptness. CAV 2007: 406-419 - [c25]Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Strategy Logic. CONCUR 2007: 59-73 - [c24]Roderick Bloem
, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer:
Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE 2007: 1188-1193 - [c23]Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Generalized Parity Games. FoSSaCS 2007: 153-167 - [c22]Roderick Bloem
, Stefan J. Galler, Barbara Jobstmann, Nir Piterman
, Amir Pnueli, Martin Weiglhofer:
Specify, Compile, Run: Hardware from PSL. COCV@ETAPS 2007: 3-16 - [i1]Nir Piterman:
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata. CoRR abs/0705.2205 (2007) - 2006
- [j3]Yi Fang, Nir Piterman
, Amir Pnueli, Lenore D. Zuck:
Liveness with invisible ranking. Int. J. Softw. Tools Technol. Transf. 8(3): 261-279 (2006) - [c21]Olga Grinchtein, Martin Leucker
, Nir Piterman:
Inferring Network Invariants Automatically. IJCAR 2006: 483-497 - [c20]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Safraless Compositional Synthesis. CAV 2006: 31-44 - [c19]Sudeep Juvekar, Nir Piterman:
Minimizing Generalized Büchi Automata. CAV 2006: 45-58 - [c18]Thomas A. Henzinger, Nir Piterman:
Solving Games Without Determinization. CSL 2006: 395-410 - [c17]Nir Piterman
:
From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata. LICS 2006: 255-264 - [c16]Nir Piterman
, Amir Pnueli:
Faster Solutions of Rabin and Streett Games. LICS 2006: 275-284 - [c15]Nir Piterman, Amir Pnueli, Yaniv Sa'ar:
Synthesis of Reactive(1) Designs. VMCAI 2006: 364-380 - 2005
- [j2]Yonit Kesten, Nir Piterman
, Amir Pnueli:
Bridging the gap between fair simulation and trace inclusion. Inf. Comput. 200(1): 35-61 (2005) - 2004
- [c14]Nir Piterman, Moshe Y. Vardi:
Global Model-Checking of Infinite-State Systems. CAV 2004: 387-400 - [c13]Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin:
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. CMSB 2004: 236-241 - [c12]Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck:
Liveness with Incomprehensible Ranking. TACAS 2004: 482-496 - [c11]Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck:
Liveness with Invisible Ranking. VMCAI 2004: 223-238 - [c10]Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman
, Moshe Y. Vardi:
SAT-based Induction for Temporal Safety Properties. BMC@CAV 2004: 3-16 - 2003
- [j1]Nir Piterman
, Moshe Y. Vardi:
From bidirectionality to alternation. Theor. Comput. Sci. 295: 295-321 (2003) - [c9]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Fair Equivalence Relations. Verification: Theory and Practice 2003: 702-732 - [c8]Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi:
Enhanced Vacuity Detection in Linear Temporal Logic. CAV 2003: 368-380 - [c7]Yonit Kesten, Nir Piterman, Amir Pnueli:
Bridging the Gap between Fair Simulation and Trace Inclusion. CAV 2003: 381-393 - [c6]Nir Piterman, Moshe Y. Vardi:
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. LICS 2003: 381- - 2002
- [c5]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002: 371-385 - [c4]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Pushdown Specifications. LPAR 2002: 262-277 - 2001
- [c3]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Extended Temporal Logic Revisited. CONCUR 2001: 519-535 - [c2]Nir Piterman, Moshe Y. Vardi:
From Bidirectionality to Alternation. MFCS 2001: 598-610 - 2000
- [c1]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Fair Equivalence Relations. FSTTCS 2000: 151-163
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-11 18:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint