no code implementations • 25 Apr 2022 • Bineet Ghosh, Étienne André
Given an offline log, our approach is able to monitor the log against safety specifications with a limited number of false alarms.
no code implementations • 15 Feb 2021 • Masaki Waga, Étienne André, Ichiro Hasuo
Monitoring of hybrid systems attracts both scientific and practical attention.
1 code implementation • 11 May 2019 • Masaki Waga, Étienne André, Ichiro Hasuo
Monitoring consists in deciding whether a log meets a given specification.
Formal Languages and Automata Theory Systems and Control
1 code implementation • 18 Mar 2019 • Masaki Waga, Étienne André
Timed pattern matching has strong connections with monitoring real-time systems.
Formal Languages and Automata Theory
1 code implementation • 21 Dec 2018 • Étienne André, Ichiro Hasuo, Masaki Waga
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log.
Systems and Control Logic in Computer Science F.4