DI GIANDOMENICO, FELICITA
DI GIANDOMENICO, FELICITA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC
2020 Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O.
A contribution to dependability evaluation of Fault-Tolerant, iterative-execution software
1995 Bondavalli A.; Chaiaradonna S.; Di Giandomenico F.; Strigini L.
A contribution to the evaluation of the reliability of iterative-execution software
1999 Bondavalli, A; Chiaradonna, S; Di Giandomenico, F; Strigini, L
A cost-effective and flexible scheme for software fault tolerance
1992 Bondavalli, A; Di Giandomenico, F; Xu, J
A decomposition-based modeling framework for complex systems
2009 Lollini, P; Bondavalli, A; Di Giandomenico, F
A fault treatment approach to support dynamic redundancy in multiprocessor architectures
1994 Chiaradonna, S; Bondavalli, A; Di Giandomenico, F
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems
2004 Stefano Porcarelli; Marco Castaldi; Felicita Di Giandomenico; Andrea Bondavalli; Paola Inverardi
A hierarchical radio resource management framework for integrating WLANs in cellular networking environments
2005 Karetsos, Gt; Kyriazakos, Sa; Groustiotis, E; Di Giandomenico, F; Mura, I
A Modeling Methodology for Hierarchical Control Systems and its Application
2004 Lollini, P; Di Giandomenico, F; Bondavalli, A
A Modeling Methodology for Hierarchical Control Systems and its Application
2005 Lollini, Paolo; Bondavalli, Andrea; DI GIANDOMENICO, Felicita
A modeling methodology for hierarchical control systems and its application
2005 Lollini P.; Bondavalli A.; Di Giandomenico F.
A modular approach for model-based dependability evaluation of a class of systems
2005 Porcarelli, S; Di Giandomenico, F; Lollini, P; Bondavalli, A
A multi-criteria ranking of security countermeasures
2016 Nostro N.; Matteucci I.; Ceccarelli A.; Santini F.; Di Giandomenico F.; Martinelli F.; Bondavalli A.
A position on design, methods, and tools for object-oriented real-time computing
2000 Bondavalli A.; Di Giandomenico F.
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector
2019 Chiaradonna, S; Di Giandomenico, F; Masetti, G; Basile, D
A refinement approach to analyse critical cyber-physical systems
2018 Basile D.; Di Giandomenico F.; Gnesi S.
A refinement approach to analyse critical cyber-physical systems. Extended Version
2017 Basile, D; Di Giandomenico, F; Gnesi, S
A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems
2016 Basile D.; Chiaradonna S.; Di Giandomenico F.; Gnesi S.
A stochastic modeling approach for an efficient dependability evaluation of large systems with non-anonymous interconnected components
2017 Chiaradonna S.; Di Giandomenico F.; Masetti G.
A stochastic modelling framework to analyze smart grids control strategies
2016 Chiaradonna, S; Di Giandomenico, F; Masetti, G