DI GIANDOMENICO, FELICITA

DI GIANDOMENICO, FELICITA  

Fisica e Astronomia  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
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