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