Results

• We revised the formalisation of the serial composition of enforcers in a reactive setting from VDTAs, an extension of timed automata with data values. The principles are implemented in a prototype tool. The tool is applied to a case study: a swarn of drones.
  A journal paper about this work has been submitted to ACM Transactions on Embedded Computing Systems.



• We studied the problem of runtime enforcement of reactive systems for regular properties. We proposed a new runtime enforcement framework for regular properties with prompt eventualities: the property is never falsified more than k consecutive steps. This has been implemented in a prototype.
  A conference paper has been submitted to ATVA 2025.



• In the context of enforcement of untimed properties with buffering and suppression of events and the constraint of bounded buffers, we studied the enforceability of serial composition of regular properties.
  First results will be presented at the VORTEX 2025 Workshop (June 30-July 4, Bergen, Norway). A conference paper has been submitted to ICFEM 2025.



• In the same context, we studied context-aware enforcement. In this setting, we study different semantics of groupings of properties (conjunction, disjunction and conflict) and study the adequate enforcement strategy for each group.
  A conference paper has been submitted to RV 2025.