DI LEO, DOMENICO
DI LEO, DOMENICO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.008 secondi).
SABRINE: State-based robustness testing of operating systems
2013 Cotroneo, Domenico; DI LEO, Domenico; Fucci, Francesco; Natella, Roberto
Adaptive Monitoring in Microkernel OSs
2010 Cotroneo, Domenico; DI LEO, Domenico; Natella, Roberto
The PreCertification Kit for Operating Systems in Safety Domains
2011 Cotroneo, Domenico; DI LEO, Domenico; N., Silva; R., Barbosa
A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain
2011 Cotroneo, Domenico; DI LEO, Domenico; Natella, Roberto; Pietrantuono, Roberto
Requirements Engineering in Rail Transit Production: an Experience Report
2013 F., Buonanno; DI LEO, Domenico; P., di Paolo; Pietrantuono, Roberto; Russo, Stefano
Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System
2016 Cotroneo, Domenico; DI LEO, Domenico; Natella, Roberto; Pietrantuono, Roberto
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| SABRINE: State-based robustness testing of operating systems | 4.1 Articoli in Atti di convegno | 2013 | Cotroneo, Domenico; DI LEO, Domenico; Fucci, Francesco; Natella, Roberto | |
| Adaptive Monitoring in Microkernel OSs | 4.1 Articoli in Atti di convegno | 2010 | Cotroneo, Domenico; DI LEO, Domenico; Natella, Roberto | |
| The PreCertification Kit for Operating Systems in Safety Domains | 4.1 Articoli in Atti di convegno | 2011 | Cotroneo, Domenico; DI LEO, Domenico; N., Silva; R., Barbosa | |
| A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain | 2.1 Contributo in volume (Capitolo o Saggio) | 2011 | Cotroneo, Domenico; DI LEO, Domenico; Natella, Roberto; Pietrantuono, Roberto | |
| Requirements Engineering in Rail Transit Production: an Experience Report | 4.1 Articoli in Atti di convegno | 2013 | F., Buonanno; DI LEO, Domenico; P., di Paolo; Pietrantuono, Roberto; Russo, Stefano | |
| Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System | 4.1 Articoli in Atti di convegno | 2016 | Cotroneo, Domenico; DI LEO, Domenico; Natella, Roberto; Pietrantuono, Roberto |