Modelling with Generalized Stochastic Petri Nets, ACM SIGMETRICS Performance Evaluation Review, vol.26, issue.2, 1995. ,
DOI : 10.1145/288197.581193
Model-checking for probabilistic real-time systems, ICALP'91, pp.115-126, 1991. ,
DOI : 10.1007/3-540-54233-7_128
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, pp.209-229, 1992. ,
DOI : 10.1007/3-540-57318-6_30
Expressing and Computing Passage Time Measures of GSPN Models with HASL, Petri Nets, pp.110-129, 2013. ,
DOI : 10.1007/978-3-642-38697-8_7
URL : https://hal.archives-ouvertes.fr/hal-00848708
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets, Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation, SIGSIM-PADS '13, pp.253-264, 2013. ,
DOI : 10.1145/2486092.2486124
URL : https://hal.archives-ouvertes.fr/hal-00926210
Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein, T. Comp. Sys. Biology, vol.14, pp.1-25, 2012. ,
DOI : 10.1007/978-3-642-35524-0_1
Model-checking continuous-time Markov chains, ACM Transactions on Computational Logic, vol.1, issue.1, pp.162-170, 2000. ,
DOI : 10.1145/343369.343402
Model checking actionand state-labelled Markov chains, IEEE Trans. on Software Eng, vol.33, issue.4, pp.701-710, 2007. ,
Model-checking algorithms for continuous-time markov chains, IEEE Transactions on Software Engineering, vol.29, issue.6, pp.524-541, 2003. ,
DOI : 10.1109/TSE.2003.1205180
On the Logical Characterisation of Performability Properties, ICALP'00, pp.780-792, 2000. ,
DOI : 10.1007/3-540-45022-X_65
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, pp.306-315, 2011. ,
DOI : 10.4108/icst.valuetools.2011.245710
URL : https://hal.archives-ouvertes.fr/hal-01113442
HASL: an Expressive Language for Statistical Verification of Stochastic Models, Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, pp.306-315, 2011. ,
DOI : 10.4108/icst.valuetools.2011.245710
URL : https://hal.archives-ouvertes.fr/hal-01113442
Petri nets compositional modeling and verification of Flexible Manufacturing Systems, 2011 IEEE International Conference on Automation Science and Engineering, pp.588-593, 2011. ,
DOI : 10.1109/CASE.2011.6042488
Query-based verification of qualitative trends and oscillations in biochemical systems, Theoretical Computer Science, vol.411, issue.20, pp.2019-2036, 2010. ,
DOI : 10.1016/j.tcs.2010.02.010
Coupling and Importance Sampling for Statistical Model Checking, Proc. TACAS'12, pp.331-346, 2012. ,
DOI : 10.1007/978-3-642-28756-5_23
URL : https://hal.archives-ouvertes.fr/hal-00776795
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata, Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, EPTCS, pp.1-16, 2012. ,
DOI : 10.4204/EPTCS.85.1
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata, Electronic Proceedings in Theoretical Computer Science, vol.85, pp.1-16, 2012. ,
DOI : 10.4204/EPTCS.85.1
Stochastic Models of Manufacturing Systems, 1993. ,
Some algebraic and geometric computations in PSPACE, Proceedings of the twentieth annual ACM symposium on Theory of computing , STOC '88, pp.460-467, 1988. ,
DOI : 10.1145/62212.62257
Time-Bounded Verification of CTMCs against Real-Time Specifications, 9th International Conference, pp.26-42, 2011. ,
DOI : 10.1007/3-540-60472-3_21
Quantitative model checking of CTMC against timed automata specifications, Proc. LICS'09, pp.309-318, 2009. ,
Stochastic well-formed colored nets and symmetric modeling applications, IEEE Transactions on Computers, vol.42, issue.11, pp.1343-1360, 1993. ,
DOI : 10.1109/12.247838
On the Asymptotic Theory of Fixed-Width Sequential Confidence Intervals for the Mean, The Annals of Mathematical Statistics, vol.36, issue.2, pp.457-462, 1965. ,
DOI : 10.1214/aoms/1177700156
THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIAL, Biometrika, vol.26, issue.4, pp.404-413, 1934. ,
DOI : 10.1093/biomet/26.4.404
Runtime Verification of Biological Systems, In: ISoLA, issue.1, pp.388-404, 2012. ,
DOI : 10.1007/978-3-642-34026-0_29
URL : https://hal.archives-ouvertes.fr/hal-01088165
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
Characterizing correctness properties of parallel programs using fixpoints, Proc. of ICALP'80, pp.169-181, 1980. ,
DOI : 10.1007/3-540-10003-2_69
On the role of generalized semi-Markov processes in simulation output analysis, Proc. Conf. Winter simulation, pp.38-42, 1983. ,
Unified specification and performance evaluation using stochastic process algebras, Performance Evaluation, vol.50, issue.2-3, pp.79-82, 2002. ,
DOI : 10.1016/S0166-5316(02)00100-1
A bounded statistical approach for model checking of unbounded until properties, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.225-234, 2010. ,
DOI : 10.1145/1858996.1859043
MARCIE ??? Model Checking and Reachability Analysis Done Efficiently, Proc. PETRI NETS 2013, pp.389-399, 2013. ,
DOI : 10.1007/978-3-642-38697-8_21
APMC 3.0: Approximate verification of discrete and continuous time Markov chains, Proc. QEST'06, pp.129-130, 2006. ,
Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963. ,
DOI : 10.1214/aoms/1177730491
A Platform for High Performance Statistical Model Checking ??? PLASMA, Lecture Notes in Computer Science, vol.7214, pp.498-503, 2012. ,
DOI : 10.1007/978-3-642-28756-5_37
A Platform for High Performance Statistical Model Checking ??? PLASMA, pp.498-503, 2012. ,
DOI : 10.1007/978-3-642-28756-5_37
The ins and outs of the probabilistic model checker MRMC. QEST pp, pp.167-176, 2009. ,
PRISM 4.0: Verification of Probabilistic Real-Time Systems, Proc. 23rd International Conference on Computer Aided Verification (CAV'11), pp.585-591, 2011. ,
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035
Model Checking Markov Reward Models with Impulse Rewards, 2005 International Conference on Dependable Systems and Networks (DSN'05), 2005. ,
DOI : 10.1109/DSN.2005.64
Transient analysis of manufacturing systems performance, IEEE Transactions on Robotics and Automation, vol.10, issue.2, pp.230-244, 1994. ,
DOI : 10.1109/70.282547
On Statistical Model Checking of Stochastic Systems, In: CAV, Lecture Notes in Computer Science, vol.3576, pp.266-280 ,
DOI : 10.1007/11513988_26
VESTA: A statistical model-checker and analyzer for probabilistic systems, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), pp.245-246, 2005. ,
DOI : 10.1109/QEST.2005.42
Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models, Proc. QEST'13, 2013. ,
DOI : 10.1007/978-3-642-40196-1_8
Mechanisms of noise-resistance in genetic oscillators, Proceedings of the National Academy of Sciences, vol.99, issue.9, pp.5988-5992, 2002. ,
DOI : 10.1073/pnas.092133899
Sequential Tests of Statistical Hypotheses, The Annals of Mathematical Statistics, vol.16, issue.2, pp.117-186, 1945. ,
DOI : 10.1214/aoms/1177731118
Statistical probabilistic model checking with a focus on time-bounded properties, Information and Computation, vol.204, issue.9, pp.1368-1409, 2006. ,
DOI : 10.1016/j.ic.2006.05.002
Ymer: A Statistical Model Checker, Computer Aided Verification, pp.429-433, 2005. ,
DOI : 10.1007/11513988_43
Bayesian statistical model checking with application to stateflow/simulink verification, Formal Methods in System Design, vol.43, issue.2, pp.338-367, 2013. ,