The following pages link to Eugen Zălinescu (Q402359):
Displaying 14 items.
- Deciding safety and liveness in TPTL (Q402360) (← links)
- Greedily computing associative aggregations on sliding windows (Q477620) (← links)
- A trace-based model for multiparty contracts (Q764380) (← links)
- Monitoring of temporal first-order properties with aggregations (Q888414) (← links)
- Algorithms for monitoring real-time properties (Q1647773) (← links)
- Shorter strings containing all \(k\)-element permutations (Q1944962) (← links)
- Runtime verification of temporal properties over out-of-order data streams (Q2151259) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- Enforceable Security Policies Revisited (Q2894329) (← links)
- (Q2905212) (← links)
- (Q2917407) (← links)
- Deciding security properties for cryptographic protocols. application to key cycles (Q2946596) (← links)
- Relating Two Standard Notions of Secrecy (Q3613345) (← links)
- Failure-aware Runtime Verification of Distributed Systems (Q5275399) (← links)
