dblp.uni-trier.dewww.uni-trier.de

Bozena Wozna

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
19EEMagdalena 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. Inform. 85(1-4): 313-328 (2008)
18EEAndrzej Zbrzezny, Bozena Wozna: Towards Verification of Java Programs in perICS. Fundam. Inform. 85(1-4): 533-548 (2008)
2007
17EEAlessio Lomuscio, Bozena Wozna: A temporal epistemic logic with a reset operation. AAMAS 2007: 145
16EEAlessio Lomuscio, Wojciech Penczek, Bozena Wozna: Bounded model checking for knowledge and real time. Artif. Intell. 171(16-17): 1011-1038 (2007)
15EEBozena Wozna, Andrzej Zbrzezny: Bounded Model Checking for the Existential Fragment of TCTL-G and Diagonal Timed Automata. Fundam. Inform. 79(1-2): 229-256 (2007)
14EEAlessio Lomuscio, Franco Raimondi, Bozena Wozna: Verification of the TESLA protocol in MCMAS-X. Fundam. Inform. 79(3-4): 473-486 (2007)
2006
13EEAlessio Lomuscio, Bozena Wozna: A complete and decidable security-specialised logic and its application to the TESLA protocol. AAMAS 2006: 145-152
12EEAlessio Lomuscio, Bozena Wozna: A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. DEON 2006: 238-254
11EEAlessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny: Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. MoChArt 2006: 95-112
2005
10EEBozena Wozna, Alessio Lomuscio, Wojciech Penczek: Bounded model checking for knowledge and real time. AAMAS 2005: 165-172
9EEAlessio Lomuscio, Bozena Wozna: A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. DALT 2005: 188-204
8EEBozena Wozna, Alessio Lomuscio, Wojciech Penczek: Bounded Model Checking for Deontic Interpreted Systems. Electr. Notes Theor. Comput. Sci. 126: 93-114 (2005)
2004
7EEBozena Wozna, Alessio Lomuscio: A Logic for Knowledge, Correctness, and Real Time. CLIMA V 2004: 1-15
6EEBozena Wozna: ACTLS properties and Bounded Model Checking. Fundam. Inform. 63(1): 65-87 (2004)
2003
5EEBozena Wozna, Andrzej Zbrzezny: Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking. FORMATS 2003: 18-33
4EEPiotr 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: 278-283
3EEBozena Wozna, Andrzej Zbrzezny, Wojciech Penczek: Checking Reachability Properties for Timed Automata via SAT. Fundam. Inform. 55(2): 223-241 (2003)
2002
2EEWojciech Penczek, Bozena Wozna, Andrzej Zbrzezny: Towards Bounded Model Checking for the Universal Fragment of TCTL. FTRTFT 2002: 265-290
1 Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny: Bounded Model Checking for the Universal Fragment of CTL. Fundam. Inform. 51(1-2): 135-156 (2002)

Coauthor Index

1Piotr Dembinski [4]
2Agata Janowska [4]
3Pawel Janowski [4]
4Magdalena Kacprzak [19]
5Alessio Lomuscio [7] [8] [9] [10] [11] [12] [13] [14] [16] [17]
6Wojciech Nabialek [19]
7Artur Niewiadomski [19]
8Wojciech Penczek [1] [2] [3] [4] [8] [10] [16] [19]
9Agata Pólrola [4] [19]
10Franco Raimondi [14]
11Maciej Szreter [4] [19]
12Andrzej Zbrzezny [1] [2] [3] [4] [5] [11] [15] [18] [19]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)