Pawel Janowski

A/B Testing at Scale: Accelerating Software Innovation

Alex Deng, Somit Gupta, Jeff Omhover, 2019, WWW.

Translation of Timed Promela to Timed Automata with Discrete Data

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

Verics: A Tool for Verifying Timed Automata and Estelle Specifications

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

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.

Slicing of Timed Automata with Discrete Data

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