×

zbMATH — the first resource for mathematics

Woźna, Bożena

Compute Distance To:
Author ID: wozna.bozena Recent zbMATH articles by "Woźna, Bożena"
Published as: Wozna, Bozena; Woźna, Bożena; Woźna, Boẓena
Documents Indexed: 17 Publications since 2002

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 40 times in 29 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 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
\(\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 logic for knowledge, correctness, and real time. Zbl 1081.68098
Woźna, Bożena; Lomuscio, Alessio
3
2005
ACTL* properties and bounded model checking. Zbl 1088.68110
Woźna, Bożena
3
2004
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
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
Bounded model checking for deontic interpreted systems. Zbl 1272.68279
Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech
3
2005
A logic for knowledge, correctness, and real time. Zbl 1081.68098
Woźna, Bożena; Lomuscio, Alessio
3
2005
ACTL* properties and bounded model checking. Zbl 1088.68110
Woźna, Bożena
3
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

Citations by Year