The following pages link to Ilaria Matteucci (Q418361):
Displayed 4 items.
- Gate automata-driven run-time enforcement (Q418362) (← links)
- Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting (Q2866731) (← links)
- There are Two Sides to Every Question (Q3460874) (← links)
- A Quantitative Partial Model-Checking Function and Its Optimisation (Q4645744) (← links)