Johann Deneux

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Universality Analysis for One-Clock Timed Automata.
Fundam. Informaticae, 2008

2007
Using Forward Reachability Analysis for Verification of Timed Petri Nets.
Nord. J. Comput., 2007

2006
Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods.
PhD thesis, 2006

2005
Minimization of Non-deterministic Automata with Large Alphabets.
Proceedings of the Implementation and Application of Automata, 2005

Decidability and Complexity Results for Timed Automata via Channel Machines.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004
Closed, Open, and Robust Timed Networks.
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Multi-Clock Timed Networks.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Designing Safe, Reliable Systems using Scade.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Forward Reachability Analysis of Timed Petri Nets.
Proceedings of the Formal Techniques, 2004


  Loading...