default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrzej Zbrzezny
@inproceedings{DBLP:conf/atal/0001NPKPZ24,
author = {Artur Niewiadomski and
Maciej Nazarczuk and
Mateusz Przychodzki and
Magdalena Kacprzak and
Wojciech Penczek and
Andrzej Zbrzezny},
editor = {Mehdi Dastani and
Jaime Sim{\~{a}}o Sichman and
Natasha Alechina and
Virginia Dignum},
title = {{SMT4SMTL:} {A} Tool for SMT-Based Satisfiability Checking of {SMTL}},
booktitle = {Proceedings of the 23rd International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2024, Auckland, New Zealand, May 6-10,
2024},
pages = {2815--2817},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
/ {ACM}},
year = {2024},
url = {https://dl.acm.org/doi/10.5555/3635637.3663297},
doi = {10.5555/3635637.3663297},
timestamp = {Wed, 26 Jun 2024 14:06:50 +0200},
biburl = {https://dblp.org/rec/conf/atal/0001NPKPZ24.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/sensors/ZbrzeznyZ22,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
title = {Bounded Model Checking for Metric Temporal Logic Properties of Timed
Automata with Digital Clocks},
journal = {Sensors},
volume = {22},
number = {23},
pages = {9552},
year = {2022},
url = {https://doi.org/10.3390/s22239552},
doi = {10.3390/S22239552},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/ZbrzeznyZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/ZbrzeznyZW22,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny and
Bozena Wozna{-}Szczesniak},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {SMT-based {BMC} for Dense Timed Interpreted Systems and {EMTLK} Properties},
booktitle = {Proceedings of the 14th International Conference on Agents and Artificial
Intelligence, {ICAART} 2022, Volume 1, Online Streaming, February
3-5, 2022},
pages = {345--352},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010882100003116},
doi = {10.5220/0010882100003116},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaart/ZbrzeznyZW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/SzymoniakSZZK21,
author = {Sabina Szymoniak and
Olga Siedlecka{-}Lamch and
Agnieszka M. Zbrzezny and
Andrzej Zbrzezny and
Miroslaw Kurkowski},
title = {{SAT} and SMT-Based Verification of Security Protocols Including Time
Aspects},
journal = {Sensors},
volume = {21},
number = {9},
pages = {3055},
year = {2021},
url = {https://doi.org/10.3390/s21093055},
doi = {10.3390/S21093055},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/SzymoniakSZZK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idaacs/BuhlerZZWS21,
author = {Heiko B{\"{u}}hler and
Andrzej Zbrzezny and
Agnieszka M. Zbrzezny and
Andreas Walz and
Axel Sikora},
title = {Towards a Formal Verification of Seamless Cryptographic Rekeying in
Real-Time Communication Systems},
booktitle = {2021 11th {IEEE} International Conference on Intelligent Data Acquisition
and Advanced Computing Systems: Technology and Applications (IDAACS),
Cracow, Poland, September 22-25, 2021},
pages = {343--347},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IDAACS53288.2021.9660937},
doi = {10.1109/IDAACS53288.2021.9660937},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idaacs/BuhlerZZWS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ZbrzeznyZSSK20,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny and
Sabina Szymoniak and
Olga Siedlecka{-}Lamch and
Miroslaw Kurkowski},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {VerSecTis - An Agent based Model Checker for Security Protocols},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {2123--2125},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3399096},
doi = {10.5555/3398761.3399096},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/ZbrzeznyZSSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SawickaKZ19,
author = {Anna Sawicka and
Magdalena Kacprzak and
Andrzej Zbrzezny},
title = {Towards Encoding of the Transition Relation in Dialogue Games Model
Checking},
journal = {Fundam. Informaticae},
volume = {165},
number = {3-4},
pages = {345--361},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1789},
doi = {10.3233/FI-2019-1789},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SawickaKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ZbrzeznyZ19,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
editor = {Krzysztof Ropiak and
Lech Polkowski and
Piotr Artiemjew},
title = {Checking {MTL} Properties of Timed Automata with Dense Time using
Satisfiability Modulo Theories (Extended Abstract)},
booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification
and Programming, Olsztyn, Poland, September 24-26th, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2571},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/ZbrzeznyZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaisc/KacprzakSZ19,
author = {Magdalena Kacprzak and
Anna Sawicka and
Andrzej Zbrzezny},
editor = {Leszek Rutkowski and
Rafal Scherer and
Marcin Korytkowski and
Witold Pedrycz and
Ryszard Tadeusiewicz and
Jacek M. Zurada},
title = {SMT-Based Encoding of Argumentation Dialogue Games},
booktitle = {Artificial Intelligence and Soft Computing - 18th International Conference,
{ICAISC} 2019, Zakopane, Poland, June 16-20, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11509},
pages = {564--574},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20915-5\_50},
doi = {10.1007/978-3-030-20915-5\_50},
timestamp = {Thu, 23 Jun 2022 19:57:15 +0200},
biburl = {https://dblp.org/rec/conf/icaisc/KacprzakSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/ZbrzeznyZ18,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
title = {SAT-Based {BMC} Approach to Verifying Real-Time Properties of Multi-Agent
Systems},
booktitle = {15th {IEEE/ACS} International Conference on Computer Systems and Applications,
{AICCSA} 2018, Aqaba, Jordan, October 28 - Nov. 1, 2018},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/AICCSA.2018.8612803},
doi = {10.1109/AICCSA.2018.8612803},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/ZbrzeznyZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaisc/KacprzakSZ18,
author = {Magdalena Kacprzak and
Anna Sawicka and
Andrzej Zbrzezny},
editor = {Leszek Rutkowski and
Rafal Scherer and
Marcin Korytkowski and
Witold Pedrycz and
Ryszard Tadeusiewicz and
Jacek M. Zurada},
title = {Modelling the Affective Power of Locutions in a Persuasive Dialogue
Game},
booktitle = {Artificial Intelligence and Soft Computing - 17th International Conference,
{ICAISC} 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {10842},
pages = {557--569},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91262-2\_49},
doi = {10.1007/978-3-319-91262-2\_49},
timestamp = {Thu, 23 Jun 2022 19:57:15 +0200},
biburl = {https://dblp.org/rec/conf/icaisc/KacprzakSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Wozna-Szczesniak17,
author = {Bozena Wozna{-}Szczesniak and
Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
title = {SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata},
journal = {Fundam. Informaticae},
volume = {152},
number = {4},
pages = {411--433},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1527},
doi = {10.3233/FI-2017-1527},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Wozna-Szczesniak17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/ZbrzeznyZ17,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Simple Bounded {MTLK} Model Checking for Timed Interpreted Systems},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {88--98},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_9},
doi = {10.1007/978-3-319-59394-4\_9},
timestamp = {Thu, 17 Sep 2020 17:55:39 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/ZbrzeznyZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rskt/SawickaKZ17,
author = {Anna Sawicka and
Magdalena Kacprzak and
Andrzej Zbrzezny},
editor = {Lech Polkowski and
Yiyu Yao and
Piotr Artiemjew and
Davide Ciucci and
Dun Liu and
Dominik Slezak and
Beata Zielosko},
title = {A Novel Description Language for Two-Agent Dialogue Games},
booktitle = {Rough Sets - International Joint Conference, {IJCRS} 2017, Olsztyn,
Poland, July 3-7, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10314},
pages = {466--486},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60840-2\_34},
doi = {10.1007/978-3-319-60840-2\_34},
timestamp = {Sun, 25 Jul 2021 11:50:02 +0200},
biburl = {https://dblp.org/rec/conf/rskt/SawickaKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rskt/ZbrzeznyZ17,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
editor = {Lech Polkowski and
Yiyu Yao and
Piotr Artiemjew and
Davide Ciucci and
Dun Liu and
Dominik Slezak and
Beata Zielosko},
title = {Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems},
booktitle = {Rough Sets - International Joint Conference, {IJCRS} 2017, Olsztyn,
Poland, July 3-7, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10314},
pages = {487--504},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60840-2\_35},
doi = {10.1007/978-3-319-60840-2\_35},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rskt/ZbrzeznyZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Wozna-Szczesniak16,
author = {Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
title = {Checking {EMTLK} Properties of Timed Interpreted Systems Via Bounded
Model Checking},
journal = {Stud Logica},
volume = {104},
number = {4},
pages = {641--678},
year = {2016},
url = {https://doi.org/10.1007/s11225-015-9637-9},
doi = {10.1007/S11225-015-9637-9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Wozna-Szczesniak16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ZbrzeznyZ16,
author = {Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Bernd{-}Holger Schlingloff},
title = {Simple Bounded {MTL} Model Checking for Discrete Timed Automata (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 = {37--48},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_04\_Zbrzezny\&\#38;Zbrzezny\_Simple-Bounded-MTL-Model-Checking-for-Discrete-Timed-Automata.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/ZbrzeznyZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KacprzakSZ16,
author = {Magdalena Kacprzak and
Anna Sawicka and
Andrzej Zbrzezny},
editor = {Bernd{-}Holger Schlingloff},
title = {Towards Model Checking Argumentative Dialogues with Emotional Reasoning
(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 = {257--268},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_24\_Kacprzak\&\#38;Sawicka\&\#38;Zbrzezny\_Towards-model-checking-argumentative-dialogues-with-emotional-reasoning.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KacprzakSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaisc/KacprzakSZ16,
author = {Magdalena Kacprzak and
Anna Sawicka and
Andrzej Zbrzezny},
editor = {Leszek Rutkowski and
Marcin Korytkowski and
Rafal Scherer and
Ryszard Tadeusiewicz and
Lotfi A. Zadeh and
Jacek M. Zurada},
title = {Towards Verification of Dialogue Protocols: {A} Mathematical Model},
booktitle = {Artificial Intelligence and Soft Computing - 15th International Conference,
{ICAISC} 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9693},
pages = {329--339},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39384-1\_28},
doi = {10.1007/978-3-319-39384-1\_28},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaisc/KacprzakSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/ZbrzeznyZR16,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny and
Franco Raimondi},
editor = {Gordan Jezic and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Efficient Model Checking Timed and Weighted Interpreted Systems Using
{SMT} and {SAT} Solvers},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 10th {KES}
International Conference, {KES-AMSTA} 2016, Puerto de la Cruz, Tenerife,
Spain, June 15-17, 2016, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {58},
pages = {45--55},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39883-9\_4},
doi = {10.1007/978-3-319-39883-9\_4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/ZbrzeznyZR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/ZbrzeznyZ16,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
editor = {Matteo Baldoni and
Amit K. Chopra and
Tran Cao Son and
Katsutoshi Hirayama and
Paolo Torroni},
title = {Verifying Real-Time Properties of Multi-agent Systems via SMT-Based
Bounded Model Checking},
booktitle = {{PRIMA} 2016: Princiles and Practice of Multi-Agent Systems - 19th
International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9862},
pages = {149--167},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44832-9\_9},
doi = {10.1007/978-3-319-44832-9\_9},
timestamp = {Fri, 27 Mar 2020 08:49:36 +0100},
biburl = {https://dblp.org/rec/conf/prima/ZbrzeznyZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijimai/ZbrzeznyZ15,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
title = {Checking {RTECTL} properties of STSs via SMT-based Bounded Model Checking},
journal = {Int. J. Interact. Multim. Artif. Intell.},
volume = {3},
number = {5},
pages = {28--35},
year = {2015},
url = {https://doi.org/10.9781/ijimai.2015.354},
doi = {10.9781/IJIMAI.2015.354},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijimai/ZbrzeznyZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aecia/KacprzakSZ15,
author = {Magdalena Kacprzak and
Anna Sawicka and
Andrzej Zbrzezny},
editor = {Ajith Abraham and
Katarzyna Wegrzyn{-}Wolska and
Aboul Ella Hassanien and
V{\'{a}}clav Sn{\'{a}}sel and
Adel M. Alimi},
title = {Dialogue Systems: Modeling and Prediction of their Dynamics},
booktitle = {Proceedings of the Second International Afro-European Conference for
Industrial Advancement, {AECIA} 2015, Villejuif (Paris-sud), France,
9-11 September 2015},
series = {Advances in Intelligent Systems and Computing},
volume = {427},
pages = {421--431},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29504-6\_40},
doi = {10.1007/978-3-319-29504-6\_40},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aecia/KacprzakSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ZbrzeznyWZ15,
author = {Agnieszka M. Zbrzezny and
Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {SMT-based Bounded Model Checking for Weighted Interpreted Systems
and for Weighted Epistemic {ECTL}},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1671--1672},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773378},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/ZbrzeznyWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Wozna-Szczesniak15,
author = {Bozena Wozna{-}Szczesniak and
Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata},
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 = {196--206},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_44.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Wozna-Szczesniak15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/ZbrzeznyZ15,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
editor = {Sigeru Omatu and
Qutaibah M. Malluhi and
Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez and
Grzegorz Bocewicz and
Edgardo Bucciarelli and
Gianfranco Giulioni and
Farkhund Iqbal},
title = {Checking {RTECTL} Properties of STSs via SMT-Based Bounded Model Checking},
booktitle = {Distributed Computing and Artificial Intelligence, 12th International
Conference, {DCAI} 2015, Salamanca, Spain, June 3-5, 2015},
series = {Advances in Intelligent Systems and Computing},
volume = {373},
pages = {55--62},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19638-1\_7},
doi = {10.1007/978-3-319-19638-1\_7},
timestamp = {Tue, 15 Nov 2022 15:22:37 +0100},
biburl = {https://dblp.org/rec/conf/dcai/ZbrzeznyZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/ZbrzeznyZ15,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
editor = {Francisco C. Pereira and
Penousal Machado and
Ernesto Costa and
Am{\'{\i}}lcar Cardoso},
title = {Checking {WECTLK} Properties of Timed Real-Weighted Interpreted Systems
via SMT-Based Bounded Model Checking},
booktitle = {Progress in Artificial Intelligence - 17th Portuguese Conference on
Artificial Intelligence, {EPIA} 2015, Coimbra, Portugal, September
8-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9273},
pages = {638--650},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23485-4\_64},
doi = {10.1007/978-3-319-23485-4\_64},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/ZbrzeznyZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/ZbrzeznyWZ15,
author = {Agnieszka M. Zbrzezny and
Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
editor = {Francisco C. Pereira and
Penousal Machado and
Ernesto Costa and
Am{\'{\i}}lcar Cardoso},
title = {SMT-Based Bounded Model Checking for Weighted Epistemic {ECTL}},
booktitle = {Progress in Artificial Intelligence - 17th Portuguese Conference on
Artificial Intelligence, {EPIA} 2015, Coimbra, Portugal, September
8-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9273},
pages = {651--657},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23485-4\_65},
doi = {10.1007/978-3-319-23485-4\_65},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/ZbrzeznyWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/ZbrzeznyZ15,
author = {Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Claudia Schulz and
Daniel Liew},
title = {Checking {WECTLK} Properties of TRWISs via SMT-based Bounded Model
Checking},
booktitle = {2015 Imperial College Computing Student Workshop, {ICCSW} 2015, September
24-25, 2015, London, United Kingdom},
series = {OASIcs},
volume = {49},
pages = {78--86},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2015.78},
doi = {10.4230/OASICS.ICCSW.2015.78},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/iccsw/ZbrzeznyZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/ZbrzeznyZ15,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
editor = {Qingliang Chen and
Paolo Torroni and
Serena Villata and
Jane Yung{-}jen Hsu and
Andrea Omicini},
title = {Checking {WELTLK} Properties of Weighted Interpreted Systems via SMT-Based
Bounded Model Checking},
booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9387},
pages = {660--669},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25524-8\_49},
doi = {10.1007/978-3-319-25524-8\_49},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/ZbrzeznyZ15.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/Wozna-SzczesniakZ14,
author = {Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
title = {Checking {MTL} Properties of Discrete Timed Automata via Bounded Model
Checking},
journal = {Fundam. Informaticae},
volume = {135},
number = {4},
pages = {553--568},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1140},
doi = {10.3233/FI-2014-1140},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Wozna-SzczesniakZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ZbrzeznyZ14,
author = {Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Louchka Popova{-}Zeugmann},
title = {A Comparison of SAT-Based and SMT-Based Bounded Model Checking Methods
for {ECTL}},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {293--300},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper293.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/ZbrzeznyZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ZbrzeznyZ14a,
author = {Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Louchka Popova{-}Zeugmann},
title = {System Monitoring with Extended Message Sequence Chart (Extended Abstract)},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {301--307},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper301.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/ZbrzeznyZ14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/Wozna-SzczesniakSZZ14,
author = {Bozena Wozna{-}Szczesniak and
Ireneusz Szczesniak and
Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Hoa Khanh Dam and
Jeremy V. Pitt and
Yang Xu and
Guido Governatori and
Takayuki Ito},
title = {Bounded Model Checking for Weighted Interpreted Systems and for Flat
Weighted Epistemic Computation Tree Logic},
booktitle = {{PRIMA} 2014: Principles and Practice of Multi-Agent Systems - 17th
International Conference, Gold Coast, QLD, Australia, December 1-5,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8861},
pages = {107--115},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13191-7\_9},
doi = {10.1007/978-3-319-13191-7\_9},
timestamp = {Thu, 09 Sep 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/Wozna-SzczesniakSZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Wozna-SzczesniakZ13,
author = {Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
title = {A Translation of the Existential Model Checking Problem from {MITL}
to {HLTL}},
journal = {Fundam. Informaticae},
volume = {122},
number = {4},
pages = {401--420},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-795},
doi = {10.3233/FI-2013-795},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Wozna-SzczesniakZ13.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/Wozna-SzczesniakZ13,
author = {Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Checking {MTL} Properties of Discrete Timed Automata via Bounded Model
Checking},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {469--477},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-41.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Wozna-SzczesniakZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Zbrzezny13,
author = {Andrzej Zbrzezny},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {On Boolean Encodings of Transition Relation for Parallel Compositions
of Transition Systems},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {478--489},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-42.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Zbrzezny13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/MeskiWZZ13,
author = {Artur Meski and
Bozena Wozna{-}Szczesniak and
Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Sigeru Omatu and
Jos{\'{e}} Neves and
Juan M. Corchado Rodr{\'{\i}}guez and
Juan F. De Paz Santana and
Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez},
title = {Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic
Computation Tree Logic},
booktitle = {Distributed Computing and Artificial Intelligence - 10th International
Conference, {DCAI} 2013, Salamanca, Spain, May 22-24, 2013},
series = {Advances in Intelligent Systems and Computing},
volume = {217},
pages = {483--491},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-00551-5\_58},
doi = {10.1007/978-3-319-00551-5\_58},
timestamp = {Tue, 15 Nov 2022 15:22:37 +0100},
biburl = {https://dblp.org/rec/conf/dcai/MeskiWZZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/Wozna-SzczesniakZZ13,
author = {Bozena Wozna{-}Szczesniak and
Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Maria Simonetta Balsamo and
William J. Knottenbelt and
Andrea Marin},
title = {SAT-Based Bounded Model Checking for {RTECTL} and Simply-Timed Systems},
booktitle = {Computer Performance Engineering - 10th European Workshop, {EPEW}
2013, Venice, Italy, September 16-17, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8168},
pages = {337--349},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40725-3\_26},
doi = {10.1007/978-3-642-40725-3\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/Wozna-SzczesniakZZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/Wozna-SzczesniakZZ13,
author = {Bozena Wozna{-}Szczesniak and
Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Guido Boella and
Edith Elkind and
Bastin Tony Roy Savarimuthu and
Frank Dignum and
Martin K. Purvis},
title = {SAT-Based Bounded Model Checking for Weighted Interpreted Systems
and Weighted Linear Temporal Logic},
booktitle = {{PRIMA} 2013: Principles and Practice of Multi-Agent Systems - 16th
International Conference, Dunedin, New Zealand, December 1-6, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8291},
pages = {355--371},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-44927-7\_24},
doi = {10.1007/978-3-642-44927-7\_24},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prima/Wozna-SzczesniakZZ13.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/Zbrzezny12,
author = {Andrzej Zbrzezny},
title = {A New Translation from ECTL* to {SAT}},
journal = {Fundam. Informaticae},
volume = {120},
number = {3-4},
pages = {375--395},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-768},
doi = {10.3233/FI-2012-768},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Zbrzezny12.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/dalt/Wozna-SzczesniakZ12,
author = {Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
editor = {Matteo Baldoni and
Louise A. Dennis and
Viviana Mascardi and
Wamberto Weber Vasconcelos},
title = {SAT-Based {BMC} for Deontic Metric Temporal Logic and Deontic Interleaved
Interpreted Systems},
booktitle = {Declarative Agent Languages and Technologies {X} - 10th International
Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7784},
pages = {170--189},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37890-4\_10},
doi = {10.1007/978-3-642-37890-4\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/Wozna-SzczesniakZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/Wozna-SzczesniakZ12,
author = {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 = {SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted
Systems},
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 = {494--503},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30947-2\_54},
doi = {10.1007/978-3-642-30947-2\_54},
timestamp = {Thu, 16 Mar 2023 20:00:31 +0100},
biburl = {https://dblp.org/rec/conf/kesamsta/Wozna-SzczesniakZ12.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 = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/MeskiPSWZ12.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}
}
@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/epia/Wozna-SzczesniakZZ11,
author = {Bozena Wozna{-}Szczesniak and
Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Luis Antunes and
Helena Sofia Pinto},
title = {The {BMC} Method for the Existential Part of {RTCTLK} and Interleaved
Interpreted Systems},
booktitle = {Progress in Artificial Intelligence, 15th Portuguese Conference on
Artificial Intelligence, {EPIA} 2011, Lisbon, Portugal, October 10-13,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7026},
pages = {551--565},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24769-9\_40},
doi = {10.1007/978-3-642-24769-9\_40},
timestamp = {Sun, 02 Oct 2022 16:00:30 +0200},
biburl = {https://dblp.org/rec/conf/epia/Wozna-SzczesniakZZ11.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/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 = {Thu, 11 Jul 2024 20:37:24 +0200},
biburl = {https://dblp.org/rec/conf/acsd/PenczekPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RatajWZ09,
author = {Artur Rataj and
Bozena Wozna and
Andrzej Zbrzezny},
title = {A Translator of Java Programs to TADDs},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {305--324},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0104},
doi = {10.3233/FI-2009-0104},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RatajWZ09.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/Zbrzezny08,
author = {Andrzej Zbrzezny},
title = {Improving the Translation from {ECTL} to {SAT}},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {513--531},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-35},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Zbrzezny08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ZbrzeznyW08,
author = {Andrzej Zbrzezny and
Bozena Wozna},
title = {Towards Verification of Java Programs in perICS},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {533--548},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-36},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ZbrzeznyW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/WoznaZ07,
author = {Bozena Wozna and
Andrzej Zbrzezny},
title = {Bounded Model Checking for the Existential Fragment of TCTL\({}_{\mbox{-G}}\)
and Diagonal Timed Automata},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {229--256},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-11},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/WoznaZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ZbrzeznyP07,
author = {Andrzej Zbrzezny and
Agata P{\'{o}}lrola},
title = {SAT-Based Reachability Checking for Timed Automata with Discrete Data},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {579--593},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-24},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ZbrzeznyP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/LomuscioWZ06,
author = {Alessio Lomuscio and
Bozena Wozna and
Andrzej Zbrzezny},
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences:
Theory and Implementation},
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 = {95--112},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74128-2\_7},
doi = {10.1007/978-3-540-74128-2\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/LomuscioWZ06.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 = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/KurkowskiPZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Zbrzezny05,
author = {Andrzej Zbrzezny},
title = {SAT-based Reachability Checking for Timed Automata with Diagonal Constraints},
journal = {Fundam. Informaticae},
volume = {67},
number = {1-3},
pages = {303--322},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-22},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Zbrzezny05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Zbrzezny04,
author = {Andrzej Zbrzezny},
title = {Improvements in SAT-based Reachability Analysis for Timed Automata},
journal = {Fundam. Informaticae},
volume = {60},
number = {1-4},
pages = {417--434},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-27},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Zbrzezny04.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/formats/WoznaZ03,
author = {Bozena Wozna and
Andrzej Zbrzezny},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {Checking ACTL\({}^{\mbox{*}}\) Properties of Discrete Timed Automata
via Bounded Model Checking},
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 = {18--33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_3},
doi = {10.1007/978-3-540-40903-8\_3},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/WoznaZ03.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/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/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}
}
@article{DBLP:journals/mlq/Zbrzezny90,
author = {Andrzej Zbrzezny},
title = {The hilbert type axiomatization of some three-valued propositional
logic},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {415--421},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360506},
doi = {10.1002/MALQ.19900360506},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Zbrzezny90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
