61 citations · 322 across the 42 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024★ 29 cited
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.…
eess.SY2024★ 1 cited
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…