| Efficient robust monitoring for STL A Donzé, T Ferrere, O Maler Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 291 | 2013 |
| Timed pattern matching D Ulus, T Ferrère, E Asarin, O Maler International Conference on Formal Modeling and Analysis of Timed Systems …, 2014 | 78 | 2014 |
| AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic D Ničković, O Lebeltel, O Maler, T Ferrère, D Ulus International Journal on Software Tools for Technology Transfer 22, 741-758, 2020 | 61 | 2020 |
| Online timed pattern matching using derivatives D Ulus, T Ferrère, E Asarin, O Maler Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 59 | 2016 |
| Localizing faults in Simulink/Stateflow models with STL E Bartocci, T Ferrère, N Manjunath, D Ničković Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 42 | 2018 |
| Trace diagnostics using temporal implicants T Ferrère, O Maler, D Ničković International Symposium on Automated Technology for Verification and …, 2015 | 41 | 2015 |
| Efficient parametric identification for STL A Bakhirkin, T Ferrère, O Maler Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 35 | 2018 |
| Interface-aware signal temporal logic T Ferrère, D Nickovic, A Donzé, H Ito, J Kapinski Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 31 | 2019 |
| On the quantitative semantics of regular expressions over real-valued signals A Bakhirkin, T Ferrère, O Maler, D Ulus International Conference on Formal Modeling and Analysis of Timed Systems …, 2017 | 29 | 2017 |
| Measuring with timed patterns T Ferrère, O Maler, D Ničković, D Ulus Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 28 | 2015 |
| From real-time logic to timed automata T Ferrere, O Maler, D Ničković, A Pnueli Journal of the ACM (JACM) 66 (3), 1-31, 2019 | 23 | 2019 |
| The first-order logic of signals A Bakhirkin, T Ferrère, T Henzinger, D Nickovic International Conference on Embedded Software (EMSOFT), 2018 | 22 | 2018 |
| A theory of register monitors T Ferrère, TA Henzinger, NE Saraç Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 22 | 2018 |
| Online timed pattern matching using automata A Bakhirkin, T Ferrere, D Nickovic, O Maler, E Asarin International Conference on Formal Modeling and Analysis of Timed Systems …, 2018 | 19 | 2018 |
| Shape expressions for specifying and extracting signal features D Ničković, X Qin, T Ferrère, C Mateis, J Deshmukh Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 12 | 2019 |
| Flavors of sequential information flow E Bartocci, T Ferrère, TA Henzinger, D Nickovic, AO Da Costa International Conference on Verification, Model Checking, and Abstract …, 2022 | 11 | 2022 |
| Monitoring event frequencies T Ferrère, TA Henzinger, B Kragl arXiv preprint arXiv:1910.06097, 2019 | 11 | 2019 |
| The compound interest in relaxing punctuality T Ferrère International Symposium on Formal Methods, 147-164, 2018 | 9 | 2018 |
| Assertions and measurements for mixed-signal simulation T Ferrere Ph. D. Dissertation. Ph. D. thesis, 2016 | 7 | 2016 |
| Specifying and detecting temporal patterns with shape expressions D Ničković, X Qin, T Ferrère, C Mateis, J Deshmukh International Journal on Software Tools for Technology Transfer 23 (4), 565-577, 2021 | 5 | 2021 |
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
