Thomas Ferrère

According to our database, Thomas Ferrère authored at least 24 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Flavors of Sequential Information Flow.

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Information-flow Interfaces.

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

Specifying and detecting temporal patterns with shape expressions.

Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh

Int. J. Softw. Tools Technol. Transf., 2021

Flavours of Sequential Information Flow.

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

CoRR, 2021

On the Complexity of Timed Pattern Matching.

Eugene Asarin, Thomas Ferrère, Dejan Nickovic, Dogan Ulus

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

2020

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.

Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus

Int. J. Softw. Tools Technol. Transf., 2020

Monitoring Event Frequencies.

Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

From Real-time Logic to Timed Automata.

Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli

J. ACM, 2019

Shape Expressions for Specifying and Extracting Signal Features.

Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh

Proceedings of the Runtime Verification - 19th International Conference, 2019

Interface-aware signal temporal logic.

Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Mixed-Time Signal Temporal Logic.

Thomas Ferrère, Oded Maler, Dejan Nickovic

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018

A Theory of Register Monitors.

Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Localizing Faults in Simulink/Stateflow Models with STL.

Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Efficient Parametric Identification for STL.

Alexey Bakhirkin, Thomas Ferrère, Oded Maler

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Monitoring Temporal Logic with Clock Variables.

Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Online Timed Pattern Matching Using Automata.

Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

The Compound Interest in Relaxing Punctuality.

Thomas Ferrère

Proceedings of the Formal Methods - 22nd International Symposium, 2018

The first-order logic of signals: keynote.

Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic

Proceedings of the International Conference on Embedded Software, 2018

2017

On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.

Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016

Online Timed Pattern Matching Using Derivatives.

Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Measuring with Timed Patterns.

Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Trace Diagnostics Using Temporal Implicants.

Thomas Ferrère, Oded Maler, Dejan Nickovic

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Timed Pattern Matching.

Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013

Efficient Robust Monitoring for STL.

Alexandre Donzé, Thomas Ferrère, Oded Maler

Proceedings of the Computer Aided Verification - 25th International Conference, 2013