| 2008 |
|---|
| 14 | 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) |
| 13 | EE | Andrzej Zbrzezny:
Improving the Translation from ECTL to SAT.
Fundam. Inform. 85(1-4): 513-531 (2008) |
| 12 | EE | Andrzej Zbrzezny,
Bozena Wozna:
Towards Verification of Java Programs in perICS.
Fundam. Inform. 85(1-4): 533-548 (2008) |
| 2007 |
|---|
| 11 | 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) |
| 10 | EE | 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 | EE | Miroslaw Kurkowski,
Wojciech Penczek,
Andrzej Zbrzezny:
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.
MoChArt 2006: 146-165 |
| 8 | 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 |
|---|
| 7 | EE | Andrzej Zbrzezny:
SAT-based Reachability Checking for Timed Automata with Diagonal Constraints.
Fundam. Inform. 67(1-3): 303-322 (2005) |
| 2004 |
|---|
| 6 | EE | Andrzej Zbrzezny:
Improvements in SAT-based Reachability Analysis for Timed Automata.
Fundam. Inform. 60(1-4): 417-434 (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) |
