Probabilistic temporal logic falsification of cyber-physical systems, ACM Trans. Embed. Comput. Syst, vol.12, issue.2s, 2013. ,
Classification and coverage-based falsification for embedded control systems, Computer Aided Verification -29th International Conference, pp.483-503, 2017. ,
A Tool for Temporal Logic Falsification for Hybrid Systems, TACAS, pp.254-257, 2011. ,
Entropy of regular timed languages, Information and Computation, vol.241, pp.142-176, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01078613
Serge Haddad, and Nihal Pekergin. HASL: A new approach for performance evaluation and model checking from concepts to experimentation, Performance Evaluation, vol.90, issue.0, pp.53-77, 2015. ,
Uniform sampling for timed automata with application to language inclusion measurement, Quantitative Evaluation of Systems -13th International Conference, QEST 2016, pp.175-190, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01371897
Integrating simulink models into the model checker Cosmos, Application and Theory of Petri Nets and Concurrency, pp.363-373, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01916467
Oded Maler, Dejan Nickovic, and Sriram Sankaranarayanan. Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications, Lectures on Runtime Verification -Introductory and Advanced Topics, pp.135-175, 2018. ,
A maximal entropy stochastic process for a timed automaton, LNCS, vol.7966, issue.2, pp.61-73, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00808909
A review of statistical model checking pitfalls on realtime stochastic models, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, volume LNCS 8803, 2014. ,
Modeling Sigma-Delta modulator non-idealities in simulink(r), IS-CAS'99. Proceedings of the 1999 IEEE International Symposium on Circuits and Systems VLSI, vol.2, pp.384-387, 1999. ,
On simulation-based probabilistic model checking of mixed-analog circuits, Formal Methods in System Design, vol.36, issue.2, pp.97-113, 2010. ,
Statistical model checking for cyber-physical systems, Automated Technology for Verification and Analysis, 9th International Symposium, pp.1-12, 2011. ,
Verification of analog and mixedsignal circuits using hybrid system techniques, Formal Methods in ComputerAided Design, 5th International Conference, pp.21-36, 2004. ,
Stochastic local search for falsification of hybrid systems, Automated Technology for Verification and Analysis -13th International Symposium, ATVA 2015, pp.500-517, 2015. ,
Breach, A toolbox for verification and parameter synthesis of hybrid systems, Computer Aided Verification, 22nd International Conference, CAV 2010, pp.167-170, 2010. ,
Robust satisfaction of temporal logic over real-valued signals, Formal Modeling and Analysis of Timed Systems -8th International Conference, FORMATS 2010, pp.92-106, 2010. ,
Efficient guiding strategies for testing of temporal properties of hybrid systems, NASA Formal Methods -7th International Symposium, NFM 2015, pp.127-142, 2015. ,
Algorithm 247: Radical-inverse quasi-random point sequence. Commun, vol.7, pp.701-702, 1964. ,
Discrepancy and Riemann integration, Studies in Pure Mathematics, pp.121-129, 1971. ,
A multivariate kolmogorov-smirnov test of goodness of fit, Statistics & Probability Letters, vol.35, issue.3, pp.251-259, 1997. ,
PRISM 4.0: Verification of probabilistic real-time systems, Proc. CAV'11, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00648035
Testing multivariate uniformity and its applications, Mathematics of Computation, vol.70, issue.233, pp.337-355, 2001. ,
Random Number Generation and quasi-Monte Carlo Methods, Society for Industrial and Applied Mathematics, 1992. ,
The unreasonable effectiveness of quasirandom sequences ,
Remarks on a multivariate transformation. The annals of mathematical statistics, vol.23, pp.470-472, 1952. ,
The Sage Development Team, Sage Mathematics Software (Version, vol.6, issue.9, 2015. ,
An algorithm to compute bounds for the star discrepancy, Journal of complexity, vol.17, issue.4, pp.850-880, 2001. ,
Falsification of temporal logic requirements using gradient based local search in space and time, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, pp.103-108, 2018. ,