Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wojciech Penczek
@inproceedings{DBLP:conf/apn/Penczek23,
author = {Wojciech Penczek},
editor = {Michael K{\"{o}}hler{-}Bussmeier and
Daniel Moldt and
Heiko R{\"{o}}lke},
title = {Model Checking of Strategic Timed Temporal Logics (Invited Talk)},
booktitle = {Proceedings of the 2023 International Workshop on Petri Nets and Software
Engineering {(PNSE} 2023) co-located with the 44th International Conference
on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS}
2023), June 27, 2023, Lisbon, Portugal},
series = {{CEUR} Workshop Proceedings},
volume = {3430},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3430/keynote.pdf},
timestamp = {Fri, 04 Aug 2023 23:51:40 +0200},
biburl = {https://dblp.org/rec/conf/apn/Penczek23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/0001JPPS23,
author = {Jaime Arias and
Wojciech Jamroga and
Wojciech Penczek and
Laure Petrucci and
Teofil Sidoruk},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Strategic (Timed) Computation Tree Logic},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {382--390},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598661},
doi = {10.5555/3545946.3598661},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/0001JPPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Kacprzak0PZ23,
author = {Magdalena Kacprzak and
Artur Niewiadomski and
Wojciech Penczek and
Andrzej Zbrzezny},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {1180--1189},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230394},
doi = {10.3233/FAIA230394},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Kacprzak0PZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-13405,
author = {Jaime Arias and
Wojciech Jamroga and
Wojciech Penczek and
Laure Petrucci and
Teofil Sidoruk},
title = {Strategic (Timed) Computation Tree Logic},
journal = {CoRR},
volume = {abs/2302.13405},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.13405},
doi = {10.48550/ARXIV.2302.13405},
eprinttype = {arXiv},
eprint = {2302.13405},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-13405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04616,
author = {Jaime Arias and
Carlos Olarte and
Laure Petrucci and
Lukasz Masko and
Wojciech Penczek and
Teofil Sidoruk},
title = {Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and
Declarative Models},
journal = {CoRR},
volume = {abs/2305.04616},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.04616},
doi = {10.48550/ARXIV.2305.04616},
eprinttype = {arXiv},
eprint = {2305.04616},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-04616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-15789,
author = {Damian Kurpiewski and
Wojciech Jamroga and
Lukasz Masko and
Lukasz Mikulski and
Witold Pazderski and
Wojciech Penczek and
Teofil Sidoruk},
title = {Verification of Multi-Agent Properties in Electronic Voting: {A} Case
Study},
journal = {CoRR},
volume = {abs/2310.15789},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.15789},
doi = {10.48550/ARXIV.2310.15789},
eprinttype = {arXiv},
eprint = {2310.15789},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-15789.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-16519,
author = {Artur Niewiadomski and
Magdalena Kacprzak and
Damian Kurpiewski and
Michal Knapik and
Wojciech Penczek and
Wojciech Jamroga},
title = {MsATL: a Tool for SAT-Based {ATL} Satisfiability Checking},
journal = {CoRR},
volume = {abs/2310.16519},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.16519},
doi = {10.48550/ARXIV.2310.16519},
eprinttype = {arXiv},
eprint = {2310.16519},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-16519.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-20344,
author = {Wojciech Jamroga and
Beata Konikowska and
Damian Kurpiewski and
Wojciech Penczek},
title = {Multi-Valued Verification of Strategic Ability},
journal = {CoRR},
volume = {abs/2310.20344},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.20344},
doi = {10.48550/ARXIV.2310.20344},
eprinttype = {arXiv},
eprint = {2310.20344},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-20344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/JamrogaMMPPSK22,
author = {Wojtek Jamroga and
Lukasz Masko and
Lukasz Mikulski and
Witold Pazderski and
Wojciech Penczek and
Teofil Sidoruk and
Damian Kurpiewski},
editor = {David Fern{\'{a}}ndez{-}Duque and
Alessandra Palmigiano and
Sophie Pinchinat},
title = {Verification of Multi-Agent Properties in Electronic Voting: {A} Case
Study},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25,
2022},
pages = {531--556},
publisher = {College Publications},
year = {2022},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/JamrogaMMPPSK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AriasPMPS22,
author = {Jaime Arias and
Laure Petrucci and
Lukasz Masko and
Wojciech Penczek and
Teofil Sidoruk},
title = {Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees},
booktitle = {26th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022},
pages = {1--10},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICECCS54210.2022.00009},
doi = {10.1109/ICECCS54210.2022.00009},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/AriasPMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AriasKPP22,
author = {Jaime Arias and
Michal Knapik and
Wojciech Penczek and
Laure Petrucci},
editor = {Adri{\'{a}}n Riesco and
Min Zhang},
title = {Modular Analysis of Tree-Topology Models},
booktitle = {Formal Methods and Software Engineering - 23rd International Conference
on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October
24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13478},
pages = {36--53},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17244-1\_3},
doi = {10.1007/978-3-031-17244-1\_3},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/AriasKPP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SchlingloffP21,
author = {Holger Schlingloff and
Wojciech Penczek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {179},
number = {2},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2015},
doi = {10.3233/FI-2021-2015},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SchlingloffP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KellerP21,
author = {J{\"{o}}rg Keller and
Wojciech Penczek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {182},
number = {1},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2063},
doi = {10.3233/FI-2021-2063},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/KellerP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaPS21,
author = {Wojciech Jamroga and
Wojciech Penczek and
Teofil Sidoruk},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Strategic Abilities of Asynchronous Agents: Semantic Side Effects},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1545--1547},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1545.pdf},
doi = {10.5555/3463952.3464154},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AriasPPS21,
author = {Jaime Arias and
Wojciech Penczek and
Laure Petrucci and
Teofil Sidoruk},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {{ADT2AMAS:} Managing Agents in Attack-Defence Scenarios},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1749--1751},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1749.pdf},
doi = {10.5555/3463952.3464225},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/AriasPPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JamrogaPS21,
author = {Wojciech Jamroga and
Wojciech Penczek and
Teofil Sidoruk},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Strategic Abilities of Asynchronous Agents: Semantic Side Effects
and How to Tame Them},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {368--378},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/35},
doi = {10.24963/KR.2021/35},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/JamrogaPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Kacprzak0P21,
author = {Magdalena Kacprzak and
Artur Niewiadomski and
Wojciech Penczek},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Satisfiability Checking of Strategy Logic with Simple Goals},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {400--410},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/38},
doi = {10.24963/KR.2021/38},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Kacprzak0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KanskiNKPN21,
author = {Michal Kanski and
Artur Niewiadomski and
Magdalena Kacprzak and
Wojciech Penczek and
Wojciech Nabialek},
editor = {Ayoub Nouri and
Weimin Wu and
Kamel Barkaoui and
ZhiWu Li},
title = {SMT-Based Unbounded Model Checking for {ATL}},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 15th International Conference, VECoS 2021, Virtual Event, November
22-23, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13187},
pages = {43--58},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98850-0\_4},
doi = {10.1007/978-3-030-98850-0\_4},
timestamp = {Fri, 29 Apr 2022 15:37:30 +0200},
biburl = {https://dblp.org/rec/conf/vecos/KanskiNKPN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06838,
author = {Jaime Arias and
Wojciech Penczek and
Laure Petrucci and
Teofil Sidoruk},
title = {Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees},
journal = {CoRR},
volume = {abs/2101.06838},
year = {2021},
url = {https://arxiv.org/abs/2101.06838},
eprinttype = {arXiv},
eprint = {2101.06838},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-06838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JamrogaKKP20,
author = {Wojciech Jamroga and
Beata Konikowska and
Damian Kurpiewski and
Wojciech Penczek},
title = {Multi-valued Verification of Strategic Ability},
journal = {Fundam. Informaticae},
volume = {175},
number = {1-4},
pages = {207--251},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1955},
doi = {10.3233/FI-2020-1955},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JamrogaKKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/JamrogaPSDM20,
author = {Wojciech Jamroga and
Wojciech Penczek and
Teofil Sidoruk and
Piotr Dembinski and
Antoni W. Mazurkiewicz},
title = {Towards Partial Order Reductions for Strategic Ability},
journal = {J. Artif. Intell. Res.},
volume = {68},
pages = {817--850},
year = {2020},
url = {https://doi.org/10.1613/jair.1.11936},
doi = {10.1613/JAIR.1.11936},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/JamrogaPSDM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/0001KKKPJ20,
author = {Artur Niewiadomski and
Magdalena Kacprzak and
Damian Kurpiewski and
Michal Knapik and
Wojciech Penczek and
Wojciech Jamroga},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {MsATL: {A} Tool for SAT-Based {ATL} Satisfiability Checking},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {2111--2113},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3399092},
doi = {10.5555/3398761.3399092},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/0001KKKPJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AriasBPPSS20,
author = {Jaime Arias and
Carlos E. Budde and
Wojciech Penczek and
Laure Petrucci and
Teofil Sidoruk and
Mari{\"{e}}lle Stoelinga},
editor = {Shang{-}Wei Lin and
Zhe Hou and
Brendan P. Mahony},
title = {Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent
Systems},
booktitle = {Formal Methods and Software Engineering - 22nd International Conference
on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
March 1-3, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12531},
pages = {3--19},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63406-3\_1},
doi = {10.1007/978-3-030-63406-3\_1},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/AriasBPPSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Kacprzak0P20,
author = {Magdalena Kacprzak and
Artur Niewiadomski and
Wojciech Penczek},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {SAT-Based {ATL} Satisfiability Checking},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {539--549},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/54},
doi = {10.24963/KR.2020/54},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Kacprzak0P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-03117,
author = {Magdalena Kacprzak and
Artur Niewiadomski and
Wojciech Penczek},
title = {SAT-Based {ATL} Satisfiability Checking},
journal = {CoRR},
volume = {abs/2002.03117},
year = {2020},
url = {https://arxiv.org/abs/2002.03117},
eprinttype = {arXiv},
eprint = {2002.03117},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-03117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03867,
author = {Wojciech Jamroga and
Wojciech Penczek and
Teofil Sidoruk},
title = {Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and
How to Tame Them},
journal = {CoRR},
volume = {abs/2003.03867},
year = {2020},
url = {https://arxiv.org/abs/2003.03867},
eprinttype = {arXiv},
eprint = {2003.03867},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NiewiadomskiSSP19,
author = {Artur Niewiadomski and
Piotr Switalski and
Teofil Sidoruk and
Wojciech Penczek},
title = {Applying Modern SAT-solvers to Solving Hard Problems},
journal = {Fundam. Informaticae},
volume = {165},
number = {3-4},
pages = {321--344},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1788},
doi = {10.3233/FI-2019-1788},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NiewiadomskiSSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PenczekSW19,
author = {Wojciech Penczek and
Holger Schlingloff and
Piotr Wasilewski},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {165},
number = {3-4},
pages = {i--iii},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1781},
doi = {10.3233/FI-2019-1781},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PenczekSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KhomenkoKPR19,
author = {Victor Khomenko and
Jetty Kleijn and
Wojciech Penczek and
Olivier H. Roux},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {169},
number = {1-2},
pages = {v--vi},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1836},
doi = {10.3233/FI-2019-1836},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KhomenkoKPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KnapikAPJP19,
author = {Michal Knapik and
{\'{E}}tienne Andr{\'{e}} and
Laure Petrucci and
Wojciech Jamroga and
Wojciech Penczek},
title = {Timed {ATL:} Forget Memory, Just Count},
journal = {J. Artif. Intell. Res.},
volume = {66},
pages = {197--223},
year = {2019},
url = {https://doi.org/10.1613/jair.1.11612},
doi = {10.1613/JAIR.1.11612},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/KnapikAPJP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AndreKLPP19,
author = {{\'{E}}tienne Andr{\'{e}} and
Michal Knapik and
Didier Lime and
Wojciech Penczek and
Laure Petrucci},
title = {Parametric Verification: An Introduction},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {14},
pages = {64--100},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60651-3\_3},
doi = {10.1007/978-3-662-60651-3\_3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/AndreKLPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PetrucciKPS19,
author = {Laure Petrucci and
Michal Knapik and
Wojciech Penczek and
Teofil Sidoruk},
editor = {Jun Pang and
Jing Sun},
title = {Squeezing State Spaces of (Attack-Defence) Trees},
booktitle = {24th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2019, Guangzhou, China, November 10-13, 2019},
pages = {71--80},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICECCS.2019.00015},
doi = {10.1109/ICECCS.2019.00015},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/PetrucciKPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/Penczek19,
author = {Wojciech Penczek},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {All True Concurrency Models Start with Petri Nets: {A} Personal Tribute
to Carl Adam Petri},
booktitle = {Carl Adam Petri: Ideas, Personality, Impact},
pages = {193--204},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-96154-5\_24},
doi = {10.1007/978-3-319-96154-5\_24},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/19/Penczek19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-05283,
author = {Jaime Arias and
Carlos E. Budde and
Wojciech Penczek and
Laure Petrucci and
Mari{\"{e}}lle Stoelinga},
title = {Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent
Systems},
journal = {CoRR},
volume = {abs/1906.05283},
year = {2019},
url = {http://arxiv.org/abs/1906.05283},
eprinttype = {arXiv},
eprint = {1906.05283},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-05283.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00555,
author = {{\'{E}}tienne Andr{\'{e}} and
Michal Knapik and
Didier Lime and
Wojciech Penczek and
Laure Petrucci},
title = {Parametric Verification: An Introduction},
journal = {CoRR},
volume = {abs/1907.00555},
year = {2019},
url = {http://arxiv.org/abs/1907.00555},
eprinttype = {arXiv},
eprint = {1907.00555},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/NiewiadomskiSSP18,
author = {Artur Niewiadomski and
Piotr Switalski and
Teofil Sidoruk and
Wojciech Penczek},
title = {SMT-Solvers in Action: Encoding and Solving Selected Problems in {NP}
and {EXPTIME}},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {2},
pages = {269--288},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&\#38;a=4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/NiewiadomskiSSP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NiewiadomskiSKP18,
author = {Artur Niewiadomski and
Piotr Switalski and
Marcin Kowalczyk and
Wojciech Penczek},
title = {TripICS - a Web Service Composition System for Planning Trips and
Travels},
journal = {Fundam. Informaticae},
volume = {157},
number = {4},
pages = {403--425},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1635},
doi = {10.3233/FI-2018-1635},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NiewiadomskiSKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzajaPSS18,
author = {Ludwik Czaja and
Wojciech Penczek and
Holger Schlingloff and
Hung Son Nguyen},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {157},
number = {4},
pages = {i--ii},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1629},
doi = {10.3233/FI-2018-1629},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzajaPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AalstBP18,
author = {Wil M. P. van der Aalst and
Eike Best and
Wojciech Penczek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {161},
number = {4},
pages = {i--ii},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1705},
doi = {10.3233/FI-2018-1705},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AalstBP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaPDM18,
author = {Wojciech Jamroga and
Wojciech Penczek and
Piotr Dembinski and
Antoni W. Mazurkiewicz},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Towards Partial Order Reductions for Strategic Ability},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {156--165},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237413},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaPDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Penczek18,
author = {Wojciech Penczek},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Improving Efficiency of Model Checking for Variants of Alternating-time
Temporal Logic},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/invited2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Penczek18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/MeskiKP18,
author = {Artur Meski and
Maciej Koutny and
Wojciech Penczek},
editor = {Susan Stepney and
Sergey Verlan},
title = {Reaction Mining for Reaction Systems},
booktitle = {Unconventional Computation and Natural Computation - 17th International
Conference, {UCNC} 2018, Fontainebleau, France, June 25-29, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10867},
pages = {131--144},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92435-9\_10},
doi = {10.1007/978-3-319-92435-9\_10},
timestamp = {Sun, 02 Oct 2022 16:16:37 +0200},
biburl = {https://dblp.org/rec/conf/uc/MeskiKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2018,
editor = {Natasha Alechina and
Kjetil N{\o}rv{\aa}g and
Wojciech Penczek},
title = {25th International Symposium on Temporal Representation and Reasoning,
{TIME} 2018, Warsaw, Poland, October 15-17, 2018},
series = {LIPIcs},
volume = {120},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-089-7},
isbn = {978-3-95977-089-7},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2018-13,
editor = {Maciej Koutny and
Lars Michael Kristensen and
Wojciech Penczek},
title = {Transactions on Petri Nets and Other Models of Concurrency {XIII}},
series = {Lecture Notes in Computer Science},
volume = {11090},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58381-4},
doi = {10.1007/978-3-662-58381-4},
isbn = {978-3-662-58380-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2018-13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/NiewiadomskiPSS17,
author = {Artur Niewiadomski and
Wojciech Penczek and
Jaroslaw Skaruz and
Maciej Szreter and
Agata P{\'{o}}lrola},
title = {Combining ontology reductions with new approaches to automated abstract
planning of Planics},
journal = {Appl. Soft Comput.},
volume = {53},
pages = {352--379},
year = {2017},
url = {https://doi.org/10.1016/j.asoc.2017.01.007},
doi = {10.1016/J.ASOC.2017.01.007},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/asc/NiewiadomskiPSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MeskiKP17,
author = {Artur Meski and
Maciej Koutny and
Wojciech Penczek},
title = {Verification of Linear-Time Temporal Properties for Reaction Systems
with Discrete Concentrations},
journal = {Fundam. Informaticae},
volume = {154},
number = {1-4},
pages = {289--306},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1567},
doi = {10.3233/FI-2017-1567},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MeskiKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AndrePJKP17,
author = {{\'{E}}tienne Andr{\'{e}} and
Laure Petrucci and
Wojciech Jamroga and
Michal Knapik and
Wojciech Penczek},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Timed {ATL:} Forget Memory, Just Count},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1460--1462},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091329},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AndrePJKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2017-12,
editor = {Maciej Koutny and
Jetty Kleijn and
Wojciech Penczek},
title = {Transactions on Petri Nets and Other Models of Concurrency {XII}},
series = {Lecture Notes in Computer Science},
volume = {10470},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55862-1},
doi = {10.1007/978-3-662-55862-1},
isbn = {978-3-662-55861-4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2017-12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzajaPS16,
author = {Ludwik Czaja and
Wojciech Penczek and
Krzysztof Stencel},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {143},
number = {1-2},
pages = {v--vi},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1299},
doi = {10.3233/FI-2016-1299},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzajaPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersVP16,
author = {Raymond R. Devillers and
Antti Valmari and
Wojciech Penczek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {146},
number = {1},
pages = {v--vi},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1373},
doi = {10.3233/FI-2016-1373},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DevillersVP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NiewiadomskiSSP16,
author = {Artur Niewiadomski and
Jaroslaw Skaruz and
Piotr Switalski and
Wojciech Penczek},
title = {Concrete Planning in PlanICS Framework by Combining {SMT} with {GEO}
and Simulated Annealing},
journal = {Fundam. Informaticae},
volume = {147},
number = {2-3},
pages = {289--313},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1409},
doi = {10.3233/FI-2016-1409},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NiewiadomskiSSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzajaPS16a,
author = {Ludwik Czaja and
Wojciech Penczek and
Krzysztof Stencel},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {147},
number = {2-3},
pages = {i--iii},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1401},
doi = {10.3233/FI-2016-1401},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzajaPS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AndreKPP16,
author = {{\'{E}}tienne Andr{\'{e}} and
Michal Knapik and
Wojciech Penczek and
Laure Petrucci},
editor = {J{\"{o}}rg Desel and
Alex Yakovlev},
title = {Controlling Actions and Time in Parametric Timed Automata},
booktitle = {16th International Conference on Application of Concurrency to System
Design, {ACSD} 2016, Torun, Poland, June 19-24, 2016},
pages = {45--54},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ACSD.2016.20},
doi = {10.1109/ACSD.2016.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/AndreKPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaKP16,
author = {Wojciech Jamroga and
Beata Konikowska and
Wojciech Penczek},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Multi-Valued Verification of Strategic Ability},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1180--1189},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937097},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/NiewiadomskiP16,
author = {Artur Niewiadomski and
Wojciech Penczek},
editor = {Bernd{-}Holger Schlingloff},
title = {TripICS - a Web Service Composition System for Planning Trips and
Travels (extended abstract)},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {171--179},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_16\_Niewiadomski\&\#38;Penczek\_TripICS-a-Web-Service-Composition-System-for-Planning-Trips-and-Travels.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/NiewiadomskiP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/MeskiKP16,
author = {Artur Meski and
Maciej Koutny and
Wojciech Penczek},
editor = {Martyn Amos and
Anne Condon},
title = {Towards Quantitative Verification of Reaction Systems},
booktitle = {Unconventional Computation and Natural Computation - 15th International
Conference, {UCNC} 2016, Manchester, UK, July 11-15, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9726},
pages = {142--154},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41312-9\_12},
doi = {10.1007/978-3-319-41312-9\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/MeskiKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/KnapikP16,
author = {Michal Knapik and
Wojciech Penczek},
editor = {Guy De Tr{\'{e}} and
Przemyslaw Grzegorzewski and
Janusz Kacprzyk and
Jan W. Owsinski and
Wojciech Penczek and
Slawomir Zadrozny},
title = {SMT-Based Parameter Synthesis for Parametric Timed Automata},
booktitle = {Challenging Problems and Solutions in Intelligent Systems},
series = {Studies in Computational Intelligence},
volume = {634},
pages = {3--21},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30165-5\_1},
doi = {10.1007/978-3-319-30165-5\_1},
timestamp = {Fri, 09 Apr 2021 18:18:58 +0200},
biburl = {https://dblp.org/rec/series/sci/KnapikP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/sci/2016-634,
editor = {Guy De Tr{\'{e}} and
Przemyslaw Grzegorzewski and
Janusz Kacprzyk and
Jan W. Owsinski and
Wojciech Penczek and
Slawomir Zadrozny},
title = {Challenging Problems and Solutions in Intelligent Systems},
series = {Studies in Computational Intelligence},
volume = {634},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30165-5},
doi = {10.1007/978-3-319-30165-5},
isbn = {978-3-319-30164-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/2016-634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/MeskiPR15,
author = {Artur Meski and
Wojciech Penczek and
Grzegorz Rozenberg},
title = {Model checking temporal properties of reaction systems},
journal = {Inf. Sci.},
volume = {313},
pages = {22--42},
year = {2015},
url = {https://doi.org/10.1016/j.ins.2015.03.048},
doi = {10.1016/J.INS.2015.03.048},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/MeskiPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KnapikMP15,
author = {Michal Knapik and
Artur Meski and
Wojciech Penczek},
title = {Action Synthesis for Branching Time Logic: Theory and Applications},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {4},
pages = {64:1--64:23},
year = {2015},
url = {https://doi.org/10.1145/2746337},
doi = {10.1145/2746337},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KnapikMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/NiewiadomskiP15,
author = {Artur Niewiadomski and
Wojciech Penczek},
title = {SMT-Based Abstract Parametric Temporal Planning},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {10},
pages = {55--83},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48650-4\_4},
doi = {10.1007/978-3-662-48650-4\_4},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/NiewiadomskiP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SkaruzNP15,
author = {Jaroslaw Skaruz and
Artur Niewiadomski and
Wojciech Penczek},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Hybrid Planning by Combining {SMT} and Simulated Annealing},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {173--176},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_41.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/SkaruzNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KnapikNP15,
author = {Michal Knapik and
Artur Niewiadomski and
Wojciech Penczek},
editor = {Radu Calinescu and
Bernhard Rumpe},
title = {Generating None-Plans in Order to Find Plans},
booktitle = {Software Engineering and Formal Methods - 13th International Conference,
{SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9276},
pages = {310--324},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22969-0\_22},
doi = {10.1007/978-3-319-22969-0\_22},
timestamp = {Sat, 30 Sep 2023 09:56:03 +0200},
biburl = {https://dblp.org/rec/conf/sefm/KnapikNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/MeskiPSWZ14,
author = {Artur Meski and
Wojciech Penczek and
Maciej Szreter and
Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
title = {BDD-versus SAT-based bounded model checking for the existential fragment
of linear temporal logic with knowledge: algorithms and their performance},
journal = {Auton. Agents Multi Agent Syst.},
volume = {28},
number = {4},
pages = {558--604},
year = {2014},
url = {https://doi.org/10.1007/s10458-013-9232-2},
doi = {10.1007/S10458-013-9232-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/MeskiPSWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KnapikP14,
author = {Michal Knapik and
Wojciech Penczek},
title = {Parameter Synthesis for Timed Kripke Structures},
journal = {Fundam. Informaticae},
volume = {133},
number = {2-3},
pages = {211--226},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1072},
doi = {10.3233/FI-2014-1072},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KnapikP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NiewiadomskiSPSJ14,
author = {Artur Niewiadomski and
Jaroslaw Skaruz and
Wojciech Penczek and
Maciej Szreter and
Mariusz Jarocki},
title = {{SMT} Versus Genetic and OpenOpt Algorithms: Concrete Planning in
the PlanICS Framework},
journal = {Fundam. Informaticae},
volume = {135},
number = {4},
pages = {451--466},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1134},
doi = {10.3233/FI-2014-1134},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NiewiadomskiSPSJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PenczekC14,
author = {Wojciech Penczek and
Ludwik Czaja},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {135},
number = {4},
pages = {i},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1126},
doi = {10.3233/FI-2014-1126},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PenczekC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KnapikMP14,
author = {Michal Knapik and
Artur Meski and
Wojciech Penczek},
title = {Action Synthesis for Branching Time Logic: Theory and Applications},
booktitle = {14th International Conference on Application of Concurrency to System
Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ACSD.2014.22},
doi = {10.1109/ACSD.2014.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KnapikMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/NiewiadomskiP14,
author = {Artur Niewiadomski and
Wojciech Penczek},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke},
title = {SMT-based Abstract Temporal Planning},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, co-located with 35th International Conference on Application
and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
International Conference on Application of Concurrency to System Design
{(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1160},
pages = {55--74},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1160/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/apn/NiewiadomskiP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/NiewiadomskiP14a,
author = {Artur Niewiadomski and
Wojciech Penczek},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke},
title = {PlanICS 2.0 - {A} Tool for Composing Services},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, co-located with 35th International Conference on Application
and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
International Conference on Application of Concurrency to System Design
{(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1160},
pages = {351--352},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1160/paper27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/NiewiadomskiP14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/is/KnapikP14,
author = {Michal Knapik and
Wojciech Penczek},
editor = {Plamen P. Angelov and
Krassimir T. Atanassov and
Lyubka Doukovska and
Mincho Hadjiski and
Vladimir Simov Jotsov and
Janusz Kacprzyk and
Nikola K. Kasabov and
Sotir Sotirov and
Eulalia Szmidt and
Slawomir Zadrozny},
title = {Fixed-Point Methods in Parametric Model Checking},
booktitle = {Intelligent Systems'2014 - Proceedings of the 7th International Conference
Intelligent Systems {IEEE} IS'2014, September 24-26, 2014, Warsaw,
Poland, Volume 1: Mathematical Foundations, Theory, Analyses},
series = {Advances in Intelligent Systems and Computing},
volume = {322},
pages = {231--242},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11313-5\_22},
doi = {10.1007/978-3-319-11313-5\_22},
timestamp = {Fri, 09 Apr 2021 18:42:01 +0200},
biburl = {https://dblp.org/rec/conf/is/KnapikP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiwis/NiewiadomskiPS14,
author = {Artur Niewiadomski and
Wojciech Penczek and
Jaroslaw Skaruz},
editor = {Irfan Awan and
Muhammad Younas and
Xavier Franch and
Carme Quer},
title = {A Hybrid Approach to Web Service Composition Problem in the PlanICS
Framework},
booktitle = {Mobile Web Information Systems - 11th International Conference, MobiWIS
2014, Barcelona, Spain, August 27-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8640},
pages = {17--28},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10359-4\_2},
doi = {10.1007/978-3-319-10359-4\_2},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobiwis/NiewiadomskiPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KristensenPP13,
author = {Lars Michael Kristensen and
Wojciech Penczek and
Laure Petrucci},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {122},
number = {1-2},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-780},
doi = {10.3233/FI-2013-780},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KristensenPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/JanowskaPPZ13,
author = {Agata Janowska and
Wojciech Penczek and
Agata P{\'{o}}lrola and
Andrzej Zbrzezny},
title = {Using Integer Time Steps for Checking Branching Time Properties of
Time Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {8},
pages = {89--105},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40465-8\_5},
doi = {10.1007/978-3-642-40465-8\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/JanowskaPPZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KnapikP13,
author = {Michal Knapik and
Wojciech Penczek},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Parameter Synthesis for Timed Kripke Structures},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {259--270},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-22.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/KnapikP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/NiewiadomskiPS13,
author = {Artur Niewiadomski and
Wojciech Penczek and
Jaroslaw Skaruz},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {{SMT} vs Genetic Algorithms: Concrete Planning in PlanICS Framework},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {309--321},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/NiewiadomskiPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/SkaruzNP13,
author = {Jaroslaw Skaruz and
Artur Niewiadomski and
Wojciech Penczek},
editor = {Christian Blum and
Enrique Alba},
title = {Automated abstract planning with use of genetic algorithms},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} '13, Amsterdam,
The Netherlands, July 6-10, 2013, Companion Material Proceedings},
pages = {129--130},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2464576.2464640},
doi = {10.1145/2464576.2464640},
timestamp = {Wed, 13 Jul 2022 16:15:15 +0200},
biburl = {https://dblp.org/rec/conf/gecco/SkaruzNP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/NiewiadomskiP13,
author = {Artur Niewiadomski and
Wojciech Penczek},
editor = {Joaquim Filipe and
Jan L. G. Dietz},
title = {Towards SMT-based Abstract Planning in PlanICS Ontology},
booktitle = {{KEOD} 2013 - Proceedings of the International Conference on Knowledge
Engineering and Ontology Development, Vilamoura, Algarve, Portugal,
19-22 September, 2013},
pages = {123--131},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004514901230131},
doi = {10.5220/0004514901230131},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic3k/NiewiadomskiP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/SkaruzNP13,
author = {Jaroslaw Skaruz and
Artur Niewiadomski and
Wojciech Penczek},
editor = {Roman Wyrzykowski and
Jack J. Dongarra and
Konrad Karczewski and
Jerzy Wasniewski},
title = {Evolutionary Algorithms for Abstract Planning},
booktitle = {Parallel Processing and Applied Mathematics - 10th International Conference,
{PPAM} 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8384},
pages = {392--401},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-55224-3\_37},
doi = {10.1007/978-3-642-55224-3\_37},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppam/SkaruzNP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PenczekWZ12,
author = {Wojciech Penczek and
Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
title = {Towards SAT-based {BMC} for {LTLK} over Interleaved Interpreted Systems},
journal = {Fundam. Informaticae},
volume = {119},
number = {3-4},
pages = {373--392},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-743},
doi = {10.3233/FI-2012-743},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PenczekWZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NiewiadomskiPASZ12,
author = {Artur Niewiadomski and
Wojciech Penczek and
Agata P{\'{o}}lrola and
Maciej Szreter and
Andrzej Zbrzezny},
title = {Towards Automatic Composition of Web Services: SAT-Based Concretisation
of Abstract Scenarios},
journal = {Fundam. Informaticae},
volume = {120},
number = {2},
pages = {181--203},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-756},
doi = {10.3233/FI-2012-756},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NiewiadomskiPASZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Penczek12,
author = {Wojciech Penczek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-757},
doi = {10.3233/FI-2012-757},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Penczek12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KnapikP12,
author = {Michal Knapik and
Wojciech Penczek},
title = {Bounded Model Checking for Parametric Timed Automata},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {5},
pages = {141--159},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29072-5\_6},
doi = {10.1007/978-3-642-29072-5\_6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KnapikP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/JonesKPL12,
author = {Andrew V. Jones and
Michal Knapik and
Wojciech Penczek and
Alessio Lomuscio},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {Group synthesis for parametric temporal-epistemic logic},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {1107--1114},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2343855},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aamas/JonesKPL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/MeskiPSWZ12,
author = {Artur Meski and
Wojciech Penczek and
Maciej Szreter and
Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {Bounded model checking for knowledge and linear time},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {1447--1448},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2344054},
timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aamas/MeskiPSWZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JanowskaPPZ12,
author = {Agata Janowska and
Wojciech Penczek and
Agata P{\'{o}}lrola and
Andrzej Zbrzezny},
editor = {Lawrence Cabac and
Michael Duvigneau and
Daniel Moldt},
title = {Using Integer Time Steps for Checking Branching Time Properties of
Time Petri Nets},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, Hamburg, Germany, June 25-26, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {851},
pages = {15--31},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-851/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/JanowskaPPZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KnapikP12,
author = {Michal Knapik and
Wojciech Penczek},
editor = {Lawrence Cabac and
Michael Duvigneau and
Daniel Moldt},
title = {SMT-based parameter synthesis for {L/U} automata},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, Hamburg, Germany, June 25-26, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {851},
pages = {77--92},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-851/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/KnapikP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LomuscioP12,
author = {Alessio Lomuscio and
Wojciech Penczek},
editor = {Alexander Artikis and
Robert Craven and
Nihan Kesim Cicekli and
Babak Sadighi and
Kostas Stathis},
title = {Symbolic Model Checking for Temporal-Epistemic Logic},
booktitle = {Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7360},
pages = {172--195},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29414-3\_10},
doi = {10.1007/978-3-642-29414-3\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LomuscioP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/MeskiPS12,
author = {Artur Meski and
Wojciech Penczek and
Maciej Szreter},
editor = {Andrew V. Jones},
title = {Bounded Model Checking for Linear Time Temporal-Epistemic Logic},
booktitle = {2012 Imperial College Computing Student Workshop, {ICCSW} 2012, September
27-28, 2012, London, United Kingdom},
series = {OASIcs},
volume = {28},
pages = {88--94},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2012},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2012.88},
doi = {10.4230/OASICS.ICCSW.2012.88},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/MeskiPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/MeskiPSWZ12,
author = {Artur Meski and
Wojciech Penczek and
Maciej Szreter and
Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
editor = {Gordan Jezic and
Mario Kusek and
Ngoc Thanh Nguyen and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Two Approaches to Bounded Model Checking for Linear Time Logic with
Knowledge},
booktitle = {Agent and Multi-Agent Systems. Technologies and Applications - 6th
{KES} International Conference, {KES-AMSTA} 2012,Dubrovnik, Croatia,
June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7327},
pages = {514--523},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30947-2\_56},
doi = {10.1007/978-3-642-30947-2\_56},
timestamp = {Thu, 16 Mar 2023 20:00:31 +0100},
biburl = {https://dblp.org/rec/conf/kesamsta/MeskiPSWZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/DoliwaHJNPPS12,
author = {Dariusz Doliwa and
Wojciech Horzelski and
Mariusz Jarocki and
Artur Niewiadomski and
Wojciech Penczek and
Agata P{\'{o}}lrola and
Jaroslaw Skaruz},
editor = {Andreas Sch{\"{o}}nberger and
Oliver Kopp and
Niels Lohmann},
title = {HarmonICS - a Tool for Composing Medical Services},
booktitle = {Proceedings of the 4\({}^{\mbox{th}}\) Central-European Workshop on
Services and their Composition, ZEUS-2012, Bamberg, Germany, February
23-24, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {847},
pages = {25--33},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-847/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/DoliwaHJNPPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/KurkowskiP12,
author = {Miroslaw Kurkowski and
Wojciech Penczek},
editor = {Jiacun Wang},
title = {Applying Timed Automata to Model Checking of Security Protocols},
booktitle = {Handbook of Finite State Based Models and Applications},
pages = {223--254},
publisher = {Chapman and Hall/CRC},
year = {2012},
url = {https://doi.org/10.1201/b13055-12},
doi = {10.1201/B13055-12},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/KurkowskiP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MeskiPP11,
author = {Artur Meski and
Wojciech Penczek and
Agata P{\'{o}}lrola},
title = {BDD-based Bounded Model Checking for Temporal Properties of 1-Safe
Petri Nets},
journal = {Fundam. Informaticae},
volume = {109},
number = {3},
pages = {305--321},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-513},
doi = {10.3233/FI-2011-513},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MeskiPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomuscioPSS11,
author = {Alessio Lomuscio and
Wojciech Penczek and
Monika Solanki and
Maciej Szreter},
title = {Runtime Monitoring of Contract Regulated Web Services},
journal = {Fundam. Informaticae},
volume = {111},
number = {3},
pages = {339--355},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-566},
doi = {10.3233/FI-2011-566},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/LomuscioPSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DoliwaHJNPPSZ11,
author = {Dariusz Doliwa and
Wojciech Horzelski and
Mariusz Jarocki and
Artur Niewiadomski and
Wojciech Penczek and
Agata P{\'{o}}lrola and
Maciej Szreter and
Andrzej Zbrzezny},
title = {PlanICS - a Web Service Composition Toolset},
journal = {Fundam. Informaticae},
volume = {112},
number = {1},
pages = {47--71},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-578},
doi = {10.3233/FI-2011-578},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DoliwaHJNPPSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Penczek11,
author = {Wojciech Penczek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {112},
number = {1},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-574},
doi = {10.3233/FI-2011-574},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Penczek11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LiliusP11,
author = {Johan Lilius and
Wojciech Penczek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {113},
number = {3-4},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-605},
doi = {10.3233/FI-2011-605},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LiliusP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MeskiPPWZ11,
author = {Artur Meski and
Agata P{\'{o}}lrola and
Wojciech Penczek and
Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
editor = {Michael Duvigneau and
Daniel Moldt and
Kunihiko Hiraishi},
title = {Bounded Model Checking Approaches for Verification of Distributed
Time Petri Nets},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, Newcastle upon Tyne, UK, June 20-21, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {723},
pages = {72--91},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-723/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/MeskiPPWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esslli/JamrogaP11,
author = {Wojciech Jamroga and
Wojciech Penczek},
editor = {Nick Bezhanishvili and
Valentin Goranko},
title = {Specification and Verification of Multi-Agent Systems},
booktitle = {Lectures on Logic and Computation - {ESSLLI} 2010 Copenhagen, Denmark,
August 2010, {ESSLLI} 2011, Ljubljana, Slovenia, August 2011, Selected
Lecture Notes},
series = {Lecture Notes in Computer Science},
volume = {7388},
pages = {210--263},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31485-8\_6},
doi = {10.1007/978-3-642-31485-8\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esslli/JamrogaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KnapikPSP10,
author = {Michal Knapik and
Wojciech Penczek and
Maciej Szreter and
Agata P{\'{o}}lrola},
title = {Bounded Parametric Verification for Distributed Time Petri Nets with
Discrete-Time Semantics},
journal = {Fundam. Informaticae},
volume = {101},
number = {1-2},
pages = {9--27},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-272},
doi = {10.3233/FI-2010-272},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KnapikPSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomuscioPQ10,
author = {Alessio Lomuscio and
Wojciech Penczek and
Hongyang Qu},
title = {Partial Order Reductions for Model Checking Temporal-epistemic Logics
over Interleaved Multi-agent Systems},
journal = {Fundam. Informaticae},
volume = {101},
number = {1-2},
pages = {71--90},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-276},
doi = {10.3233/FI-2010-276},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/LomuscioPQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Penczek10,
author = {Wojciech Penczek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {102},
number = {1},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-292},
doi = {10.3233/FI-2010-292},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Penczek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FranceschinisPW10,
author = {Giuliana Franceschinis and
Wojciech Penczek and
Karsten Wolf},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {105},
number = {3},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-364},
doi = {10.3233/FI-2010-364},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FranceschinisPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KnapikSP10,
author = {Michal Knapik and
Maciej Szreter and
Wojciech Penczek},
title = {Bounded Parametric Model Checking for Elementary Net Systems},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {4},
pages = {42--71},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18222-8\_3},
doi = {10.1007/978-3-642-18222-8\_3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KnapikSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/PenczekPZ10,
author = {Wojciech Penczek and
Agata P{\'{o}}lrola and
Andrzej Zbrzezny},
title = {SAT-Based (Parametric) Reachability for a Class of Distributed Time
Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {4},
pages = {72--97},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18222-8\_4},
doi = {10.1007/978-3-642-18222-8\_4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/PenczekPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KnapikNPPSZ10,
author = {Michal Knapik and
Artur Niewiadomski and
Wojciech Penczek and
Agata P{\'{o}}lrola and
Maciej Szreter and
Andrzej Zbrzezny},
title = {Parametric Model Checking with VerICS},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {4},
pages = {98--120},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18222-8\_5},
doi = {10.1007/978-3-642-18222-8\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/KnapikNPPSZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KnapikP10,
author = {Michal Knapik and
Wojciech Penczek},
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {Bounded Model Checking for Parametric Timed Automata},
booktitle = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
pages = {419--435},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-827/32\_MichalKnapik\_article.pdf},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/acsd/KnapikP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PenczekPZ10,
author = {Wojciech Penczek and
Agata P{\'{o}}lrola and
Andrzej Zbrzezny},
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {Towards Automatic Composition of Web Services: {A} SAT-Based Phase},
booktitle = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
pages = {453--473},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-827/34\_WojciechPenczek\_article.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/PenczekPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioPQ10,
author = {Alessio Lomuscio and
Wojciech Penczek and
Hongyang Qu},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Partial order reductions for model checking temporal epistemic logics
over interleaved multi-agent systems},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {659--666},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838293},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/LomuscioPQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioSPS10,
author = {Alessio Lomuscio and
Monika Solanki and
Wojciech Penczek and
Maciej Szreter},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Runtime monitoring of contract regulated web services},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {1449--1450},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838426},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/LomuscioSPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2010,
editor = {Johan Lilius and
Wojciech Penczek},
title = {Applications and Theory of Petri Nets, 31st International Conference,
{PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6128},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13675-7},
doi = {10.1007/978-3-642-13675-7},
isbn = {978-3-642-13674-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JakubowskaDPS09,
author = {Gizela Jakubowska and
Piotr Dembinski and
Wojciech Penczek and
Maciej Szreter},
title = {Simulation of Security Protocols based on Scenarios of Attacks},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {185--203},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0096},
doi = {10.3233/FI-2009-0096},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JakubowskaDPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KurkowskiP09,
author = {Miroslaw Kurkowski and
Wojciech Penczek},
title = {Timed Automata Based Model Checking of Timed Security Protocols},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {245--259},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0100},
doi = {10.3233/FI-2009-0100},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KurkowskiP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NiewiadomskiPS09,
author = {Artur Niewiadomski and
Wojciech Penczek and
Maciej Szreter},
title = {A New Approach to Model Checking of {UML} State Machines},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {289--303},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0103},
doi = {10.3233/FI-2009-0103},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NiewiadomskiPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/NiewiadomskiPS09,
author = {Artur Niewiadomski and
Wojciech Penczek and
Maciej Szreter},
editor = {Amir Pnueli and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Towards Checking Parametric Reachability for {UML} State Machines},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5947},
pages = {319--330},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11486-1\_27},
doi = {10.1007/978-3-642-11486-1\_27},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ershov/NiewiadomskiPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KacprzakNNPPSWZ08,
author = {Magdalena Kacprzak and
Wojciech Nabialek and
Artur Niewiadomski and
Wojciech Penczek and
Agata P{\'{o}}lrola and
Maciej Szreter and
Bozena Wozna and
Andrzej Zbrzezny},
title = {VerICS 2007 - a Model Checker for Knowledge and Real-Time},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {313--328},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-22},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KacprzakNNPPSWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomuscioP08,
author = {Alessio Lomuscio and
Wojciech Penczek},
title = {{LDYIS:} a Framework for Model Checking Security Protocols},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {359--375},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-25},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LomuscioP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PenczekS08,
author = {Wojciech Penczek and
Maciej Szreter},
title = {SAT-based Unbounded Model Checking of Timed Automata},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {425--440},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-29},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PenczekS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/LomuscioPQ08,
author = {Alessio Lomuscio and
Wojciech Penczek and
Hongyang Qu},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Towards Partial Order Reduction for Model Checking Temporal Epistemic
Logic},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {106--121},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_7},
doi = {10.1007/978-3-642-00431-5\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/LomuscioPQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LomuscioPW07,
author = {Alessio Lomuscio and
Wojciech Penczek and
Bozena Wozna},
title = {Bounded model checking for knowledge and real time},
journal = {Artif. Intell.},
volume = {171},
number = {16-17},
pages = {1011--1038},
year = {2007},
url = {https://doi.org/10.1016/j.artint.2007.05.005},
doi = {10.1016/J.ARTINT.2007.05.005},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LomuscioPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JakubowskaP07,
author = {Gizela Jakubowska and
Wojciech Penczek},
title = {Modelling and Checking Timed Authentication of Security Protocols},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {363--378},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JakubowskaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JanowskaP07,
author = {Agata Janowska and
Wojciech Penczek},
title = {Path Compression in Timed Automata},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {379--399},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-10},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JanowskaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KurkowskiP07,
author = {Miroslaw Kurkowski and
Wojciech Penczek},
title = {Verifying Security Protocols Modelled by Networks of Automata},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {453--471},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-15},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KurkowskiP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/LomuscioP07,
author = {Alessio Lomuscio and
Wojciech Penczek},
title = {Symbolic model checking for temporal-epistemic logics},
journal = {{SIGACT} News},
volume = {38},
number = {3},
pages = {77--99},
year = {2007},
url = {https://doi.org/10.1145/1324215.1324231},
doi = {10.1145/1324215.1324231},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/LomuscioP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PenczekS07,
author = {Wojciech Penczek and
Maciej Szreter},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {SAT-based Unbounded Model Checking of Timed Automata},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {236--237},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.63},
doi = {10.1109/ACSD.2007.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/PenczekS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/JakubowskaP07,
author = {Gizela Jakubowska and
Wojciech Penczek},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Is Your Security Protocol on Time ?},
booktitle = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {65--80},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_5},
doi = {10.1007/978-3-540-75698-9\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/JakubowskaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0709-0446,
author = {Alessio Lomuscio and
Wojciech Penczek},
title = {Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics},
journal = {CoRR},
volume = {abs/0709.0446},
year = {2007},
url = {http://arxiv.org/abs/0709.0446},
eprinttype = {arXiv},
eprint = {0709.0446},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0709-0446.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/sci/2006-20,
author = {Wojciech Penczek and
Agata P{\'{o}}lrola},
title = {Advances in Verification of Time Petri Nets and Timed Automata: {A}
Temporal Logic Approach},
series = {Studies in Computational Intelligence},
volume = {20},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-32870-4},
doi = {10.1007/978-3-540-32870-4},
isbn = {978-3-540-32869-8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/2006-20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KacprzakLNPRS06,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
Artur Niewiadomski and
Wojciech Penczek and
Franco Raimondi and
Maciej Szreter},
title = {Comparing {BDD} and {SAT} Based Techniques for Model Checking Chaum's
Dining Cryptographers Protocol},
journal = {Fundam. Informaticae},
volume = {72},
number = {1-3},
pages = {215--234},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-16},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KacprzakLNPRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KonikowskaP06,
author = {Beata Konikowska and
Wojciech Penczek},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {Model checking for multivalued logic of knowledge and time},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {169--176},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160661},
doi = {10.1145/1160633.1160661},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/KonikowskaP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/KurkowskiPZ06,
author = {Miroslaw Kurkowski and
Wojciech Penczek and
Andrzej Zbrzezny},
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {SAT-Based Verification of Security Protocols Via Translation to Networks
of Automata},
booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt
IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4428},
pages = {146--165},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74128-2\_10},
doi = {10.1007/978-3-540-74128-2\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mochart/KurkowskiPZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/KacprzakP05,
author = {Magdalena Kacprzak and
Wojciech Penczek},
title = {Fully Symbolic Unbounded Model Checking for Alternating-time Temporal
Logic\({}^{\mbox{1}}\)},
journal = {Auton. Agents Multi Agent Syst.},
volume = {11},
number = {1},
pages = {69--89},
year = {2005},
url = {https://doi.org/10.1007/s10458-005-0944-9},
doi = {10.1007/S10458-005-0944-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/KacprzakP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/WoznaLP05,
author = {Bozena Wozna and
Alessio Lomuscio and
Wojciech Penczek},
editor = {Frank Dignum and
Virginia Dignum and
Sven Koenig and
Sarit Kraus and
Munindar P. Singh and
Michael J. Wooldridge},
title = {Bounded model checking for knowledge and real time},
booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
pages = {165--172},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1082473.1082498},
doi = {10.1145/1082473.1082498},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/WoznaLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KonikowkaP04,
author = {Beata Konikowska and
Wojciech Penczek},
title = {On Designated Values in Multi-valued CTL\({}^{\mbox{*}}\) Model Checking},
journal = {Fundam. Informaticae},
volume = {60},
number = {1-4},
pages = {211--224},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-15},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KonikowkaP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PolrolaP04,
author = {Agata P{\'{o}}lrola and
Wojciech Penczek},
title = {Minimization Algorithms for Time Petri Nets},
journal = {Fundam. Informaticae},
volume = {60},
number = {1-4},
pages = {307--331},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-21},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PolrolaP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KacprzakLP04,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
Wojciech Penczek},
title = {From Bounded to Unbounded Model Checking for Temporal Epistemic Logic},
journal = {Fundam. Informaticae},
volume = {63},
number = {2-3},
pages = {221--240},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi63-2-3-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KacprzakLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/KacprzakP04,
author = {Magdalena Kacprzak and
Wojciech Penczek},
title = {A Sat-Based Approach to Unbounded Model Checking for Alternating-Time
Temporal Epistemic Logic},
journal = {Synth.},
volume = {142},
number = {2},
pages = {203--227},
year = {2004},
url = {https://doi.org/10.1007/s11229-004-2446-8},
doi = {10.1007/S11229-004-2446-8},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/KacprzakP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PenczekP04,
author = {Wojciech Penczek and
Agata P{\'{o}}lrola},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {Specification and Model Checking of Temporal Properties in Time Petri
Nets and Timed Automata},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {37--76},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_4},
doi = {10.1007/978-3-540-27793-4\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PenczekP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KacprzakLP04,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
Wojciech Penczek},
title = {Verification of Multiagent Systems via Unbounded Model Checking},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {638--645},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10086},
doi = {10.1109/AAMAS.2004.10086},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/KacprzakLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KacprzakP04,
author = {Magdalena Kacprzak and
Wojciech Penczek},
title = {Unbounded Model Checking for Alternating-Time Temporal Logic},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {646--653},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10089},
doi = {10.1109/AAMAS.2004.10089},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/KacprzakP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KacprzakLLPS04,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
T. Lasica and
Wojciech Penczek and
Maciej Szreter},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Verifying Multi-agent Systems via Unbounded Model Checking},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {189--212},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_13},
doi = {10.1007/978-3-540-30960-4\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KacprzakLLPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WoznaLP05,
author = {Bozena Wozna and
Alessio Lomuscio and
Wojciech Penczek},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {Bounded Model Checking for Deontic Interpreted Systems},
booktitle = {Proceedings of the 2nd International Workshop on Logic and Communication
in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {126},
pages = {93--114},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.015},
doi = {10.1016/J.ENTCS.2004.11.015},
timestamp = {Wed, 21 Dec 2022 08:42:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WoznaLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PenczekL03,
author = {Wojciech Penczek and
Alessio Lomuscio},
title = {Verifying Epistemic Properties of Multi-agent Systems via Bounded
Model Checking},
journal = {Fundam. Informaticae},
volume = {55},
number = {2},
pages = {167--185},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PenczekL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PolrolaPS03,
author = {Agata P{\'{o}}lrola and
Wojciech Penczek and
Maciej Szreter},
title = {Reachability Analysis for Timed Automata Using Partitioning Algorithms},
journal = {Fundam. Informaticae},
volume = {55},
number = {2},
pages = {203--221},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PolrolaPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/WoznaZP03,
author = {Bozena Wozna and
Andrzej Zbrzezny and
Wojciech Penczek},
title = {Checking Reachability Properties for Timed Automata via {SAT}},
journal = {Fundam. Informaticae},
volume = {55},
number = {2},
pages = {223--241},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/WoznaZP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/PenczekL03,
author = {Wojciech Penczek and
Alessio Lomuscio},
title = {Verifying epistemic properties of multi-agent systems via bounded
model checking},
booktitle = {The Second International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
Australia, Proceedings},
pages = {209--216},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860575.860609},
doi = {10.1145/860575.860609},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/PenczekL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PolrolaPS03,
author = {Agata P{\'{o}}lrola and
Wojciech Penczek and
Maciej Szreter},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {Towards Efficient Partition Refinement for Checking Reachability in
Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {2--17},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_2},
doi = {10.1007/978-3-540-40903-8\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/PolrolaPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DembinskiJJPPSWZ03,
author = {Piotr Dembinski and
Agata Janowska and
Pawel Janowski and
Wojciech Penczek and
Agata P{\'{o}}lrola and
Maciej Szreter and
Bozena Wozna and
Andrzej Zbrzezny},
editor = {Hubert Garavel and
John Hatcliff},
title = {Verics: {A} Tool for Verifying Timed Automata and Estelle Specifications},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {278--283},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_20},
doi = {10.1007/3-540-36577-X\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DembinskiJJPPSWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DembinskiPP02,
author = {Piotr Dembinski and
Wojciech Penczek and
Agata P{\'{o}}lrola},
title = {Verification of Timed Automata Based on Similarity},
journal = {Fundam. Informaticae},
volume = {51},
number = {1-2},
pages = {59--89},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DembinskiPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PenczekWZ02,
author = {Wojciech Penczek and
Bozena Wozna and
Andrzej Zbrzezny},
title = {Bounded Model Checking for the Universal Fragment of {CTL}},
journal = {Fundam. Informaticae},
volume = {51},
number = {1-2},
pages = {135--156},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PenczekWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KonikowskaP02,
author = {Beata Konikowska and
Wojciech Penczek},
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Reducing Model Checking from Multi-valued \{{\textbackslash}rm CTL\}{\^{}}\{{\textbackslash}ast\}
to \{{\textbackslash}rm CTL\}{\^{}}\{{\textbackslash}ast\}},
booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
pages = {226--239},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5\_16},
doi = {10.1007/3-540-45694-5\_16},
timestamp = {Fri, 30 Aug 2019 10:02:28 +0200},
biburl = {https://dblp.org/rec/conf/concur/KonikowskaP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/LomuscioLP02,
author = {Alessio Lomuscio and
T. Lasica and
Wojciech Penczek},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Bounded Model Checking for Interpreted Systems: Preliminary Experimental
Results},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {115--125},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_10},
doi = {10.1007/978-3-540-45133-4\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/LomuscioLP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PenczekWZ02,
author = {Wojciech Penczek and
Bozena Wozna and
Andrzej Zbrzezny},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Towards Bounded Model Checking for the Universal Fragment of {TCTL}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {265--290},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_17},
doi = {10.1007/3-540-45739-9\_17},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PenczekWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HansenPV02,
author = {Henri Hansen and
Wojciech Penczek and
Antti Valmari},
editor = {Rance Cleaveland and
Hubert Garavel},
title = {Stuttering-Insensitive Automata for On-the-fly Detection of Livelock
Properties},
booktitle = {7th International {ERCIM} Workshop in Formal Methods for Industrial
Critical Systems, {FMICS} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga,
Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {2},
pages = {178--193},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80411-0},
doi = {10.1016/S1571-0661(04)80411-0},
timestamp = {Tue, 06 Dec 2022 10:27:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HansenPV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PenczekP01,
author = {Wojciech Penczek and
Agata P{\'{o}}lrola},
editor = {Jos{\'{e}} Manuel Colom and
Maciej Koutny},
title = {Abstractions and Partial Order Reductions for Checking Branching Properties
of Time Petri Nets},
booktitle = {Application and Theory of Petri Nets 2001, 22nd International Conference,
{ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2075},
pages = {323--342},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45740-2\_19},
doi = {10.1007/3-540-45740-2\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PenczekP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/Penczek01,
author = {Wojciech Penczek},
editor = {Barbara Dunin{-}Keplicz and
Edward Nawarecki},
title = {Efficient Model Checking of Causal-Knowledge Protocols},
booktitle = {From Theory to Practice in Multi-Agent Systems, Second International
Workshop of Central and Eastern Europe on Multi-Agent Systems, {CEEMAS}
2001 Cracow, Poland, September 26-29, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2296},
pages = {242--252},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45941-3\_26},
doi = {10.1007/3-540-45941-3\_26},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ceemas/Penczek01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/DembinskiPP01,
author = {Piotr Dembinski and
Wojciech Penczek and
Agata P{\'{o}}lrola},
editor = {Roman Wyrzykowski and
Jack J. Dongarra and
Marcin Paprzycki and
Jerzy Wasniewski},
title = {Automated Verification of Infinite State Concurrent Systems},
booktitle = {Parallel Processing and Applied Mathematics, 4th International Conference,
{PPAM} 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2328},
pages = {247--255},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48086-2\_27},
doi = {10.1007/3-540-48086-2\_27},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppam/DembinskiPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PenczekSGK00,
author = {Wojciech Penczek and
Maciej Szreter and
Rob Gerth and
Ruurd Kuiper},
title = {Improving Partial Order Reductions for Universal Branching Time Properties},
journal = {Fundam. Informaticae},
volume = {43},
number = {1-4},
pages = {245--267},
year = {2000},
url = {https://doi.org/10.3233/FI-2000-43123413},
doi = {10.3233/FI-2000-43123413},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/PenczekSGK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Penczek00,
author = {Wojciech Penczek},
title = {Temporal Approach to Causal Knowledge},
journal = {Log. J. {IGPL}},
volume = {8},
number = {1},
pages = {87--99},
year = {2000},
url = {https://doi.org/10.1093/jigpal/8.1.87},
doi = {10.1093/JIGPAL/8.1.87},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Penczek00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/AmbroszkiewiczPN00,
author = {Stanislaw Ambroszkiewicz and
Wojciech Penczek and
Tomasz Nowak},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Towards Formal Specification and Verification in Cyberspace},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {16--32},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_2},
doi = {10.1007/3-540-45484-5\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/AmbroszkiewiczPN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iis/AmbroszkiewiczCKNP00,
author = {Stanislaw Ambroszkiewicz and
Krzysztof Cetnarowicz and
Jaroslaw Kozlak and
Tomasz Nowak and
Wojciech Penczek},
editor = {Mieczyslaw A. Klopotek and
Maciej Michalewicz and
Slawomir T. Wierzchon},
title = {Modeling Agent Organizations},
booktitle = {Intelligent Information Systems, Proceedings of the IIS'2000 Symposium,
June 12-16, 2000, Bystra, Poland},
series = {Advances in Soft Computing},
pages = {135--144},
publisher = {Physica-Verlag},
year = {2000},
timestamp = {Fri, 30 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iis/AmbroszkiewiczCKNP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GerthKPP99,
author = {Rob Gerth and
Ruurd Kuiper and
Doron A. Peled and
Wojciech Penczek},
title = {A Partial Order Approach to Branching Time Logic Model Checking},
journal = {Inf. Comput.},
volume = {150},
number = {2},
pages = {132--152},
year = {1999},
url = {https://doi.org/10.1006/inco.1998.2778},
doi = {10.1006/INCO.1998.2778},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GerthKPP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/AmbroszkiewiczP99,
author = {Stanislaw Ambroszkiewicz and
Wojciech Penczek},
title = {Local Interactions, Explicit Communication and Causal Knowledge in
Games and Multi-Agent Systems},
booktitle = {1st International Workshop of Central and Eastern Europe on Multi-Agent
Systems, St. Petersburg, Russia, 1-4 June, 1999},
year = {1999},
timestamp = {Fri, 09 Aug 2019 11:11:32 +0200},
biburl = {https://dblp.org/rec/conf/ceemas/AmbroszkiewiczP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PenczekA99,
author = {Wojciech Penczek and
Stanislaw Ambroszkiewicz},
editor = {Gheorghe Stefanescu},
title = {Model checking of causal knowledge formulas},
booktitle = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {28},
pages = {40--58},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)82524-1},
doi = {10.1016/S1571-0661(05)82524-1},
timestamp = {Wed, 23 Nov 2022 16:22:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PenczekA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dai/AmbroszkiewiczMP98,
author = {Stanislaw Ambroszkiewicz and
Olaf Matyja and
Wojciech Penczek},
editor = {Chengqi Zhang and
Dickson Lukose},
title = {Team Formation by Self-Interested Mobile Agents},
booktitle = {Multi-Agent Systems: Theories, Languages, and Applications, 4th Australian
Workshop on Distributed Artificial Intelligence, Brisbane, Queensland,
Australia, July 13, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1544},
pages = {1--15},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10693067\_1},
doi = {10.1007/10693067\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dai/AmbroszkiewiczMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Penczek97,
author = {Wojciech Penczek},
editor = {Ed Brinksma},
title = {Model-Checking for a Subclass of Event Structures},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third
International Workshop, {TACAS} '97, Enschede, The Netherlands, April
2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1217},
pages = {145--164},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035386},
doi = {10.1007/BFB0035386},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Penczek97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Penczek96,
author = {Wojciech Penczek},
title = {Axiomatizations of Temporal Logics on Trace Systems},
journal = {Fundam. Informaticae},
volume = {25},
number = {2},
pages = {183--200},
year = {1996},
url = {https://doi.org/10.3233/FI-1996-25204},
doi = {10.3233/FI-1996-25204},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Penczek96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/PenczekS96,
author = {Wojciech Penczek and
Marian Srebrny},
editor = {Doron A. Peled and
Vaughan R. Pratt and
Gerard J. Holzmann},
title = {A complete axiomatization of a first-order temporal logic over trace
systems},
booktitle = {Partial Order Methods in Verification, Proceedings of a {DIMACS} Workshop,
Princeton, New Jersey, USA, July 24-26, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {29},
pages = {79--97},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/029/05},
doi = {10.1090/DIMACS/029/05},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/PenczekS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1996,
editor = {Wojciech Penczek and
Andrzej Szalas},
title = {Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1113},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61550-4},
doi = {10.1007/3-540-61550-4},
isbn = {3-540-61550-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/GerthKPP95,
author = {Rob Gerth and
Ruurd Kuiper and
Doron A. Peled and
Wojciech Penczek},
title = {A Partial Order Approach to Branching Time Logic Model Checking},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377038},
doi = {10.1109/ISTCS.1995.377038},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/GerthKPP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurPP95,
author = {Rajeev Alur and
Doron A. Peled and
Wojciech Penczek},
title = {Model-Checking of Causality Properties},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {90--100},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523247},
doi = {10.1109/LICS.1995.523247},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurPP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/PeledP95,
author = {Doron A. Peled and
Wojciech Penczek},
editor = {Piotr Dembinski and
Marek Sredniawa},
title = {Using asynchronous B{\"{u}}chi automata for efficient automatic
verification of concurrent systems},
booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of
the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Warsaw, Poland, June 1995},
series = {{IFIP} Conference Proceedings},
volume = {38},
pages = {315--330},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Fri, 12 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/PeledP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/95/PenczekK95,
author = {Wojciech Penczek and
Ruurd Kuiper},
editor = {Volker Diekert and
Grzegorz Rozenberg},
title = {Traces and Logic},
booktitle = {The Book of Traces},
pages = {307--390},
publisher = {World Scientific},
year = {1995},
url = {https://doi.org/10.1142/9789814261456\_0010},
doi = {10.1142/9789814261456\_0010},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/ws/95/PenczekK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/KwiatkowskaPP94,
author = {Marta Z. Kwiatkowska and
Doron A. Peled and
Wojciech Penczek},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A Hierarchy of Partial Order Temporal Properties},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {398--414},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014001},
doi = {10.1007/BFB0014001},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/KwiatkowskaPP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Penczek93,
author = {Wojciech Penczek},
title = {Temporal Logics for Trace Systems: On Automated Verification},
journal = {Int. J. Found. Comput. Sci.},
volume = {4},
number = {1},
pages = {31--67},
year = {1993},
url = {https://doi.org/10.1142/S0129054193000043},
doi = {10.1142/S0129054193000043},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Penczek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Penczek93,
author = {Wojciech Penczek},
editor = {Patrice Enjalbert and
Alain Finkel and
Klaus W. Wagner},
title = {Axiomatizations of Temporal Logics on Trace Systems},
booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {665},
pages = {452--462},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56503-5\_45},
doi = {10.1007/3-540-56503-5\_45},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Penczek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Penczek92,
author = {Wojciech Penczek},
title = {On Undecidability of Propositional Temporal Logics on Trace Systems},
journal = {Inf. Process. Lett.},
volume = {43},
number = {3},
pages = {147--153},
year = {1992},
url = {https://doi.org/10.1016/0020-0190(92)90007-I},
doi = {10.1016/0020-0190(92)90007-I},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Penczek92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GoltzKP92,
author = {Ursula Goltz and
Ruurd Kuiper and
Wojciech Penczek},
editor = {Rance Cleaveland},
title = {Propositional Temporal Logics and Equivalences},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {222--236},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084794},
doi = {10.1007/BFB0084794},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/GoltzKP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/OchmanskiP90,
author = {Edward Ochmanski and
Wojciech Penczek},
title = {Inevitability in diamond processes},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {24},
pages = {37--46},
year = {1990},
url = {https://doi.org/10.1051/ita/1990240100371},
doi = {10.1051/ITA/1990240100371},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/OchmanskiP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MazurkiewiczOP89,
author = {Antoni W. Mazurkiewicz and
Edward Ochmanski and
Wojciech Penczek},
title = {Concurrent Systems and Inevitability},
journal = {Theor. Comput. Sci.},
volume = {64},
number = {3},
pages = {281--304},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90052-2},
doi = {10.1016/0304-3975(89)90052-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MazurkiewiczOP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Penczek89,
author = {Wojciech Penczek},
editor = {Egon B{\"{o}}rger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {A Concurrent Branching Time Temporal Logic},
booktitle = {{CSL} '89, 3rd Workshop on Computer Science Logic, Kaiserslautern,
Germany, October 2-6, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {440},
pages = {337--354},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52753-2\_49},
doi = {10.1007/3-540-52753-2\_49},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Penczek89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Penczek89,
author = {Wojciech Penczek},
editor = {Gerhard X. Ritter},
title = {A Temporal Logic for the Local Specification of Concurrent Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {857--862},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Penczek89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2023-11-22 20:39 CET 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:
