PMaude: Rewrite-based Specification Language for Probabilistic Object Systems, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.213-239, 2006. ,
DOI : 10.1016/j.entcs.2005.10.040
The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995. ,
DOI : 10.1016/0304-3975(94)00202-T
The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996. ,
DOI : 10.1145/227595.227602
Optimal paths in weighted timed automata, HSCC'01, pp.49-62, 2001. ,
Efficient CTMC Model Checking of Linear Real-Time Objectives, TACAS, pp.128-142, 2011. ,
DOI : 10.1007/978-3-642-12002-2_4
Minimum-Cost Reachability for Priced Timed Automata, BRICS Report Series, vol.8, issue.3, pp.147-161, 2001. ,
DOI : 10.7146/brics.v8i3.20457
Model checking one-clock priced timed automata, Logical Methods in Computer Science, vol.4, issue.2, 2008. ,
DOI : 10.2168/lmcs-4(2:9)2008
URL : https://hal.archives-ouvertes.fr/hal-01194603
The Impressive Power of Stopwatches, Lecture Notes in Computer Science, vol.1877, pp.138-152, 2000. ,
DOI : 10.1007/3-540-44618-4_12
On-the-fly Verification of Linear Temporal Logic, FM '99, pp.253-271, 1999. ,
DOI : 10.1007/3-540-48119-2_16
Statistical Model Checking for Networks of Priced Timed Automata, Proceedings of Formal Modeling and Analysis of Timed Systems, 2011. ,
DOI : 10.1145/1755952.1755987
Time for Statistical Model Checking of Real-Time Systems, Proceedings of the 23 rd International Conference on Computer Aided Verification (CAV), 2011. ,
DOI : 10.1007/s10009-005-0187-8
An Improved On-the-Fly Tableau Construction for a Real-Time Temporal Logic, International Conference on Computer Aided Verification, pp.276-290, 2003. ,
DOI : 10.1007/978-3-540-45069-6_37
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic, FTRTFT, pp.276-290, 2000. ,
DOI : 10.1007/3-540-45352-0_23
Peled. Model Checking, 1999. ,
Specifying real-time properties with metric temporal logic. Real-Time Syst, pp.255-299, 1990. ,
From MITL to Timed Automata, FOR- MATS'06, pp.274-289, 2006. ,
DOI : 10.1007/11867340_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.3585
From mtl to deterministic timed automata, 8th International Conference on Formal Modelling and Analysis of Timed Systems, pp.152-167, 2010. ,
On Statistical Model Checking of Stochastic Systems, Lecture Notes in Computer Science, vol.3576, pp.266-280, 2005. ,
DOI : 10.1007/11513988_26
Verification and Planning for Stochastic Processes with Asynchronous Events, 2005. ,
Bayesian statistical model checking with application to simulink/stateflow verification, HSCC '10, pp.243-252, 2010. ,