The following pages link to Christian Colombo (Q681470):
Displayed 7 items.
- Organising LTL monitors over distributed systems with a global clock (Q681471) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Risk parity with expectiles (Q2030685) (← links)
- Runtime verification of contracts with Themulus (Q2038045) (← links)
- Safer asynchronous runtime monitoring using compensations (Q2441726) (← links)
- Recovery within long-running transactions (Q2875115) (← links)
- Safe Runtime Verification of Real-Time Properties (Q3648826) (← links)