Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations, Electronic Notes in Theoretical Computer Science, vol.109, pp.43-56, 2004. ,
DOI : 10.1016/j.entcs.2004.02.055
HASL: A new approach for performance evaluation and model checking from concepts to experimentation, Performance Evaluation, vol.90, issue.0, pp.53-77, 2015. ,
DOI : 10.1016/j.peva.2015.04.003
URL : https://hal.archives-ouvertes.fr/hal-01221815
Applications of an expressive statistical model checking approach to the analysis of genetic circuits, Theoretical Computer Science, vol.599, pp.4-33, 2015. ,
DOI : 10.1016/j.tcs.2015.05.018
URL : https://hal.archives-ouvertes.fr/hal-01250521
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement, Proceedings of QEST 2016, pp.175-190, 2016. ,
DOI : 10.1016/j.ic.2006.05.002
URL : https://hal.archives-ouvertes.fr/hal-01371897
Rare event handling in signalling cascades, International Journal on Advances in Systems and Measurements, vol.8, issue.12, pp.69-79, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01242981
Coupling and Importance Sampling for Statistical Model Checking, Proceedings of TACAS'12, pp.331-346, 2012. ,
DOI : 10.1007/978-3-642-28756-5_23
URL : https://hal.archives-ouvertes.fr/hal-00776795
Building Power Consumption Models from Executable Timed I/O Automata Specifications, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC '16, pp.195-204, 2016. ,
DOI : 10.1109/JPROC.2003.814617
URL : https://hal.archives-ouvertes.fr/hal-01371896
Non-standard semantics of hybrid systems modelers, Journal of Computer and System Sciences, vol.78, issue.3, pp.877-910, 2012. ,
DOI : 10.1016/j.jcss.2011.08.009
URL : https://hal.archives-ouvertes.fr/hal-00766726
An operational semantics for Simulink's simulation engine, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES '12, 2012. ,
DOI : 10.1145/2248418.2248437
On the asymptotic theory of fixed-width sequential confidence intervals for the mean. The Annals of Math, pp.457-462, 1965. ,
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
Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963. ,
DOI : 10.1007/BF02883985
Formal Semantics and Analysis methods for Simulink Stateflow Models, Tech. rep., SRI, 2002. ,
Translating discrete-time simulink to lustre, ACM Transactions on Embedded Computing Systems, vol.4, issue.4, pp.779-818, 2005. ,
DOI : 10.1145/1113830.1113834
Sequential tests of statistical hypotheses. The Annals of Math, Statistics, vol.16, issue.2, pp.117-186, 1945. ,