DI GIANDOMENICO, FELICITA
DI GIANDOMENICO, FELICITA
Fisica e Astronomia
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 modeling methodology for hierarchical control system and its aplication
2005 P. Lollini; A. Bondavalli; F. Di Giandomenico
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, Davide; Di Giandomenico, Felicita; Gnesi, Stefania
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems
2016 Basile, Davide*; Chiaradonna, Silvano; Di Giandomenico, Felicita; Gnesi, Stefania
An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems
2013 Felicita Di Giandomenico; Antonia Bertolino; Antonello Calabrò; Nicola Nostro
Analysis of Electric Power Systems Accounting for Interdependencies in Heterogeneous Scenarios
2012 Silvano Chiaradonna; Felicita Di Giandomenico; Nicola Nostro
Automated synthesis of dependable mediators for heterogeneous interoperable systems
2014 Felicita Di Giandomenico; Massimiliano Leone Itria; Paolo Masci; Nicola Nostro
Case study on critical infrastructures: assessment of electric power systems
2012 S. Chiaradonna; F. Di Giandomenico; P. Lollini
Computer Safety, Reliability, and Security
2014 Bondavalli, Andrea; Di Giandomenico, Felicita
Controller synthesis of service contracts with variability
2020 Basile, Davide; ter Beek, Maurice H.; Degano, Pierpaolo; Legay, Axel; Ferrari, Gian-Luigi; Gnesi, Stefania; Di Giandomenico, Felicita
Definition, implementation and application of a model-based framework for the analysis of interdependencies in electric power systems
2011 S. Chiaradonna; F. Di Giandomenico; P. Lollini
Dependability and Performance Assessment of Dynamic CONNECTed Systems
2011 Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Nicola Nostro
Dependability Issues in Radio Resource Management of Wireless Systems
2003 F. D. Giandomenico; S. Porcarelli; P. Lollini; A. Bondavalli
Dependability Provisions for a Network Management Platform
2003 A. Bondavalli; F. Di Giandomenico; F. Grandoni; P. Lollini; S. Porcarelli
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming
2017 Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain
2017 Gnesi, Stefania; Di Giandomenico, Felicita; Basile, Davide
Evaluation of Critical Infrastructures: Challenges and Viable Approaches
2008 S. Chiaradonna; F. Di Giandomenico; P. Lollini
FMCAT: Supporting dynamic service-based product lines
2017 Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania
Interdependency Analysis in Electric Power Systems
2009 S. Chiaradonna; F. Di Giandomenico; P. Lollini