Thomas Ferrère

Orcid: 0000-0001-5199-3143

According to our database1, Thomas Ferrère authored at least 25 papers between 2013 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Elements of Timed Pattern Matching.
ACM Trans. Embed. Comput. Syst., July, 2024

2022
Flavors of Sequential Information Flow.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Information-flow Interfaces.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021
Specifying and detecting temporal patterns with shape expressions.
Int. J. Softw. Tools Technol. Transf., 2021

Flavours of Sequential Information Flow.
CoRR, 2021

On the Complexity of Timed Pattern Matching.
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.
Int. J. Softw. Tools Technol. Transf., 2020

Monitoring Event Frequencies.
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019
From Real-time Logic to Timed Automata.
J. ACM, 2019

Shape Expressions for Specifying and Extracting Signal Features.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Interface-aware signal temporal logic.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Mixed-Time Signal Temporal Logic.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018
A Theory of Register Monitors.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Localizing Faults in Simulink/Stateflow Models with STL.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Efficient Parametric Identification for STL.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Monitoring Temporal Logic with Clock Variables.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Online Timed Pattern Matching Using Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

The Compound Interest in Relaxing Punctuality.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

The first-order logic of signals: keynote.
Proceedings of the International Conference on Embedded Software, 2018

2017
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016
Online Timed Pattern Matching Using Derivatives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015
Measuring with Timed Patterns.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Trace Diagnostics Using Temporal Implicants.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Timed Pattern Matching.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013
Efficient Robust Monitoring for STL.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013


  Loading...