Get started
Author

Thomas Ferrère

Efficient Robust Monitoring for STL
2013 · Alexandre Donzé, Thomas Ferrère, et al. · Lecture notes in computer science · 260
Timed Pattern Matching
2014 · Dogan Ulus, Thomas Ferrère, et al. · Lecture notes in computer science · 68
Localizing Faults in Simulink/Stateflow Models with STL
2018 · Ezio Bartocci, Thomas Ferrère, et al. · International Conference on Hybrid Systems: computation and control · 48
Online Timed Pattern Matching Using Derivatives
2016 · Dogan Ulus, Thomas Ferrère, et al. · Lecture notes in computer science · 48
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
2018 · Dejan Ničković, Olivier Lebeltel, et al. · Lecture notes in computer science · 34
Interface-aware signal temporal logic
2019 · Thomas Ferrère, Dejan Nickovic, et al. · ACM International Conference on Hybrid Systems: Computation and Control (HSCC) · 33
Trace Diagnostics Using Temporal Implicants
2015 · Thomas Ferrère, Oded Maler, et al. · Lecture notes in computer science · 33
Efficient Parametric Identification for STL
2018 · Alexey Bakhirkin, Thomas Ferrère, et al. · International Conference on Hybrid Systems: computation and control · 28
From Real-time Logic to Timed Automata
2019 · Thomas Ferrère, Oded Maler, et al. · Journal of the ACM · 25
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic
2020 · Dejan Ničković, Olivier Lebeltel, et al. · International Journal on Software Tools for Technology Transfer · 22
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals
2017 · Alexey Bakhirkin, Thomas Ferrère, et al. · Lecture notes in computer science · 22
Measuring with Timed Patterns
2015 · Thomas Ferrère, Oded Maler, et al. · Lecture notes in computer science · 22
Online Timed Pattern Matching Using Automata
2018 · Alexey Bakhirkin, Thomas Ferrère, et al. · Lecture notes in computer science · 19
A Theory of Register Monitors
2018 · Thomas Ferrère, Thomas A. Henzinger, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 16
Keynote: The First-Order Logic of Signals
2018 · Alexey Bakhirkin, Thomas Ferrere, et al. · ACM International Conference on Embedded Software (EMSOFT) · 15
Shape Expressions for Specifying and Extracting Signal Features
2019 · Dejan Ničković, Xin Qin, et al. · Lecture notes in computer science · 13
Flavors of Sequential Information Flow
2022 · Ezio Bartocci, Thomas Ferrère, et al. · Lecture notes in computer science · 11
The Compound Interest in Relaxing Punctuality
2018 · Thomas Ferrère · Lecture notes in computer science · 9
Information-flow Interfaces
2022 · Ezio Bartocci, Thomas Ferrère, et al. · Lecture notes in computer science · 7
PDF
Mixed-Time Signal Temporal Logic
2019 · Thomas Ferrère, Oded Maler, et al. · Lecture notes in computer science · 6
Specifying and detecting temporal patterns with shape expressions
2021 · Dejan Ničković, Xin Qin, et al. · International Journal on Software Tools for Technology Transfer · 5
Monitoring Event Frequencies
2019 · Ferrère, Thomas, Henzinger, Thomas A., et al. · arXiv (Cornell University) · 5
PDF
Assertions and measurements for mixed-signal simulation
2016 · Thomas Ferrere · theses.fr (ABES) · 4
Elements of Timed Pattern Matching
2024 · Dogan Ulus, Thomas Ferrère, et al. · ACM Transactions on Embedded Computing Systems · 3
PDF
Monitoring Temporal Logic with Clock Variables
2018 · Adrián Elgyütt, Thomas Ferrère, et al. · Lecture notes in computer science · 3
Works count: 29
Citation count: 763
H-index: 15
I10-index: 17
Year
Topic
Type