The following pages link to LARVA (Q33215):
Displaying 7 items.
- Runtime enforcement of timed properties revisited (Q487258) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Safer asynchronous runtime monitoring using compensations (Q2441726) (← links)
- Optimal enforcement of (timed) properties with uncontrollable events (Q4559604) (← links)
- Efficient Runtime Verification of First-Order Temporal Properties (Q5883570) (← links)