FILIERI, ANTONIO
FILIERI, ANTONIO
A compositional method for reliability analysis of workflows affected by multiple failure modes
2011-01-01 Distefano, Salvatore; Filieri, Antonio; Ghezzi, Carlo; Mirandola, Raffaela
A formal approach to adaptive software: Continuous assurance of non-functional requirements
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Tamburrelli, Giordano
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Mirandola, Raffaela; Tamburrelli, Giordano
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
Robust Probabilistic Model Checking With Continuous Reward Domains
2025-01-01 Ji, Xiaotong; Wang, Hanchun; Filieri, Antonio; Epifani, Ilenia
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