×

zbMATH — the first resource for mathematics

Penczek, Wojciech

Compute Distance To:
Author ID: penczek.wojciech Recent zbMATH articles by "Penczek, Wojciech"
Published as: Pemczek, Wojciech; Penczek, W.; Penczek, Wojciech
Documents Indexed: 101 Publications since 1988, including 14 Books

Publications by Year

Citations contained in zbMATH

37 Publications have been cited 147 times in 101 Documents Cited by Year
Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512
Penczek, Wojciech; Lomuscio, Alessio
20
2003
A partial order approach to branching time logic model checking. Zbl 1045.68588
Gerth, Rob; Kuiper, Ruurd; Peled, Doron; Penczek, Wojciech
12
1999
VERICS 2007 – a model checker for knowledgee and real-time. Zbl 1167.68381
Kacprzak, Magdalena; Nabiałek, Wojciech; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Woźna, Bożena; Zbrzezny, Andrzej
11
2008
Concurrent systems and inevitability. Zbl 0675.68015
Mazurkiewicz, Antoni; Ochmański, Edward; Penczek, Wojciech
8
1989
Bounded model checking for knowledge and real time. Zbl 1168.68422
Lomuscio, Alessio; Penczek, Wojciech; Woźna, Bożena
6
2007
Bounded model checking for the universal fragment of CTL. Zbl 1052.68087
Penczek, Wojciech; Woźna, Bożena; Zbrzezny, Andrzej
6
2002
Temporal logics for trace systems: On automated verification. Zbl 0783.68081
Penczek, Wojciech
6
1993
Model checking temporal properties of reaction systems. Zbl 1387.68167
Męski, Artur; Penczek, Wojciech; Rozenberg, Grzegorz
5
2015
Comparing BDD and SAT based techniques for model checking Chaum’s dining cryptographers protocol. Zbl 1097.68074
Kacprzak, Magdalena; Lomuscio, Alessio; Niewiadomski, Artur; Penczek, Wojciech; Raimondi, Franco; Szreter, Maciej
5
2006
Specification and model checking of temporal properties in time Petri nets and timed automata. Zbl 1094.68067
Penczek, Wojciech; Półrola, Agata
5
2004
On undecidability of propositional temporal logics on trace systems. Zbl 0771.03006
Penczek, Wojciech
5
1992
A temporal logic for event structures. Zbl 0677.03012
Penczek, Wojciech
5
1988
Bounded model checking for parametric timed automata. Zbl 1350.68183
Knapik, Michał; Penczek, Wojciech
4
2012
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382
Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang
4
2010
Advances in verification of time Petri nets and timed automata. A temporal logic approach. Zbl 1110.68087
Penczek, Wojciech; Półrola, Agata
4
2006
\(\surd\)erics: A tool for verifying timed automata and Estelle specifications. Zbl 1031.68546
Dembiński, Piotr; Janowska, Agata; Janowski, Paweł; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Wozna, Bozena; Zbrzezny, Andrzej
4
2003
Bounded model checking for deontic interpreted systems. Zbl 1272.68279
Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech
3
2005
A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic. Zbl 1072.03012
Kacprzak, M.; Penczek, W.
3
2004
On designated values in multi-valued \(\text{CTL}^*\) model checking. Zbl 1083.68071
Konikowska, Beata; Penczek, Wojciech
3
2004
Abstractions and partial order reductions for checking branching properties of time Petri nets. Zbl 0986.68096
Penczek, Wojciech; Półrola, Agata
3
2001
Improving partial order reductions for universal branching time properties. Zbl 0966.68126
Penczek, Wojciech; Szreter, Maciej; Gerth, Rob; Kuiper, Ruurd
3
2000
Specification and verification of multi-agent systems. Zbl 1250.68190
Jamroga, Wojciech; Penczek, Wojciech
2
2012
Symbolic model checking for temporal-epistemic logic. Zbl 1356.68144
Lomuscio, Alessio; Penczek, Wojciech
2
2012
Parametric model checking with VerICS. Zbl 1312.68134
Knapik, Michał; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Zbrzezny, Andrzej
2
2010
Checking reachability properties for timed automata via SAT. Zbl 1111.68548
Woźna, Bożena; Zbrzezny, Andrzej; Penczek, Wojciech
2
2003
Towards bounded model checking for the universal fragment of TCTL. Zbl 1278.68192
Penczek, Wojciech; Woźna, Boẓena; Zbrzezny, Andrzej
2
2002
Reducing model checking from multi-valued \(\text{CTL}^{\ast}\) to \(\text{CTL}^{\ast}\). Zbl 1012.68132
Konikowska, Beata; Penczek, Wojciech
2
2002
Towards partial order reductions for strategic ability. Zbl 1453.68197
Jamroga, Wojciech; Penczek, Wojciech; Sidoruk, Teofil; Dembiński, Piotr; Mazurkiewicz, Antoni
1
2020
Verification of linear-time temporal properties for reaction systems with discrete concentrations. Zbl 1378.68113
Męski, Artur; Koutny, Maciej; Penczek, Wojciech
1
2017
SMT-based abstract parametric temporal planning. Zbl 1366.68009
Niewiadomski, Artur; Penczek, Wojciech
1
2015
SMT versus genetic and OpenOpt algorithms: concrete planning in the PlanICS framework. Zbl 1329.68047
Niewiadomski, Artur; Skaruz, Jaroslaw; Penczek, Wojciech; Szreter, Maciej; Jarocki, Mariusz
1
2014
Towards SAT-based BMC for LTLK over interleaved interpreted systems. Zbl 1279.68219
Penczek, Wojciech; Woźna-Szcześniak, Bożena; Zbrzezny, Andrzej
1
2012
SAT-based (parametric) reachability for a class of distributed time Petri nets. Zbl 1312.68137
Penczek, Wojciech; Pòłrola, Agata; Zbrzezny, Andrzej
1
2010
Towards checking parametric reachability for UML state machines. Zbl 1274.68199
Niewiadomski, Artur; Penczek, Wojciech; Szreter, Maciej
1
2010
Mathematical foundations of computer science 1996. 21st international symposium, MFCS ’96, Cracow, Poland, September 2-6, 1996. Proceedings. Zbl 0852.00041
Penczek, Wojciech (ed.); Szałas, Andrzej (ed.)
1
1996
A hierarchy of partial order temporal properties. Zbl 0949.68537
Kwiatkowska, M.; Peled, D.; Penczek, W.
1
1994
A concurrent branching time temporal logic. Zbl 0925.03142
Penczek, Wojciech
1
1990
Towards partial order reductions for strategic ability. Zbl 1453.68197
Jamroga, Wojciech; Penczek, Wojciech; Sidoruk, Teofil; Dembiński, Piotr; Mazurkiewicz, Antoni
1
2020
Verification of linear-time temporal properties for reaction systems with discrete concentrations. Zbl 1378.68113
Męski, Artur; Koutny, Maciej; Penczek, Wojciech
1
2017
Model checking temporal properties of reaction systems. Zbl 1387.68167
Męski, Artur; Penczek, Wojciech; Rozenberg, Grzegorz
5
2015
SMT-based abstract parametric temporal planning. Zbl 1366.68009
Niewiadomski, Artur; Penczek, Wojciech
1
2015
SMT versus genetic and OpenOpt algorithms: concrete planning in the PlanICS framework. Zbl 1329.68047
Niewiadomski, Artur; Skaruz, Jaroslaw; Penczek, Wojciech; Szreter, Maciej; Jarocki, Mariusz
1
2014
Bounded model checking for parametric timed automata. Zbl 1350.68183
Knapik, Michał; Penczek, Wojciech
4
2012
Specification and verification of multi-agent systems. Zbl 1250.68190
Jamroga, Wojciech; Penczek, Wojciech
2
2012
Symbolic model checking for temporal-epistemic logic. Zbl 1356.68144
Lomuscio, Alessio; Penczek, Wojciech
2
2012
Towards SAT-based BMC for LTLK over interleaved interpreted systems. Zbl 1279.68219
Penczek, Wojciech; Woźna-Szcześniak, Bożena; Zbrzezny, Andrzej
1
2012
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382
Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang
4
2010
Parametric model checking with VerICS. Zbl 1312.68134
Knapik, Michał; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Zbrzezny, Andrzej
2
2010
SAT-based (parametric) reachability for a class of distributed time Petri nets. Zbl 1312.68137
Penczek, Wojciech; Pòłrola, Agata; Zbrzezny, Andrzej
1
2010
Towards checking parametric reachability for UML state machines. Zbl 1274.68199
Niewiadomski, Artur; Penczek, Wojciech; Szreter, Maciej
1
2010
VERICS 2007 – a model checker for knowledgee and real-time. Zbl 1167.68381
Kacprzak, Magdalena; Nabiałek, Wojciech; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Woźna, Bożena; Zbrzezny, Andrzej
11
2008
Bounded model checking for knowledge and real time. Zbl 1168.68422
Lomuscio, Alessio; Penczek, Wojciech; Woźna, Bożena
6
2007
Comparing BDD and SAT based techniques for model checking Chaum’s dining cryptographers protocol. Zbl 1097.68074
Kacprzak, Magdalena; Lomuscio, Alessio; Niewiadomski, Artur; Penczek, Wojciech; Raimondi, Franco; Szreter, Maciej
5
2006
Advances in verification of time Petri nets and timed automata. A temporal logic approach. Zbl 1110.68087
Penczek, Wojciech; Półrola, Agata
4
2006
Bounded model checking for deontic interpreted systems. Zbl 1272.68279
Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech
3
2005
Specification and model checking of temporal properties in time Petri nets and timed automata. Zbl 1094.68067
Penczek, Wojciech; Półrola, Agata
5
2004
A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic. Zbl 1072.03012
Kacprzak, M.; Penczek, W.
3
2004
On designated values in multi-valued \(\text{CTL}^*\) model checking. Zbl 1083.68071
Konikowska, Beata; Penczek, Wojciech
3
2004
Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512
Penczek, Wojciech; Lomuscio, Alessio
20
2003
\(\surd\)erics: A tool for verifying timed automata and Estelle specifications. Zbl 1031.68546
Dembiński, Piotr; Janowska, Agata; Janowski, Paweł; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Wozna, Bozena; Zbrzezny, Andrzej
4
2003
Checking reachability properties for timed automata via SAT. Zbl 1111.68548
Woźna, Bożena; Zbrzezny, Andrzej; Penczek, Wojciech
2
2003
Bounded model checking for the universal fragment of CTL. Zbl 1052.68087
Penczek, Wojciech; Woźna, Bożena; Zbrzezny, Andrzej
6
2002
Towards bounded model checking for the universal fragment of TCTL. Zbl 1278.68192
Penczek, Wojciech; Woźna, Boẓena; Zbrzezny, Andrzej
2
2002
Reducing model checking from multi-valued \(\text{CTL}^{\ast}\) to \(\text{CTL}^{\ast}\). Zbl 1012.68132
Konikowska, Beata; Penczek, Wojciech
2
2002
Abstractions and partial order reductions for checking branching properties of time Petri nets. Zbl 0986.68096
Penczek, Wojciech; Półrola, Agata
3
2001
Improving partial order reductions for universal branching time properties. Zbl 0966.68126
Penczek, Wojciech; Szreter, Maciej; Gerth, Rob; Kuiper, Ruurd
3
2000
A partial order approach to branching time logic model checking. Zbl 1045.68588
Gerth, Rob; Kuiper, Ruurd; Peled, Doron; Penczek, Wojciech
12
1999
Mathematical foundations of computer science 1996. 21st international symposium, MFCS ’96, Cracow, Poland, September 2-6, 1996. Proceedings. Zbl 0852.00041
Penczek, Wojciech (ed.); Szałas, Andrzej (ed.)
1
1996
A hierarchy of partial order temporal properties. Zbl 0949.68537
Kwiatkowska, M.; Peled, D.; Penczek, W.
1
1994
Temporal logics for trace systems: On automated verification. Zbl 0783.68081
Penczek, Wojciech
6
1993
On undecidability of propositional temporal logics on trace systems. Zbl 0771.03006
Penczek, Wojciech
5
1992
A concurrent branching time temporal logic. Zbl 0925.03142
Penczek, Wojciech
1
1990
Concurrent systems and inevitability. Zbl 0675.68015
Mazurkiewicz, Antoni; Ochmański, Edward; Penczek, Wojciech
8
1989
A temporal logic for event structures. Zbl 0677.03012
Penczek, Wojciech
5
1988
all top 5

Cited by 181 Authors

10 Lomuscio, Alessio
8 Penczek, Wojciech
5 Belardinelli, Francesco
5 Peled, Doron A.
4 Boucheneb, Hanifa
4 Diekert, Volker
4 Gastin, Paul
3 Jamroga, Wojciech
3 Koutny, Maciej
3 Rozenberg, Grzegorz
3 Srba, Jiří
3 Zbrzezny, Andrzej
2 Alur, Rajeev
2 André, Étienne
2 Barkaoui, Kamel
2 Dima, Cătălin
2 Giordano, Laura
2 Grumberg, Orna
2 Gutierrez, Julian
2 Hadjidj, Rachid
2 Jacobsen, Lasse
2 Jacobsen, Morten
2 Kacprzak, Magdalena
2 Konur, Savas
2 Larsen, Kim Guldstrand
2 Martelli, Alberto
2 Mȩski, Artur
2 Møller, Mikael Harkjær
2 Murano, Aniello
2 Ouaknine, Joel O.
2 Qu, Hongyang
2 Shoham, Sharon
2 Valmari, Antti
2 van Glabbeek, Robert Jan
2 Worrell, James B.
2 Zhang, Wenhui
1 Ábrahám, Erika
1 Azgomi, Mohammad Abdollahi
1 Azimi, Sepinoud
1 Badouel, Eric
1 Becker, Bernd
1 Beigel, Richard
1 Best, Eike
1 Biere, Armin
1 Bønneland, Frederik Meyer
1 Bottoni, Paolo
1 Bouyer, Patricia
1 Bradfield, Julian Charles
1 Byg, Joakim
1 Cao, Yongzhi
1 Čermák, Petr
1 Chai, Xinwei
1 Chen, Aixiang
1 Chen, Qingliang
1 Cheng, Allan
1 Cleaveland, Rance
1 Condurache, Rodica
1 Darondeau, Philippe
1 de Frutos-Escrig, David
1 Dechesne, Francien
1 Dingel, Juergen
1 Dix, Jurgen
1 Dong, JinSong
1 Dwyer, Matthew B.
1 Ezekiel, Jonathan
1 Fahrenberg, Uli
1 Fisher, Michael W.
1 Fontana, Peter
1 Fröschle, Sibylle B.
1 Garanina, Natalia O.
1 Gasarch, William Ian
1 Goranko, Valentin F.
1 Gratie, Cristian
1 Grinenko, E.
1 Groote, Jan Friso
1 Hansen, Henri
1 Harrenstein, Paul
1 Hatcliff, John
1 Herbstritt, Marc
1 Hoang, Thai Son
1 Huang, Xiaowei
1 Inoue, Katsumi
1 Iosif, Radu
1 Ivanov, Sergiu
1 Jensen, Peter Gjøl
1 Jørgensen, Kenneth Yrke
1 Jovanović, Aleksandra Ž.
1 Katz, Shmuel
1 Kaufmann, Petra
1 Keiren, Jeroen J. A.
1 Kiefer, Stefan
1 Klai, Kais
1 Kleijn, Jetty H. C. M.
1 Knapik, Michal Jozef
1 Konnov, Igor V.
1 Kouvaros, Panagiotis
1 Kristensen, Lars Michael
1 Kronegger, Martin
1 Kröning, Daniel
1 Kryvyi, S. L.
...and 81 more Authors

Citations by Year