default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nir Piterman
@inproceedings{DBLP:conf/concur/0001P24,
author = {Daniel Hausmann and
Nir Piterman},
editor = {Rupak Majumdar and
Alexandra Silva},
title = {Faster and Smaller Solutions of Obliging Games},
booktitle = {35th International Conference on Concurrency Theory, {CONCUR} 2024,
September 9-13, 2024, Calgary, Canada},
series = {LIPIcs},
volume = {311},
pages = {28:1--28:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.28},
doi = {10.4230/LIPICS.CONCUR.2024.28},
timestamp = {Fri, 30 Aug 2024 16:44:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/0001P24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HausmannPSS24,
author = {Daniel Hausmann and
Nir Piterman and
Irmak Saglam and
Anne{-}Kathrin Schmuck},
editor = {Naoki Kobayashi and
James Worrell},
title = {Fair {\o}mega-Regular Games},
booktitle = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14574},
pages = {13--33},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57228-9\_2},
doi = {10.1007/978-3-031-57228-9\_2},
timestamp = {Sat, 08 Jun 2024 13:13:52 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HausmannPSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HausmannLP24,
author = {Daniel Hausmann and
Mathieu Lehaut and
Nir Piterman},
editor = {Naoki Kobayashi and
James Worrell},
title = {Symbolic Solution of Emerson-Lei Games for Reactive Synthesis},
booktitle = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14574},
pages = {55--78},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57228-9\_4},
doi = {10.1007/978-3-031-57228-9\_4},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HausmannLP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AzzopardiLP24,
author = {Shaun Azzopardi and
David Lidell and
Nir Piterman},
editor = {Rastislav Kr{\'{a}}lovic and
Anton{\'{\i}}n Kucera},
title = {A Direct Translation from {LTL} with Past to Deterministic Rabin Automata},
booktitle = {49th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2024, August 26-30, 2024, Bratislava, Slovakia},
series = {LIPIcs},
volume = {306},
pages = {13:1--13:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2024.13},
doi = {10.4230/LIPICS.MFCS.2024.13},
timestamp = {Mon, 26 Aug 2024 16:40:52 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AzzopardiLP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-01178,
author = {Shaun Azzopardi and
David Lidell and
Nir Piterman},
title = {A Direct Translation from {LTL} with Past to Deterministic Rabin Automata},
journal = {CoRR},
volume = {abs/2405.01178},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.01178},
doi = {10.48550/ARXIV.2405.01178},
eprinttype = {arXiv},
eprint = {2405.01178},
timestamp = {Sun, 09 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-01178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-11856,
author = {Daniel Hausmann and
Nir Piterman},
title = {Faster and Smaller Solutions of Obliging Games},
journal = {CoRR},
volume = {abs/2407.11856},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.11856},
doi = {10.48550/ARXIV.2407.11856},
eprinttype = {arXiv},
eprint = {2407.11856},
timestamp = {Fri, 23 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-11856.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/HausmannJP23,
author = {Daniel Hausmann and
Prabhat Kumar Jha and
Nir Piterman},
title = {Games for Efficient Supervisor Synthesis},
journal = {{IEEE} Control. Syst. Lett.},
volume = {7},
pages = {2881--2885},
year = {2023},
url = {https://doi.org/10.1109/LCSYS.2023.3290727},
doi = {10.1109/LCSYS.2023.3290727},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/HausmannJP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AlrahmanASP23,
author = {Yehia Abd Alrahman and
Shaun Azzopardi and
Luca Di Stefano and
Nir Piterman},
title = {Language support for verifying reconfigurable interacting systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {5},
pages = {765--784},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00729-8},
doi = {10.1007/S10009-023-00729-8},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AlrahmanASP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AzzopardiLPS23,
author = {Shaun Azzopardi and
David Lidell and
Nir Piterman and
Gerardo Schneider},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {276--287},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_15},
doi = {10.1007/978-3-031-45332-8\_15},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/AzzopardiLPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-01257,
author = {Yehia Abd Alrahman and
Nir Piterman},
title = {Correct-by-Design Teamwork Plans for Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2301.01257},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.01257},
doi = {10.48550/ARXIV.2301.01257},
eprinttype = {arXiv},
eprint = {2301.01257},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-01257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-01425,
author = {Mathieu Lehaut and
Nir Piterman},
title = {Measuring the Gain of Reconfigurable Communication},
journal = {CoRR},
volume = {abs/2305.01425},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.01425},
doi = {10.48550/ARXIV.2305.01425},
eprinttype = {arXiv},
eprint = {2305.01425},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-01425.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-02793,
author = {Daniel Hausmann and
Mathieu Lehaut and
Nir Piterman},
title = {Symbolic Reactive Synthesis for the Safety and EL-fragment of {LTL}},
journal = {CoRR},
volume = {abs/2305.02793},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.02793},
doi = {10.48550/ARXIV.2305.02793},
eprinttype = {arXiv},
eprint = {2305.02793},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-02793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-08144,
author = {Piergiuseppe Mallozzi and
Nir Piterman and
Pierluigi Nuzzo and
Gerardo Schneider and
Patrizio Pelliccione},
title = {Correct-by-Construction Design of Contextual Robotic Missions Using
Contracts},
journal = {CoRR},
volume = {abs/2306.08144},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.08144},
doi = {10.48550/ARXIV.2306.08144},
eprinttype = {arXiv},
eprint = {2306.08144},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-08144.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-09776,
author = {Shaun Azzopardi and
Nir Piterman and
Gerardo Schneider and
Luca Di Stefano},
title = {{LTL} Synthesis on Infinite-State Arenas defined by Programs},
journal = {CoRR},
volume = {abs/2307.09776},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.09776},
doi = {10.48550/ARXIV.2307.09776},
eprinttype = {arXiv},
eprint = {2307.09776},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-09776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-13612,
author = {Daniel Hausmann and
Nir Piterman and
Irmak Saglam and
Anne{-}Kathrin Schmuck},
title = {Fair {\textdollar}{\(\omega\)}{\textdollar}-Regular Games},
journal = {CoRR},
volume = {abs/2310.13612},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.13612},
doi = {10.48550/ARXIV.2310.13612},
eprinttype = {arXiv},
eprint = {2310.13612},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-13612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KeeganBDPU22,
author = {Maureen Keegan and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Control and Discovery of Environment Behaviour},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {6},
pages = {1965--1978},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.3044532},
doi = {10.1109/TSE.2020.3044532},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KeeganBDPU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AlrahmanAP22,
author = {Yehia Abd Alrahman and
Shaun Azzopardi and
Nir Piterman},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {{R-CHECK:} {A} Model Checker for Verifying Reconfigurable {MAS}},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {1518--1520},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1518.pdf},
doi = {10.5555/3535850.3536020},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AlrahmanAP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001P22,
author = {Daniel Hausmann and
Nir Piterman},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {A Survey on Satisfiability Checking for the {\(\mu\)}-Calculus Through
Tree Automata},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {228--251},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_11},
doi = {10.1007/978-3-031-22337-2\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/0001P22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CauliOP22,
author = {Claudia Cauli and
Magdalena Ortiz and
Nir Piterman},
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {Actions over Core-Closed Knowledge Bases},
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
pages = {281--299},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6\_17},
doi = {10.1007/978-3-031-10769-6\_17},
timestamp = {Mon, 24 Oct 2022 16:36:35 +0200},
biburl = {https://dblp.org/rec/conf/cade/CauliOP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AlrahmanMP22,
author = {Yehia Abd Alrahman and
Mauricio Martel and
Nir Piterman},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {A {PO} Characterisation of Reconfiguration},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {42--59},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_5},
doi = {10.1007/978-3-031-17715-6\_5},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/AlrahmanMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlrahmanAP22,
author = {Yehia Abd Alrahman and
Shaun Azzopardi and
Nir Piterman},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model Checking Reconfigurable Interacting Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {373--389},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_23},
doi = {10.1007/978-3-031-19759-8\_23},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AlrahmanAP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AzzopardiPS22,
author = {Shaun Azzopardi and
Nir Piterman and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification Meets Controller Synthesis},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {382--396},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_22},
doi = {10.1007/978-3-031-19849-6\_22},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AzzopardiPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-06312,
author = {Yehia Abd Alrahman and
Shaun Azzopardi and
Nir Piterman},
title = {{R-CHECK:} {A} Model Checker for Verifying Reconfigurable {MAS}},
journal = {CoRR},
volume = {abs/2201.06312},
year = {2022},
url = {https://arxiv.org/abs/2201.06312},
eprinttype = {arXiv},
eprint = {2201.06312},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-06312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-12592,
author = {Claudia Cauli and
Magdalena Ortiz and
Nir Piterman},
title = {Actions over Core-closed Knowledge Bases},
journal = {CoRR},
volume = {abs/2202.12592},
year = {2022},
url = {https://arxiv.org/abs/2202.12592},
eprinttype = {arXiv},
eprint = {2202.12592},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-12592.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-00517,
author = {Daniel Hausmann and
Nir Piterman},
title = {A Survey on Satisfiability Checking for the {\(\mu\)}-Calculus through
Tree Automata},
journal = {CoRR},
volume = {abs/2207.00517},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.00517},
doi = {10.48550/ARXIV.2207.00517},
eprinttype = {arXiv},
eprint = {2207.00517},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00517.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/AlrahmanP21,
author = {Yehia Abd Alrahman and
Nir Piterman},
title = {Modelling and verification of reconfigurable multi-agent systems},
journal = {Auton. Agents Multi Agent Syst.},
volume = {35},
number = {2},
pages = {47},
year = {2021},
url = {https://doi.org/10.1007/s10458-021-09521-x},
doi = {10.1007/S10458-021-09521-X},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/AlrahmanP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AlrahmanBDPU21,
author = {Yehia Abd Alrahman and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Synthesis of Run-To-Completion Controllers for Discrete Event Systems},
booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
May 25-28, 2021},
pages = {4892--4899},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9482704},
doi = {10.23919/ACC50511.2021.9482704},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AlrahmanBDPU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AzzopardiPS21,
author = {Shaun Azzopardi and
Nir Piterman and
Gerardo Schneider},
editor = {Zhe Hou and
Vijay Ganesh},
title = {Incorporating Monitors in Reactive Synthesis Without Paying the Price},
booktitle = {Automated Technology for Verification and Analysis - 19th International
Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12971},
pages = {337--353},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88885-5\_22},
doi = {10.1007/978-3-030-88885-5\_22},
timestamp = {Mon, 01 Jul 2024 10:37:52 +0200},
biburl = {https://dblp.org/rec/conf/atva/AzzopardiPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CauliLPT21,
author = {Claudia Cauli and
Meng Li and
Nir Piterman and
Oksana Tkachuk},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Pre-deployment Security Assessment for Cloud Services Through Semantic
Reasoning},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {767--780},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_36},
doi = {10.1007/978-3-030-81685-8\_36},
timestamp = {Fri, 23 Jul 2021 16:41:31 +0200},
biburl = {https://dblp.org/rec/conf/cav/CauliLPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CauliLPT21,
author = {Claudia Cauli and
Meng Li and
Nir Piterman and
Oksana Tkachuk},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Pre-Deployment Security Assessment for Cloud Services through Semantic
Reasoning (Extended Abstract)},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/abstract-9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:15 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CauliLPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CauliOP21,
author = {Claudia Cauli and
Magdalena Ortiz and
Nir Piterman},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure
Security (Extended Abstract)},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/abstract-10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CauliOP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CauliOP21,
author = {Claudia Cauli and
Magdalena Ortiz and
Nir Piterman},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure
Security},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {174--183},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/17},
doi = {10.24963/KR.2021/17},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CauliOP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-10998,
author = {Yehia Abd Alrahman and
Nir Piterman},
title = {Modelling and Verification of Reconfigurable Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2104.10998},
year = {2021},
url = {https://arxiv.org/abs/2104.10998},
eprinttype = {arXiv},
eprint = {2104.10998},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-10998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-00929,
author = {Shaun Azzopardi and
Nir Piterman and
Gerardo Schneider},
title = {Incorporating Monitors in Reactive Synthesis without Paying the Price},
journal = {CoRR},
volume = {abs/2107.00929},
year = {2021},
url = {https://arxiv.org/abs/2107.00929},
eprinttype = {arXiv},
eprint = {2107.00929},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-00929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-14668,
author = {Yehia Abd Alrahman and
Mauricio Martel and
Nir Piterman},
title = {Interleaving {\&} Reconfigurable Interaction: Separating Choice
from Scheduling using Glue},
journal = {CoRR},
volume = {abs/2107.14668},
year = {2021},
url = {https://arxiv.org/abs/2107.14668},
eprinttype = {arXiv},
eprint = {2107.14668},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-14668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AlrahmanPP20,
author = {Yehia Abd Alrahman and
Giuseppe Perelli and
Nir Piterman},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {Reconfigurable Interaction for {MAS} Modelling},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {7--15},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3398768},
doi = {10.5555/3398761.3398768},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AlrahmanPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-05554,
author = {Yehia Abd Alrahman and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Synthesis of Run-To-Completion Controllers for Discrete Event Systems},
journal = {CoRR},
volume = {abs/2009.05554},
year = {2020},
url = {https://arxiv.org/abs/2009.05554},
eprinttype = {arXiv},
eprint = {2009.05554},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-05554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/TeiPC20,
author = {Kenji Tei and
Nir Piterman and
Javier C{\'{a}}mara},
title = {The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) {(NII}
Shonan Meeting 153)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2020},
year = {2020},
url = {https://shonan.nii.ac.jp/seminars/153/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/TeiPC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChatterjeeP19,
author = {Krishnendu Chatterjee and
Nir Piterman},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Combinations of Qualitative Winning for Stochastic Parity Games},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {6:1--6:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.6},
doi = {10.4230/LIPICS.CONCUR.2019.6},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChatterjeeP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MajumdarPS19,
author = {Rupak Majumdar and
Nir Piterman and
Anne{-}Kathrin Schmuck},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Environmentally-Friendly {GR(1)} Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {229--246},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_13},
doi = {10.1007/978-3-030-17465-1\_13},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/MajumdarPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cb/ClarkeWPHF19,
author = {Matthew A. Clarke and
Steven Woodhouse and
Nir Piterman and
Benjamin A. Hall and
Jasmin Fisher},
editor = {Pietro Li{\`{o}} and
Paolo Zuliani},
title = {Using State Space Exploration to Determine How Gene Regulatory Networks
Constrain Mutation Order in Cancer Evolution},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
series = {Computational Biology},
volume = {30},
pages = {133--153},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17297-8\_5},
doi = {10.1007/978-3-030-17297-8\_5},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/cb/ClarkeWPHF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05629,
author = {Rupak Majumdar and
Nir Piterman and
Anne{-}Kathrin Schmuck},
title = {Environmentally-friendly {GR(1)} Synthesis},
journal = {CoRR},
volume = {abs/1902.05629},
year = {2019},
url = {http://arxiv.org/abs/1902.05629},
eprinttype = {arXiv},
eprint = {1902.05629},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-05629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-10793,
author = {Yehia Abd Alrahman and
Giuseppe Perelli and
Nir Piterman},
title = {A Computational Framework for Adaptive Systems and its Verification},
journal = {CoRR},
volume = {abs/1906.10793},
year = {2019},
url = {http://arxiv.org/abs/1906.10793},
eprinttype = {arXiv},
eprint = {1906.10793},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/WoodhousePWGF18,
author = {Steven Woodhouse and
Nir Piterman and
Christoph M. Wintersteiger and
Berthold G{\"{o}}ttgens and
Jasmin Fisher},
title = {{SCNS:} a graphical tool for reconstructing executable regulatory
networks from single-cell genomic data},
journal = {{BMC} Syst. Biol.},
volume = {12},
number = {1},
pages = {59:1--59:7},
year = {2018},
url = {https://doi.org/10.1186/s12918-018-0581-y},
doi = {10.1186/S12918-018-0581-Y},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/WoodhousePWGF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/PitermanP18,
author = {Nir Piterman and
Amir Pnueli},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Temporal Logic and Fair Discrete Systems},
booktitle = {Handbook of Model Checking},
pages = {27--73},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_2},
doi = {10.1007/978-3-319-10575-8\_2},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/PitermanP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-03453,
author = {Krishnendu Chatterjee and
Nir Piterman},
title = {Combinations of Qualitative Winning for Stochastic Parity Games},
journal = {CoRR},
volume = {abs/1804.03453},
year = {2018},
url = {http://arxiv.org/abs/1804.03453},
eprinttype = {arXiv},
eprint = {1804.03453},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-03453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-03454,
author = {Krishnendu Chatterjee and
Nir Piterman},
title = {Coverability: Realizability Lower Bounds},
journal = {CoRR},
volume = {abs/1804.03454},
year = {2018},
url = {http://arxiv.org/abs/1804.03454},
eprinttype = {arXiv},
eprint = {1804.03454},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-03454.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CookKP17,
author = {Byron Cook and
Heidy Khlaaf and
Nir Piterman},
title = {Verifying Increasingly Expressive Temporal Logics for Infinite-State
Systems},
journal = {J. {ACM}},
volume = {64},
number = {2},
pages = {15:1--15:39},
year = {2017},
url = {https://doi.org/10.1145/3060257},
doi = {10.1145/3060257},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/CookKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChatterjeeP17,
author = {Krishnendu Chatterjee and
Nir Piterman},
title = {Obligation Blackwell Games and P-Automata},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {420--452},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.71},
doi = {10.1017/JSL.2016.71},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/ChatterjeeP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Piterman17,
author = {Nir Piterman},
title = {Advances in verification presented in TACAS'13},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {5},
pages = {511--515},
year = {2017},
url = {https://doi.org/10.1007/s10009-017-0460-7},
doi = {10.1007/S10009-017-0460-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Piterman17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CiolekBDPU17,
author = {Daniel Alfredo Ciolek and
V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Interaction Models and Automated Control under Partial Observable
Environments},
journal = {{IEEE} Trans. Software Eng.},
volume = {43},
number = {1},
pages = {19--33},
year = {2017},
url = {https://doi.org/10.1109/TSE.2016.2564959},
doi = {10.1109/TSE.2016.2564959},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CiolekBDPU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AhmedBBDFHINPRS17,
author = {Zara Ahmed and
David Benqu{\'{e}} and
Sergey Berezin and
Anna Caroline E. Dahl and
Jasmin Fisher and
Benjamin A. Hall and
Samin Ishtiaq and
Jay Nanavati and
Nir Piterman and
Maik Riechert and
Nikita Skoblov},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Bringing {LTL} Model Checking to Biologists},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {1--13},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_1},
doi = {10.1007/978-3-319-52234-0\_1},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AhmedBBDFHINPRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CauliP17,
author = {Claudia Cauli and
Nir Piterman},
editor = {Arnaud Carayol and
Cyril Nicaud},
title = {Equivalence of Probabilistic {\textbackslash}mu -Calculus and p-Automata},
booktitle = {Implementation and Application of Automata - 22nd International Conference,
{CIAA} 2017, Marne-la-Vall{\'{e}}e, France, June 27-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10329},
pages = {64--75},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60134-2\_6},
doi = {10.1007/978-3-319-60134-2\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/CauliP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/LimWWPWFG16,
author = {Chee Yee Lim and
Huange Wang and
Steven Woodhouse and
Nir Piterman and
Lorenz Wernisch and
Jasmin Fisher and
Berthold G{\"{o}}ttgens},
title = {{BTR:} training asynchronous Boolean models using single-cell expression
data},
journal = {{BMC} Bioinform.},
volume = {17},
pages = {355},
year = {2016},
url = {https://doi.org/10.1186/s12859-016-1235-y},
doi = {10.1186/S12859-016-1235-Y},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/LimWWPWFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HuthKP16,
author = {Michael Huth and
Jim Huan{-}Pu Kuo and
Nir Piterman},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Static Analysis of Parity Games: Alternating Reachability Under Parity},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {159--177},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_8},
doi = {10.1007/978-3-319-27810-0\_8},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HuthKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WisniewskiSBP16,
author = {Rafael Wisniewski and
Christoffer Sloth and
Manuela{-}Luminita Bujorianu and
Nir Piterman},
editor = {Alessandro Abate and
Georgios Fainekos},
title = {Safety Verification of Piecewise-Deterministic Markov Processes},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
2016},
pages = {257--266},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2883817.2883836},
doi = {10.1145/2883817.2883836},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/WisniewskiSBP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BakhirkinP16,
author = {Alexey Bakhirkin and
Nir Piterman},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Finding Recurrent Sets with Backward Analysis and Trace Partitioning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {17--35},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_2},
doi = {10.1007/978-3-662-49674-9\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BakhirkinP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrockschmidtCIK16,
author = {Marc Brockschmidt and
Byron Cook and
Samin Ishtiaq and
Heidy Khlaaf and
Nir Piterman},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {{T2:} Temporal Property Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {387--393},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_22},
doi = {10.1007/978-3-662-49674-9\_22},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BrockschmidtCIK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HuthKP15,
author = {Michael Huth and
Jim Huan{-}Pu Kuo and
Nir Piterman},
title = {The Rabin index of parity games: Its complexity and approximation},
journal = {Inf. Comput.},
volume = {245},
pages = {36--53},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2015.06.005},
doi = {10.1016/J.IC.2015.06.005},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/HuthKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/RamanPFK15,
author = {Vasumathi Raman and
Nir Piterman and
Cameron Finucane and
Hadas Kress{-}Gazit},
title = {Timing Semantics for Abstraction and Execution of Synthesized High-Level
Robot Control},
journal = {{IEEE} Trans. Robotics},
volume = {31},
number = {3},
pages = {591--604},
year = {2015},
url = {https://doi.org/10.1109/TRO.2015.2414134},
doi = {10.1109/TRO.2015.2414134},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/trob/RamanPFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKP15,
author = {Byron Cook and
Heidy Khlaaf and
Nir Piterman},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {On Automation of CTL* Verification for Infinite-State Systems},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {13--29},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_2},
doi = {10.1007/978-3-319-21690-4\_2},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/CookKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FisherKPW15,
author = {Jasmin Fisher and
Ali Sinan K{\"{o}}ksal and
Nir Piterman and
Steven Woodhouse},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Synthesising Executable Gene Regulatory Networks from Single-Cell
Gene Expression Data},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {544--560},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_38},
doi = {10.1007/978-3-319-21690-4\_38},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FisherKPW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/BujorianuP15,
author = {Manuela{-}Luminita Bujorianu and
Nir Piterman},
editor = {Christian Berger and
Mohammad Reza Mousavi},
title = {A Modelling Framework for Cyber-Physical System Resilience},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International
Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9361},
pages = {67--82},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25141-7\_6},
doi = {10.1007/978-3-319-25141-7\_6},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/BujorianuP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CastroKP15,
author = {Pablo F. Castro and
Cecilia Kilmurray and
Nir Piterman},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {A Recursive Probabilistic Temporal Logic},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {336--348},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_22},
doi = {10.1007/978-3-319-25423-4\_22},
timestamp = {Sun, 02 Jun 2019 21:19:43 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CastroKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BakhirkinBP15,
author = {Alexey Bakhirkin and
Josh Berdine and
Nir Piterman},
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {A Forward Analysis for Recurrent Sets},
booktitle = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
France, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9291},
pages = {293--311},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9\_17},
doi = {10.1007/978-3-662-48288-9\_17},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/BakhirkinBP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CastroKP15,
author = {Pablo F. Castro and
Cecilia Kilmurray and
Nir Piterman},
editor = {Ernst W. Mayr and
Nicolas Ollinger},
title = {Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal
Logics},
booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2015, March 4-7, 2015, Garching, Germany},
series = {LIPIcs},
volume = {30},
pages = {211--223},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.STACS.2015.211},
doi = {10.4230/LIPICS.STACS.2015.211},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/CastroKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CookKP15,
author = {Byron Cook and
Heidy Khlaaf and
Nir Piterman},
editor = {Christel Baier and
Cesare Tinelli},
title = {Fairness for Infinite-State Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {384--398},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_30},
doi = {10.1007/978-3-662-46681-0\_30},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CookKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2015,
editor = {Nir Piterman},
title = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1},
doi = {10.1007/978-3-319-26287-1},
isbn = {978-3-319-26286-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FisherKPW15,
author = {Jasmin Fisher and
Ali Sinan K{\"{o}}ksal and
Nir Piterman and
Steven Woodhouse},
title = {Synthesising Executable Gene Regulatory Networks from Single-cell
Gene Expression Data},
journal = {CoRR},
volume = {abs/1505.05193},
year = {2015},
url = {http://arxiv.org/abs/1505.05193},
eprinttype = {arXiv},
eprint = {1505.05193},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FisherKPW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrockschmidtCIK15,
author = {Marc Brockschmidt and
Byron Cook and
Samin Ishtiaq and
Heidy Khlaaf and
Nir Piterman},
title = {{T2:} Temporal Property Verification},
journal = {CoRR},
volume = {abs/1512.08689},
year = {2015},
url = {http://arxiv.org/abs/1512.08689},
eprinttype = {arXiv},
eprint = {1512.08689},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrockschmidtCIK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/DIppolitoBPU14,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Controllability in Partial and Uncertain Environments},
booktitle = {14th International Conference on Application of Concurrency to System
Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
pages = {52--61},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ACSD.2014.15},
doi = {10.1109/ACSD.2014.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/DIppolitoBPU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookFHIJP14,
author = {Byron Cook and
Jasmin Fisher and
Benjamin A. Hall and
Samin Ishtiaq and
Garvit Juniwal and
Nir Piterman},
editor = {Armin Biere and
Roderick Bloem},
title = {Finding Instability in Biological Models},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {358--372},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_24},
doi = {10.1007/978-3-319-08867-9\_24},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/CookFHIJP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookKP14,
author = {Byron Cook and
Heidy Khlaaf and
Nir Piterman},
title = {Faster temporal reasoning for infinite-state programs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {75--82},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987598},
doi = {10.1109/FMCAD.2014.6987598},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CookKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BakhirkinBP14,
author = {Alexey Bakhirkin and
Josh Berdine and
Nir Piterman},
editor = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {Backward Analysis via over-Approximate Abstraction and under-Approximate
Subtraction},
booktitle = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
Germany, September 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8723},
pages = {34--50},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10936-7\_3},
doi = {10.1007/978-3-319-10936-7\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BakhirkinBP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HuthKP14,
author = {Michael Huth and
Jim Huan{-}Pu Kuo and
Nir Piterman},
title = {Fatal Attractors in Parity Games: Building Blocks for Partial Solvers},
journal = {CoRR},
volume = {abs/1405.0386},
year = {2014},
url = {http://arxiv.org/abs/1405.0386},
eprinttype = {arXiv},
eprint = {1405.0386},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HuthKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/DIppolitoBPU13,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
title = {Synthesizing nonanomalous event-based controllers for liveness goals},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {22},
number = {1},
pages = {9:1--9:36},
year = {2013},
url = {https://doi.org/10.1145/2430536.2430543},
doi = {10.1145/2430536.2430543},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/DIppolitoBPU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ClaessenFIPW13,
author = {Koen Claessen and
Jasmin Fisher and
Samin Ishtiaq and
Nir Piterman and
Qinsi Wang},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Model-Checking Signal Transduction Networks through Decreasing Reachability
Sets},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {85--100},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_5},
doi = {10.1007/978-3-642-39799-8\_5},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ClaessenFIPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/TaylorPIFCCBB13,
author = {Alex S. Taylor and
Nir Piterman and
Samin Ishtiaq and
Jasmin Fisher and
Byron Cook and
Caitlin Cockerton and
Sam Bourton and
David Benqu{\'{e}}},
editor = {Wendy E. Mackay and
Stephen A. Brewster and
Susanne B{\o}dker},
title = {At the interface of biology and computation},
booktitle = {2013 {ACM} {SIGCHI} Conference on Human Factors in Computing Systems,
{CHI} '13, Paris, France, April 27 - May 2, 2013},
pages = {493--502},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2470654.2470725},
doi = {10.1145/2470654.2470725},
timestamp = {Tue, 01 Jun 2021 15:21:42 +0200},
biburl = {https://dblp.org/rec/conf/chi/TaylorPIFCCBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HuthKP13,
author = {Michael Huth and
Jim Huan{-}Pu Kuo and
Nir Piterman},
editor = {Frank Pfenning},
title = {Fatal Attractors in Parity Games},
booktitle = {Foundations of Software Science and Computation Structures - 16th
International Conference, {FOSSACS} 2013, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2013,
Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7794},
pages = {34--49},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37075-5\_3},
doi = {10.1007/978-3-642-37075-5\_3},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HuthKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/RamanPK13,
author = {Vasumathi Raman and
Nir Piterman and
Hadas Kress{-}Gazit},
title = {Provably correct continuous control for high-level robot behaviors
with actions of arbitrary execution durations},
booktitle = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe,
Germany, May 6-10, 2013},
pages = {4075--4081},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICRA.2013.6631152},
doi = {10.1109/ICRA.2013.6631152},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/RamanPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BrabermanDPSU04,
author = {V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Daniel Sykes and
Sebasti{\'{a}}n Uchitel},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Controller synthesis: from modelling to enactment},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1347--1350},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606714},
doi = {10.1109/ICSE.2013.6606714},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BrabermanDPSU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Piterman13,
author = {Nir Piterman},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Synthesis from Temporal Specifications: New Applications in Robotics
and Model-Driven Development},
booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International
Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8087},
pages = {45--49},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_6},
doi = {10.1007/978-3-642-40313-2\_6},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Piterman13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KoksalPSBFP13,
author = {Ali Sinan K{\"{o}}ksal and
Yewen Pu and
Saurabh Srivastava and
Rastislav Bod{\'{\i}}k and
Jasmin Fisher and
Nir Piterman},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Synthesis of biological models from mutation experiments},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {469--482},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429125},
doi = {10.1145/2429069.2429125},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/KoksalPSBFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HuthKP13,
author = {Michael Huth and
Jim Huan{-}Pu Kuo and
Nir Piterman},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {The Rabin index of parity games},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {35--49},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.6},
doi = {10.4204/EPTCS.119.6},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HuthKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2013,
editor = {Nir Piterman and
Scott A. Smolka},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {7795},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7},
doi = {10.1007/978-3-642-36742-7},
isbn = {978-3-642-36741-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BloemJPPS12,
author = {Roderick Bloem and
Barbara Jobstmann and
Nir Piterman and
Amir Pnueli and
Yaniv Sa'ar},
title = {Synthesis of Reactive(1) designs},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {911--938},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.007},
doi = {10.1016/J.JCSS.2011.08.007},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BloemJPPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/HuthPW12,
author = {Michael Huth and
Nir Piterman and
Daniel Wagner},
title = {p-Automata: New foundations for discrete-time probabilistic verification},
journal = {Perform. Evaluation},
volume = {69},
number = {7-8},
pages = {356--378},
year = {2012},
url = {https://doi.org/10.1016/j.peva.2012.05.005},
doi = {10.1016/J.PEVA.2012.05.005},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/HuthPW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BenqueBCCFIPTV12,
author = {David Benqu{\'{e}} and
Sam Bourton and
Caitlin Cockerton and
Byron Cook and
Jasmin Fisher and
Samin Ishtiaq and
Nir Piterman and
Alex S. Taylor and
Moshe Y. Vardi},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Bma: Visual Tool for Modeling and Analyzing Biological Networks},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {686--692},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_50},
doi = {10.1007/978-3-642-31424-7\_50},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BenqueBCCFIPTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DIppolitoBPU12,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {The Modal Transition System Control Problem},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {155--170},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_15},
doi = {10.1007/978-3-642-32759-9\_15},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/DIppolitoBPU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipcat/BeyerEPHHF12,
author = {Antje Beyer and
Ralf Eberhard and
Nir Piterman and
Michael O. Hengartner and
Alex Hajnal and
Jasmin Fisher},
editor = {Michael A. Lones and
Stephen L. Smith and
Sarah A. Teichmann and
Felix Naef and
James Alfred Walker and
Martin Trefzer},
title = {Predictive Modelling of Stem Cell Differentiation and Apoptosis in
C. elegans},
booktitle = {Information Processign in Cells and Tissues - 9th International Conference,
{IPCAT} 2012, Cambridge, UK, March 31 - April 2, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7223},
pages = {99--104},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28792-3\_14},
doi = {10.1007/978-3-642-28792-3\_14},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipcat/BeyerEPHHF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KleinPP12,
author = {Uri Klein and
Nir Piterman and
Amir Pnueli},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Effective Synthesis of Asynchronous Systems from {GR(1)} Specifications},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {283--298},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_19},
doi = {10.1007/978-3-642-27940-9\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KleinPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-5174,
author = {Krishnendu Chatterjee and
Nir Piterman},
title = {Obligation Blackwell Games and p-Automata},
journal = {CoRR},
volume = {abs/1206.5174},
year = {2012},
url = {http://arxiv.org/abs/1206.5174},
eprinttype = {arXiv},
eprint = {1206.5174},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-5174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GodefroidP11,
author = {Patrice Godefroid and
Nir Piterman},
title = {{LTL} generalized model checking revisited},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {6},
pages = {571--584},
year = {2011},
url = {https://doi.org/10.1007/s10009-010-0169-3},
doi = {10.1007/S10009-010-0169-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GodefroidP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FisherHNPSV11,
author = {Jasmin Fisher and
Thomas A. Henzinger and
Dejan Nickovic and
Nir Piterman and
Anmol V. Singh and
Moshe Y. Vardi},
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {Dynamic Reactive Modules},
booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
pages = {404--418},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23217-6\_27},
doi = {10.1007/978-3-642-23217-6\_27},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/FisherHNPSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FisherPV11,
author = {Jasmin Fisher and
Nir Piterman and
Moshe Y. Vardi},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {The Only Way Is Up},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {3--11},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_3},
doi = {10.1007/978-3-642-21437-0\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/FisherPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HuthKP11,
author = {Michael Huth and
Jim Huan{-}Pu Kuo and
Nir Piterman},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Concurrent Small Progress Measures},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {130--144},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_13},
doi = {10.1007/978-3-642-34188-5\_13},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HuthKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HuthKP11a,
author = {Michael Huth and
Jim Huan{-}Pu Kuo and
Nir Piterman},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {The Rabin Index of Parity Games - (Extended Abstract)},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {259--260},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_25},
doi = {10.1007/978-3-642-34188-5\_25},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HuthKP11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DIppolitoBPU11,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Synthesis of live behaviour models for fallible domains},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {211--220},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985823},
doi = {10.1145/1985793.1985823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DIppolitoBPU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Piterman11,
author = {Nir Piterman},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {p-Automata and Obligation Games},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {3--6},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.23},
doi = {10.1109/TIME.2011.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Piterman11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CookFKP11,
author = {Byron Cook and
Jasmin Fisher and
Elzbieta Krepska and
Nir Piterman},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Proving Stabilization of Biological Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {134--149},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_11},
doi = {10.1007/978-3-642-18275-4\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CookFKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ChatterjeeHP10,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Nir Piterman},
title = {Strategy logic},
journal = {Inf. Comput.},
volume = {208},
number = {6},
pages = {677--693},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.07.004},
doi = {10.1016/J.IC.2009.07.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ChatterjeeHP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/FecherHPW10,
author = {Harald Fecher and
Michael Huth and
Nir Piterman and
Daniel Wagner},
title = {{PCTL} model checking of Markov chains: Truth and falsity as winning
strategies in games},
journal = {Perform. Evaluation},
volume = {67},
number = {9},
pages = {858--872},
year = {2010},
url = {https://doi.org/10.1016/j.peva.2009.07.002},
doi = {10.1016/J.PEVA.2009.07.002},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/FecherHPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KupfermanPV10,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
editor = {Zohar Manna and
Doron A. Peled},
title = {An Automata-Theoretic Approach to Infinite-State Systems},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
series = {Lecture Notes in Computer Science},
volume = {6200},
pages = {202--259},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13754-9\_11},
doi = {10.1007/978-3-642-13754-9\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KupfermanPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/NickovicP10,
author = {Dejan Nickovic and
Nir Piterman},
editor = {Krishnendu Chatterjee and
Thomas A. Henzinger},
title = {From Mtl to Deterministic Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6246},
pages = {152--167},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15297-9\_13},
doi = {10.1007/978-3-642-15297-9\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/NickovicP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HuthPW10,
author = {Michael Huth and
Nir Piterman and
Daniel Wagner},
title = {p-Automata: New Foundations for Discrete-Time Probabilistic Verification},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {161--170},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.29},
doi = {10.1109/QEST.2010.29},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/HuthPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DIppolitoBPU10,
author = {Nicol{\'{a}}s D'Ippolito and
V{\'{\i}}ctor A. Braberman and
Nir Piterman and
Sebasti{\'{a}}n Uchitel},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Synthesis of live behaviour models},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {77--86},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882305},
doi = {10.1145/1882291.1882305},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DIppolitoBPU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/WangCPPF09,
author = {Dennis Y. Q. Wang and
Luca Cardelli and
Andrew Phillips and
Nir Piterman and
Jasmin Fisher},
title = {Computational modeling of the {EGFR} network elucidates control mechanisms
regulating signal dynamics},
journal = {{BMC} Syst. Biol.},
volume = {3},
pages = {118},
year = {2009},
url = {https://doi.org/10.1186/1752-0509-3-118},
doi = {10.1186/1752-0509-3-118},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/WangCPPF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HuthPW09,
author = {Michael Huth and
Nir Piterman and
Huaxin Wang},
title = {A workbench for preprocessor design and evaluation: toward benchmarks
for parity games},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {23},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.23.324},
doi = {10.14279/TUJ.ECEASST.23.324},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HuthPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KupfermanPV09,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
title = {From liveness to promptness},
journal = {Formal Methods Syst. Des.},
volume = {34},
number = {2},
pages = {83--103},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0067-z},
doi = {10.1007/S10703-009-0067-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KupfermanPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/HuthPW09,
author = {Michael Huth and
Nir Piterman and
Daniel Wagner},
editor = {Miroslaw Kutylowski and
Witold Charatonik and
Maciej Gebala},
title = {Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable
Fragment of {PCTL}},
booktitle = {Fundamentals of Computation Theory, 17th International Symposium,
{FCT} 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5699},
pages = {205--216},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03409-1\_19},
doi = {10.1007/978-3-642-03409-1\_19},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/HuthPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KupfermanP09,
author = {Orna Kupferman and
Nir Piterman},
editor = {Luca de Alfaro},
title = {Lower Bounds on Witnesses for Nonemptiness of Universal Co-B{\"{u}}chi
Automata},
booktitle = {Foundations of Software Science and Computational Structures, 12th
International Conference, {FOSSACS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5504},
pages = {182--196},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00596-1\_14},
doi = {10.1007/978-3-642-00596-1\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KupfermanP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GodefroidP09,
author = {Patrice Godefroid and
Nir Piterman},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {{LTL} Generalized Model Checking Revisited},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {89--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_11},
doi = {10.1007/978-3-540-93900-9\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GodefroidP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsb/FisherHMP08,
author = {Jasmin Fisher and
Thomas A. Henzinger and
Maria Mateescu and
Nir Piterman},
editor = {Jasmin Fisher},
title = {Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions},
booktitle = {Formal Methods in Systems Biology, First International Workshop, {FMSB}
2008, Cambridge, UK, June 4-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5054},
pages = {17--32},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68413-8\_2},
doi = {10.1007/978-3-540-68413-8\_2},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/fmsb/FisherHMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/FecherHPW08,
author = {Harald Fecher and
Michael Huth and
Nir Piterman and
Daniel Wagner},
title = {Hintikka Games for {PCTL} on Labeled Markov Chains},
booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems
{(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
pages = {169--178},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/QEST.2008.10},
doi = {10.1109/QEST.2008.10},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/FecherHPW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0805-2620,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Nir Piterman},
title = {Algorithms for B{\"{u}}chi Games},
journal = {CoRR},
volume = {abs/0805.2620},
year = {2008},
url = {http://arxiv.org/abs/0805.2620},
eprinttype = {arXiv},
eprint = {0805.2620},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0805-2620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Piterman07,
author = {Nir Piterman},
title = {From Nondeterministic B{\"{u}}chi and Streett Automata to Deterministic
Parity Automata},
journal = {Log. Methods Comput. Sci.},
volume = {3},
number = {3},
year = {2007},
url = {https://doi.org/10.2168/LMCS-3(3:5)2007},
doi = {10.2168/LMCS-3(3:5)2007},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Piterman07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/FisherPHH07,
author = {Jasmin Fisher and
Nir Piterman and
Alex Hajnal and
Thomas A. Henzinger},
title = {Predictive Modeling of Signaling Crosstalk during \emph{C. elegans}
Vulval Development},
journal = {PLoS Comput. Biol.},
volume = {3},
number = {5},
year = {2007},
url = {https://doi.org/10.1371/journal.pcbi.0030092},
doi = {10.1371/JOURNAL.PCBI.0030092},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/FisherPHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KupfermanPV07,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
editor = {Werner Damm and
Holger Hermanns},
title = {From Liveness to Promptness},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {406--419},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_44},
doi = {10.1007/978-3-540-73368-3\_44},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/KupfermanPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChatterjeeHP07,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Nir Piterman},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Strategy Logic},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {59--73},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_5},
doi = {10.1007/978-3-540-74407-8\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChatterjeeHP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BloemGJPPW07,
author = {Roderick Bloem and
Stefan J. Galler and
Barbara Jobstmann and
Nir Piterman and
Amir Pnueli and
Martin Weiglhofer},
editor = {Rudy Lauwereins and
Jan Madsen},
title = {Interactive presentation: Automatic hardware synthesis from specifications:
a case study},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
{DATE} 2007, Nice, France, April 16-20, 2007},
pages = {1188--1193},
publisher = {{EDA} Consortium, San Jose, CA, {USA}},
year = {2007},
url = {https://dl.acm.org/citation.cfm?id=1266622},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BloemGJPPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ChatterjeeHP07,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Nir Piterman},
editor = {Helmut Seidl},
title = {Generalized Parity Games},
booktitle = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {153--167},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_12},
doi = {10.1007/978-3-540-71389-0\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ChatterjeeHP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BloemGJPPW07,
author = {Roderick Bloem and
Stefan J. Galler and
Barbara Jobstmann and
Nir Piterman and
Amir Pnueli and
Martin Weiglhofer},
editor = {Sabine Glesner and
Jens Knoop and
Rolf Drechsler},
title = {Specify, Compile, Run: Hardware from {PSL}},
booktitle = {Proceedings of the Workshop on Compiler Optimization meets Compiler
Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {4},
pages = {3--16},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.004},
doi = {10.1016/J.ENTCS.2007.09.004},
timestamp = {Tue, 31 Jan 2023 16:00:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BloemGJPPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0705-2205,
author = {Nir Piterman},
title = {From Nondeterministic B{\"{u}}chi and Streett Automata to Deterministic
Parity Automata},
journal = {CoRR},
volume = {abs/0705.2205},
year = {2007},
url = {http://arxiv.org/abs/0705.2205},
eprinttype = {arXiv},
eprint = {0705.2205},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0705-2205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FangPPZ06,
author = {Yi Fang and
Nir Piterman and
Amir Pnueli and
Lenore D. Zuck},
title = {Liveness with invisible ranking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {3},
pages = {261--279},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0193-x},
doi = {10.1007/S10009-005-0193-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FangPPZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GrinchteinLP06,
author = {Olga Grinchtein and
Martin Leucker and
Nir Piterman},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Inferring Network Invariants Automatically},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {483--497},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_40},
doi = {10.1007/11814771\_40},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GrinchteinLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KupfermanPV06,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
editor = {Thomas Ball and
Robert B. Jones},
title = {Safraless Compositional Synthesis},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {31--44},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_6},
doi = {10.1007/11817963\_6},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/cav/KupfermanPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JuvekarP06,
author = {Sudeep Juvekar and
Nir Piterman},
editor = {Thomas Ball and
Robert B. Jones},
title = {Minimizing Generalized B{\"{u}}chi Automata},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {45--58},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_7},
doi = {10.1007/11817963\_7},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JuvekarP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HenzingerP06,
author = {Thomas A. Henzinger and
Nir Piterman},
editor = {Zolt{\'{a}}n {\'{E}}sik},
title = {Solving Games Without Determinization},
booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th
Annual Conference of the EACSL, Szeged, Hungary, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4207},
pages = {395--410},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11874683\_26},
doi = {10.1007/11874683\_26},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/HenzingerP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Piterman06,
author = {Nir Piterman},
title = {From Nondeterministic Buchi and Streett Automata to Deterministic
Parity Automata},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {255--264},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.28},
doi = {10.1109/LICS.2006.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Piterman06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PitermanP06,
author = {Nir Piterman and
Amir Pnueli},
title = {Faster Solutions of Rabin and Streett Games},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {275--284},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.23},
doi = {10.1109/LICS.2006.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PitermanP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PitermanPS06,
author = {Nir Piterman and
Amir Pnueli and
Yaniv Sa'ar},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Synthesis of Reactive(1) Designs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {364--380},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_24},
doi = {10.1007/11609773\_24},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PitermanPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KestenPP05,
author = {Yonit Kesten and
Nir Piterman and
Amir Pnueli},
title = {Bridging the gap between fair simulation and trace inclusion},
journal = {Inf. Comput.},
volume = {200},
number = {1},
pages = {35--61},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2005.01.006},
doi = {10.1016/J.IC.2005.01.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KestenPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PitermanV04,
author = {Nir Piterman and
Moshe Y. Vardi},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Global Model-Checking of Infinite-State Systems},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {387--400},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_30},
doi = {10.1007/978-3-540-27813-9\_30},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/PitermanV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FisherHHPSS04,
author = {Jasmin Fisher and
David Harel and
E. Jane Albert Hubbard and
Nir Piterman and
Michael J. Stern and
Naamah Swerdlin},
editor = {Vincent Danos and
Vincent Sch{\"{a}}chter},
title = {Combining State-Based and Scenario-Based Approaches in Modeling Biological
Systems},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3082},
pages = {236--241},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25974-9\_20},
doi = {10.1007/978-3-540-25974-9\_20},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/FisherHHPSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FangPPZ04,
author = {Yi Fang and
Nir Piterman and
Amir Pnueli and
Lenore D. Zuck},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Liveness with Incomprehensible Ranking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {482--496},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_36},
doi = {10.1007/978-3-540-24730-2\_36},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FangPPZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FangPPZ04,
author = {Yi Fang and
Nir Piterman and
Amir Pnueli and
Lenore D. Zuck},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Liveness with Invisible Ranking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {223--238},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_19},
doi = {10.1007/978-3-540-24622-0\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FangPPZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArmoniFFHPV05,
author = {Roy Armoni and
Limor Fix and
Ranan Fraer and
Scott Huddleston and
Nir Piterman and
Moshe Y. Vardi},
editor = {Armin Biere and
Ofer Strichman},
title = {SAT-based Induction for Temporal Safety Properties},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {3--16},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.021},
doi = {10.1016/J.ENTCS.2004.12.021},
timestamp = {Tue, 13 Dec 2022 11:43:14 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArmoniFFHPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PitermanV03,
author = {Nir Piterman and
Moshe Y. Vardi},
title = {From bidirectionality to alternation},
journal = {Theor. Comput. Sci.},
volume = {295},
pages = {295--321},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00410-3},
doi = {10.1016/S0304-3975(02)00410-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PitermanV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KupfermanPV03,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
editor = {Nachum Dershowitz},
title = {Fair Equivalence Relations},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {702--732},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_30},
doi = {10.1007/978-3-540-39910-0\_30},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KupfermanPV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ArmoniFFGPTV03,
author = {Roy Armoni and
Limor Fix and
Alon Flaisher and
Orna Grumberg and
Nir Piterman and
Andreas Tiemeyer and
Moshe Y. Vardi},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Enhanced Vacuity Detection in Linear Temporal Logic},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {368--380},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_35},
doi = {10.1007/978-3-540-45069-6\_35},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ArmoniFFGPTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KestenPP03,
author = {Yonit Kesten and
Nir Piterman and
Amir Pnueli},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Bridging the Gap between Fair Simulation and Trace Inclusion},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {381--393},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_36},
doi = {10.1007/978-3-540-45069-6\_36},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KestenPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PitermanV03,
author = {Nir Piterman and
Moshe Y. Vardi},
title = {Micro-Macro Stack Systems: {A} New Frontier of Elementary Decidability
for Sequential Systems},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {381},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210078},
doi = {10.1109/LICS.2003.1210078},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PitermanV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KupfermanPV02,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Model Checking Linear Properties of Prefix-Recognizable Systems},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {371--385},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_31},
doi = {10.1007/3-540-45657-0\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KupfermanPV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KupfermanPV02,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
editor = {Matthias Baaz and
Andrei Voronkov},
title = {Pushdown Specifications},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2514},
pages = {262--277},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36078-6\_18},
doi = {10.1007/3-540-36078-6\_18},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KupfermanPV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KupfermanPV01,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {Extended Temporal Logic Revisited},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {519--535},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_35},
doi = {10.1007/3-540-44685-0\_35},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/KupfermanPV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PitermanV01,
author = {Nir Piterman and
Moshe Y. Vardi},
editor = {Jir{\'{\i}} Sgall and
Ales Pultr and
Petr Kolman},
title = {From Bidirectionality to Alternation},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International
Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2136},
pages = {598--610},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44683-4\_52},
doi = {10.1007/3-540-44683-4\_52},
timestamp = {Sat, 19 Oct 2019 20:31:50 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/PitermanV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KupfermanPV00,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Fair Equivalence Relations},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {151--163},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_12},
doi = {10.1007/3-540-44450-5\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KupfermanPV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-02 01:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
