Shared Abstract Data Types: An Algebraic Methodology for Their Specification. - Andrea Bondavalli; Nicoletta De Francesco; Diego Latella; Gigliola Vaglini (MFDBS, 1989)

MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols. - Andrea Bondavalli; Marco Conti; Enrico Gregori; Luciano Lenzini; Lorenzo Strigini (Comput. Networks ISDN Syst., 1989)

A Performable BSM Architecture. - Andrea Bondavalli; M. Mannocci; Fabio Tarini; Paolo Zini; L. Nardone; Luca Simoncini (Fault-Tolerant Computing Systems, 1991)

DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs. - Andrea Bondavalli; Lorenzo Strigini (INFOCOM, 1991)

The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm. - Andrea Bondavalli; Luca Simoncini; Cinzia Bernardeschi (NATO ASI RTC, 1992)

Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. - Andrea Bondavalli; Lorenzo Strigini; Luca Simoncini (SRDS, 1992)

Destination Stripping Dual Ring: A New Protocol for MANs. - Andrea Bondavalli; Lorenzo Strigini; Matteo Sereno (Comput. Networks ISDN Syst., 1992)

Functional paradigm for designing dependable large-scale parallel computing systems. - Andrea Bondavalli; Luca Simoncini (ISADS, 1993)

From Data Flow Networks to Process Algebras. - Cinzia Bernardeschi; Andrea Bondavalli; Luca Simoncini (PARLE, 1993)

Data Flow Control Systems: an Example of Safety Validation. - Cinzia Bernardeschi; Luca Simoncini; Andrea Bondavalli (SAFECOMP, 1993)

On Performability Modeling and Evaluation of Software Fault Tolerant Structures. - Silvano Chiaradonna; Andrea Bondavalli; Lorenzo Strigini (EDCC, 1994)

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

Adaptable Fault Tolerance for Real-Time Systems. - Andrea Bondavalli; John A. Stankovic; Lorenzo Strigini (Responsive Computer Systems, 1995)

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)

Using Process Algebras for the Semantic Analysis of Data Flow Networks. - Cinzia Bernardeschi; Andrea Bondavalli; Luca Simoncini (IEICE Trans. Inf. Syst., 1995)

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

Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. - Manuela Nelli; Andrea Bondavalli; Luca Simoncini (EDCC, 1996)

Reachability and Timing Analysis in Data Flow Networks: A Case Study. - B. Antal; György Csertán; István Majzik; Andrea Bondavalli; Luca Simoncini (EUROMICRO, 1996)

Adaptive software fault tolerance policies with dynamic real-time guarantees. - Edgar Nett; H. Streich; Paolo Bizzarri; Andrea Bondavalli; Fabio Tarini (WORDS, 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)

Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. - Andrea Bondavalli; Ivan Mura; Manuela Nelli (HASE, 1997)

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

A New Heuristic to Discriminate between Transient and Intermittent Faults. - Fabrizio Grandoni 002; Andrea Bondavalli; Silvano Chiaradonna (HASE, 1998)

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)

Temporal analysis of data flow control systems. - Cinzia Bernardeschi; Andrea Bondavalli; György Csertán; István Majzik; Luca Simoncini (Autom., 1998)

Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. - Andrea Bondavalli; Ivan Mura; Kishor S. Trivedi (EDCC, 1999)

Automatic Dependability Analysis for Supporting Design Decisions in UML. - Andrea Bondavalli; Ivan Mura; István Majzik (HASE, 1999)

Automated Dependability Analysis of UML Designs. - Andrea Bondavalli; Ivan Mura; István Majzik (ISORC, 1999)

High-level Integrated Design Environment for dependability (HIDE). - Andrea Bondavalli; Mario Dal Cin; Diego Latella; András Pataricza (WORDS (Fall), 1999)

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)

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. - David Powell; Jean Arlat; Ljerka Beus-Dukic; Andrea Bondavalli; P. Coppola; Alessandro Fantechi; Eric Jenn; Christophe Rabéjac; Andy J. Wellings (IEEE Trans. Parallel Distributed Syst., 1999)

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 (DSN, 2000)

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)

Design, Methods, and Tools for ORC. - Edgar Nett; Andrea Bondavalli; Bruce Powel Douglass; Carlos Eduardo Pereira; Douglas C. Schmidt; Bran Selic; Kelvin D. Nilsen (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)

Dependability analysis in the early phases of UML-based system design. - Andrea Bondavalli; Mario Dal Cin; Diego Latella; István Majzik; András Pataricza; Giancarlo Savoia (Comput. Syst. Sci. Eng., 2001)

Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. - Andrea Bondavalli; Manuela Nelli; Luca Simoncini; Giorgio Mongardi (Comput. Syst. Sci. Eng., 2001)

Design Validation of Embedded Dependable Systems. - Andrea Bondavalli; Alessandro Fantechi; Diego Latella; Luca Simoncini (IEEE Micro, 2001)

Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability. - Ivan Mura; Andrea Bondavalli (IEEE Trans. Computers, 2001)

Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements. - Andrea Coccoli; Péter Urbán; Andrea Bondavalli (DSN, 2002)

Stochastic Dependability Analysis of System Architecture Based on UML Models. - István Majzik; András Pataricza; Andrea Bondavalli (WADS, 2002)

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

Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications. - Luigi Romano; Andrea Bondavalli; Silvano Chiaradonna; Domenico Cotroneo (SRDS, 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)

A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation. - Andrea Bondavalli; Silvano Chiaradonna; Domenico Cotroneo; Luigi Romano (LADC, 2003)

Analysis of Safety Related Architectures. - Andrea Coccoli; Andrea Bondavalli (WORDS Fall, 2003)

Guest Editorial: Special Issue on Reliable Distributed Systems. - Shambhu J. Upadhyaya; Andrea Bondavalli (IEEE Trans. Computers, 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)

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)

A Freshness Detection Mechanism for Railway Applications. - Andrea Bondavalli; Enrico De Giudici; Stefano Porcarelli; Salvatore Sabina; Fabrizio Zanini (PRDC, 2004)

Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach. - Andrea Bondavalli; Roberto Filippini (Comput. J., 2004)

Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications. - Andrea Bondavalli; Silvano Chiaradonna; Domenico Cotroneo; Luigi Romano (IEEE Trans. Dependable Secur. Comput., 2004)

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

Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network. - Lorenzo Falai; Andrea Bondavalli (DSN, 2005)

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)

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)

Integration of an MPS Modeling Approach into Mobius. - Andrea Bondavalli; Silvano Chiaradonna; Paolo Lollini; Fabrizio Squittieri (QEST, 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)

Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia. - Jean Arlat; Andrea Bondavalli; Boudewijn R. Haverkort; Paulo Veríssimo (IEEE Trans. Dependable Secur. Comput., 2006)

Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai; Michele Vadursi (DSN, 2007)

Analysis of a Redundant Architecture for Critical Infrastructure Protection. - Alessandro Daidone; Silvano Chiaradonna; Andrea Bondavalli; Paulo Veríssimo (WADS, 2007)

The CRUTIAL Architecture for Critical Information Infrastructures. - Paulo Veríssimo; Nuno Ferreira Neves; Miguel Correia 001; Yves Deswarte; Anas Abou El Kalam; Andrea Bondavalli; Alessandro Daidone (WADS, 2007)

Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai; Michele Vadursi (ISADS, 2007)

A Self-Aware Clock for Pervasive Computing Systems. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai (PDP, 2007)

Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters. - Marco Serafini; Andrea Bondavalli; Neeraj Suri (IEEE Trans. Dependable Secur. Comput., 2007)

A Resilient SIL 2 Driver Machine Interface for Train Control Systems. - Andrea Ceccarelli; István Majzik; Danilo Iovino; Fausto Caneschi; Gergely Pintér; Andrea Bondavalli (DepCoS-RELCOMEX, 2008)

International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). - Andrea Bondavalli; István Majzik; Aad P. A. van Moorsel (DSN, 2008)

How hard is Assessing and Measuring Resilience? Panel. - Andrea Bondavalli (EDCC, 2008)

A framework for dependable QoS adaptation in probabilistic environments. - António Casimiro; Paolo Lollini; Monica Dixit; Andrea Bondavalli; Paulo Veríssimo (SAC, 2008)

An integrated framework for the dependability evaluation of distributed mobile applications. - Máté Kovács; Paolo Lollini; István Majzik; Andrea Bondavalli (SERENE, 2008)

Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults. - Andrea Bondavalli; Paolo Lollini; Leonardo Montecchi (SEUS, 2008)

Assuring Resilient Time Synchronization. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai (SRDS, 2008)

Architecting and Validating Dependable Systems: Experiences and Visions. - Andrea Bondavalli; Andrea Ceccarelli; Paolo Lollini (WADS, 2009)

Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection. - Andrea Ceccarelli; Andrea Bondavalli; Danilo Iovino (PRDC, 2009)

An Experimental Framework for the Analysis and Validation of Software Clocks. - Andrea Bondavalli; Francesco Brancati; Andrea Ceccarelli; Lorenzo Falai (SEUS, 2009)

QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis. - Andrea Bondavalli; Paolo Lollini; Leonardo Montecchi (J. Softw., 2009)

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

AMBER Roadmap: Ongoing Research Directions. - Andrea Bondavalli; Paolo Lollini; Michele Vadursi (ICDCS Workshops, 2010)

Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments. - Andrea Ceccarelli; Jesper Grønbæk; Leonardo Montecchi; Hans-Peter Schwefel; Andrea Bondavalli (ISORC Workshops, 2010)

Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations. - Jesper Grønbæk; Hans-Peter Schwefel; Andrea Ceccarelli; Andrea Bondavalli (NCA, 2010)

Experimental Validation of a Synchronization Uncertainty-Aware Software Clock. - Andrea Bondavalli; Francesco Brancati; Andrea Ceccarelli; Michele Vadursi (SRDS, 2010)

Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation. - Francesco Brancati; Andrea Bondavalli (SRDS, 2010)

Available and safe message freshness detection algorithm. - Andrea Bondavalli; Lorenzo Falai; Stefano Porcarelli; Salvatore Sabina; Fabrizio Zanini (Int. J. Crit. Comput. Based Syst., 2010)

A New Approach and a Related Tool for Dependability Measurements on Distributed Systems. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai; Michele Vadursi (IEEE Trans. Instrum. Meas., 2010)

An event correlation approach for fault diagnosis in SCADA infrastructures. - Massimo Ficco; Alessandro Daidone; Luigi Coppolino; Luigi Romano; Andrea Bondavalli (EWDC, 2011)

A Testing Service for Lifelong Validation of Dynamic SOA. - Andrea Ceccarelli; Marco Vieira; Andrea Bondavalli (HASE, 2011)

Towards a MDE Transformation Workflow for Dependability Analysis. - Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (ICECCS, 2011)

A Service Discovery Approach for Testing Dynamic SOAs. - Andrea Ceccarelli; Marco Vieira; Andrea Bondavalli (ISORC Workshops, 2011)

Dependability Concerns in Model-Driven Engineering. - Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (ISORC Workshops, 2011)

A Reliable and Self-Aware Clock for reference time failure detection in internal synchronization environment. - Andrea Bondavalli; Francesco Brancati; Alessandra Flammini; Stefano Rinaldi (M&N, 2011)

Localization errors of low-cost GPS devices in railway worksite-like scenarios. - Andrea Bondavalli; Andrea Ceccarelli; Florjan Gogaj; Andrea Seminatore; Michele Vadursi (M&N, 2011)

Towards identifying OS-level anomalies to detect application software failures. - Antonio Bovenzi; Stefano Russo 001; Francesco Brancati; Andrea Bondavalli (M&N, 2011)

RACME: A Framework to Support V&V and Certification. - Andrea Ceccarelli; Lorenzo Vinerbi; Lorenzo Falai; Andrea Bondavalli (LADC, 2011)

A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. - Antonio Bovenzi; Francesco Brancati; Stefano Russo 001; Andrea Bondavalli (SAFECOMP, 2011)

Towards a Federated Simulation Approach for Reliability Evaluation of Unmanned Aircraft Vehicles within Aeronautical Communcations Networking. - Magali Andreia Rossi; Jorge Rady de Almeida Júnior; Andrea Bondavalli; Paolo Lollini (SRDS Workshops, 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)

The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. - Andrea Bondavalli; Ossama Hamouda; Mohamed Kaâniche; Paolo Lollini; István Majzik; Hans-Peter Schwefel (IEEE Trans. Mob. Comput., 2011)

Foundations of Metrology in the Observation of Critical Systems. - Andrea Bondavalli; Andrea Ceccarelli; Lorenzo Falai; Michele Vadursi (Resilience Assessment and Evaluation of Computing Systems, 2012)

Modelling and Model-Based Assessment. - Andrea Bondavalli; Paolo Lollini; István Majzik; Leonardo Montecchi (Resilience Assessment and Evaluation of Computing Systems, 2012)

Future of Resilience Assessment: The AMBER Research Roadmap. - Andrea Bondavalli; Henrique Madeira; Paolo Lollini (Resilience Assessment and Evaluation of Computing Systems, 2012)

Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems. - Boris Malinowsky; Jesper Grønbæk; Hans-Peter Schwefel; Andrea Ceccarelli; Andrea Bondavalli; Edgar Nett (EDCC, 2012)

Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System. - Andrea Ceccarelli; Andrea Bondavalli; João Figueiras; Boris Malinowsky; Jurij Wakula; Francesco Brancati; Carlo Dambra; Andrea Seminatore (HASE, 2012)

Model-based analysis of a protocol for reliable communication in railway worksites. - Leonardo Montecchi; Paolo Lollini; Boris Malinowsky; Jesper Grønbæk; Andrea Bondavalli (MSWiM, 2012)

Quantitative Security Evaluation of a Multi-biometric Authentication System. - Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli; Ernesto La Mattina (SAFECOMP Workshops, 2012)

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 (SAFECOMP Workshops, 2012)

Improving Security of Internet Services through Continuous and Transparent User Identity Verification. - Andrea Ceccarelli; Andrea Bondavalli; Francesco Brancati; Ernesto La Mattina (SRDS, 2012)

Modeling the resilience of large and evolving systems - Mohamed Kaâniche; Paolo Lollini; Andrea Bondavalli; Karama Kanoun (CoRR, 2012)

A hidden Markov model based intrusion detection system for wireless sensor networks. - Luigi Coppolino; Luigi Romano; Andrea Bondavalli; Alessandro Daidone (Int. J. Crit. Comput. Based Syst., 2012)

Adaptare: Supporting automatic and dependable adaptation in dynamic environments. - Monica Dixit; António Casimiro; Paolo Lollini; Andrea Bondavalli; Paulo Veríssimo (ACM Trans. Auton. Adapt. Syst., 2012)

Experimental Characterization of Uncertainty Sources in a Software-Only Synchronization System. - Paolo Ferrari; Alessandra Flammini; Stefano Rinaldi; Andrea Bondavalli; Francesco Brancati (IEEE Trans. Instrum. Meas., 2012)

Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system. - Leonardo Montecchi; Andrea Ceccarelli; Paolo Lollini; Andrea Bondavalli (ISORC, 2013)

A monitoring and testing framework for critical off-the-shelf applications and services. - Nuno Antunes; Francesco Brancati; Andrea Ceccarelli; Andrea Bondavalli; Marco Vieira (ISSRE (Supplemental Proceedings), 2013)

Experimental analysis of the first order time difference of indicators used in the monitoring of complex systems. - Andrea Bondavalli; Francesco Brancati; Andrea Ceccarelli; Diego Santoro; Michele Vadursi (M&N, 2013)

Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites. - João Figueiras; Jesper Grønbæk; Hans-Peter Schwefel; Andrea Bondavalli (LADC, 2013)

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 (SAC, 2013)

On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262. - Valentina Bonfiglio; Leonardo Montecchi; Francesco Rossi; Andrea Bondavalli (CARS@SAFECOMP, 2013)

A methodology and supporting techniques for the quantitative assessment of insider threats. - Nicola Nostro; Andrea Ceccarelli; Andrea Bondavalli; Francesco Brancati (DISCCO@SRDS, 2013)

A reusable modular toolchain for automated dependability evaluation. - Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (VALUETOOLS, 2013)

Resilient estimation of synchronisation uncertainty through software clocks. - Andrea Bondavalli; Francesco Brancati; Andrea Ceccarelli; Lorenzo Falai; Michele Vadursi (Int. J. Crit. Comput. Based Syst., 2013)

Optimal configuration of fault-tolerance parameters for distributed replicated server access. - Alessandro Daidone; Thibault Renier; Andrea Bondavalli; Hans-Peter Schwefel (Int. J. Crit. Comput. Based Syst., 2013)

Master Failure Detection Protocol in Internal Synchronization Environment. - Andrea Bondavalli; Francesco Brancati; Alessandra Flammini; Stefano Rinaldi (IEEE Trans. Instrum. Meas., 2013)

A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models. - Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (EDCC, 2014)

A Testbed for Evaluating Anomaly Detection Monitors through Fault Injection. - Andrea Ceccarelli; Tommaso Zoppi; Andrea Bondavalli; Fabio Duchi; Giuseppe Vella (ISORC, 2014)

Adding Security Concerns to Safety Critical Certification. - Nicola Nostro; Andrea Bondavalli; Nuno Silva (ISSRE Workshops, 2014)

Cost-Effective Testing for Critical Off-the-Shelf Services. - Fabio Duchi; Nuno Antunes; Andrea Ceccarelli; Giuseppe Vella; Francesco Rossi; Andrea Bondavalli (SAFECOMP 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)

Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities. - Leonardo Aniello; Andrea Bondavalli; Andrea Ceccarelli; Claudio Ciccotelli; Marcello Cinque; Flavio Frattini; Antonella Guzzo; Antonio Pecchia; Andrea Pugliese 001; Leonardo Querzoni; Stefano Russo 001 (CoRR, 2014)

Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform. - Leonardo Montecchi; Nicola Nostro; Andrea Ceccarelli; Giuseppe Vella; Antonio Caruso 002; Andrea Bondavalli (PASM, 2014)

Insider Threat Assessment: a Model-Based Methodology. - Nicola Nostro; Andrea Ceccarelli; Andrea Bondavalli; Francesco Brancati (ACM SIGOPS Oper. Syst. Rev., 2014)

Towards a UML Profile for Privacy-Aware Applications. - Tânia Basso; Leonardo Montecchi; Regina Moraes; Mário Jino; Andrea Bondavalli (CIT/IUCC/DASC/PICom, 2015)

MB4CP 2015 Keynote I: Dependability Modeling and Analysis Methods Integrated in Model-Driven Industrial Architectural Frameworks. - Andrea Bondavalli (DSN Workshops, 2015)

Software Faults Emulation at Model-Level: Towards Automated Software FMEA. - Valentina Bonfiglio; Leonardo Montecchi; Ivano Irrera; Francesco Rossi; Paolo Lollini; Andrea Bondavalli (DSN Workshops, 2015)

Cost Prediction for V&V and Certification Processes. - Francesco Brancati; András Pataricza; Nuno Silva; Ábel Hegedüs; László Gönczy; Andrea Bondavalli; Rosaria Esposito (DSN Workshops, 2015)

Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System. - Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (DSN Workshops, 2015)

Executable Models to Support Automated Software FMEA. - Valentina Bonfiglio; Leonardo Montecchi; Francesco Rossi; Paolo Lollini; András Pataricza; Andrea Bondavalli (HASE, 2015)

Introducing Meta-Requirements for Describing System of Systems. - Andrea Ceccarelli; Marco Mori; Paolo Lollini; Andrea Bondavalli (HASE, 2015)

Continuous User Identity Verification for Trusted Operators in Control Rooms. - Enrico Schiavone; Andrea Ceccarelli; Andrea Bondavalli (ICA3PP (Workshops and Symposiums), 2015)

A Multi-layer Anomaly Detector for Dynamic Service-Based Systems. - Andrea Ceccarelli; Tommaso Zoppi; Massimiliano Leone Itria; Andrea Bondavalli (SAFECOMP, 2015)

Towards an understanding of emergence in systems-of-systems. - Hermann Kopetz; Oliver Höftberger; Bernhard Frömel; Francesco Brancati; Andrea Bondavalli (SoSE, 2015)

On trustworthy measurements when testing dependable systems: a discussion and experiences. - Andrea Ceccarelli; Andrea Bondavalli (Int. J. Crit. Comput. Based Syst., 2015)

An OS-level Framework for Anomaly Detection in Complex Software Systems. - Antonio Bovenzi; Francesco Brancati; Stefano Russo 001; Andrea Bondavalli (IEEE Trans. Dependable Secur. Comput., 2015)

Continuous and Transparent User Identity Verification for Secure Internet Services. - Andrea Ceccarelli; Leonardo Montecchi; Francesco Brancati; Paolo Lollini; Angelo Marguglio; Andrea Bondavalli (IEEE Trans. Dependable Secur. Comput., 2015)

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain. - Leonardo Montecchi; Atle Refsdal; Paolo Lollini; Andrea Bondavalli (DSN, 2016)

Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes. - Riccardo Bernini; Andrea Bondavalli; Paolo Lollini; Leonardo Montecchi (EDCC, 2016)

On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study. - Jane Dirce A. Sandim Eleuterio; Felipe Nunes Gaia; Andrea Bondavalli; Paolo Lollini; Genaína Nunes Rodrigues; Cecília Mary Fischer Rubira (SEAA, 2016)

A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems. - Marco Mori; Andrea Ceccarelli; Paolo Lollini; Andrea Bondavalli; Bernhard Frömel (HASE, 2016)

Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy. - Tommaso Zoppi; Andrea Ceccarelli; Paolo Lollini; Andrea Bondavalli; Francesco Lo Piccolo; Gabriele Giunta; Vito Morreale (HASE, 2016)

Usability Assessment in a Multi-Biometric Continuous Authentication System. - Enrico Schiavone; Andrea Ceccarelli; Andrea Bondavalli; Ariadne Maria Brito Rizzoni Carvalho (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)

Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (SAFECOMP, 2016)

Continuous Authentication and Non-repudiation for the Security of Critical Systems. - Enrico Schiavone; Andrea Ceccarelli; Andrea Bondavalli (SRDS, 2016)

Challenging Anomaly Detection in Complex Dynamic Systems. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (SRDS, 2016)

On the impact of emergent properties on SoS security. - Marco Mori; Andrea Ceccarelli; Tommaso Zoppi; Andrea Bondavalli (SoSE, 2016)

Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera. - Narasimha Raghavan Veeraragavan; Leonardo Montecchi; Nicola Nostro; Roman Vitenberg; Hein Meling; Andrea Bondavalli (IEEE Trans. Parallel Distributed Syst., 2016)

Basic Concepts on Systems of Systems. - Andrea Ceccarelli; Andrea Bondavalli; Bernhard Frömel; Oliver Höftberger; Hermann Kopetz (Cyber-Physical Systems of Systems, 2016)

Emergence in Cyber-Physical Systems-of-Systems (CPSoSs). - Hermann Kopetz; Andrea Bondavalli; Francesco Brancati; Bernhard Frömel; Oliver Höftberger; Sorin M. Iacob (Cyber-Physical Systems of Systems, 2016)

Continuous Biometric Verification for Non-Repudiation of Remote Services. - Enrico Schiavone; Andrea Ceccarelli; Andrea Bondavalli (ARES, 2017)

Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. - Mohamad Gharib; Paolo Lollini; Andrea Ceccarelli; Andrea Bondavalli (CRITIS, 2017)

Risk Assessment of a Biometric Continuous Authentication Protocol for Internet Services. - Enrico Schiavone; Andrea Ceccarelli; Andrea Bondavalli (ITASEC, 2017)

Exploring anomaly detection in systems of systems. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (SAC, 2017)

A conceptual model for analyzing information quality in System-of-Systems. - Mohamad Gharib; Paolo Lollini; Andrea Bondavalli (SoSE, 2017)

Towards an approach for analyzing trust in Cyber-Physical-Social Systems. - Mohamad Gharib; Paolo Lollini; Andrea Bondavalli (SoSE, 2017)

Identification of critical situations via Event Processing and Event Trust Analysis. - Massimiliano Leone Itria; Melinda Kocsis-Magyar; Andrea Ceccarelli; Paolo Lollini; Gabriele Giunta; Andrea Bondavalli (Knowl. Inf. Syst., 2017)

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 (DSN Workshops, 2018)

Risk Assessment of Blockchain Technology. - Giacomo Morganti; Enrico Schiavone; Andrea Bondavalli (LADC, 2018)

On Algorithms Selection for Unsupervised Anomaly Detection. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (PRDC, 2018)

A Requirements-Driven Methodology for the Proper Selection and Configuration of Blockchains. - Mirko Staderini; Enrico Schiavone; Andrea Bondavalli (SRDS, 2018)

System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions. - Andrea Bondavalli; Andrea Ceccarelli; Paolo Lollini; Leonardo Montecchi; Marco Mori (IEEE Syst. J., 2018)

Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile. - Marco Mori; Andrea Ceccarelli; Paolo Lollini; Bernhard Frömel; Francesco Brancati; Andrea Bondavalli (J. Softw. Evol. Process., 2018)

Labelling relevant events to support the crisis management operator. - Tommaso Zoppi; Andrea Ceccarelli; Francesco Lo Piccolo; Paolo Lollini; Gabriele Giunta; Vito Morreale; Andrea Bondavalli (J. Softw. Evol. Process., 2018)

PrivAPP: An integrated approach for the design of privacy-aware applications. - Tânia Basso; Leonardo Montecchi; Regina Moraes; Mário Jino; Andrea Bondavalli (Softw. Pract. Exp., 2018)

On the Evaluation Measures for Machine Learning Algorithms for Safety-Critical Systems. - Mohamad Gharib; Andrea Bondavalli (EDCC, 2019)

Toward a Model-Based Approach for Analyzing Information Quality Requirements for Smart Grid. - Mohamad Gharib; Paolo Lollini; Andrea Bondavalli (EDCC, 2019)

Resilient Access to Heterogeneous Measurement Data for Grid Observability. - Nicola Nostro; Kamal Shahid; Andrea Bondavalli; Hans-Peter Schwefel (EDCC, 2019)

Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. - Mohamad Gharib; Paolo Lollini; Andrea Ceccarelli; Andrea Bondavalli (HASE, 2019)

Evaluation of Anomaly Detection Algorithms Made Easy with RELOAD. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (ISSRE, 2019)

Practical Experience Report: Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain. - Duccio Bertieri; Tommaso Zoppi; Innocenzo Mungiello; Andrea Ceccarelli; Mario Barbareschi; Andrea Bondavalli (LADC, 2019)

Performability Analysis of a Tramway System with Virtual Tags and Local Positioning. - Leandro Dias da Silva; Diamantea Mongelli; Paolo Lollini; Andrea Bondavalli; Gianluca Mandò (LADC, 2019)

Quantitative comparison of unsupervised anomaly detection algorithms for intrusion detection. - Filipe Falcão; Tommaso Zoppi; Caio Barbosa Viera Silva; Anderson Santos 002; Baldoino Fonseca; Andrea Ceccarelli; Andrea Bondavalli (SAC, 2019)

The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. - Andrea Ceccarelli; Davide Basile 001; Andrea Bondavalli; Lorenzo Falai; Alessandro Fantechi; Sandro Ferrari; Gianluca Mandò; Nicola Nostro; Luigi Rucher (SAFECOMP Workshops, 2019)

An Initial Investigation on Sliding Windows for Anomaly-Based Intrusion Detection. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (SERVICES, 2019)

Design, implementation, and assessment of a usable multi-biometric continuous authentication system. - Enrico Schiavone; Andrea Ceccarelli; Ariadne Maria Brito Rizzoni Carvalho; Andrea Bondavalli (Int. J. Crit. Comput. Based Syst., 2019)

Threat Analysis in Systems-of-Systems: An Emergence-Oriented Approach. - Andrea Ceccarelli; Tommaso Zoppi; Alexandr Vasenev; Marco Mori; Dan Ionita; Lorena Montoya; Andrea Bondavalli (ACM Trans. Cyber Phys. Syst., 2019)

Classification of Ethereum Vulnerabilities and their Propagations. - Mirko Staderini; Caterina Palli; Andrea Bondavalli (BCCA, 2020)

Into the Unknown: Unsupervised Machine Learning Algorithms for Anomaly-Based Intrusion Detection. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (DSN (Supplements), 2020)

Agility of Security Practices and Agile Process Models: An Evaluation of Cost for Incorporating Security in Agile Process Models. - H. Maria Maqsood; Andrea Bondavalli (ENASE, 2020)

Patterns for Development of Safety-Critical Systems with Agile: Trace Safety Requirements and Perform Automated Testing. - Hafiza Maria Maqsood; Eduardo Martins Guerra; Xiaofeng Wang 001; Andrea Bondavalli (EuroPLoP, 2020)

Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems. - Mohamad Gharib; Paolo Lollini; Andrea Ceccarelli; Andrea Bondavalli (SoSE, 2020)

A Formal Definition of Stochastic Activity Networks Templates. - Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (CoRR, 2020)

On the educated selection of unsupervised algorithms via attacks and anomaly classes. - Tommaso Zoppi; Andrea Ceccarelli; Lorenzo Salani; Andrea Bondavalli (J. Inf. Secur. Appl., 2020)

A Template-Based Methodology for the Specification and Automated Composition of Performability Models. - Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (IEEE Trans. Reliab., 2020)

Investigation on Vulnerabilities Location in Solidity Smart Contracts. - Mirko Staderini; Andrea Bondavalli (BLOCKCHAIN, 2021)

Spoofing Detectability as a Property of Biometric Characteristics. - Tommaso Zoppi; Enrico Schiavone; Irene Bicchierai; Francesco Brancati; Andrea Bondavalli (ITASEC, 2021)

Reliable Traffic Sign Recognition System. - Muhammad Atif; Andrea Ceccarelli; Andrea Bondavalli (LADC (Companion), 2021)

Static Analysis Tools Applied to Smart Contracts. - Mirko Staderini; András Pataricza; Andrea Bondavalli (LADC (Companion), 2021)

Feature Rankers to Predict Classification Performance of Unsupervised Intrusion Detectors. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (LADC, 2021)

Detecting Intrusions by Voting Diverse Machine Learners: Is It Really Worth? - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (PRDC, 2021)

Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition. - Muhammad Atif; Tommaso Zoppi; Mohamad Gharib; Andrea Bondavalli (SAC, 2021)

Understanding the properness of incorporating machine learning algorithms in safety-critical systems. - Mohamad Gharib; Tommaso Zoppi; Andrea Bondavalli (SAC, 2021)

Unsupervised Algorithms to Detect Zero-Day Attacks: Strategy and Application. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (IEEE Access, 2021)

Development and validation of a safe communication protocol compliant to railway standards. - Duccio Bertieri; Andrea Ceccarelli; Tommaso Zoppi; Innocenzo Mungiello; Mario Barbareschi; Andrea Bondavalli (J. Braz. Comput. Soc., 2021)

A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning. - Leandro Dias da Silva; Paolo Lollini; Diamantea Mongelli; Andrea Bondavalli; Gianluca Mandò (J. Braz. Comput. Soc., 2021)

IQCPSoS: A Model-Based Approach for Modeling and Analyzing Information Quality Requirements for Cyber-Physical System-of-Systems. - Mohamad Gharib; Paolo Lollini; Andrea Bondavalli (J. Data Semant., 2021)

Meta-Learning to Improve Unsupervised Intrusion Detection in Cyber-Physical Systems. - Tommaso Zoppi; Mohamad Gharib; Muhammad Atif; Andrea Bondavalli (ACM Trans. Cyber Phys. Syst., 2021)

Unsupervised Anomaly Detectors to Detect Intrusions in the Current Threat Landscape. - Tommaso Zoppi; Andrea Ceccarelli; Tommaso Capecchi; Andrea Bondavalli (Trans. Data Sci., 2021)

MADneSs: A Multi-Layer Anomaly Detection Framework for Complex Dynamic Systems. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (IEEE Trans. Dependable Secur. Comput., 2021)

Failure modes and failure mitigation in GPGPUs: a reference model and its application. - Francesco Terrosi; Andrea Ceccarelli; Andrea Bondavalli (COMPSAC, 2022)

Towards a General Model for Intrusion Detection: An Exploratory Study. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (PKDD/ECML Workshops (2), 2022)

Impact of Machine Learning on Safety Monitors. - Francesco Terrosi; Lorenzo Strigini; Andrea Bondavalli (SAFECOMP, 2022)

A cyber-physical-social approach for engineering Functional Safety Requirements for automotive systems. - Mohamad Gharib; Andrea Ceccarelli; Paolo Lollini; Andrea Bondavalli (J. Syst. Softw., 2022)

Towards Enhancing Traffic Sign Recognition through Sliding Windows. - Muhammad Atif; Tommaso Zoppi; Mohamad Gharib; Andrea Bondavalli (Sensors, 2022)

A Monitoring Framework with Integrated Sensing Technologies for Enhanced Food Safety and Traceability. - Antonio Vincenzo Radogna; Maria Elena Latino; Marta Menegoli; Carmela Tania Prontera; Gabriele Morgante; Diamantea Mongelli; Lucia Giampetruzzi; Angelo Corallo; Andrea Bondavalli; Luca Francioso (Sensors, 2022)

On the Properness of Incorporating Binary Classification Machine Learning Algorithms Into Safety-Critical Systems. - Mohamad Gharib; Tommaso Zoppi; Andrea Bondavalli (IEEE Trans. Emerg. Top. Comput., 2022)

Stochastic Activity Networks Templates: Supporting Variability in Performability Models. - Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (IEEE Trans. Reliab., 2022)

HUSTLE: A Hardware Unit for Self-test-Libraries Efficient Execution. - Nicola Ferrante; Francesco Terrosi; Luca Maruccio; Francesco Rossi; Luca Fanucci; Andrea Bondavalli (ApplePies, 2023)

Ensembling Uncertainty Measures to Improve Safety of Black-Box Classifiers. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (ECAI, 2023)

Modeling of GPGPU architectures for performance analysis of CUDA programs. - Francesco Terrosi; Francesco Mariotti; Paolo Lollini; Andrea Bondavalli (QRS, 2023)

Anomaly Detectors for Self-Aware Edge and IoT Devices. - Tommaso Zoppi; Giovanni Merlino; Andrea Ceccarelli; Antonio Puliafito; Andrea Bondavalli (QRS, 2023)

Detection of Adversarial Attacks by Observing Deep Features with Structured Data Algorithms. - Tommaso Puccetti; Andrea Ceccarelli; Tommaso Zoppi; Andrea Bondavalli (SAC, 2023)

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 (SAFECOMP Workshops, 2023)

Tolerate Failures of the Visual Camera With Robust Image Classifiers. - Muhammad Atif; Andrea Ceccarelli; Tommaso Zoppi; Andrea Bondavalli (IEEE Access, 2023)

Toward Conceptual Analysis of Cyber-Physical Systems Projects Focusing on the Composition of Legacy Systems. - André A. S. Ivo; Sheila Granato Ribeiro; Fátima Mattiello-Francisco; Andrea Bondavalli (IEEE Access, 2023)

Which algorithm can detect unknown attacks? Comparison of supervised, unsupervised and meta-learning algorithms for intrusion detection. - Tommaso Zoppi; Andrea Ceccarelli; Tommaso Puccetti; Andrea Bondavalli (Comput. Secur., 2023)

An extension of the ADVISE Meta modeling framework and its application for an early-stage security analysis of a public transport supervision system. - Francesco Mariotti; Andrea Bondavalli; Paolo Lollini; Leonardo Montecchi; Simone Nardi (J. Reliab. Intell. Environ., 2023)

Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard. - Tommaso Zoppi; Innocenzo Mungiello; Andrea Ceccarelli; Alberto Cirillo; Lorenzo Sarti; Lorenzo Esposito; Giuseppe Scaglione; Sergio Repetto; Andrea Bondavalli (ACM Trans. Cyber Phys. Syst., 2023)

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 (PRDC, 2024)

Fail-Controlled Classifiers: Do they Know when they don't Know? - Tommaso Zoppi; Fahad Ahmed KhoKhar; Andrea Ceccarelli; Leonardo Montecchi; Andrea Bondavalli (PRDC, 2024)

Security Modeling Challenges and Research Directions Around the ADVISE Meta Framework. - Marzieh Kordi; Francesco Mariotti; Paolo Lollini; Andrea Bondavalli (SAFECOMP (Workshops), 2024)

Position Paper - Bringing Classifiers into Critical Systems: Are We Barking up the Wrong Tree? - Tommaso Zoppi; Fahad Ahmed KhoKhar; Andrea Ceccarelli; Andrea Bondavalli (SAFECOMP (Workshops), 2024)

Improving the Efficiency of Software-Based Fault Protection Mechanisms With HUSTLE. - Nicola Ferrante; Luca Fanucci; Francesco Rossi; Francesco Terrosi; Andrea Bondavalli (IEEE Access, 2024)

Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives. - Francesco Flammini; Cristina Alcaraz; Emanuele Bellini 001; Stefano Marrone 001; Javier López 001; Andrea Bondavalli (IEEE Trans. Emerg. Top. Comput., 2024)

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 (DSN-W, 2025)

System-Awareness: An Enabling Condition to Design and Deploy Anomaly Detectors. - Muhammad Atif; Tommaso Zoppi; Andrea Bondavalli (ICSA Companion, 2025)

On the Usage of ChatGPT for Integrating CAPEC Attacks into ADVISE Meta Ontology. - Marzieh Kordi; Francesco Mariotti; Paolo Lollini; Roberto Magrini; Andrea Bondavalli (ITASEC/SERICS, 2025)

A Strategy for Predicting the Performance of Supervised and Unsupervised Tabular Data Classifiers. - Tommaso Zoppi; Andrea Ceccarelli; Andrea Bondavalli (Data Sci. Eng., 2025)