Bozena Wozna

Publication Activity (10 Years)

Years Active: 2002-2009
Publications (10 Years): 0

Publications

Artur Rataj, Bozena Wozna, Andrzej Zbrzezny
A Translator of Java Programs to TADDs. Fundam. Informaticae 93 (1-3) (2009)
Andrzej Zbrzezny, Bozena Wozna
Towards Verification of Java Programs in perICS. Fundam. Informaticae 85 (1-4) (2008)
Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundam. Informaticae 85 (1-4) (2008)
Alessio Lomuscio, Bozena Wozna
A temporal epistemic logic with a reset operation. AAMAS (2007)
Alessio Lomuscio, Wojciech Penczek, Bozena Wozna
Bounded model checking for knowledge and real time. Artif. Intell. 171 (16-17) (2007)
Alessio Lomuscio, Franco Raimondi, Bozena Wozna
Verification of the TESLA protocol in MCMAS-X. Fundam. Informaticae 79 (3-4) (2007)
Bozena Wozna, Andrzej Zbrzezny
and Diagonal Timed Automata. Fundam. Informaticae 79 (1-2) (2007)
Alessio Lomuscio, Bozena Wozna
A complete and decidable security-specialised logic and its application to the TESLA protocol. AAMAS (2006)
Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. MoChArt (2006)
Alessio Lomuscio, Bozena Wozna
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. DEON (2006)
Alessio Lomuscio, Bozena Wozna
A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. DALT (2005)
Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
Bounded Model Checking for Deontic Interpreted Systems. Electron. Notes Theor. Comput. Sci. 126 (2005)
Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
Bounded model checking for knowledge and real time. AAMAS (2005)
Bozena Wozna, Alessio Lomuscio
A Logic for Knowledge, Correctness, and Real Time. CLIMA (2004)
Bozena Wozna
ACTLS properties and Bounded Model Checking. Fundam. Informaticae 63 (1) (2004)
Bozena Wozna, Andrzej Zbrzezny
Properties of Discrete Timed Automata via Bounded Model Checking. FORMATS (2003)
Bozena Wozna, Andrzej Zbrzezny, Wojciech Penczek
Checking Reachability Properties for Timed Automata via SAT. Fundam. Informaticae 55 (2) (2003)
Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
Verics: A Tool for Verifying Timed Automata and Estelle Specifications. TACAS (2003)
Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny
Towards Bounded Model Checking for the Universal Fragment of TCTL. FTRTFT (2002)
Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny
Bounded Model Checking for the Universal Fragment of CTL. Fundam. Informaticae 51 (1-2) (2002)