×

zbMATH — the first resource for mathematics

Szreter, Maciej

Compute Distance To:
Author ID: szreter.maciej Recent zbMATH articles by "Szreter, Maciej"
Published as: Szreter, Maciej
Documents Indexed: 19 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 26 times in 23 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
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
\(\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
Improving partial order reductions for universal branching time properties. Zbl 0966.68126
Penczek, Wojciech; Szreter, Maciej; Gerth, Rob; Kuiper, Ruurd
3
2000
Parametric model checking with VerICS. Zbl 1312.68134
Knapik, Michał; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Zbrzezny, Andrzej
2
2010
Towards checking parametric reachability for UML state machines. Zbl 1274.68199
Niewiadomski, Artur; Penczek, Wojciech; Szreter, Maciej
1
2010
Parametric model checking with VerICS. Zbl 1312.68134
Knapik, Michał; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Zbrzezny, Andrzej
2
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
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
\(\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
Improving partial order reductions for universal branching time properties. Zbl 0966.68126
Penczek, Wojciech; Szreter, Maciej; Gerth, Rob; Kuiper, Ruurd
3
2000

Citations by Year