Felicita Di Giandomenico

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 48

Top Venues

EDCC

MODELSWARD

ERCIM News

SIGMETRICS Perform. Evaluation Rev.

Publications

Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi
Advanced Integrated Evaluation of Railway Systems . ERCIM News 2024 (137) (2024)
Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti
Cross-coverage testing of functionally equivalent programs. CoRR (2023)
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
Implicit Reward Structures for Implicit Reliability Models. IEEE Trans. Reliab. 72 (2) (2023)
Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. RSSRail (2023)
Oleg Illiashenko, Vyacheslav Kharchenko, Ievgen Babeshko, Herman Fesenko, Felicita Di Giandomenico
Security-Informed Safety Analysis of Autonomous Transport Systems Considering AI-Powered Cyberattacks and Protection. Entropy 25 (8) (2023)
Ievgen Babeshko, Felicita Di Giandomenico
Safety and Cybersecurity Assessment Techniques for Critical Industries: A Mapping Study. IEEE Access 11 (2023)
Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti
Cross-coverage testing of functionally equivalent programs. AST (2023)
Francesca Lonetti, Antonia Bertolino, Felicita Di Giandomenico
Model-based security testing in IoT systems: A Rapid Review. Inf. Softw. Technol. 164 (2023)
Ievgen Babeshko, Oleg Illiashenko, Felicita Di Giandomenico
Towards Effective Safety and Cybersecurity Co-engineering in Critical Domains. DESSERT (2023)
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
Solution Bundles of Markov Performability Models through Adaptive Cross Approximation. DSN (2022)
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States. SIGMETRICS Perform. Evaluation Rev. 49 (4) (2022)
Giulio Masetti, Silvano Chiaradonna, Leonardo Robol, Felicita Di Giandomenico
Random Bad State Estimator to Address False Data Injection in Critical Infrastructures. PRDC (2022)
Felicita Di Giandomenico, Giulio Masetti, Silvano Chiaradonna
Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods. Int. J. Appl. Math. Comput. Sci. 32 (4) (2022)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems. Perform. Evaluation 147 (2021)
Felicita Di Giandomenico, Giulio Masetti
Basic Aspects in Redundancy-Based Intrusion Tolerance. CISIS-ICEUTE (2021)
Radu Calinescu, Felicita Di Giandomenico
Special issue on resilient software and software-controlled systems. Computing 103 (4) (2021)
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, William H. Sanders, Brett Feddersen
Extending the Möbius Modeling Environment with the Advanced Replication Operator. SIGMETRICS Perform. Evaluation Rev. 48 (4) (2021)
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE (2021)
Silvano Chiaradonna, Giulio Masetti, Felicita Di Giandomenico, Francesca Righetti, Carlo Vallati
Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies. Sustain. Comput. Informatics Syst. 30 (2021)
Giulio Masetti, Felicita Di Giandomenico
Analyzing Forward Robustness of Feedforward Deep Neural Networks with LeakyReLU Activation Function Through Symbolic Propagation. PKDD/ECML Workshops (2020)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) (2020)
Francesca Righetti, Carlo Vallati, Giuseppe Anastasi, Giulio Masetti, Felicita Di Giandomenico
Failure management strategies for IoT-based railways systems. SMARTCOMP (2020)
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187 (2020)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system. PRDC (2020)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector. From Software Engineering to Formal Methods and Tools, and Back (2019)
Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi
Smart Services for Railways. ERCIM News 2019 (117) (2019)
Emilia Cioroaica, Felicita Di Giandomenico, Thomas Kuhn, Francesca Lonetti, Eda Marchetti, Jasmin Jahic, Frank Schnicke
Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems. ISSRE Workshops (2019)
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums. Petri Nets (2019)
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Giuseppe Lami, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
A tour of secure software engineering solutions for connected vehicles. Softw. Qual. J. 26 (4) (2018)
Giulio Masetti, Simone Dutto, Silvano Chiaradonna, Felicita Di Giandomenico
Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations. MODELSWARD (2018)
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders
An Efficient Strategy for Model Composition in the Möbius Modeling Environment. EDCC (2018)
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components. EPEW (2017)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. SPLC (B) (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
A Refinement Approach to Analyse Critical Cyber-Physical Systems. SEFM Workshops (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. RSSRail (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Statistical model checking of an energy-saving cyber-physical system in the railway domain. SAC (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian Luigi Ferrari
Specifying variability in service contracts. VaMoS (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
FMCAT: Supporting Dynamic Service-based Product Lines. SPLC (B) (2017)
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico
A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components. ISSRE (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. MODELSWARD (2017)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
Analyzing the Impact of Failures in the Electric Power Distribution Grid. LADC (2016)
Jun Xiao, Silvano Chiaradonna, Felicita Di Giandomenico, Andy D. Pimentel
Improving voltage control in MV smart grids. SmartGridComm (2016)
Nicola Nostro, Romina Spalazzese, Felicita Di Giandomenico, Paola Inverardi
Achieving functional and non functional interoperability through synthesized connectors. J. Syst. Softw. 111 (2016)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
Efficient non-anonymus composition operator for modeling complex dependable systems. CoRR (2016)
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. J. Rail Transp. Plan. Manag. 6 (2) (2016)
Silvano Chiaradonna, Felicita Di Giandomenico, Jun Xiao
Quantification of the Effectiveness of Medium Voltage Control Policies in Smart Grids. HASE (2016)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. ISoLA (2) (2016)
Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
A multi-criteria ranking of security countermeasures. SAC (2016)
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. SERENE (2015)
Felicita Di Giandomenico, Massimiliano Leone Itria, Paolo Masci, Nicola Nostro
Automated synthesis of dependable mediators for heterogeneous interoperable systems. Reliab. Eng. Syst. Saf. 132 (2014)
Silvano Chiaradonna, Felicita Di Giandomenico, Nadir Murru
On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure. EDCC (2014)
Cesario Di Sarno, Alessia Garofalo, Gianfranco Cerullo, Nadir Murru, Felicita Di Giandomenico, Silvano Chiaradonna
Power Grid Outlier Treatment through Kalman Filter. ISSRE Workshops (2014)
Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
On Security Countermeasures Ranking through Threat Analysis. SAFECOMP Workshops (2014)
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
Stochastic assessment of power systems in presence of heterogeneity. Int. J. Crit. Comput. Based Syst. 4 (4) (2013)
Felicita Di Giandomenico, Antonia Bertolino, Antonello Calabrò, Nicola Nostro
An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems. Int. J. Adapt. Resilient Auton. Syst. 4 (1) (2013)
Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. SERENE (2013)
Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo
Critical Utility Infrastructural Resilience CoRR (2012)
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics. SAFECOMP Workshops (2012)
Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis
Quantification of dependencies between electrical and information infrastructures. Int. J. Crit. Infrastructure Prot. 5 (1) (2012)
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
Analysis of Electric Power Systems Accounting for Interdependencies in Heterogeneous Scenarios. EDCC (2012)
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems. Int. J. Crit. Infrastructure Prot. 4 (1) (2011)
Paolo Masci, Nicola Nostro, Felicita Di Giandomenico
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. SERENE (2011)
Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli
An Intelligent Maintenance based on Machine Learning Approach for Wireless and Mobile Systems. WINSYS (2011)
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro
Dependability and Performance Assessment of Dynamic CONNECTed Systems. SFM (2011)
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci
Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. ISADS (2011)
Paolo Masci, Marco Martinucci, Felicita Di Giandomenico
Towards Automated Dependability Analysis of Dynamically Connected Systems. ISADS (2011)
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro, Paola Inverardi, Romina Spalazzese
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. ICSOFT (Selected Papers) (2011)
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
Modeling and analysis of the impact of failures in Electric Power Systems organized in interconnected regions. DSN (2011)
Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta
Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems. WODA (2010)
Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu
Dependability Analysis and Verification for Connected Systems. ISoLA (2) (2010)
Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. EDCC (2010)
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
Assessing the impact of interdependencies in electric power systems. Int. J. Syst. Syst. Eng. 1 (3) (2009)
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico
A Decomposition-Based Modeling Framework for Complex Systems. IEEE Trans. Reliab. 58 (1) (2009)
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
Interdependency Analysis in Electric Power Systems. CRITIS (2008)
Silvano Chiaradonna, Paolo Lollini, Felicita Di Giandomenico
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems. DSN (2007)
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
Evaluation of Critical Infrastructures: Challenges and Viable Approaches. WADS (2007)
Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek
Workshop on Architecting Dependable Systems (WADS 2007). DSN (2007)
Francesco Romani, Silvano Chiaradonna, Felicita Di Giandomenico, Luca Simoncini
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies. HASE (2007)
Alessandro Daidone, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution. SRDS (2006)
László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha
Dependability Evaluation of Web Service-Based Processes. EPEW (2006)
George T. Karetsos, Sofoklis A. Kyriazakos, Evangelos Gkroustiotis, Felicita Di Giandomenico, Ivan Mura
A hierarchical radio resource management framework for integrating WLANs in cellular networking environments. IEEE Wirel. Commun. 12 (6) (2005)
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures. ISAS (2005)
Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. QEST (2005)
Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. LADC (2005)
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico
A Modeling Methodology for Hierarchical Control System and its Aplication. J. Braz. Comput. Soc. 10 (3) (2005)
Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini
Model-based evaluation of a radio resource management system for wireless networks. Conf. Computing Frontiers (2004)
Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems. ISAS (2004)
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico, Stefano Porcarelli
Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks. ISCC (2004)
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura
Dependability modeling and evaluation of multiple-phased systems using DEEM. IEEE Trans. Reliab. 53 (4) (2004)
Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
Architectural challenges for a dependable Information Society. IFIP Congress Topical Sessions (2004)
Felicita Di Giandomenico
Fast Abstracts. DSN (2004)
Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Massimo Barbera, Ivan Mura
Service-Level Availability Estimation of GPRS. IEEE Trans. Mob. Comput. 2 (3) (2003)
Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. WADS (2003)
Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli
Analyzing quality of service of GPRS network systems from a user's perspective. ISCC (2002)
Stefano Porcarelli, Felicita Di Giandomenico
On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations. EDCC (2002)
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, J. Xu
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment. J. Syst. Archit. 47 (9) (2002)
Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. SAFECOMP (2001)
F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli
Modeling and Analysis of the Behavior of GPRS Systems. WORDS (2001)
Andrea Coccoli, Andrea Bondavalli, Felicita Di Giandomenico
Analysis and Estimation of the Quality of Service of Group Communication Protocols. ISORC (2001)
Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli
Towards Optimal Database Maintenance in Wireless Communication Systems. ISAS-SCI (1) (2001)

Felicita Di Giandomenico.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Felicita Di Giandomenico