Thomas Ferrère

Available identifiers

zbMath Open ferrere.thomasMaRDI QIDQ832023

List of research outcomes

Publication	Date of Publication	Type
Information-flow interfaces	2024-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q5874206	2023-02-07	Paper
Flavors of sequential information flow	2022-07-08	Paper
On the complexity of timed pattern matching	2022-03-24	Paper
The compound interest in relaxing punctuality	2021-05-04	Paper
A Theory of Register Monitors	2021-01-20	Paper
Mixed-time signal temporal logic	2020-05-05	Paper
From Real-time Logic to Timed Automata	2020-02-11	Paper
Interface-aware signal temporal logic	2019-10-22	Paper
Online timed pattern matching using derivatives	2019-09-17	Paper
Monitoring temporal logic with clock variables	2018-12-06	Paper
Online timed pattern matching using automata	2018-12-06	Paper
Efficient Parametric Identification for STL	2018-12-06	Paper
Localizing Faults in Simulink/Stateflow Models with STL	2018-12-06	Paper
Measuring with timed patterns	2018-03-01	Paper
On the quantitative semantics of regular expressions over real-valued signals	2017-12-01	Paper
Trace Diagnostics Using Temporal Implicants	2016-01-08	Paper
Timed Pattern Matching	2015-08-06	Paper

Research outcomes over time

This page was built for person: Thomas Ferrère