Regular expressions for irregular rhythms. arXiv preprint, 2016. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996. ,
DOI : 10.1145/227595.227602
Regular Programming for Quantitative Properties of Data Streams, European Symposium on Programming Languages and Systems, pp.15-40 ,
DOI : 10.1145/2728606.2728648
Timed regular expressions, Journal of the ACM, vol.49, issue.2, pp.172-206, 2002. ,
DOI : 10.1145/506147.506151
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.272
A Kleene theorem for timed automata, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, pp.160-171, 1997. ,
DOI : 10.1109/LICS.1997.614944
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5388
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems, Science of Computer Programming, vol.72, issue.1-2, pp.3-21, 2008. ,
DOI : 10.1016/j.scico.2007.08.001
Not necessarily closed convex polyhedra and the double description method. Formal Asp, Comput, vol.17, issue.2, pp.222-257, 2005. ,
DOI : 10.1007/s00165-005-0061-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.8646
Monitoring Metric First-Order Temporal Properties, Journal of the ACM, vol.62, issue.2, p.15, 2015. ,
DOI : 10.1145/1108906.1108908
URL : http://doi.org/10.1145/2699444
Minimization of symbolic automata, pp.541-554, 2014. ,
Quantifying conformance using the skorokhod metric, International Conference on Computer Aided Verification, pp.234-250, 2015. ,
DOI : 10.1007/s10703-016-0261-8
Timing assumptions and verification of finite-state concurrent systems Automatic Verification Methods for Finite State Systems, LNCS, vol.407, pp.197-212, 1989. ,
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems, pp.167-170, 2010. ,
DOI : 10.1007/978-3-642-14295-6_17
Robust Satisfaction of Temporal Logic over Real-Valued Signals, FORMATS 2010, pp.92-106, 2010. ,
DOI : 10.1007/978-3-642-15297-9_9
Efficient Robust Monitoring for STL, Computer Aided Verification (CAV), pp.264-279, 2013. ,
DOI : 10.1007/978-3-642-39799-8_19
Robustness of Temporal Logic Specifications, Proceedings of FATES/RV, pp.178-192, 2006. ,
DOI : 10.1007/11940197_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.6357
Quantitative reactive modeling and verification, Computer Science - Research and Development, vol.21, issue.4, pp.331-344, 2013. ,
DOI : 10.1007/978-3-642-02658-4_27
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4811300
From Model Checking to Model Measuring, Conference on Concurrency Theory (CONCUR), pp.273-287, 2013. ,
DOI : 10.1007/978-3-642-40184-8_20
URL : https://repository.ist.ac.at/129/1/concur.pdf
Quantitative monitoring of STL with edit distance, International Conference on Runtime Verification, pp.201-218, 2016. ,
Mining Requirements From Closed-Loop Control Models, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.34, issue.11, pp.1704-1717, 2015. ,
DOI : 10.1109/TCAD.2015.2421907
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.305.1475
Specifying real-time properties with metric temporal logic. Real-Time Syst, pp.255-299, 1990. ,
DOI : 10.1007/bf01995674
Monitoring Temporal Properties of Continuous Signals, pp.152-166, 2004. ,
DOI : 10.1007/978-3-540-30206-3_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.2905
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors, pp.475-505, 2008. ,
DOI : 10.1007/978-3-540-78127-1_26
Learning Regular Languages over Large Ordered Alphabets, Logical Methods in Computer Science, vol.11, issue.3 ,
DOI : 10.2168/LMCS-11(3:13)2015
URL : http://arxiv.org/abs/1506.00482
AMT: A Property-Based Monitoring Tool for Analog Systems, In: FORMATS. pp, pp.304-319, 2007. ,
DOI : 10.1007/978-3-540-75454-1_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9739
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977. ,
DOI : 10.1109/SFCS.1977.32
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology, pp.251-268, 2008. ,
DOI : 10.1007/978-3-540-88562-7_19
URL : https://hal.archives-ouvertes.fr/inria-00419781
Origins and metamorphoses of the Trinity: logic, nets, automata, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, pp.506-507, 1995. ,
DOI : 10.1109/LICS.1995.523284
Understanding basic automata theory in the continuous time setting, Fundam. Inform, vol.62, issue.1, pp.69-121, 2004. ,
Montre: A tool for monitoring timed regular expressions, p.5963, 2016. ,
Timed Pattern Matching, pp.222-236, 2014. ,
DOI : 10.1007/978-3-319-10512-3_16
Symbolic finite state transducers: algorithms and applications, pp.137-150, 2012. ,
DOI : 10.1145/2103621.2103674