Dubbioso, Sara
Dubbioso, Sara
Dipartimento di Ingegneria dell'Informazione ed Elettrica e Matematica applicata/DIEM
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
An Optimization Approach to Current State Opacity Assessment
2024 Basile, F.; De Tommasi, G.; Dubbioso, S.; Fiorenza, F.
Sequence-based Vs Observer-based Approaches to Verify Current-State Opacity: A Benchmark Case
2025 Basile, F.; De Tommasi, G.; Dubbioso, S.; Fiorenza, F.
Verification of K-step Non-Interference for Live Bounded and Reversible Discrete Event Systems Modeled with Petri Nets
2025 Basile, F.; Tommasi, G. D.; Dubbioso, S.; Fiorenza, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Optimization Approach to Current State Opacity Assessment | 1-gen-2024 | Basile, F.; De Tommasi, G.; Dubbioso, S.; Fiorenza, F. | |
| Sequence-based Vs Observer-based Approaches to Verify Current-State Opacity: A Benchmark Case | 1-gen-2025 | Basile, F.; De Tommasi, G.; Dubbioso, S.; Fiorenza, F. | |
| Verification of K-step Non-Interference for Live Bounded and Reversible Discrete Event Systems Modeled with Petri Nets | 1-gen-2025 | Basile, F.; Tommasi, G. D.; Dubbioso, S.; Fiorenza, F. |