A. Janowska

Veriication of Estelle Speciications Using Tla +

A. Janowska, P. Janowski, 2007 .

Translation of Timed Promela to Timed Automata with Discrete Data

Agata Janowska, Pawel Janowski, Wojciech Nabialek, 2008, Fundam. Informaticae.

Path Compression in Timed Automata

Wojciech Penczek, Agata Janowska, W. Penczek, 2007, Fundam. Informaticae.

Static Path Compression in Timed Systems

Wojciech Penczek, Agata Janowska, W. Penczek, 2005 .

Slicing of Timed Automata with Discrete Data

Agata Janowska, Pawel Janowski, A. Janowska, 2006, Fundam. Informaticae.

Translation of Intermediate Language to Timed Automata with Discrete Data

Agata Janowska, Pawel Janowski, Dobieslaw Wróblewski, 2008, Fundam. Informaticae.

Slicing Timed Systems

Agata Janowska, Pawel Janowski, A. Janowska, 2003, Fundam. Informaticae.

Verics: A Tool for Verifying Timed Automata and Estelle Specifications

Wojciech Penczek, Maciej Szreter, Agata Pólrola, 2003, TACAS.