H. Abbas and G. E. Fainekos, Computing descent direction of MTL robustness for non-linear systems, 2013 American Control Conference, pp.4405-4410, 2013.
DOI : 10.1109/ACC.2013.6580518

H. Abbas, B. Hoxha, G. Fainekos, and K. Ueda, Robustness-guided temporal logic testing and verification for stochastic cyberphysical systems, Cyber Technology in Automation, Control, and Intelligent Systems (CYBER), 2014 IEEE 4th Annual International Conference on. IEEE, pp.1-6, 2014.
DOI : 10.1109/cyber.2014.6917426

T. Akazaki and I. Hasuo, Time Robustness in MTL and Expressivity in Hybrid System Falsification, CAV, pp.356-374, 2015.
DOI : 10.1007/978-3-319-21668-3_21

R. Alur, A. Thomas, and . Henzinger, A really temporal logic, Journal of the ACM, vol.41, issue.1, pp.181-203, 1994.
DOI : 10.1145/174644.174651

Y. Annpureddy, C. Liu, E. Georgios, S. Fainekos, and . Sankaranarayanan, S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems, TACAS, pp.254-257, 2011.
DOI : 10.1007/978-3-540-88562-7_19

E. Asarin and A. Donzé, Oded Maler, and Dejan Nickovic Parametric identification of temporal properties, Runtime Verification, pp.147-160, 2011.

A. Bakhirkin and T. Ferrère, Oded Maler, and Dogan Ulus On the Quantitative Semantics of Regular Expressions over Real-Valued Signals, International Conference on Formal Modeling and Analysis of Timed Systems, pp.189-206, 2017.

E. Bartocci, L. Bortolussi, and L. Nenzi, A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits, International Conference on Computational Methods in Systems Biology, pp.164-177, 2013.
DOI : 10.1007/978-3-642-40708-6_13

E. Bartocci, J. Deshmukh, A. Donzé, and G. Fainekos, Oded Maler, Dejan Nickovic, and Sriram Sankaranarayanan Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications, The Handbook of Runtime Verification, 2018.

G. Bombara and C. Belta, Signal Clustering Using Temporal Logics, pp.121-137, 2017.
DOI : 10.1109/MCS.2003.1213603

G. Bombara, C. Vasile, and F. Penedo, Hirotoshi Yasuoka, and Calin Belta. 2016. A Decision Tree Approach to Data Classification using Signal Temporal Logic, HSCC. ACM, pp.1-10

L. Brim, . Dluho?, T. ?afránek, and . Vejpustek, STL???: Extending signal temporal logic with signal-value freezing operator, Information and Computation, vol.236, pp.52-67, 2014.
DOI : 10.1016/j.ic.2014.01.012

S. Bufo, E. Bartocci, G. Sanguinetti, M. Borelli, U. Lucangelo et al., Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients In Leveraging Applications of Formal Methods , Verification and Validation, Specialized Techniques and Applications -6th International Symposium Proceedings, Part II, pp.391-403978, 2014.

F. Cameron, G. E. Fainekos, D. M. Maahs, and S. Sankaranarayanan, Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification, Runtime Verification -6th International Conference Proceedings. 3?17, 2015.
DOI : 10.2337/dc07-1967
URL : http://www.cs.colorado.edu/%7Esrirams/papers/rv15-artificial-pancreas.pdf

T. Dang, T. Dreossi, and C. Piazza, Parameter Synthesis Through Temporal Logic Specifications, International Symposium on Formal Methods, pp.213-230, 2015.
DOI : 10.1007/978-3-319-19249-9_14

A. Donzé, Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems, CAV, pp.167-170, 2010.
DOI : 10.1007/978-3-642-14295-6_17

A. Donzé, E. Fanchon, L. M. Gattepaille, O. Maler, and P. Tracqui, Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks, PLoS ONE, vol.7, issue.9, p.24246, 2011.
DOI : 10.1371/journal.pone.0024246.s002

A. Donzé, T. Ferrere, and O. Maler, Efficient Robust Monitoring for STL, CAV, pp.264-279, 2013.
DOI : 10.1007/978-3-642-39799-8_19

A. Donzé, B. Krogh, and A. Rajhans, Parameter Synthesis for Hybrid Systems with an Application to Simulink Models, HSCC (LNCS, 2009.
DOI : 10.1115/DETC2005-85597

A. Donzé and O. Maler, Robust Satisfaction of Temporal Logic over Real-Valued Signals, FORMATS, pp.92-106, 2010.
DOI : 10.1007/978-3-642-15297-9_9

E. Georgios, G. J. Fainekos, and . Pappas, Robustness of Temporal Logic Specifications, FATES/RV, pp.178-192, 2006.

E. Georgios, . Fainekos, J. George, and . Pappas, Robustness of temporal logic specifications for continuous-time signals, Theoretical Computer Science, vol.410, issue.42, pp.4262-4291, 2009.

S. Samira, V. Farahani, . Raman, M. Richard, and . Murray, Robust model predictive control for signal temporal logic synthesis, IFAC-PapersOnLine, vol.48, issue.27, pp.323-328, 2015.

C. A. Furia and M. Rossi, On the Expressiveness of MTL Variants over Dense Time, International Conference on Formal Modeling and Analysis of Timed Systems, pp.163-178, 2007.
DOI : 10.1007/978-3-540-75454-1_13

B. Hoxha, A. Dokhanchi, and G. Fainekos, Mining parametric temporal logic properties in model-based design for cyber-physical systems, International Journal on Software Tools for Technology Transfer, vol.27, issue.1, pp.1-15, 2017.
DOI : 10.1145/2562059.2562146

S. Jha, A. Tiwari, S. A. Seshia, T. Sahai, and N. Shankar, TeLEx: Passive STL Learning Using Only??Positive Examples, Runtime Verification, pp.208-224, 2017.
DOI : 10.1145/279232.279236

X. Jin, A. Donzé, J. V. Deshmukh, and S. A. Seshia, Mining Requirements from Closed-loop Control Models, HSCC, 2013.
DOI : 10.1145/2461328.2461337
URL : http://www.eecs.berkeley.edu/~sseshia/pubdir/mining-hscc13.pdf

D. Kevin, V. Jones, D. Konrad, and . Nickovic, Analog property checkers: a DDR2 case study, Formal Methods in System Design, vol.36, issue.2, pp.114-130, 2010.

S. Eric, M. Kim, . Arcak, A. Sanjit, and . Seshia, Directed specifications and assumption mining for monotone dynamical systems, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. ACM, pp.21-30, 2016.

Z. Kong, A. Jones, and C. Belta, Temporal Logics for Learning and Detection of Anomalous Behavior, IEEE Transactions on Automatic Control, vol.62, issue.3, pp.1210-1222, 2017.
DOI : 10.1109/TAC.2016.2585083

J. Legriel, C. Le-guernic, S. Cotton, and O. Maler, Approximating the Pareto Front of Multi-criteria Optimization Problems, TACAS (LNCS), pp.69-83, 2010.
DOI : 10.1007/978-3-642-12002-2_6

D. Lemire, Streaming Maximum-Minimum Filter Using No More than Three Comparisons per Element, p.610046, 2006.

O. Maler and D. Nickovic, Monitoring Temporal Properties of Continuous Signals, FORMATS/FTRTFT, pp.152-166, 2004.
DOI : 10.1007/978-3-540-30206-3_12

T. Nghiem, S. Sankaranarayanan, G. Fainekos, F. Ivanci?, A. Gupta et al., Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.211-220, 2010.
DOI : 10.1145/1755952.1755983

D. Nickovic, Checking timed and hybrid properties: Theory and applications . Ph.D. Dissertation, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00411957

P. Nuzzo, H. Xu, N. Ozay, B. John, A. L. Finn et al., A Contract-Based Methodology for Aircraft Electric Power System Design, IEEE Access, vol.2, pp.1-25, 2014.
DOI : 10.1109/ACCESS.2013.2295764
URL : http://ieeexplore.ieee.org:80/stamp/stamp.jsp?tp=&arnumber=6690099

A. Vasumathi-raman, D. Donzé, . Sadigh, M. Richard, . Murray et al., Reactive synthesis from signal temporal logic specifications, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pp.239-248, 2015.

A. Rizk, G. Batt, F. Fages, and S. Soliman, 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

S. Silvetti, A. Policriti, and L. Bortolussi, An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems, 2017.
DOI : 10.1109/MCS.2003.1213603

S. Stoma, A. Donzé, F. Bertaux, O. Maler, and G. Batt, STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification, PLoS Computational Biology, vol.102, issue.5, p.1003056, 2013.
DOI : 10.1371/journal.pcbi.1003056.s010
URL : https://hal.archives-ouvertes.fr/hal-00750063

M. Vazquez-chanlatte, J. V. Deshmukh, X. Jin, and S. A. Seshia, Logical Clustering and Learning for Time-Series Data, pp.305-325, 2017.
DOI : 10.1007/s11222-007-9033-z

H. Yang, B. Hoxha, E. Georgios, and . Fainekos, Querying Parametric Temporal Logic Properties on Embedded Systems, pp.136-151, 2012.
DOI : 10.1007/978-3-642-34691-0_11
URL : https://hal.archives-ouvertes.fr/hal-01482426