T
Thomas Ferrère
Researcher at Institute of Science and Technology Austria
Publications - 28
Citations - 708
Thomas Ferrère is an academic researcher from Institute of Science and Technology Austria. The author has contributed to research in topics: Regular expression & Temporal logic. The author has an hindex of 11, co-authored 28 publications receiving 561 citations. Previous affiliations of Thomas Ferrère include University of Grenoble.
Papers
More filters
Book ChapterDOI
Efficient robust monitoring for STL
TL;DR: This paper presents an efficient algorithm for computing the robustness degree in which a piecewise-continuous signal satisfies or violates an STL formula.
Book ChapterDOI
Timed Pattern Matching
TL;DR: The set of all matches of a timed regular expression by a signal of finite variability and duration can be written as a finite union of zones.
Book ChapterDOI
Online Timed Pattern Matching Using Derivatives
TL;DR: This work develops an alternative theory of signals and expressions based on absolute time and shows how derivatives are defined and computed in this setting and implements an online timed pattern matching algorithm based on these results.
Book ChapterDOI
AMT 2.0 : Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
TL;DR: A tool for qualitative and quantitative analysis of hybrid continuous and Boolean signals that combine numerical values and discrete events that integrates Timed Regular Expressions within Signal Temporal Logic (STL).
Book ChapterDOI
Trace Diagnostics Using Temporal Implicants
TL;DR: An inductive procedure for finding temporal implicants is obtained by the introduction of selection functions that appear in a process equivalent to Skolemization in first order logic, and is able to generate concise implicant of a property, describing a small fragment of the input signal that causes violation of a formula.