Thomas Ferrère

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 24

Top Topics

Information Flows

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Dogan Ulus, Thomas Ferrère, Eugene Asarin, Dejan Nickovic, Oded Maler
Elements of Timed Pattern Matching. ACM Trans. Embed. Comput. Syst. 23 (4) (2024)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-flow Interfaces. FASE (2022)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Flavors of Sequential Information Flow. VMCAI (2022)
Eugene Asarin, Thomas Ferrère, Dejan Nickovic, Dogan Ulus
On the Complexity of Timed Pattern Matching. FORMATS (2021)
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh
Specifying and detecting temporal patterns with shape expressions. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Flavours of Sequential Information Flow. CoRR (2021)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl
Monitoring Event Frequencies. CSL (2020)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-Flow Interfaces. CoRR (2020)
Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl
Monitoring Event Frequencies. CoRR (2019)
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh
Shape Expressions for Specifying and Extracting Signal Features. RV (2019)
Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski
Interface-aware signal temporal logic. HSCC (2019)
Thomas Ferrère, Oded Maler, Dejan Nickovic
Mixed-Time Signal Temporal Logic. FORMATS (2019)
Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli
From Real-time Logic to Timed Automata. J. ACM 66 (3) (2019)
Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic
Localizing Faults in Simulink/Stateflow Models with STL. HSCC (2018)
Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç
A Theory of Register Monitors. LICS (2018)
Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic
The first-order logic of signals: keynote. EMSOFT (2018)
Thomas Ferrère
The Compound Interest in Relaxing Punctuality. FM (2018)
Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin
Online Timed Pattern Matching Using Automata. FORMATS (2018)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. TACAS (2) (2018)
Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger
Monitoring Temporal Logic with Clock Variables. FORMATS (2018)
Alexey Bakhirkin, Thomas Ferrère, Oded Maler
Efficient Parametric Identification for STL. HSCC (2018)
Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. FORMATS (2017)
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
Online Timed Pattern Matching Using Derivatives. TACAS (2016)
Thomas Ferrère, Oded Maler, Dejan Nickovic
Trace Diagnostics Using Temporal Implicants. ATVA (2015)
Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus
Measuring with Timed Patterns. CAV (2) (2015)
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
Timed Pattern Matching. FORMATS (2014)
Alexandre Donzé, Thomas Ferrère, Oded Maler
Efficient Robust Monitoring for STL. CAV (2013)