×

zbMATH — the first resource for mathematics

Zbrzezny, Andrzej

Compute Distance To:
Author ID: zbrzezny.andrzej Recent zbMATH articles by "Zbrzezny, Andrzej"
Published as: Zbrzezny, Andrzej; Zbrzeźny, Andrzej
Documents Indexed: 33 Publications since 1988

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 43 times in 31 Documents Cited by Year
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 the universal fragment of CTL. Zbl 1052.68087
Penczek, Wojciech; Woźna, Bożena; Zbrzezny, Andrzej
6
2002
\(\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
A new translation from ECTL* to SAT*. Zbl 1283.68218
Zbrzezny, Andrzej
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
Improving the translation from ECTL to SAT. Zbl 1159.68021
Zbrzezny, Andrzej
2
2008
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
Verifying real-time properties of multi-agent systems via SMT-based bounded model checking. Zbl 1392.68267
Zbrzezny, Agnieszka M.; Zbrzezny, Andrzej
1
2016
Checking EMTLK properties of timed interpreted systems via bounded model checking. Zbl 1417.68106
Woźna-Szcześniak, Bożena; Zbrzezny, Andrzej
1
2016
Towards verification of dialogue protocols: a mathematical model. Zbl 1358.68275
Kacprzak, Magdalena; Sawicka, Anna; Zbrzezny, Andrzej
1
2016
Checking MTL properties of discrete timed automata via bounded model checking. Zbl 1322.68135
Woźna-Szcześniak, Bożena; Zbrzezny, Andrzej
1
2014
A translation of the existential model checking problem from MITL to HLTL. Zbl 1283.68217
Woźna-Szcześniak, Boẓena; Zbrzezny, Andrzej
1
2013
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
Verifying RTECTL properties of a train controller systems. Zbl 1284.68434
Woźna-Szcześniak, Bozena; Zbrzezny, Agnieszka; Zbrzezny, Andrzej
1
2011
SAT-based (parametric) reachability for a class of distributed time Petri nets. Zbl 1312.68137
Penczek, Wojciech; Pòłrola, Agata; Zbrzezny, Andrzej
1
2010
SAT-based reachability checking for timed automata with discrete data. Zbl 1124.68061
Zbrzezny, Andrzej; Półrola, Agata
1
2007
SAT-based reachability checking for timed automata with diagonal constraints. Zbl 1096.68087
Zbrzezny, Andrzej
1
2005
Improvements in SAT-based reachability analysis for timed automata. Zbl 1083.68063
Zbrzezny, Andrzej
1
2004
The Hilbert type axiomatization of some three-valued propositional logic. Zbl 0721.03010
Zbrzezny, Andrzej
1
1990
Verifying real-time properties of multi-agent systems via SMT-based bounded model checking. Zbl 1392.68267
Zbrzezny, Agnieszka M.; Zbrzezny, Andrzej
1
2016
Checking EMTLK properties of timed interpreted systems via bounded model checking. Zbl 1417.68106
Woźna-Szcześniak, Bożena; Zbrzezny, Andrzej
1
2016
Towards verification of dialogue protocols: a mathematical model. Zbl 1358.68275
Kacprzak, Magdalena; Sawicka, Anna; Zbrzezny, Andrzej
1
2016
Checking MTL properties of discrete timed automata via bounded model checking. Zbl 1322.68135
Woźna-Szcześniak, Bożena; Zbrzezny, Andrzej
1
2014
A translation of the existential model checking problem from MITL to HLTL. Zbl 1283.68217
Woźna-Szcześniak, Boẓena; Zbrzezny, Andrzej
1
2013
A new translation from ECTL* to SAT*. Zbl 1283.68218
Zbrzezny, Andrzej
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
Verifying RTECTL properties of a train controller systems. Zbl 1284.68434
Woźna-Szcześniak, Bozena; Zbrzezny, Agnieszka; Zbrzezny, Andrzej
1
2011
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
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
Improving the translation from ECTL to SAT. Zbl 1159.68021
Zbrzezny, Andrzej
2
2008
SAT-based reachability checking for timed automata with discrete data. Zbl 1124.68061
Zbrzezny, Andrzej; Półrola, Agata
1
2007
SAT-based reachability checking for timed automata with diagonal constraints. Zbl 1096.68087
Zbrzezny, Andrzej
1
2005
Improvements in SAT-based reachability analysis for timed automata. Zbl 1083.68063
Zbrzezny, Andrzej
1
2004
\(\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
The Hilbert type axiomatization of some three-valued propositional logic. Zbl 0721.03010
Zbrzezny, Andrzej
1
1990

Citations by Year