Gracefully Degradable Algorithm for Byzantine Agreement. - Felicita Di Giandomenico; M. L. Guidotti; Fabrizio Grandoni 002; Luca Simoncini (Comput. Syst. Sci. Eng., 1988)

Adjudicators for Diverse-Redundant Components. - Felicita Di Giandomenico; Lorenzo Strigini (SRDS, 1990)

Implementations and Extensions of the Conversation Concept. - Felicita Di Giandomenico; Lorenzo Strigini (Fault-Tolerant Computing Systems, 1991)

Flexible Schemes for Application-Level Fault Tolerance. - Lorenzo Strigini; Felicita Di Giandomenico (SRDS, 1991)

Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures. - Andrea Bondavalli; Silvano Chiaradonna; Felicita Di Giandomenico (ICPADS, 1994)

Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation. - Andrea Bondavalli; Silvano Chiaradonna; Felicita Di Giandomenico; S. La Torre (SAFECOMP, 1995)

Planning the Execution of Task Groups in Real-Time Systems. - Paolo Bizzarri; Andrea Bondavalli; Felicita Di Giandomenico; Fabio Tarini (RTS, 1996)

Discriminating Fault Rate and Persistency to Improve Fault Treatment. - Andrea Bondavalli; Silvano Chiaradonna; Felicita Di Giandomenico; Fabrizio Grandoni 002 (FTCS, 1997)

A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis. - Paolo Bizzarri; Andrea Bondavalli; Felicita Di Giandomenico (FTDCS, 1997)

Value-driven resource assignment in object-oriented real-time dependable systems. - Andrea Bondavalli; Felicita Di Giandomenico; Ivan Mura (WORDS, 1997)

Coordinated backward between client processes and data servers. - Lorenzo Strigini; Felicita Di Giandomenico; Alexander B. Romanovsky (IEE Proc. Softw. Eng., 1997)

Optimal Discrimination between Transient and Permanent Faults. - Michele Pizza; Lorenzo Strigini; Andrea Bondavalli; Felicita Di Giandomenico (HASE, 1998)

State Restoration in a COTS-Based N-Modular Architecture. - Andrea Bondavalli; Felicita Di Giandomenico; Fabrizio Grandoni 002; David Powell; Christophe Rabéjac (ISORC, 1998)

An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems. - Andrea Bondavalli; Felicita Di Giandomenico; Ivan Mura (Real Time Syst., 1999)

A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. - Andrea Bondavalli; Silvano Chiaradonna; Felicita Di Giandomenico; Lorenzo Strigini (Softw. Test. Verification Reliab., 1999)

Analysis of group communication protocols to assess quality of service properties. - Andrea Coccoli; Stefan Schemmer; Felicita Di Giandomenico; Michael Mock; Andrea Bondavalli (HASE, 2000)

A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing. - Andrea Bondavalli; Felicita Di Giandomenico (ISORC, 2000)

Scheduling Solutions for Supporting Dependable Real-Time Applications. - F. Sandrini; Felicita Di Giandomenico; Andrea Bondavalli; Edgar Nett (ISORC, 2000)

Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems. - Felicita Di Giandomenico; Silvano Chiaradonna; Andrea Bondavalli; Fabrizio Grandoni 002 (PDPTA, 2000)

The meaning and role of value in scheduling flexible real-time systems. - Alan Burns 001; Divya Prasad; Andrea Bondavalli; Felicita Di Giandomenico; Krithi Ramamritham; John A. Stankovic; Lorenzo Strigini (J. Syst. Archit., 2000)

Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults. - Andrea Bondavalli; Silvano Chiaradonna; Felicita Di Giandomenico; Fabrizio Grandoni 002 (IEEE Trans. Computers, 2000)

Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems. - F. Tataranni; Stefano Porcarelli; Felicita Di Giandomenico; Andrea Bondavalli (DSN, 2001)

Towards Optimal Database Maintenance in Wireless Communication Systems. - Amine Chohra; Felicita Di Giandomenico; Stefano Porcarelli; Andrea Bondavalli (ISAS-SCI (1), 2001)

Analysis and Estimation of the Quality of Service of Group Communication Protocols. - Andrea Coccoli; Andrea Bondavalli; Felicita Di Giandomenico (ISORC, 2001)

Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. - Stefano Porcarelli; Felicita Di Giandomenico; Amine Chohra; Andrea Bondavalli (SAFECOMP, 2001)

Modeling and Analysis of the Behavior of GPRS Systems. - F. Tataranni; Stefano Porcarelli; Luca Simoncini; Felicita Di Giandomenico; Andrea Bondavalli (WORDS, 2001)

Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications. - Fabrizio Grandoni 002; Silvano Chiaradonna; Felicita Di Giandomenico; Andrea Bondavalli (Comput. J., 2001)

On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations. - Stefano Porcarelli; Felicita Di Giandomenico (EDCC, 2002)

Analyzing quality of service of GPRS network systems from a user's perspective. - Stefano Porcarelli; Felicita Di Giandomenico; Andrea Bondavalli (ISCC, 2002)

An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment. - Andrea Bondavalli; Silvano Chiaradonna; Felicita Di Giandomenico; J. Xu (J. Syst. Archit., 2002)

A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. - Stefano Porcarelli; Marco Castaldi; Felicita Di Giandomenico; Andrea Bondavalli; Paola Inverardi (WADS, 2003)

Service-Level Availability Estimation of GPRS. - Stefano Porcarelli; Felicita Di Giandomenico; Andrea Bondavalli; Massimo Barbera; Ivan Mura (IEEE Trans. Mob. Comput., 2003)

Model-based evaluation of a radio resource management system for wireless networks. - Stefano Porcarelli; Felicita Di Giandomenico; Andrea Bondavalli; Paolo Lollini (Conf. Computing Frontiers, 2004)

Fast Abstracts. - Felicita Di Giandomenico (DSN, 2004)

Architectural challenges for a dependable Information Society. - Luca Simoncini; Felicita Di Giandomenico; Andrea Bondavalli; Silvano Chiaradonna (IFIP Congress Topical Sessions, 2004)

A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems. - Stefano Porcarelli; Felicita Di Giandomenico; Paolo Lollini; Andrea Bondavalli (ISAS, 2004)

Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks. - Paolo Lollini; Andrea Bondavalli; Felicita Di Giandomenico; Stefano Porcarelli (ISCC, 2004)

Dependability modeling and evaluation of multiple-phased systems using DEEM. - Andrea Bondavalli; Silvano Chiaradonna; Felicita Di Giandomenico; Ivan Mura (IEEE Trans. Reliab., 2004)

Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures. - Paolo Lollini; Andrea Bondavalli; Felicita Di Giandomenico (ISAS, 2005)

Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. - Lorenzo Falai; Andrea Bondavalli; Felicita Di Giandomenico (LADC, 2005)

NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. - Lorenzo Falai; Andrea Bondavalli; Felicita Di Giandomenico (QEST, 2005)

A Modeling Methodology for Hierarchical Control System and its Aplication. - Paolo Lollini; Andrea Bondavalli; Felicita Di Giandomenico (J. Braz. Comput. Soc., 2005)

A hierarchical radio resource management framework for integrating WLANs in cellular networking environments. - George T. Karetsos; Sofoklis A. Kyriazakos; Evangelos Gkroustiotis; Felicita Di Giandomenico; Ivan Mura (IEEE Wirel. Commun., 2005)

Dependability Evaluation of Web Service-Based Processes. - László Gönczy; Silvano Chiaradonna; Felicita Di Giandomenico; András Pataricza; Andrea Bondavalli; Tamás Bartha (EPEW, 2006)

Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution. - Alessandro Daidone; Felicita Di Giandomenico; Andrea Bondavalli; Silvano Chiaradonna (SRDS, 2006)

On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems. - Silvano Chiaradonna; Paolo Lollini; Felicita Di Giandomenico (DSN, 2007)

Workshop on Architecting Dependable Systems (WADS 2007). - Rogério de Lemos; Felicita Di Giandomenico; Cristina Gacek (DSN, 2007)

Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies. - Francesco Romani; Silvano Chiaradonna; Felicita Di Giandomenico; Luca Simoncini (HASE, 2007)

Evaluation of Critical Infrastructures: Challenges and Viable Approaches. - Silvano Chiaradonna; Felicita Di Giandomenico; Paolo Lollini (WADS, 2007)

Interdependency Analysis in Electric Power Systems. - Silvano Chiaradonna; Felicita Di Giandomenico; Paolo Lollini (CRITIS, 2008)

Assessing the impact of interdependencies in electric power systems. - Silvano Chiaradonna; Felicita Di Giandomenico; Paolo Lollini (Int. J. Syst. Syst. Eng., 2009)

A Decomposition-Based Modeling Framework for Complex Systems. - Paolo Lollini; Andrea Bondavalli; Felicita Di Giandomenico (IEEE Trans. Reliab., 2009)

Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. - Paolo Masci 001; Silvano Chiaradonna; Felicita Di Giandomenico (EDCC, 2010)

Dependability Analysis and Verification for Connected Systems. - Felicita Di Giandomenico; Marta Z. Kwiatkowska; Marco Martinucci; Paolo Masci 001; Hongyang Qu 001 (ISoLA (2), 2010)

Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems. - Antinisca Di Marco; Antonia Bertolino; Felicita Di Giandomenico; Paolo Masci 001; Antonino Sabetta (WODA, 2010)

Modeling and analysis of the impact of failures in Electric Power Systems organized in interconnected regions. - Silvano Chiaradonna; Felicita Di Giandomenico; Nicola Nostro (DSN, 2011)

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. - Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Nicola Nostro; Paola Inverardi; Romina Spalazzese (ICSOFT (Selected Papers), 2011)

Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. - Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Marco Martinucci; Paolo Masci 001 (ISADS, 2011)

Towards Automated Dependability Analysis of Dynamically Connected Systems. - Paolo Masci 001; Marco Martinucci; Felicita Di Giandomenico (ISADS, 2011)

On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. - Paolo Masci 001; Nicola Nostro; Felicita Di Giandomenico (SERENE, 2011)

Dependability and Performance Assessment of Dynamic CONNECTed Systems. - Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Nicola Nostro (SFM, 2011)

An Intelligent Maintenance based on Machine Learning Approach for Wireless and Mobile Systems. - Amine Chohra; Felicita Di Giandomenico; Stefano Porcarelli; Andrea Bondavalli (WINSYS, 2011)

Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems. - Silvano Chiaradonna; Felicita Di Giandomenico; Paolo Lollini (Int. J. Crit. Infrastructure Prot., 2011)

Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities. - Alberto Avritzer; Felicita Di Giandomenico; Anne Remke; Martin Riedl 001 (Resilience Assessment and Evaluation of Computing Systems, 2012)

Case Study on Critical Infrastructures: Assessment of Electric Power Systems. - Silvano Chiaradonna; Felicita Di Giandomenico; Paolo Lollini (Resilience Assessment and Evaluation of Computing Systems, 2012)

Failure Diagnosis of Complex Systems. - Soila Kavulya; Kaustubh R. Joshi; Felicita Di Giandomenico; Priya Narasimhan (Resilience Assessment and Evaluation of Computing Systems, 2012)

Analysis of Electric Power Systems Accounting for Interdependencies in Heterogeneous Scenarios. - Silvano Chiaradonna; Felicita Di Giandomenico; Nicola Nostro (EDCC, 2012)

Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics. - Silvano Chiaradonna; Felicita Di Giandomenico; Nicola Nostro (SAFECOMP Workshops, 2012)

Critical Utility Infrastructural Resilience - Giovanna Dondossola; Geert Deconinck; Felicita Di Giandomenico; Susanna Donatelli; Mohamed Kaâniche; Paulo Veríssimo (CoRR, 2012)

Quantification of dependencies between electrical and information infrastructures. - Marco Beccuti; Silvano Chiaradonna; Felicita Di Giandomenico; Susanna Donatelli; Giovanna Dondossola; Giuliana Franceschinis (Int. J. Crit. Infrastructure Prot., 2012)

Verification and Analysis of Autonomic Systems for Networked Enterprises. - Antonia Bertolino; Guglielmo De Angelis; Felicita Di Giandomenico; Eda Marchetti; Antonino Sabetta; Paola Spoletini (ArtDeco, 2012)

Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. - Felicita Di Giandomenico; Alessandro Fantechi; Stefania Gnesi; Massimiliano Leone Itria (SERENE, 2013)

An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems. - Felicita Di Giandomenico; Antonia Bertolino; Antonello Calabrò; Nicola Nostro (Int. J. Adapt. Resilient Auton. Syst., 2013)

Stochastic assessment of power systems in presence of heterogeneity. - Silvano Chiaradonna; Felicita Di Giandomenico; Nicola Nostro (Int. J. Crit. Comput. Based Syst., 2013)

On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure. - Silvano Chiaradonna; Felicita Di Giandomenico; Nadir Murru (EDCC, 2014)

Power Grid Outlier Treatment through Kalman Filter. - Cesario Di Sarno; Alessia Garofalo; Gianfranco Cerullo; Nadir Murru; Felicita Di Giandomenico; Silvano Chiaradonna (ISSRE Workshops, 2014)

On Security Countermeasures Ranking through Threat Analysis. - Nicola Nostro; Ilaria Matteucci; Andrea Ceccarelli; Felicita Di Giandomenico; Fabio Martinelli; Andrea Bondavalli (SAFECOMP Workshops, 2014)

Automated synthesis of dependable mediators for heterogeneous interoperable systems. - Felicita Di Giandomenico; Massimiliano Leone Itria; Paolo Masci 001; Nicola Nostro (Reliab. Eng. Syst. Saf., 2014)

Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. - Davide Basile 001; Silvano Chiaradonna; Felicita Di Giandomenico; Stefania Gnesi; Franco Mazzanti (SERENE, 2015)

Quantification of the Effectiveness of Medium Voltage Control Policies in Smart Grids. - Silvano Chiaradonna; Felicita Di Giandomenico; Jun Xiao 009 (HASE, 2016)

Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. - Davide Basile 001; Felicita Di Giandomenico; Stefania Gnesi (ISoLA (2), 2016)

Analyzing the Impact of Failures in the Electric Power Distribution Grid. - Silvano Chiaradonna; Felicita Di Giandomenico; Giulio Masetti (LADC, 2016)

A multi-criteria ranking of security countermeasures. - Nicola Nostro; Ilaria Matteucci; Andrea Ceccarelli; Francesco Santini 001; Felicita Di Giandomenico; Fabio Martinelli; Andrea Bondavalli (SAC, 2016)

Improving voltage control in MV smart grids. - Jun Xiao 009; Silvano Chiaradonna; Felicita Di Giandomenico; Andy D. Pimentel (SmartGridComm, 2016)

Efficient non-anonymus composition operator for modeling complex dependable systems. - Silvano Chiaradonna; Felicita Di Giandomenico; Giulio Masetti (CoRR, 2016)

A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. - Davide Basile 001; Silvano Chiaradonna; Felicita Di Giandomenico; Stefania Gnesi (J. Rail Transp. Plan. Manag., 2016)

Achieving functional and non functional interoperability through synthesized connectors. - Nicola Nostro; Romina Spalazzese; Felicita Di Giandomenico; Paola Inverardi (J. Syst. Softw., 2016)

Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components. - Giulio Masetti; Silvano Chiaradonna; Felicita Di Giandomenico (EPEW, 2017)

A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components. - Giulio Masetti; Silvano Chiaradonna; Felicita Di Giandomenico (ISSRE, 2017)

Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. - Davide Basile 001; Felicita Di Giandomenico; Stefania Gnesi (MODELSWARD, 2017)

Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. - Davide Basile 001; Felicita Di Giandomenico; Stefania Gnesi (RSSRail, 2017)

Statistical model checking of an energy-saving cyber-physical system in the railway domain. - Davide Basile 001; Felicita Di Giandomenico; Stefania Gnesi (SAC, 2017)

A Refinement Approach to Analyse Critical Cyber-Physical Systems. - Davide Basile 001; Felicita Di Giandomenico; Stefania Gnesi (SEFM Workshops, 2017)

Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. - Davide Basile 001; Maurice H. ter Beek; Felicita Di Giandomenico; Stefania Gnesi (SPLC (B), 2017)

FMCAT: Supporting Dynamic Service-based Product Lines. - Davide Basile 001; Felicita Di Giandomenico; Stefania Gnesi (SPLC (B), 2017)

Specifying variability in service contracts. - Davide Basile 001; Felicita Di Giandomenico; Stefania Gnesi; Pierpaolo Degano; Gian-Luigi Ferrari 002 (VaMoS, 2017)

An Efficient Strategy for Model Composition in the Möbius Modeling Environment. - Giulio Masetti; Silvano Chiaradonna; Felicita Di Giandomenico; Brett Feddersen; William H. Sanders (EDCC, 2018)

Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations. - Giulio Masetti; Simone Dutto; Silvano Chiaradonna; Felicita Di Giandomenico (MODELSWARD, 2018)

A tour of secure software engineering solutions for connected vehicles. - Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Giuseppe Lami; Francesca Lonetti; Eda Marchetti; Fabio Martinelli; Ilaria Matteucci; Paolo Mori (Softw. Qual. J., 2018)

Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums. - Giulio Masetti; Leonardo Robol; Silvano Chiaradonna; Felicita Di Giandomenico (Petri Nets, 2019)

A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector. - Silvano Chiaradonna; Felicita Di Giandomenico; Giulio Masetti; Davide Basile 001 (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems. - Emilia Cioroaica; Felicita Di Giandomenico; Thomas Kuhn 001; Francesca Lonetti; Eda Marchetti; Jasmin Jahic; Frank Schnicke (ISSRE Workshops, 2019)

Smart Services for Railways. - Felicita Di Giandomenico; Stefania Gnesi; Giorgio Oronzo Spagnolo; Alessandro Fantechi (ERCIM News, 2019)

30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. - Davide Basile 001; Maurice H. ter Beek; Felicita Di Giandomenico; Alessandro Fantechi; Stefania Gnesi; Giorgio Oronzo Spagnolo (ISoLA (1), 2020)

Analyzing Forward Robustness of Feedforward Deep Neural Networks with LeakyReLU Activation Function Through Symbolic Propagation. - Giulio Masetti; Felicita Di Giandomenico (PKDD/ECML Workshops, 2020)

Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system. - Silvano Chiaradonna; Felicita Di Giandomenico; Giulio Masetti (PRDC, 2020)

Failure management strategies for IoT-based railways systems. - Francesca Righetti; Carlo Vallati; Giuseppe Anastasi; Giulio Masetti; Felicita Di Giandomenico (SMARTCOMP, 2020)

Controller synthesis of service contracts with variability. - Davide Basile 001; Maurice H. ter Beek; Pierpaolo Degano; Axel Legay; Gian-Luigi Ferrari 002; Stefania Gnesi; Felicita Di Giandomenico (Sci. Comput. Program., 2020)

Basic Aspects in Redundancy-Based Intrusion Tolerance. - Felicita Di Giandomenico; Giulio Masetti (CISIS-ICEUTE, 2021)

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. - Davide Basile 001; Maurice H. ter Beek; Pierpaolo Degano; Axel Legay; Gian-Luigi Ferrari 002; Stefania Gnesi; Felicita Di Giandomenico (FORTE, 2021)

Special issue on resilient software and software-controlled systems. - Radu Calinescu; Felicita Di Giandomenico (Computing, 2021)

On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems. - Silvano Chiaradonna; Felicita Di Giandomenico; Giulio Masetti (Perform. Evaluation, 2021)

Extending the Möbius Modeling Environment with the Advanced Replication Operator. - Giulio Masetti; Silvano Chiaradonna; Felicita Di Giandomenico; William H. Sanders; Brett Feddersen (SIGMETRICS Perform. Evaluation Rev., 2021)

Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies. - Silvano Chiaradonna; Giulio Masetti; Felicita Di Giandomenico; Francesca Righetti; Carlo Vallati (Sustain. Comput. Informatics Syst., 2021)

Solution Bundles of Markov Performability Models through Adaptive Cross Approximation. - Giulio Masetti; Leonardo Robol; Silvano Chiaradonna; Felicita Di Giandomenico (DSN, 2022)

Random Bad State Estimator to Address False Data Injection in Critical Infrastructures. - Giulio Masetti; Silvano Chiaradonna; Leonardo Robol; Felicita Di Giandomenico (PRDC, 2022)

Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods. - Felicita Di Giandomenico; Giulio Masetti; Silvano Chiaradonna (Int. J. Appl. Math. Comput. Sci., 2022)

TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States. - Giulio Masetti; Leonardo Robol; Silvano Chiaradonna; Felicita Di Giandomenico (SIGMETRICS Perform. Evaluation Rev., 2022)

Cross-coverage testing of functionally equivalent programs. - Antonia Bertolino; Guglielmo De Angelis; Felicita Di Giandomenico; Francesca Lonetti (AST, 2023)

Towards Effective Safety and Cybersecurity Co-engineering in Critical Domains. - Ievgen Babeshko; Oleg Illiashenko; Felicita Di Giandomenico (DESSERT, 2023)

Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. - Giulio Masetti; Felicita Di Giandomenico; Silvano Chiaradonna (RSSRail, 2023)

Safety and Cybersecurity Assessment Techniques for Critical Industries: A Mapping Study. - Ievgen Babeshko; Felicita Di Giandomenico (IEEE Access, 2023)

Implicit Reward Structures for Implicit Reliability Models. - Giulio Masetti; Leonardo Robol; Silvano Chiaradonna; Felicita Di Giandomenico (IEEE Trans. Reliab., 2023)

Security-Informed Safety Analysis of Autonomous Transport Systems Considering AI-Powered Cyberattacks and Protection. - Oleg Illiashenko; Vyacheslav Kharchenko; Ievgen Babeshko; Herman Fesenko; Felicita Di Giandomenico (Entropy, 2023)

Model-based security testing in IoT systems: A Rapid Review. - Francesca Lonetti; Antonia Bertolino; Felicita Di Giandomenico (Inf. Softw. Technol., 2023)

An Integrated Perspective on the Evaluation of Complex Railway Systems. - Davide Basile 001; Maurice H. ter Beek; Laura Carnevali; Silvano Chiaradonna; Felicita Di Giandomenico; Alessandro Fantechi; Gloria Gori (ISoLA (5), 2024)

A New Metric of Adaptivity for Self-adaptive Systems. - Giulio Masetti; Silvano Chiaradonna; Felicita Di Giandomenico (QUATIC, 2024)

Advanced Integrated Evaluation of Railway Systems . - Davide Basile 001; Maurice H. ter Beek; Felicita Di Giandomenico; Laura Carnevali; Alessandro Fantechi (ERCIM News, 2024)

Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review. - Laura Carnevali; Felicita Di Giandomenico; Alessandro Fantechi; Stefania Gnesi; Gloria Gori (IEEE Trans. Intell. Transp. Syst., 2025)