4 papers
Model-bounded monitoring of hybrid systems
Masaki Waga, Ãtienne André, Ichiro Hasuo
Monitoring of hybrid systems attracts both scientific and practical attention. However, monitoring algorithms suffer from the methodological difficulty of only observing sampled di…
Parametric Timed Pattern Matching
Masaki Waga, Ãtienne André, Ichiro Hasuo
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always f…
Formalizing UML State Machines for Automated Verification -- A Survey
Ãtienne André, Shuang Liu, Yang Liu +3
The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs.…
MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties
Bineet Ghosh, Ãtienne André
We introduce MoULDyS, that implements efficient offline and online monitoring algorithms of black-box cyber-physical systems w.r.t. safety properties. MoULDyS takes as input an unc…