Reactive Systems, 2007. ,
DOI : 10.1017/CBO9780511814105
Inferring Min and Max Invariants Using Max-Plus Polyhedra, SAS, pp.189-204, 2008. ,
DOI : 10.1007/978-3-540-69166-2_13
Computing the extreme points of tropical polyhedra, 2009. ,
The tropical double description method, STACS Schloss Dagstuhl -Leibniz-Zentrum für Informatik, pp.47-58, 2010. ,
An implementation of three algorithms for timing verification based on automata emptiness, [1992] Proceedings Real-Time Systems Symposium, pp.157-166, 1992. ,
DOI : 10.1109/REAL.1992.242667
Automata for modeling real-time systems, Lecture Notes in Computer Science, vol.443, pp.322-335, 1990. ,
DOI : 10.1007/BFb0032042
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Data-structures for the verification of timed automata, Time Systems Lecture Notes in Computer Science, vol.1201, pp.346-360 ,
DOI : 10.1007/BFb0014737
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library, Proceedings of the 9th International Symposium on Static Analysis, pp.213-229, 2002. ,
DOI : 10.1007/3-540-45789-5_17
Lower and upper bounds in zone-based abstractions of timed automata, International Journal on Software Tools for Technology Transfer, vol.1, issue.1???2, pp.204-215, 2006. ,
DOI : 10.1007/s10009-005-0190-0
Efficient timed reachability analysis using clock difference diagrams, Proc. CAV'99, pp.682-682, 1999. ,
DOI : 10.7146/brics.v5i47.19492
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.4832
Clocks, DBMs, and States in Timed Systems, 2002. ,
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems, Proc. FORMATS'05, pp.112-126, 2005. ,
DOI : 10.1007/11603009_10
Some progress in the symbolic verification of timed automata, In Lecture Notes in Computer Science, pp.179-190, 1997. ,
DOI : 10.1007/3-540-63166-6_19
URL : https://hal.archives-ouvertes.fr/hal-00374086
Generators, extremals and bases of max cones, Linear Algebra and its Applications, vol.421, issue.2-3, pp.394-406, 2007. ,
DOI : 10.1016/j.laa.2006.10.004
Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-96, 1978. ,
DOI : 10.1145/512760.512770
Timing assumptions and verification of finite-state concurrent systems Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science, vol.407, pp.197-212, 1989. ,
Computations on zones using max-plus algebra. Bachelor's project, 2010. ,
Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams, 2010 31st IEEE Real-Time Systems Symposium, pp.360-371, 2010. ,
DOI : 10.1109/RTSS.2010.36
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems, Engineering Methods and Tools for Software Safety and Security NATO Science for Peace and Security Series ? D: Information and Communication Security, 2009. ,
DOI : 10.1007/978-3-642-11623-0_2
Algorithm 97: Shortest path, Communications of the ACM, vol.5, issue.6, p.345, 1962. ,
DOI : 10.1145/367766.368168
The Minkowski theorem for max-plus convex sets, Linear Algebra and its Applications, vol.421, issue.2-3, pp.356-369, 2007. ,
DOI : 10.1016/j.laa.2006.09.019
URL : https://hal.archives-ouvertes.fr/inria-00071358
Compositional optimization of disjunctive abstract interpretations, Proc. of the 1996 European Symposium on Programming, pp.141-155, 1996. ,
DOI : 10.1007/3-540-61055-3_34
Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994. ,
DOI : 10.1109/LICS.1992.185551
URL : http://doi.org/10.1006/inco.1994.1045
Clock Difference Diagrams, BRICS Report Series, vol.5, issue.46, pp.271-298, 1999. ,
DOI : 10.7146/brics.v5i46.19491
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.1868
Computations on zones using max-plus algebra, 2011. ,
A New Numerical Abstract Domain Based on Difference-Bound Matrices, Proceedings of the 2nd Symposium on Programs as Data Objects, pp.155-172, 2001. ,
DOI : 10.1007/3-540-44978-7_10
The octagon abstract domain, IEEE, pp.310-319, 2001. ,
Difference decision diagrams, Lecture Notes in Computer Science, vol.1683, pp.111-125, 1999. ,
Static Analysis in Disjunctive Numerical Domains, Static Analysis, pp.3-17, 1007. ,
DOI : 10.1007/11823230_2
KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997. ,
DOI : 10.1007/s100090050009
A general separation theorem in extremal algebras, Ehkon.-Mat. Obz, vol.13, pp.179-201, 1977. ,