Forward Reachability Analysis of Timed Petri Nets. - Parosh Aziz Abdulla; Johann Deneux; Pritha Mahata; Aletta Nylén (FORMATS/FTRTFT, 2004)

Designing Safe, Reliable Systems using Scade. - Parosh Aziz Abdulla; Johann Deneux; Gunnar Stålmarck; Herman Ågren; Ove Åkerlund (ISoLA (Preliminary proceedings), 2004)

Multi-Clock Timed Networks. - Parosh Aziz Abdulla; Johann Deneux; Pritha Mahata (LICS, 2004)

Closed, Open, and Robust Timed Networks. - Parosh Aziz Abdulla; Johann Deneux; Pritha Mahata (INFINITY, 2004)

Decidability and Complexity Results for Timed Automata via Channel Machines. - Parosh Aziz Abdulla; Johann Deneux; Joël Ouaknine; James Worrell 001 (ICALP, 2005)

Minimization of Non-deterministic Automata with Large Alphabets. - Parosh Aziz Abdulla; Johann Deneux; Lisa Kaati; Marcus Nilsson (CIAA, 2005)

Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods. - Johann Deneux (2006)

Using Forward Reachability Analysis for Verification of Timed Petri Nets. - Parosh Aziz Abdulla; Johann Deneux; Pritha Mahata; Aletta Nylén (Nord. J. Comput., 2007)

Universality Analysis for One-Clock Timed Automata. - Parosh Aziz Abdulla; Johann Deneux; Joël Ouaknine; Karin Quaas; James Worrell 001 (Fundam. Informaticae, 2008)