A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
IMITATOR 2.5: A tool for analyzing robustness in scheduling problems, Lecture Notes in Computer Science, vol.7436, pp.33-36, 2012. ,
Parametric real-time reasoning, STOC, pp.592-601, 1993. ,
Liveness in L/U-parametric timed automata, pp.9-18, 2017. ,
Decision problems for parametric timed automata, Lecture Notes in Computer Science, vol.10009, pp.400-416, 2016. ,
On the expressiveness of parametric timed automata, FORMATS, vol.9984, pp.19-34, 2016. ,
What's decidable about parametric timed automata?, International Journal on Software Tools for Technology Transfer, 2017. ,
Language emptiness of continuous-time parametric timed automata, ICALP, Part II, vol.9135, pp.69-81, 2015. ,
Updatable timed automata, Theoretical Computer Science, vol.321, issue.2-3, pp.291-345, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00350196
Decision problems for lower/upper bound parametric timed automata. Formal Methods in System Design, vol.35, pp.121-151, 2009. ,
UPPAAL-a Tool Suite for Automatic Verification of Real-Time Systems, Proc. of Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pp.232-243, 1995. ,
Timed automata: Semantics, algorithms and tools, Jörg Desel, Wolfgang Reisig, and Grzegorz Rozenberg, vol.3098, pp.87-124, 2003. ,
The impressive power of stopwatches, Lecture Notes in Computer Science, vol.1877, pp.138-152, 2000. ,
Robust parametric reachability for timed automata, Information Processing Letters, vol.102, issue.5, pp.208-213, 2007. ,
What's decidable about hybrid automata?, Journal of Computer and System Sciences, vol.57, issue.1, pp.94-124, 1998. ,
Linear parametric model checking of timed automata, Journal of Logic and Algebraic Programming, pp.183-220, 2002. ,
Integer parameter synthesis for timed automata, IEEE Transactions on Software Engineering, vol.41, issue.5, pp.445-461, 2015. ,
Decidability and complexity results for timed automata and semi-linear hybrid automata, Lecture Notes in Computer Science, vol.1790, pp.296-309, 2000. ,
Relationships between nondeterministic and deterministic tape complexities, Journal of Computer and System Sciences, vol.4, issue.2, pp.177-192, 1970. ,