Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michal Knapik
@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}
}
@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/corr/abs-2203-13692,
author = {Francesco Belardinelli and
Rodica Condurache and
Catalin Dima and
Wojciech Jamroga and
Michal Knapik},
title = {Bisimulations for Verifying Strategic Abilities with an Application
to the ThreeBallot Voting Protocol},
journal = {CoRR},
volume = {abs/2203.13692},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.13692},
doi = {10.48550/ARXIV.2203.13692},
eprinttype = {arXiv},
eprint = {2203.13692},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-13692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BelardinelliCDJ21,
author = {Francesco Belardinelli and
Rodica Condurache and
Catalin Dima and
Wojciech Jamroga and
Michal Knapik},
title = {Bisimulations for verifying strategic abilities with an application
to the ThreeBallot voting protocol},
journal = {Inf. Comput.},
volume = {276},
pages = {104552},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104552},
doi = {10.1016/J.IC.2020.104552},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BelardinelliCDJ21.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}
}
@article{DBLP:journals/corr/abs-2012-04739,
author = {Laure Petrucci and
Michal Knapik},
title = {Modular Analysis of Tree-Topology Models},
journal = {CoRR},
volume = {abs/2012.04739},
year = {2020},
url = {https://arxiv.org/abs/2012.04739},
eprinttype = {arXiv},
eprint = {2012.04739},
timestamp = {Sat, 02 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-04739.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JamrogaKKM19,
author = {Wojciech Jamroga and
Michal Knapik and
Damian Kurpiewski and
Lukasz Mikulski},
title = {Approximate verification of strategic abilities under imperfect information},
journal = {Artif. Intell.},
volume = {277},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.103172},
doi = {10.1016/J.ARTINT.2019.103172},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/JamrogaKKM19.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/atal/KurpiewskiKJ19,
author = {Damian Kurpiewski and
Michal Knapik and
Wojciech Jamroga},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {On Domination and Control in Strategic Ability},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {197--205},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331693},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/KurpiewskiKJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KurpiewskiJK19,
author = {Damian Kurpiewski and
Wojciech Jamroga and
Michal Knapik},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {{STV:} Model Checking for Strategies under Imperfect Information},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {2372--2374},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3332116},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/KurpiewskiJK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bnaic/KurpiewskiKJ19,
author = {Damian Kurpiewski and
Michal Knapik and
Wojciech Jamroga},
editor = {Katrien Beuls and
Bart Bogaerts and
Gianluca Bontempi and
Pierre Geurts and
Nick Harley and
Bertrand Lebichot and
Tom Lenaerts and
Gilles Louppe and
Paul Van Eecke},
title = {On Domination and Control in Strategic Ability},
booktitle = {Proceedings of the 31st Benelux Conference on Artificial Intelligence
{(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning
(Benelearn 2019), Brussels, Belgium, November 6-8, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2491},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2491/abstract8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:44 +0100},
biburl = {https://dblp.org/rec/conf/bnaic/KurpiewskiKJ19.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}
}
@inproceedings{DBLP:conf/ijcai/JamrogaK19,
author = {Wojciech Jamroga and
Michal Knapik},
editor = {Sarit Kraus},
title = {Some Things are Easier for the Dumb and the Bright Ones (Beware the
Average!)},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1734--1740},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/240},
doi = {10.24963/IJCAI.2019/240},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JamrogaK19.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}
}
@inproceedings{DBLP:conf/voteid/JamrogaKK18,
author = {Wojciech Jamroga and
Michal Knapik and
Damian Kurpiewski},
editor = {Robert Krimmer and
Melanie Volkamer and
V{\'{e}}ronique Cortier and
Rajeev Gor{\'{e}} and
Manik Hapsara and
Uwe Serd{\"{u}}lt and
David Duenas{-}Cid},
title = {Model Checking the {SELENE} E-Voting Protocol in Multi-agent Logics},
booktitle = {Electronic Voting - Third International Joint Conference, E-Vote-ID
2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11143},
pages = {100--116},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00419-4\_7},
doi = {10.1007/978-3-030-00419-4\_7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/voteid/JamrogaKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaKK17,
author = {Wojciech Jamroga and
Michal Knapik and
Damian Kurpiewski},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Fixpoint Approximation of Strategic Abilities under Imperfect Information},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1241--1249},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091298},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaKK17.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}
}
@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}
}
@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}
}
@article{DBLP:journals/corr/JamrogaKK16,
author = {Wojciech Jamroga and
Michal Knapik and
Damian Kurpiewski},
title = {An Approach to Model Checking ATLir},
journal = {CoRR},
volume = {abs/1612.02684},
year = {2016},
url = {http://arxiv.org/abs/1612.02684},
eprinttype = {arXiv},
eprint = {1612.02684},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JamrogaKK16.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}
}
@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/corr/JamrogaKK15,
author = {Wojciech Jamroga and
Michal Knapik and
Damian Kurpiewski},
title = {Approximating Strategic Abilities under Imperfect Information: a Naive
Approach},
journal = {CoRR},
volume = {abs/1510.06587},
year = {2015},
url = {http://arxiv.org/abs/1510.06587},
eprinttype = {arXiv},
eprint = {1510.06587},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JamrogaKK15.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}
}
@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/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/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}
}
@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/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 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/KnapikP12.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/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/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}
}
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 2024-04-25 02:44 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:
