 | 2008 |
|---|
| 6 |       | Agata Janowska,
Pawel Janowski,
Dobieslaw Wróblewski:
Translation of Intermediate Language to Timed Automata with Discrete Data.
Fundam. Inform. 85(1-4): 235-248 (2008) |
| 5 | | Wojciech Nabialek,
Agata Janowska,
Pawel Janowski:
Translation of Timed Promela to Timed Automata with Discrete Data.
Fundam. Inform. 85(1-4): 409-424 (2008) |
| 2007 |
|---|
| 4 | | Agata Janowska,
Wojciech Penczek:
Path Compression in Timed Automata.
Fundam. Inform. 79(3-4): 379-399 (2007) |
| 2006 |
|---|
| 3 | | Agata Janowska,
Pawel Janowski:
Slicing of Timed Automata with Discrete Data.
Fundam. Inform. 72(1-3): 181-195 (2006) |
| 2004 |
|---|
| 2 | | Agata Janowska,
Pawel Janowski:
Slicing Timed Systems.
Fundam. Inform. 60(1-4): 187-210 (2004) |
| 2003 |
|---|
| 1 | | 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 |
