FILIERI, ANTONIO
FILIERI, ANTONIO
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.013 secondi).
A compositional method for reliability analysis of workflows affected by multiple failure modes
2011-01-01 Distefano, Salvatore; Filieri, Antonio; Ghezzi, Carlo; Mirandola, Raffaela
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems
2011-01-01 Ciancone, Andrea; Filieri, Antonio; Drago, MAURO LUIGI; Mirandola, Raffaela; Vincenzo, Grassi
MANTra: Towards Model Transformation Testing
2010-01-01 Ciancone, Andrea; Filieri, Antonio; Mirandola, Raffaela
Reliability Analysis of Component-Based Systems with Multiple Failure Modes
2010-01-01 Filieri, Antonio; Ghezzi, Carlo; V., Grassi; Mirandola, Raffaela
Reliability-driven Dynamic Binding via Feedback Control
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Leva, Alberto; M., Maggio
Run-time efficient probabilistic model checking
2011-01-01 Filieri, Antonio; Ghezzi, Carlo; Tamburrelli, Giordano
Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements
2011-01-01 Filieri, Antonio; Ghezzi, Carlo; Leva, Alberto; Maggio, Martina