Thomas Ferrère

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