BRAGETTI, DAVIDE
BRAGETTI, DAVIDE
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Mostra
prodotti
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.015 secondi).
Controlling the Observation Class of a Runtime Monitor: Selection, Self-Tuning, and Physical Grounding
2026 Bragetti, Davide; Bragetti, Carlo; Italiano, Giuseppe F.
Controlling the Observation Class of a Runtime Monitor: Selection, Self-Tuning, and Physical Grounding
2026 Bragetti, Davide
Meaning, Opacity, and Function: An Observer-Relative Classification of Artifacts
2026 Bragetti, Davide; Asaro, Carmelo; Italiano, Giuseppe Francesco
Observation-Relative Monitorability of Bounded Temporal Implication
2026 Bragetti, Davide; Bragetti, Alessandro; Italiano, Giuseppe Francesco
The Intersection Algebra of Safety, Cosafety, Liveness, and Coliveness over Linear Temporal Logic
2026 Bragetti, Davide
Touch and Crossing: Dual Primitive Modalities of Threshold Monitors
2026 Bragetti, Davide
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Controlling the Observation Class of a Runtime Monitor: Selection, Self-Tuning, and Physical Grounding | 2026 | Bragetti, Davide; Bragetti, Carlo; Italiano, Giuseppe F. | |
| Controlling the Observation Class of a Runtime Monitor: Selection, Self-Tuning, and Physical Grounding | 2026 | Bragetti, Davide | |
| Meaning, Opacity, and Function: An Observer-Relative Classification of Artifacts | 2026 | Bragetti, Davide; Asaro, Carmelo; Italiano, Giuseppe Francesco | |
| Observation-Relative Monitorability of Bounded Temporal Implication | 2026 | Bragetti, Davide; Bragetti, Alessandro; Italiano, Giuseppe Francesco | |
| The Intersection Algebra of Safety, Cosafety, Liveness, and Coliveness over Linear Temporal Logic | 2026 | Bragetti, Davide | |
| Touch and Crossing: Dual Primitive Modalities of Threshold Monitors | 2026 | Bragetti, Davide |