Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management, Lectures on Concurrency and Petri Nets, pp.1-65, 2004. ,
DOI : 10.1007/978-3-540-27755-2_1
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, 1992. ,
DOI : 10.1007/3-540-57318-6_30
Probe Automata for Passage Time Specification, 2011 Eighth International Conference on Quantitative Evaluation of SysTems, pp.101-110, 2011. ,
DOI : 10.1109/QEST.2011.20
Model-checking continuous-time Markov chains, ACM Transactions on Computational Logic, vol.1, issue.1, pp.162-170, 2000. ,
DOI : 10.1145/343369.343402
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.8774
Model Checking Markov Chains with Actions and State Labels, IEEE Transactions on Software Engineering, vol.33, issue.4, pp.209-224, 2007. ,
DOI : 10.1109/TSE.2007.36
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.209
First Passage Time Computation in Tagged GSPNs with Queue Places, first published online, 2010. ,
DOI : 10.1093/comjnl/bxq056
Tagged Generalized Stochastic Petri Nets, Computer Performance Engineering LNCS, vol.386, pp.1-15, 2009. ,
DOI : 10.1007/978-1-4757-2426-4
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic, 2011 Eighth International Conference on Quantitative Evaluation of SysTems, pp.143-144, 2011. ,
DOI : 10.1109/QEST.2011.24
HASL: an Expressive Language for Statistical Verification of Stochastic Models, Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, 2011. ,
DOI : 10.4108/icst.valuetools.2011.245710
URL : https://hal.archives-ouvertes.fr/hal-01113442
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.309-318, 2009. ,
DOI : 10.1109/LICS.2009.21
State-Aware Performance Analysis with eXtended Stochastic Probes, EPEW '08, pp.125-140, 2008. ,
DOI : 10.1007/978-3-540-87412-6_10
Uniformisation and Hypergraph Partitioning for the Distributed Computation of Response Time Densities in Very Large Markov Models, Journal of Parallel and Distributed Computing, vol.64, issue.8, pp.309-920, 2004. ,
Numerical and Statistical Approaches for Model Checking of Stochastic Processes, ENS Cachan, 2012. ,
URL : https://hal.archives-ouvertes.fr/tel-00751927
Model Checking Timed and Stochastic Properties with CSL^{TA}, IEEE Transactions on Software Engineering, vol.35, issue.2, pp.224-240, 2009. ,
DOI : 10.1109/TSE.2008.108
Model checking performability properties, Proceedings International Conference on Dependable Systems and Networks, 2002. ,
DOI : 10.1109/DSN.2002.1028891
Process Algebras for Quantitative Analysis, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pp.239-248, 2005. ,
DOI : 10.1109/LICS.2005.35
Modeling and Analysis of Stochastic Systems, 1995. ,
State-space support for path-based reward variables, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248), pp.233-251, 1999. ,
DOI : 10.1109/IPDS.1998.707725