| 2026 | SAC | Back to the Future: Refurbishing Critical Software Engineering to Enable Trustworthy Classification. | Tommaso Zoppi, Muhammad Atif, Fahad Ahmed KhoKhar, Andrea Bondavalli |
| 2025 | DSN | A Model-based Approach for Cybersecurity Assessment of Off-Road and Defense Vehicles. | Umberto Bellini, Marzieh Kordi, Bruno Crispo, Paolo Lollini, Andrea Bondavalli, Davide Compar |
| 2025 | ICSA | System-Awareness: An Enabling Condition to Design and Deploy Anomaly Detectors. | Muhammad Atif, Tommaso Zoppi, Andrea Bondavalli |
| 2025 | QRS | Quantitative Comparison of System Architectures for an SAE Level 4 Highway Pilot. | Manuel Drago, Andrea Bondavalli, Paolo Lollini, Georg Niedrist, Moritz Antlanger |
| 2025 | SMC | Analyzing the 2015 Ukraine Power Grid Cyber-Attack: A Quantitative Assessment of Adversary Behavior and Impact | Marzieh Kordi, Syed Muhammad Fasih Ali, Paolo Lollini, Andrea Bondavalli |
| 2024 | PRDC | Deploying a Generic Threat Model for Detecting Anomalies in a Power Grid Digital Twin. | Tommaso Zoppi, Irene Bicchierai, Francesco Brancati, Andrea Bondavalli, Hans-Peter Schwefel |
| 2024 | PRDC | Fail-Controlled Classifiers: Do they Know when they don't Know? | Tommaso Zoppi, Fahad Ahmed KhoKhar, Andrea Ceccarelli, Leonardo Montecchi, Andrea Bondavalli |
| 2024 | SAFECOMP | Security Modeling Challenges and Research Directions Around the ADVISE Meta Framework. | Marzieh Kordi, Francesco Mariotti, Paolo Lollini, Andrea Bondavalli |
| 2024 | SAFECOMP | Position Paper - Bringing Classifiers into Critical Systems: Are We Barking up the Wrong Tree? | Tommaso Zoppi, Fahad Ahmed KhoKhar, Andrea Ceccarelli, Andrea Bondavalli |
| 2023 | ECAI | Ensembling Uncertainty Measures to Improve Safety of Black-Box Classifiers. | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2023 | QRS | Modeling of GPGPU architectures for performance analysis of CUDA programs. | Francesco Terrosi, Francesco Mariotti, Paolo Lollini, Andrea Bondavalli |
| 2023 | QRS | Anomaly Detectors for Self-Aware Edge and IoT Devices. | Tommaso Zoppi, Giovanni Merlino, Andrea Ceccarelli, Antonio Puliafito, Andrea Bondavalli |
| 2023 | SAC | Detection of Adversarial Attacks by Observing Deep Features with Structured Data Algorithms. | Tommaso Puccetti, Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli |
| 2023 | SAFECOMP | A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices. | Irene Bicchierai, Enrico Schiavone, Massimiliano Leone Itria, Andrea Bondavalli, Lorenzo Falai |
| 2022 | COMPSAC | Failure modes and failure mitigation in GPGPUs: a reference model and its application. | Francesco Terrosi, Andrea Ceccarelli, Andrea Bondavalli |
| 2022 | SAFECOMP | Impact of Machine Learning on Safety Monitors. | Francesco Terrosi, Lorenzo Strigini, Andrea Bondavalli |
| 2021 | PRDC | Detecting Intrusions by Voting Diverse Machine Learners: Is It Really Worth? | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2021 | SAC | Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition. | Muhammad Atif, Tommaso Zoppi, Mohamad Gharib, Andrea Bondavalli |
| 2021 | SAC | Understanding the properness of incorporating machine learning algorithms in safety-critical systems. | Mohamad Gharib, Tommaso Zoppi, Andrea Bondavalli |
| 2020 | DSN | Into the Unknown: Unsupervised Machine Learning Algorithms for Anomaly-Based Intrusion Detection. | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2020 | ENASE | Agility of Security Practices and Agile Process Models: An Evaluation of Cost for Incorporating Security in Agile Process Models. | H. Maria Maqsood, Andrea Bondavalli |
| 2020 | EuroPLop | Patterns for Development of Safety-Critical Systems with Agile: Trace Safety Requirements and Perform Automated Testing. | Hafiza Maria Maqsood, Eduardo Martins Guerra, Xiaofeng Wang, Andrea Bondavalli |
| 2019 | EDCC | On the Evaluation Measures for Machine Learning Algorithms for Safety-Critical Systems. | Mohamad Gharib, Andrea Bondavalli |
| 2019 | EDCC | Toward a Model-Based Approach for Analyzing Information Quality Requirements for Smart Grid. | Mohamad Gharib, Paolo Lollini, Andrea Bondavalli |
| 2019 | EDCC | Resilient Access to Heterogeneous Measurement Data for Grid Observability. | Nicola Nostro, Kamal Shahid, Andrea Bondavalli, Hans-Peter Schwefel |
| 2019 | ISSRE | Evaluation of Anomaly Detection Algorithms Made Easy with RELOAD. | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2019 | SAC | Quantitative comparison of unsupervised anomaly detection algorithms for intrusion detection. | Filipe Falco, Tommaso Zoppi, Caio Barbosa Viera Silva, Anderson Santos, Baldoino Fonseca, Andrea Ceccarelli, Andrea Bondavalli |
| 2019 | SAFECOMP | The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. | Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mand, Nicola Nostro, Luigi Rucher |
| 2019 | SERVICES | An Initial Investigation on Sliding Windows for Anomaly-Based Intrusion Detection. | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2018 | DSN | On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. | Mohamad Gharib, Paolo Lollini, Marco Botta, Elvio Gilberto Amparore, Susanna Donatelli, Andrea Bondavalli |
| 2018 | PRDC | On Algorithms Selection for Unsupervised Anomaly Detection. | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2018 | SRDS | A Requirements-Driven Methodology for the Proper Selection and Configuration of Blockchains. | Mirko Staderini, Enrico Schiavone, Andrea Bondavalli |
| 2017 | CRITIS | Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. | Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli |
| 2017 | SAC | Exploring anomaly detection in systems of systems. | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2016 | DSN | A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain. | Leonardo Montecchi, Atle Refsdal, Paolo Lollini, Andrea Bondavalli |
| 2016 | EDCC | Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes. | Riccardo Bernini, Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi |
| 2016 | SAC | A multi-criteria ranking of security countermeasures. | Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli |
| 2016 | SAFECOMP | Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures. | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2016 | SRDS | Continuous Authentication and Non-repudiation for the Security of Critical Systems. | Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli |
| 2016 | SRDS | Challenging Anomaly Detection in Complex Dynamic Systems. | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2015 | DSN | MB4CP 2015 Keynote I: Dependability Modeling and Analysis Methods Integrated in Model-Driven Industrial Architectural Frameworks. | Andrea Bondavalli |
| 2015 | DSN | Software Faults Emulation at Model-Level: Towards Automated Software FMEA. | Valentina Bonfiglio, Leonardo Montecchi, Ivano Irrera, Francesco Rossi, Paolo Lollini, Andrea Bondavalli |
| 2015 | DSN | Cost Prediction for V&V and Certification Processes. | Francesco Brancati, Andrs Pataricza, Nuno Silva, bel Hegeds, Lszl Gnczy, Andrea Bondavalli, Rosaria Esposito |
| 2015 | DSN | Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System. | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli |
| 2015 | ICA3PP | Continuous User Identity Verification for Trusted Operators in Control Rooms. | Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli |
| 2015 | SAFECOMP | A Multi-layer Anomaly Detector for Dynamic Service-Based Systems. | Andrea Ceccarelli, Tommaso Zoppi, Massimiliano Leone Itria, Andrea Bondavalli |
| 2014 | EDCC | A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models. | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli |
| 2014 | ISORC | A Testbed for Evaluating Anomaly Detection Monitors through Fault Injection. | Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli, Fabio Duchi, Giuseppe Vella |
| 2014 | ISSRE | Adding Security Concerns to Safety Critical Certification. | Nicola Nostro, Andrea Bondavalli, Nuno Silva |
| 2014 | SAFECOMP | Cost-Effective Testing for Critical Off-the-Shelf Services. | Fabio Duchi, Nuno Antunes, Andrea Ceccarelli, Giuseppe Vella, Francesco Rossi, Andrea Bondavalli |
| 2014 | SAFECOMP | On Security Countermeasures Ranking through Threat Analysis. | Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli |
| 2013 | ISORC | Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system. | Leonardo Montecchi, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli |
| 2013 | ISSRE | A monitoring and testing framework for critical off-the-shelf applications and services. | Nuno Antunes, Francesco Brancati, Andrea Ceccarelli, Andrea Bondavalli, Marco Vieira |
| 2013 | SAC | Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis. | Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Andrea Bondavalli, Roman Vitenberg, Hein Meling |
| 2013 | SAFECOMP | On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262. | Valentina Bonfiglio, Leonardo Montecchi, Francesco Rossi, Andrea Bondavalli |
| 2013 | SRDS | A methodology and supporting techniques for the quantitative assessment of insider threats. | Nicola Nostro, Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati |
| 2012 | EDCC | Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems. | Boris Malinowsky, Jesper Grnbk, Hans-Peter Schwefel, Andrea Ceccarelli, Andrea Bondavalli, Edgar Nett |
| 2012 | MSWIM | Model-based analysis of a protocol for reliable communication in railway worksites. | Leonardo Montecchi, Paolo Lollini, Boris Malinowsky, Jesper Grnbk, Andrea Bondavalli |
| 2012 | SAFECOMP | Quantitative Security Evaluation of a Multi-biometric Authentication System. | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli, Ernesto La Mattina |
| 2012 | SAFECOMP | A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace. | Magali Andreia Rossi, Jorge Rady de Almeida Jr., Andrea Bondavalli, Paolo Lollini |
| 2012 | SRDS | Improving Security of Internet Services through Continuous and Transparent User Identity Verification. | Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati, Ernesto La Mattina |
| 2011 | ICECCS | Towards a MDE Transformation Workflow for Dependability Analysis. | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli |
| 2011 | ISORC | A Service Discovery Approach for Testing Dynamic SOAs. | Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli |
| 2011 | ISORC | Dependability Concerns in Model-Driven Engineering. | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli |
| 2011 | SAFECOMP | A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. | Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli |
| 2011 | SRDS | Towards a Federated Simulation Approach for Reliability Evaluation of Unmanned Aircraft Vehicles within Aeronautical Communcations Networking. | Magali Andreia Rossi, Jorge Rady de Almeida Jnior, Andrea Bondavalli, Paolo Lollini |
| 2010 | ISORC | Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments. | Andrea Ceccarelli, Jesper Grnbk, Leonardo Montecchi, Hans-Peter Schwefel, Andrea Bondavalli |
| 2010 | NCA | Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations. | Jesper Grnbk, Hans-Peter Schwefel, Andrea Ceccarelli, Andrea Bondavalli |
| 2010 | SRDS | Experimental Validation of a Synchronization Uncertainty-Aware Software Clock. | Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Michele Vadursi |
| 2010 | SRDS | Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation. | Francesco Brancati, Andrea Bondavalli |
| 2009 | ICSE | Architecting and Validating Dependable Systems: Experiences and Visions. | Andrea Bondavalli, Andrea Ceccarelli, Paolo Lollini |
| 2009 | PRDC | Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection. | Andrea Ceccarelli, Andrea Bondavalli, Danilo Iovino |
| 2008 | DEPCoS | A Resilient SIL 2 Driver Machine Interface for Train Control Systems. | Andrea Ceccarelli, Istvn Majzik, Danilo Iovino, Fausto Caneschi, Gergely Pintr, Andrea Bondavalli |
| 2008 | DSN | International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). | Andrea Bondavalli, Istvn Majzik, Aad P. A. van Moorsel |
| 2008 | EDCC | How hard is Assessing and Measuring Resilience? Panel. | Andrea Bondavalli |
| 2008 | SAC | A framework for dependable QoS adaptation in probabilistic environments. | Antnio Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Verssimo |
| 2008 | SRDS | Assuring Resilient Time Synchronization. | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai |
| 2007 | DSN | Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi |
| 2007 | ISADS | Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems. | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi |
| 2007 | ICSE | Analysis of a Redundant Architecture for Critical Infrastructure Protection. | Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Verssimo |
| 2007 | ICSE | The CRUTIAL Architecture for Critical Information Infrastructures. | Paulo Verssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone |
| 2007 | PDP | A Self-Aware Clock for Pervasive Computing Systems. | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai |
| 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 |
| 2005 | DSN | Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network. | Lorenzo Falai, Andrea Bondavalli |
| 2004 | ISCC | Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks. | Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico, Stefano Porcarelli |
| 2004 | PRDC | A Freshness Detection Mechanism for Railway Applications. | Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini |
| 2003 | ICSE | A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. | Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi |
| 2002 | DSN | Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements. | Andrea Coccoli, Pter Urbn, Andrea Bondavalli |
| 2002 | ICSE | Stochastic Dependability Analysis of System Architecture Based on UML Models. | Istvn Majzik, Andrs Pataricza, Andrea Bondavalli |
| 2002 | ISCC | Analyzing quality of service of GPRS network systems from a user's perspective. | Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli |
| 2002 | SRDS | Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications. | Luigi Romano, Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo |
| 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 | DSN | DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. | Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini |
| 2000 | ISORC | A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing. | Andrea Bondavalli, Felicita Di Giandomenico |
| 2000 | ISORC | Design, Methods, and Tools for ORC. | Edgar Nett, Andrea Bondavalli, Bruce Powel Douglass, Carlos Eduardo Pereira, Douglas C. Schmidt, Bran Selic, Kelvin D. Nilsen |
| 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 |
| 1999 | EDCC | Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. | Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi |
| 1999 | ISORC | Automated Dependability Analysis of UML Designs. | Andrea Bondavalli, Ivan Mura, Istvn Majzik |
| 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 |
| 1996 | EDCC | Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. | Manuela Nelli, Andrea Bondavalli, Luca Simoncini |
| 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 | EDCC | On Performability Modeling and Evaluation of Software Fault Tolerant Structures. | Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini |
| 1994 | ICPADS | Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures. | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico |
| 1993 | ISADS | Functional paradigm for designing dependable large-scale parallel computing systems. | Andrea Bondavalli, Luca Simoncini |
| 1993 | SAFECOMP | Data Flow Control Systems: an Example of Safety Validation. | Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli |
| 1992 | SRDS | Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. | Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini |
| 1991 | INFOCOM | DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs. | Andrea Bondavalli, Lorenzo Strigini |