Johann Deneux

According to our database, Johann Deneux authored at least 9 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Universality Analysis for One-Clock Timed Automata.

Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell

Fundam. Informaticae, 2008

2007

Using Forward Reachability Analysis for Verification of Timed Petri Nets.

Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén

Nord. J. Comput., 2007

2006

Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods.

Johann Deneux

PhD thesis, 2006

2005

Minimization of Non-deterministic Automata with Large Alphabets.

Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson

Proceedings of the Implementation and Application of Automata, 2005

Decidability and Complexity Results for Timed Automata via Channel Machines.

Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004

Closed, Open, and Robust Timed Networks.

Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Multi-Clock Timed Networks.

Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Designing Safe, Reliable Systems using Scade.

Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Forward Reachability Analysis of Timed Petri Nets.

Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén

Proceedings of the Formal Techniques, 2004