ECOOP 2026
Mon 29 June - Fri 3 July 2026 Brussels, Belgium
Tue 30 Jun 2026 10:05 - 10:30 at I.1.07 - Morning Session 1 (keynote, talk) Chair(s): Davide Ancona

Modern complex systems are governed by multiple behavioural requirements that vary in importance, compatibility, and context. While some properties, particularly those concerning safety and correctness, must always be enforced, others may be context-dependent or desirable only under certain conditions. Traditional runtime enforcement approaches often treat all properties uniformly, leading to enforcement conflicts, inefficiencies, or undesirable system rigidity.

To address this, we first classify properties into three distinct groups: strict, soft and context-dependent and then we propose a context-aware runtime enforcement framework: strict properties must always hold, soft properties permit flexible enforcement, requiring at least one property to be satisfied, and context-dependent properties require selective enforcement. For each group, we define enforcement strategies and provide mechanisms to synthesize tailored enforcers that operate independently (each over its designated disjoint alphabets) and respect the group’s enforcement goals. This grouping-based approach enables the system to make priority-aware, conflict-resolving decisions at runtime.

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30
Morning Session 1 (keynote, talk)VORTEX at I.1.07
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
09:00
5m
Day opening
Welcome to VORTEX 2026
VORTEX
Davide Ancona DIBRIS, University of Genova, Italy, Giorgio Audrito
09:05
60m
Keynote
If At First You Don’t Succeed: Extended Monitorability through Multiple Executions
VORTEX
K: Adrian Francalanza VELOCiTY Research Group, Department of Computer Science, University of Malta
10:05
25m
Talk
Property Grouping and Context-Aware Runtime Enforcement
VORTEX
Saumya Shankar International Institute of Information Technology Bangalore, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA, Srishti Gupta Indian Institute of Technology Bhubaneswar