| 2024 | ISoLA | An Integrated Perspective on the Evaluation of Complex Railway Systems. | Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori |
| 2024 | QUATIC | A New Metric of Adaptivity for Self-adaptive Systems. | Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico |
| 2023 | AST | Cross-coverage testing of functionally equivalent programs. | Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti |
| 2022 | DSN | Solution Bundles of Markov Performability Models through Adaptive Cross Approximation. | Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico |
| 2022 | PRDC | Random Bad State Estimator to Address False Data Injection in Critical Infrastructures. | Giulio Masetti, Silvano Chiaradonna, Leonardo Robol, Felicita Di Giandomenico |
| 2021 | FORTE | Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. | Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico |
| 2020 | ISoLA | 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Mbius and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo |
| 2020 | PRDC | Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system. | Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti |
| 2020 | SmartComp | Failure management strategies for IoT-based railways systems. | Francesca Righetti, Carlo Vallati, Giuseppe Anastasi, Giulio Masetti, Felicita Di Giandomenico |
| 2019 | ISSRE | Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems. | Emilia Cioroaica, Felicita Di Giandomenico, Thomas Kuhn, Francesca Lonetti, Eda Marchetti, Jasmin Jahic, Frank Schnicke |
| 2018 | EDCC | An Efficient Strategy for Model Composition in the Mbius Modeling Environment. | Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders |
| 2018 | MODELSWARD | Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations. | Giulio Masetti, Simone Dutto, Silvano Chiaradonna, Felicita Di Giandomenico |
| 2017 | ISSRE | A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components. | Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico |
| 2017 | MODELSWARD | Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | SAC | Statistical model checking of an energy-saving cyber-physical system in the railway domain. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | SEFM | A Refinement Approach to Analyse Critical Cyber-Physical Systems. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | SPLC | Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. | Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | SPLC | FMCAT: Supporting Dynamic Service-based Product Lines. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2016 | ISoLA | Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2016 | SAC | A multi-criteria ranking of security countermeasures. | Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli |
| 2014 | EDCC | On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure. | Silvano Chiaradonna, Felicita Di Giandomenico, Nadir Murru |
| 2014 | ISSRE | Power Grid Outlier Treatment through Kalman Filter. | Cesario Di Sarno, Alessia Garofalo, Gianfranco Cerullo, Nadir Murru, Felicita Di Giandomenico, Silvano Chiaradonna |
| 2014 | SAFECOMP | On Security Countermeasures Ranking through Threat Analysis. | Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli |
| 2012 | EDCC | Analysis of Electric Power Systems Accounting for Interdependencies in Heterogeneous Scenarios. | Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro |
| 2012 | SAFECOMP | Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics. | Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro |
| 2011 | DSN | Modeling and analysis of the impact of failures in Electric Power Systems organized in interconnected regions. | Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro |
| 2011 | ISADS | Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. | Antonia Bertolino, Antonello Calabr, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci |
| 2011 | ISADS | Towards Automated Dependability Analysis of Dynamically Connected Systems. | Paolo Masci, Marco Martinucci, Felicita Di Giandomenico |
| 2011 | ICSoft | On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. | Antonia Bertolino, Antonello Calabr, Felicita Di Giandomenico, Nicola Nostro, Paola Inverardi, Romina Spalazzese |
| 2010 | EDCC | Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. | Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico |
| 2010 | ISoLA | Dependability Analysis and Verification for Connected Systems. | Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu |
| 2010 | ISSTA | Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems. | Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta |
| 2008 | CRITIS | Interdependency Analysis in Electric Power Systems. | Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini |
| 2007 | DSN | On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems. | Silvano Chiaradonna, Paolo Lollini, Felicita Di Giandomenico |
| 2007 | DSN | Workshop on Architecting Dependable Systems (WADS 2007). | Rogrio de Lemos, Felicita Di Giandomenico, Cristina Gacek |
| 2007 | ICSE | Evaluation of Critical Infrastructures: Challenges and Viable Approaches. | Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini |
| 2006 | SRDS | 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 |
| 2004 | DSN | Fast Abstracts. | Felicita Di Giandomenico |
| 2004 | ISCC | Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks. | Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico, Stefano Porcarelli |
| 2003 | ICSE | A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. | Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi |
| 2002 | EDCC | On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations. | Stefano Porcarelli, Felicita Di Giandomenico |
| 2002 | ISCC | Analyzing quality of service of GPRS network systems from a user's perspective. | Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli |
| 2001 | DSN | Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems. | F. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli |
| 2001 | ISORC | Analysis and Estimation of the Quality of Service of Group Communication Protocols. | Andrea Coccoli, Andrea Bondavalli, Felicita Di Giandomenico |
| 2001 | SAFECOMP | Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. | Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli |
| 2000 | ISORC | A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing. | Andrea Bondavalli, Felicita Di Giandomenico |
| 2000 | ISORC | Scheduling Solutions for Supporting Dependable Real-Time Applications. | F. Sandrini, Felicita Di Giandomenico, Andrea Bondavalli, Edgar Nett |
| 2000 | PDPTA | Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems. | Felicita Di Giandomenico, Silvano Chiaradonna, Andrea Bondavalli, Fabrizio Grandoni |
| 1998 | ISORC | State Restoration in a COTS-Based N-Modular Architecture. | Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabjac |
| 1996 | ECRTS | Planning the Execution of Task Groups in Real-Time Systems. | Paolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico, Fabio Tarini |
| 1995 | SAFECOMP | Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation. | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, S. La Torre |
| 1994 | ICPADS | Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures. | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico |
| 1991 | SRDS | Flexible Schemes for Application-Level Fault Tolerance. | Lorenzo Strigini, Felicita Di Giandomenico |
| 1990 | SRDS | Adjudicators for Diverse-Redundant Components. | Felicita Di Giandomenico, Lorenzo Strigini |
| 1987 | SRDS | A Gracefully Degradable Algorithm for Byzantine Agreement. | Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini |