 | 2009 |
|---|
| 15 |       | Artur Rataj,
Bozena Wozna,
Andrzej Zbrzezny:
A Translator of Java Programs to TADDs.
Fundam. Inform. 93(1-3): 305-324 (2009) |
| 2008 |
|---|
| 14 | | 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) |
| 13 | | Andrzej Zbrzezny:
Improving the Translation from ECTL to SAT.
Fundam. Inform. 85(1-4): 513-531 (2008) |
| 12 | | Andrzej Zbrzezny,
Bozena Wozna:
Towards Verification of Java Programs in perICS.
Fundam. Inform. 85(1-4): 533-548 (2008) |
| 2007 |
|---|
| 11 | | 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) |
| 10 | | Andrzej Zbrzezny,
Agata Pólrola:
SAT-Based Reachability Checking for Timed Automata with Discrete Data.
Fundam. Inform. 79(3-4): 579-593 (2007) |
| 2006 |
|---|
| 9 | | Miroslaw Kurkowski,
Wojciech Penczek,
Andrzej Zbrzezny:
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.
MoChArt 2006: 146-165 |
| 8 | | 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 |
|---|
| 7 | | Andrzej Zbrzezny:
SAT-based Reachability Checking for Timed Automata with Diagonal Constraints.
Fundam. Inform. 67(1-3): 303-322 (2005) |
| 2004 |
|---|
| 6 | | Andrzej Zbrzezny:
Improvements in SAT-based Reachability Analysis for Timed Automata.
Fundam. Inform. 60(1-4): 417-434 (2004) |
| 2003 |
|---|
| 5 | | Bozena Wozna,
Andrzej Zbrzezny:
Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking.
FORMATS 2003: 18-33 |
| 4 | | 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 | | Bozena Wozna,
Andrzej Zbrzezny,
Wojciech Penczek:
Checking Reachability Properties for Timed Automata via SAT.
Fundam. Inform. 55(2): 223-241 (2003) |
| 2002 |
|---|
| 2 | | 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) |
