Johann Deneux

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell
Universality Analysis for One-Clock Timed Automata. Fundam. Informaticae 89 (4) (2008)
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén
Using Forward Reachability Analysis for Verification of Timed Petri Nets. Nord. J. Comput. 14 (1-2) (2007)
Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell
Decidability and Complexity Results for Timed Automata via Channel Machines. ICALP (2005)
Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson
Minimization of Non-deterministic Automata with Large Alphabets. CIAA (2005)
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata
Multi-Clock Timed Networks. LICS (2004)
Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
Designing Safe, Reliable Systems Using Scade. ISoLA (2004)
Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
Designing Safe, Reliable Systems using Scade. ISoLA (Preliminary proceedings) (2004)
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata
Closed, Open, and Robust Timed Networks. INFINITY (2004)
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén
Forward Reachability Analysis of Timed Petri Nets. FORMATS/FTRTFT (2004)