Andrea Bondavalli

270 papers A* 1A 10B 33C 23Misc 20Journal 77Unranked 96
YearRankTypeTitle / Venue / Authors
2026 J jnl
Assessing Coverage of SW-Based Error Detection of Hardware Components According to Transition Path Delay Fault Model.
IEEE Access
Nicola Ferrante, Andrea Chimenti, Bakhauddin Ziyouddinov, Francesco Rossi, Andrea Bondavalli
2026 J jnl
Fail-Controlled Classifiers: A Swiss-Army Knife Toward Trustworthy Systems.
Softw. Pract. Exp.
Fahad Ahmed KhoKhar, Tommaso Zoppi, Andrea Ceccarelli, Leonardo Montecchi, Andrea Bondavalli
2025 — conf
A Model-based Approach for Cybersecurity Assessment of Off-Road and Defense Vehicles.
DSN-W
Umberto Bellini, Marzieh Kordi, Bruno Crispo, Paolo Lollini, Andrea Bondavalli, Davide Compar
2025 J jnl
A Strategy for Predicting the Performance of Supervised and Unsupervised Tabular Data Classifiers.
Data Sci. Eng.
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2025 J jnl
A Systematic Literature Review on Application of Agile Software Development Process Models for the Development of Safety-Critical Systems in Multiple Domains.
IET Softw.
Hafiza Maria Maqsood, Joelma Choma, Eduardo Guerra, Andrea Bondavalli
2025 B conf
Analyzing the 2015 Ukraine Power Grid Cyber-Attack: A Quantitative Assessment of Adversary Behavior and Impact
SMC
Marzieh Kordi, Syed Muhammad Fasih Ali, Paolo Lollini, Andrea Bondavalli
2025 — conf
On the Usage of ChatGPT for Integrating CAPEC Attacks into ADVISE Meta Ontology.
ITASEC/SERICS
Marzieh Kordi, Francesco Mariotti, Paolo Lollini, Roberto Magrini, Andrea Bondavalli
2025 C conf
Quantitative Comparison of System Architectures for an SAE Level 4 Highway Pilot.
QRS
Manuel Drago, Andrea Bondavalli, Paolo Lollini, Georg Niedrist, Moritz Antlanger
2025 — conf
Safe Maintenance of Railways Using COTS Mobile Devices: The Remote Worker Dashboard.
RSSRail
Tommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Alberto Cirillo, Lorenzo Sarti, Lorenzo Esposito, Giuseppe Scaglione, Sergio Repetto, Andrea Bondavalli
2025 — conf
System-Awareness: An Enabling Condition to Design and Deploy Anomaly Detectors.
ICSA Companion
Muhammad Atif, Tommaso Zoppi, Andrea Bondavalli
2024 B ed.
Computer Safety, Reliability, and Security - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
SAFECOMP
Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch
2024 — ed.
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings
SAFECOMP (Workshops)
Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch
2024 C conf
Deploying a Generic Threat Model for Detecting Anomalies in a Power Grid Digital Twin.
PRDC
Tommaso Zoppi, Irene Bicchierai, Francesco Brancati, Andrea Bondavalli, Hans-Peter Schwefel
2024 C conf
Fail-Controlled Classifiers: Do they Know when they don't Know?
PRDC
Tommaso Zoppi, Fahad Ahmed KhoKhar, Andrea Ceccarelli, Leonardo Montecchi, Andrea Bondavalli
2024 J jnl
Improving the Efficiency of Software-Based Fault Protection Mechanisms With HUSTLE.
IEEE Access
Nicola Ferrante, Luca Fanucci, Francesco Rossi, Francesco Terrosi, Andrea Bondavalli
2024 — conf
Position Paper - Bringing Classifiers into Critical Systems: Are We Barking up the Wrong Tree?
SAFECOMP (Workshops)
Tommaso Zoppi, Fahad Ahmed KhoKhar, Andrea Ceccarelli, Andrea Bondavalli
2024 — conf
Security Modeling Challenges and Research Directions Around the ADVISE Meta Framework.
SAFECOMP (Workshops)
Marzieh Kordi, Francesco Mariotti, Paolo Lollini, Andrea Bondavalli
2024 J jnl
Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives.
IEEE Trans. Emerg. Top. Comput.
Francesco Flammini, Cristina Alcaraz, Emanuele Bellini, Stefano Marrone, Javier López, Andrea Bondavalli
2023 — conf
A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices.
SAFECOMP Workshops
Irene Bicchierai, Enrico Schiavone, Massimiliano Leone Itria, Andrea Bondavalli, Lorenzo Falai
2023 J jnl
An extension of the ADVISE Meta modeling framework and its application for an early-stage security analysis of a public transport supervision system.
J. Reliab. Intell. Environ.
Francesco Mariotti, Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi, Simone Nardi
2023 C conf
Anomaly Detectors for Self-Aware Edge and IoT Devices.
QRS
Tommaso Zoppi, Giovanni Merlino, Andrea Ceccarelli, Antonio Puliafito, Andrea Bondavalli
2023 Misc conf
Detection of Adversarial Attacks by Observing Deep Features with Structured Data Algorithms.
SAC
Tommaso Puccetti, Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli
2023 A conf
Ensembling Uncertainty Measures to Improve Safety of Black-Box Classifiers.
ECAI
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2023 J jnl
Ensembling Uncertainty Measures to Improve Safety of Black-Box Classifiers.
CoRR
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2023 — conf
HUSTLE: A Hardware Unit for Self-test-Libraries Efficient Execution.
ApplePies
Nicola Ferrante, Francesco Terrosi, Luca Maruccio, Francesco Rossi, Luca Fanucci, Andrea Bondavalli
2023 C conf
Modeling of GPGPU architectures for performance analysis of CUDA programs.
QRS
Francesco Terrosi, Francesco Mariotti, Paolo Lollini, Andrea Bondavalli
2023 J jnl
Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard.
ACM Trans. Cyber Phys. Syst.
Tommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Alberto Cirillo, Lorenzo Sarti, Lorenzo Esposito, Giuseppe Scaglione, Sergio Repetto, Andrea Bondavalli
2023 J jnl
Tolerate Failures of the Visual Camera With Robust Image Classifiers.
IEEE Access
Muhammad Atif, Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli
2023 J jnl
Toward Conceptual Analysis of Cyber-Physical Systems Projects Focusing on the Composition of Legacy Systems.
IEEE Access
André A. S. Ivo, Sheila Granato Ribeiro, Fátima Mattiello-Francisco, Andrea Bondavalli
2023 J jnl
Which algorithm can detect unknown attacks? Comparison of supervised, unsupervised and meta-learning algorithms for intrusion detection.
Comput. Secur.
Tommaso Zoppi, Andrea Ceccarelli, Tommaso Puccetti, Andrea Bondavalli
2022 J jnl
A Monitoring Framework with Integrated Sensing Technologies for Enhanced Food Safety and Traceability.
Sensors
Antonio Vincenzo Radogna, Maria Elena Latino, Marta Menegoli, Carmela Tania Prontera, Gabriele Morgante, Diamantea Mongelli, Lucia Giampetruzzi, Angelo Corallo, Andrea Bondavalli, Luca Francioso
2022 J jnl
A cyber-physical-social approach for engineering Functional Safety Requirements for automotive systems.
J. Syst. Softw.
Mohamad Gharib, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli
2022 B conf
Failure modes and failure mitigation in GPGPUs: a reference model and its application.
COMPSAC
Francesco Terrosi, Andrea Ceccarelli, Andrea Bondavalli
2022 B conf
Impact of Machine Learning on Safety Monitors.
SAFECOMP
Francesco Terrosi, Lorenzo Strigini, Andrea Bondavalli
2022 J jnl
On the Properness of Incorporating Binary Classification Machine Learning Algorithms Into Safety-Critical Systems.
IEEE Trans. Emerg. Top. Comput.
Mohamad Gharib, Tommaso Zoppi, Andrea Bondavalli
2022 J jnl
Stochastic Activity Networks Templates: Supporting Variability in Performability Models.
IEEE Trans. Reliab.
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
2022 J jnl
Towards Enhancing Traffic Sign Recognition through Sliding Windows.
Sensors
Muhammad Atif, Tommaso Zoppi, Mohamad Gharib, Andrea Bondavalli
2022 — conf
Towards a General Model for Intrusion Detection: An Exploratory Study.
PKDD/ECML Workshops (2)
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2021 J jnl
A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning.
J. Braz. Comput. Soc.
Leandro Dias da Silva, Paolo Lollini, Diamantea Mongelli, Andrea Bondavalli, Gianluca Mandò
2021 C conf
Detecting Intrusions by Voting Diverse Machine Learners: Is It Really Worth?
PRDC
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2021 J jnl
Development and validation of a safe communication protocol compliant to railway standards.
J. Braz. Comput. Soc.
Duccio Bertieri, Andrea Ceccarelli, Tommaso Zoppi, Innocenzo Mungiello, Mario Barbareschi, Andrea Bondavalli
2021 — conf
Feature Rankers to Predict Classification Performance of Unsupervised Intrusion Detectors.
LADC
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2021 J jnl
IQCPSoS: A Model-Based Approach for Modeling and Analyzing Information Quality Requirements for Cyber-Physical System-of-Systems.
J. Data Semant.
Mohamad Gharib, Paolo Lollini, Andrea Bondavalli
2021 — conf
Investigation on Vulnerabilities Location in Solidity Smart Contracts.
BLOCKCHAIN
Mirko Staderini, Andrea Bondavalli
2021 J jnl
MADneSs: A Multi-Layer Anomaly Detection Framework for Complex Dynamic Systems.
IEEE Trans. Dependable Secur. Comput.
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2021 J jnl
Meta-Learning to Improve Unsupervised Intrusion Detection in Cyber-Physical Systems.
ACM Trans. Cyber Phys. Syst.
Tommaso Zoppi, Mohamad Gharib, Muhammad Atif, Andrea Bondavalli
2021 Misc conf
Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition.
SAC
Muhammad Atif, Tommaso Zoppi, Mohamad Gharib, Andrea Bondavalli
2021 — conf
Reliable Traffic Sign Recognition System.
LADC (Companion)
Muhammad Atif, Andrea Ceccarelli, Andrea Bondavalli
2021 — conf
Spoofing Detectability as a Property of Biometric Characteristics.
ITASEC
Tommaso Zoppi, Enrico Schiavone, Irene Bicchierai, Francesco Brancati, Andrea Bondavalli
2021 — conf
Static Analysis Tools Applied to Smart Contracts.
LADC (Companion)
Mirko Staderini, András Pataricza, Andrea Bondavalli
2021 Misc conf
Understanding the properness of incorporating machine learning algorithms in safety-critical systems.
SAC
Mohamad Gharib, Tommaso Zoppi, Andrea Bondavalli
2021 J jnl
Unsupervised Algorithms to Detect Zero-Day Attacks: Strategy and Application.
IEEE Access
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2021 J jnl
Unsupervised Anomaly Detectors to Detect Intrusions in the Current Threat Landscape.
Trans. Data Sci.
Tommaso Zoppi, Andrea Ceccarelli, Tommaso Capecchi, Andrea Bondavalli
2020 J jnl
A Formal Definition of Stochastic Activity Networks Templates.
CoRR
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
2020 J jnl
A Template-Based Methodology for the Specification and Automated Composition of Performability Models.
IEEE Trans. Reliab.
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
2020 B conf
Agility of Security Practices and Agile Process Models: An Evaluation of Cost for Incorporating Security in Agile Process Models.
ENASE
H. Maria Maqsood, Andrea Bondavalli
2020 — conf
Classification of Ethereum Vulnerabilities and their Propagations.
BCCA
Mirko Staderini, Caterina Palli, Andrea Bondavalli
2020 — conf
Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems.
SoSE
Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli
2020 J jnl
Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems.
CoRR
Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli
2020 — conf
Into the Unknown: Unsupervised Machine Learning Algorithms for Anomaly-Based Intrusion Detection.
DSN (Supplements)
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2020 J jnl
On the educated selection of unsupervised algorithms via attacks and anomaly classes.
J. Inf. Secur. Appl.
Tommaso Zoppi, Andrea Ceccarelli, Lorenzo Salani, Andrea Bondavalli
2020 Misc conf
Patterns for Development of Safety-Critical Systems with Agile: Trace Safety Requirements and Perform Automated Testing.
EuroPLoP
Hafiza Maria Maqsood, Eduardo Martins Guerra, Xiaofeng Wang, Andrea Bondavalli
2020 J jnl
Unsupervised Anomaly Detectors to Detect Intrusions in the Current Threat Landscape.
CoRR
Tommaso Zoppi, Andrea Ceccarelli, Tommaso Capecchi, Andrea Bondavalli
2019 B conf
An Initial Investigation on Sliding Windows for Anomaly-Based Intrusion Detection.
SERVICES
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2019 J jnl
Design, implementation, and assessment of a usable multi-biometric continuous authentication system.
Int. J. Crit. Comput. Based Syst.
Enrico Schiavone, Andrea Ceccarelli, Ariadne Maria Brito Rizzoni Carvalho, Andrea Bondavalli
2019 — conf
Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach.
HASE
Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli
2019 A conf
Evaluation of Anomaly Detection Algorithms Made Easy with RELOAD.
ISSRE
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2019 Misc conf
On the Evaluation Measures for Machine Learning Algorithms for Safety-Critical Systems.
EDCC
Mohamad Gharib, Andrea Bondavalli
2019 — conf
Performability Analysis of a Tramway System with Virtual Tags and Local Positioning.
LADC
Leandro Dias da Silva, Diamantea Mongelli, Paolo Lollini, Andrea Bondavalli, Gianluca Mandò
2019 — conf
Practical Experience Report: Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain.
LADC
Duccio Bertieri, Tommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Mario Barbareschi, Andrea Bondavalli
2019 Misc conf
Quantitative comparison of unsupervised anomaly detection algorithms for intrusion detection.
SAC
Filipe Falcão, Tommaso Zoppi, Caio Barbosa Viera Silva, Anderson Santos, Baldoino Fonseca, Andrea Ceccarelli, Andrea Bondavalli
2019 Misc conf
Resilient Access to Heterogeneous Measurement Data for Grid Observability.
EDCC
Nicola Nostro, Kamal Shahid, Andrea Bondavalli, Hans-Peter Schwefel
2019 — conf
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results.
SAFECOMP Workshops
Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher
2019 J jnl
Threat Analysis in Systems-of-Systems: An Emergence-Oriented Approach.
ACM Trans. Cyber Phys. Syst.
Andrea Ceccarelli, Tommaso Zoppi, Alexandr Vasenev, Marco Mori, Dan Ionita, Lorena Montoya, Andrea Bondavalli
2019 Misc conf
Toward a Model-Based Approach for Analyzing Information Quality Requirements for Smart Grid.
EDCC
Mohamad Gharib, Paolo Lollini, Andrea Bondavalli
2018 B conf
A Requirements-Driven Methodology for the Proper Selection and Configuration of Blockchains.
SRDS
Mirko Staderini, Enrico Schiavone, Andrea Bondavalli
2018 J jnl
Labelling relevant events to support the crisis management operator.
J. Softw. Evol. Process.
Tommaso Zoppi, Andrea Ceccarelli, Francesco Lo Piccolo, Paolo Lollini, Gabriele Giunta, Vito Morreale, Andrea Bondavalli
2018 C conf
On Algorithms Selection for Unsupervised Anomaly Detection.
PRDC
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2018 — conf
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper.
DSN Workshops
Mohamad Gharib, Paolo Lollini, Marco Botta, Elvio Gilberto Amparore, Susanna Donatelli, Andrea Bondavalli
2018 J jnl
PrivAPP: An integrated approach for the design of privacy-aware applications.
Softw. Pract. Exp.
Tânia Basso, Leonardo Montecchi, Regina Moraes, Mário Jino, Andrea Bondavalli
2018 — conf
Risk Assessment of Blockchain Technology.
LADC
Giacomo Morganti, Enrico Schiavone, Andrea Bondavalli
2018 J jnl
System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions.
IEEE Syst. J.
Andrea Bondavalli, Andrea Ceccarelli, Paolo Lollini, Leonardo Montecchi, Marco Mori
2018 J jnl
Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile.
J. Softw. Evol. Process.
Marco Mori, Andrea Ceccarelli, Paolo Lollini, Bernhard Frömel, Francesco Brancati, Andrea Bondavalli
2017 — conf
A conceptual model for analyzing information quality in System-of-Systems.
SoSE
Mohamad Gharib, Paolo Lollini, Andrea Bondavalli
2017 B conf
Continuous Biometric Verification for Non-Repudiation of Remote Services.
ARES
Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli
2017 C conf
Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach.
CRITIS
Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli
2017 Misc conf
Exploring anomaly detection in systems of systems.
SAC
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2017 J jnl
Identification of critical situations via Event Processing and Event Trust Analysis.
Knowl. Inf. Syst.
Massimiliano Leone Itria, Melinda Kocsis-Magyar, Andrea Ceccarelli, Paolo Lollini, Gabriele Giunta, Andrea Bondavalli
2017 — conf
Risk Assessment of a Biometric Continuous Authentication Protocol for Internet Services.
ITASEC
Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli
2017 — conf
Towards an approach for analyzing trust in Cyber-Physical-Social Systems.
SoSE
Mohamad Gharib, Paolo Lollini, Andrea Bondavalli
2016 — conf
A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems.
HASE
Marco Mori, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli, Bernhard Frömel
2016 A conf
A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain.
DSN
Leonardo Montecchi, Atle Refsdal, Paolo Lollini, Andrea Bondavalli
2016 Misc conf
A multi-criteria ranking of security countermeasures.
SAC
Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
2016 — ch.
Basic Concepts on Systems of Systems.
Cyber-Physical Systems of Systems
Andrea Ceccarelli, Andrea Bondavalli, Bernhard Frömel, Oliver Höftberger, Hermann Kopetz
2016 B conf
Challenging Anomaly Detection in Complex Dynamic Systems.
SRDS
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2016 Misc conf
Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes.
EDCC
Riccardo Bernini, Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi
2016 B conf
Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures.
SAFECOMP
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2016 B conf
Continuous Authentication and Non-repudiation for the Security of Critical Systems.
SRDS
Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli
2016 — book
Cyber-Physical Systems of Systems - Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Cyber-Physical Systems of Systems
Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz
2016 — ch.
Emergence in Cyber-Physical Systems-of-Systems (CPSoSs).
Cyber-Physical Systems of Systems
Hermann Kopetz, Andrea Bondavalli, Francesco Brancati, Bernhard Frömel, Oliver Höftberger, Sorin M. Iacob
2016 J jnl
Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera.
IEEE Trans. Parallel Distributed Syst.
Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Roman Vitenberg, Hein Meling, Andrea Bondavalli
2016 B conf
On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study.
SEAA
Jane Dirce A. Sandim Eleuterio, Felipe Nunes Gaia, Andrea Bondavalli, Paolo Lollini, Genaína Nunes Rodrigues, Cecília Mary Fischer Rubira
2016 — conf
On the impact of emergent properties on SoS security.
SoSE
Marco Mori, Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli
2016 — conf
Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy.
HASE
Tommaso Zoppi, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli, Francesco Lo Piccolo, Gabriele Giunta, Vito Morreale
2016 — conf
Usability Assessment in a Multi-Biometric Continuous Authentication System.
LADC
Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli, Ariadne Maria Brito Rizzoni Carvalho
2015 B conf
A Multi-layer Anomaly Detector for Dynamic Service-Based Systems.
SAFECOMP
Andrea Ceccarelli, Tommaso Zoppi, Massimiliano Leone Itria, Andrea Bondavalli
2015 J jnl
An OS-level Framework for Anomaly Detection in Complex Software Systems.
IEEE Trans. Dependable Secur. Comput.
Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli
2015 — conf
Continuous User Identity Verification for Trusted Operators in Control Rooms.
ICA3PP (Workshops and Symposiums)
Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli
2015 J jnl
Continuous and Transparent User Identity Verification for Secure Internet Services.
IEEE Trans. Dependable Secur. Comput.
Andrea Ceccarelli, Leonardo Montecchi, Francesco Brancati, Paolo Lollini, Angelo Marguglio, Andrea Bondavalli
2015 — conf
Cost Prediction for V&V and Certification Processes.
DSN Workshops
Francesco Brancati, András Pataricza, Nuno Silva, Ábel Hegedüs, László Gönczy, Andrea Bondavalli, Rosaria Esposito
2015 — conf
Executable Models to Support Automated Software FMEA.
HASE
Valentina Bonfiglio, Leonardo Montecchi, Francesco Rossi, Paolo Lollini, András Pataricza, Andrea Bondavalli
2015 — conf
Introducing Meta-Requirements for Describing System of Systems.
HASE
Andrea Ceccarelli, Marco Mori, Paolo Lollini, Andrea Bondavalli
2015 — conf
MB4CP 2015 Keynote I: Dependability Modeling and Analysis Methods Integrated in Model-Driven Industrial Architectural Frameworks.
DSN Workshops
Andrea Bondavalli
2015 J jnl
On trustworthy measurements when testing dependable systems: a discussion and experiences.
Int. J. Crit. Comput. Based Syst.
Andrea Ceccarelli, Andrea Bondavalli
2015 — conf
Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System.
DSN Workshops
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
2015 — conf
Software Faults Emulation at Model-Level: Towards Automated Software FMEA.
DSN Workshops
Valentina Bonfiglio, Leonardo Montecchi, Ivano Irrera, Francesco Rossi, Paolo Lollini, Andrea Bondavalli
2015 — conf
Towards a UML Profile for Privacy-Aware Applications.
CIT/IUCC/DASC/PICom
Tânia Basso, Leonardo Montecchi, Regina Moraes, Mário Jino, Andrea Bondavalli
2015 — conf
Towards an understanding of emergence in systems-of-systems.
SoSE
Hermann Kopetz, Oliver Höftberger, Bernhard Frömel, Francesco Brancati, Andrea Bondavalli
2014 Misc conf
A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models.
EDCC
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
2014 C conf
A Testbed for Evaluating Anomaly Detection Monitors through Fault Injection.
ISORC
Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli, Fabio Duchi, Giuseppe Vella
2014 — conf
Adding Security Concerns to Safety Critical Certification.
ISSRE Workshops
Nicola Nostro, Andrea Bondavalli, Nuno Silva
2014 J jnl
Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities.
CoRR
Leonardo Aniello, Andrea Bondavalli, Andrea Ceccarelli, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Antonella Guzzo, Antonio Pecchia, Andrea Pugliese, Leonardo Querzoni, Stefano Russo
2014 B ed.
Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings
SAFECOMP
Andrea Bondavalli, Felicita Di Giandomenico
2014 — ed.
Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings
SAFECOMP Workshops
Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier
2014 — conf
Cost-Effective Testing for Critical Off-the-Shelf Services.
SAFECOMP Workshops
Fabio Duchi, Nuno Antunes, Andrea Ceccarelli, Giuseppe Vella, Francesco Rossi, Andrea Bondavalli
2014 J jnl
Insider Threat Assessment: a Model-Based Methodology.
ACM SIGOPS Oper. Syst. Rev.
Nicola Nostro, Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati
2014 — conf
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform.
PASM
Leonardo Montecchi, Nicola Nostro, Andrea Ceccarelli, Giuseppe Vella, Antonio Caruso, Andrea Bondavalli
2014 — conf
On Security Countermeasures Ranking through Threat Analysis.
SAFECOMP Workshops
Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
2013 — conf
A methodology and supporting techniques for the quantitative assessment of insider threats.
DISCCO@SRDS
Nicola Nostro, Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati
2013 — conf
A monitoring and testing framework for critical off-the-shelf applications and services.
ISSRE (Supplemental Proceedings)
Nuno Antunes, Francesco Brancati, Andrea Ceccarelli, Andrea Bondavalli, Marco Vieira
2013 — conf
A reusable modular toolchain for automated dependability evaluation.
VALUETOOLS
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
2013 — conf
Experimental analysis of the first order time difference of indicators used in the monitoring of complex systems.
M&N
Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Diego Santoro, Michele Vadursi
2013 J jnl
Master Failure Detection Protocol in Internal Synchronization Environment.
IEEE Trans. Instrum. Meas.
Andrea Bondavalli, Francesco Brancati, Alessandra Flammini, Stefano Rinaldi
2013 C conf
Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system.
ISORC
Leonardo Montecchi, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli
2013 — conf
Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites.
LADC
João Figueiras, Jesper Grønbæk, Hans-Peter Schwefel, Andrea Bondavalli
2013 — conf
On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262.
CARS@SAFECOMP
Valentina Bonfiglio, Leonardo Montecchi, Francesco Rossi, Andrea Bondavalli
2013 J jnl
Optimal configuration of fault-tolerance parameters for distributed replicated server access.
Int. J. Crit. Comput. Based Syst.
Alessandro Daidone, Thibault Renier, Andrea Bondavalli, Hans-Peter Schwefel
2013 J jnl
Resilient estimation of synchronisation uncertainty through software clocks.
Int. J. Crit. Comput. Based Syst.
Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi
2013 Misc conf
Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis.
SAC
Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Andrea Bondavalli, Roman Vitenberg, Hein Meling
2012 — conf
A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace.
SAFECOMP Workshops
Magali Andreia Rossi, Jorge Rady de Almeida Jr., Andrea Bondavalli, Paolo Lollini
2012 J jnl
A hidden Markov model based intrusion detection system for wireless sensor networks.
Int. J. Crit. Comput. Based Syst.
Luigi Coppolino, Luigi Romano, Andrea Bondavalli, Alessandro Daidone
2012 J jnl
Adaptare: Supporting automatic and dependable adaptation in dynamic environments.
ACM Trans. Auton. Adapt. Syst.
Monica Dixit, António Casimiro, Paolo Lollini, Andrea Bondavalli, Paulo Veríssimo
2012 — conf
Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System.
HASE
Andrea Ceccarelli, Andrea Bondavalli, João Figueiras, Boris Malinowsky, Jurij Wakula, Francesco Brancati, Carlo Dambra, Andrea Seminatore
2012 J jnl
Experimental Characterization of Uncertainty Sources in a Software-Only Synchronization System.
IEEE Trans. Instrum. Meas.
Paolo Ferrari, Alessandra Flammini, Stefano Rinaldi, Andrea Bondavalli, Francesco Brancati
2012 — ch.
Foundations of Metrology in the Observation of Critical Systems.
Resilience Assessment and Evaluation of Computing Systems
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi
2012 — ch.
Future of Resilience Assessment: The AMBER Research Roadmap.
Resilience Assessment and Evaluation of Computing Systems
Andrea Bondavalli, Henrique Madeira, Paolo Lollini
2012 B conf
Improving Security of Internet Services through Continuous and Transparent User Identity Verification.
SRDS
Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati, Ernesto La Mattina
2012 A conf
Model-based analysis of a protocol for reliable communication in railway worksites.
MSWiM
Leonardo Montecchi, Paolo Lollini, Boris Malinowsky, Jesper Grønbæk, Andrea Bondavalli
2012 J jnl
Modeling the resilience of large and evolving systems
CoRR
Mohamed Kaâniche, Paolo Lollini, Andrea Bondavalli, Karama Kanoun
2012 — ch.
Modelling and Model-Based Assessment.
Resilience Assessment and Evaluation of Computing Systems
Andrea Bondavalli, Paolo Lollini, István Majzik, Leonardo Montecchi
2012 — conf
Quantitative Security Evaluation of a Multi-biometric Authentication System.
SAFECOMP Workshops
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli, Ernesto La Mattina
2012 Misc conf
Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems.
EDCC
Boris Malinowsky, Jesper Grønbæk, Hans-Peter Schwefel, Andrea Ceccarelli, Andrea Bondavalli, Edgar Nett
2011 — conf
A Reliable and Self-Aware Clock for reference time failure detection in internal synchronization environment.
M&N
Andrea Bondavalli, Francesco Brancati, Alessandra Flammini, Stefano Rinaldi
2011 — conf
A Service Discovery Approach for Testing Dynamic SOAs.
ISORC Workshops
Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli
2011 B conf
A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems.
SAFECOMP
Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli
2011 — conf
A Testing Service for Lifelong Validation of Dynamic SOA.
HASE
Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli
2011 — conf
An Intelligent Maintenance based on Machine Learning Approach for Wireless and Mobile Systems.
WINSYS
Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli
2011 — conf
An event correlation approach for fault diagnosis in SCADA infrastructures.
EWDC
Massimo Ficco, Alessandro Daidone, Luigi Coppolino, Luigi Romano, Andrea Bondavalli
2011 — conf
Dependability Concerns in Model-Driven Engineering.
ISORC Workshops
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
2011 — conf
Localization errors of low-cost GPS devices in railway worksite-like scenarios.
M&N
Andrea Bondavalli, Andrea Ceccarelli, Florjan Gogaj, Andrea Seminatore, Michele Vadursi
2011 — conf
RACME: A Framework to Support V&V and Certification.
LADC
Andrea Ceccarelli, Lorenzo Vinerbi, Lorenzo Falai, Andrea Bondavalli
2011 J jnl
The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems.
IEEE Trans. Mob. Comput.
Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, István Majzik, Hans-Peter Schwefel
2011 — conf
Towards a Federated Simulation Approach for Reliability Evaluation of Unmanned Aircraft Vehicles within Aeronautical Communcations Networking.
SRDS Workshops
Magali Andreia Rossi, Jorge Rady de Almeida Júnior, Andrea Bondavalli, Paolo Lollini
2011 B conf
Towards a MDE Transformation Workflow for Dependability Analysis.
ICECCS
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
2011 — conf
Towards identifying OS-level anomalies to detect application software failures.
M&N
Antonio Bovenzi, Stefano Russo, Francesco Brancati, Andrea Bondavalli
2010 J jnl
A New Approach and a Related Tool for Dependability Measurements on Distributed Systems.
IEEE Trans. Instrum. Meas.
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi
2010 — conf
AMBER Roadmap: Ongoing Research Directions.
ICDCS Workshops
Andrea Bondavalli, Paolo Lollini, Michele Vadursi
2010 J jnl
Available and safe message freshness detection algorithm.
Int. J. Crit. Comput. Based Syst.
Andrea Bondavalli, Lorenzo Falai, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini
2010 B conf
Experimental Validation of a Synchronization Uncertainty-Aware Software Clock.
SRDS
Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Michele Vadursi
2010 B conf
Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations.
NCA
Jesper Grønbæk, Hans-Peter Schwefel, Andrea Ceccarelli, Andrea Bondavalli
2010 B conf
Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation.
SRDS
Francesco Brancati, Andrea Bondavalli
2010 — conf
Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments.
ISORC Workshops
Andrea Ceccarelli, Jesper Grønbæk, Leonardo Montecchi, Hans-Peter Schwefel, Andrea Bondavalli
2009 J jnl
A Decomposition-Based Modeling Framework for Complex Systems.
IEEE Trans. Reliab.
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico
2009 — conf
An Experimental Framework for the Analysis and Validation of Software Clocks.
SEUS
Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai
2009 B conf
Architecting and Validating Dependable Systems: Experiences and Visions.
WADS
Andrea Bondavalli, Andrea Ceccarelli, Paolo Lollini
2009 J jnl
QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis.
J. Softw.
Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi
2009 C conf
Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection.
PRDC
Andrea Ceccarelli, Andrea Bondavalli, Danilo Iovino
2008 — conf
A Resilient SIL 2 Driver Machine Interface for Train Control Systems.
DepCoS-RELCOMEX
Andrea Ceccarelli, István Majzik, Danilo Iovino, Fausto Caneschi, Gergely Pintér, Andrea Bondavalli
2008 Misc conf
A framework for dependable QoS adaptation in probabilistic environments.
SAC
António Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo
2008 — conf
An integrated framework for the dependability evaluation of distributed mobile applications.
SERENE
Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli
2008 — conf
Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults.
SEUS
Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi
2008 B conf
Assuring Resilient Time Synchronization.
SRDS
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai
2008 Misc conf
How hard is Assessing and Measuring Resilience? Panel.
EDCC
Andrea Bondavalli
2008 A conf
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008).
DSN
Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel
2007 C conf
A Self-Aware Clock for Pervasive Computing Systems.
PDP
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai
2007 B conf
Analysis of a Redundant Architecture for Critical Infrastructure Protection.
WADS
Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo
2007 — ed.
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings
LADC
Andrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum
2007 A conf
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes.
DSN
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi
2007 J jnl
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
IEEE Trans. Dependable Secur. Comput.
Marco Serafini, Andrea Bondavalli, Neeraj Suri
2007 B conf
The CRUTIAL Architecture for Critical Information Infrastructures.
WADS
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone
2007 C conf
Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems.
ISADS
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi
2006 — conf
Dependability Evaluation of Web Service-Based Processes.
EPEW
László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha
2006 J jnl
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.
IEEE Trans. Dependable Secur. Comput.
Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo
2006 B conf
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution.
SRDS
Alessandro Daidone, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
2006 — conf
Integration of an MPS Modeling Approach into Mobius.
QEST
Andrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri
2005 J jnl
A Modeling Methodology for Hierarchical Control System and its Aplication.
J. Braz. Comput. Soc.
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico
2005 — conf
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures.
ISAS
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico
2005 A conf
Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network.
DSN
Lorenzo Falai, Andrea Bondavalli
2005 — conf
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms.
QEST
Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
2005 — conf
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension.
LADC
Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
2004 C conf
A Freshness Detection Mechanism for Railway Applications.
PRDC
Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini
2004 — conf
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems.
ISAS
Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli
2004 — conf
Architectural challenges for a dependable Information Society.
IFIP Congress Topical Sessions
Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
2004 C conf
Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks.
ISCC
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico, Stefano Porcarelli
2004 J jnl
Dependability modeling and evaluation of multiple-phased systems using DEEM.
IEEE Trans. Reliab.
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura
2004 J jnl
Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications.
IEEE Trans. Dependable Secur. Comput.
Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano
2004 — conf
Model-based evaluation of a radio resource management system for wireless networks.
Conf. Computing Frontiers
Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini
2004 J jnl
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach.
Comput. J.
Andrea Bondavalli, Roberto Filippini
2003 — conf
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation.
LADC
Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano
2003 B conf
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems.
WADS
Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi
2003 — conf
Analysis of Safety Related Architectures.
WORDS Fall
Andrea Coccoli, Andrea Bondavalli
2003 J jnl
Guest Editorial: Special Issue on Reliable Distributed Systems.
IEEE Trans. Computers
Shambhu J. Upadhyaya, Andrea Bondavalli
2003 J jnl
Service-Level Availability Estimation of GPRS.
IEEE Trans. Mob. Comput.
Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Massimo Barbera, Ivan Mura
2002 J jnl
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment.
J. Syst. Archit.
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, J. Xu
2002 C conf
Analyzing quality of service of GPRS network systems from a user's perspective.
ISCC
Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli
2002 B conf
Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications.
SRDS
Luigi Romano, Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo
2002 A conf
Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements.
DSN
Andrea Coccoli, Péter Urbán, Andrea Bondavalli
2002 B conf
Stochastic Dependability Analysis of System Architecture Based on UML Models.
WADS
István Majzik, András Pataricza, Andrea Bondavalli
2001 C conf
Analysis and Estimation of the Quality of Service of Group Communication Protocols.
ISORC
Andrea Coccoli, Andrea Bondavalli, Felicita Di Giandomenico
2001 A conf
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems.
DSN
F. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli
2001 J jnl
Dependability analysis in the early phases of UML-based system design.
Comput. Syst. Sci. Eng.
Andrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia
2001 J jnl
Design Validation of Embedded Dependable Systems.
IEEE Micro
Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini
2001 J jnl
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications.
Comput. J.
Fabrizio Grandoni, Silvano Chiaradonna, Felicita Di Giandomenico, Andrea Bondavalli
2001 J jnl
Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking.
Comput. Syst. Sci. Eng.
Andrea Bondavalli, Manuela Nelli, Luca Simoncini, Giorgio Mongardi
2001 J jnl
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability.
IEEE Trans. Computers
Ivan Mura, Andrea Bondavalli
2001 — conf
Modeling and Analysis of the Behavior of GPRS Systems.
WORDS
F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli
2001 — conf
Towards Optimal Database Maintenance in Wireless Communication Systems.
ISAS-SCI (1)
Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli
2001 B conf
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems.
SAFECOMP
Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli
2000 C conf
A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing.
ISORC
Andrea Bondavalli, Felicita Di Giandomenico
2000 — conf
Analysis of group communication protocols to assess quality of service properties.
HASE
Andrea Coccoli, Stefan Schemmer, Felicita Di Giandomenico, Michael Mock, Andrea Bondavalli
2000 A conf
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems.
DSN
Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini
2000 C conf
Design, Methods, and Tools for ORC.
ISORC
Edgar Nett, Andrea Bondavalli, Bruce Powel Douglass, Carlos Eduardo Pereira, Douglas C. Schmidt, Bran Selic, Kelvin D. Nilsen
2000 Misc conf
Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems.
PDPTA
Felicita Di Giandomenico, Silvano Chiaradonna, Andrea Bondavalli, Fabrizio Grandoni
2000 C conf
Scheduling Solutions for Supporting Dependable Real-Time Applications.
ISORC
F. Sandrini, Felicita Di Giandomenico, Andrea Bondavalli, Edgar Nett
2000 J jnl
The meaning and role of value in scheduling flexible real-time systems.
J. Syst. Archit.
Alan Burns, Divya Prasad, Andrea Bondavalli, Felicita Di Giandomenico, Krithi Ramamritham, John A. Stankovic, Lorenzo Strigini
2000 J jnl
Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults.
IEEE Trans. Computers
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni
1999 J jnl
A Contribution to the Evaluation of the Reliability of Iterative-Execution Software.
Softw. Test. Verification Reliab.
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini
1999 J jnl
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems.
Real Time Syst.
Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura
1999 C conf
Automated Dependability Analysis of UML Designs.
ISORC
Andrea Bondavalli, Ivan Mura, István Majzik
1999 — conf
Automatic Dependability Analysis for Supporting Design Decisions in UML.
HASE
Andrea Bondavalli, Ivan Mura, István Majzik
1999 Misc conf
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.
EDCC
Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi
1999 J jnl
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distributed Syst.
David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings
1999 — conf
High-level Integrated Design Environment for dependability (HIDE).
WORDS (Fall)
Andrea Bondavalli, Mario Dal Cin, Diego Latella, András Pataricza
1998 — conf
A New Heuristic to Discriminate between Transient and Intermittent Faults.
HASE
Fabrizio Grandoni, Andrea Bondavalli, Silvano Chiaradonna
1998 — conf
Optimal Discrimination between Transient and Permanent Faults.
HASE
Michele Pizza, Lorenzo Strigini, Andrea Bondavalli, Felicita Di Giandomenico
1998 C conf
State Restoration in a COTS-Based N-Modular Architecture.
ISORC
Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabéjac
1998 J jnl
Temporal analysis of data flow control systems.
Autom.
Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini
1997 — conf
A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis.
FTDCS
Paolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico
1997 — conf
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications.
HASE
Andrea Bondavalli, Ivan Mura, Manuela Nelli
1997 — conf
Discriminating Fault Rate and Persistency to Improve Fault Treatment.
FTCS
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni
1997 — conf
Value-driven resource assignment in object-oriented real-time dependable systems.
WORDS
Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura
1996 — conf
Adaptive software fault tolerance policies with dynamic real-time guarantees.
WORDS
Edgar Nett, H. Streich, Paolo Bizzarri, Andrea Bondavalli, Fabio Tarini
1996 Misc conf
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking.
EDCC
Manuela Nelli, Andrea Bondavalli, Luca Simoncini
1996 — conf
Planning the Execution of Task Groups in Real-Time Systems.
RTS
Paolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico, Fabio Tarini
1996 — conf
Reachability and Timing Analysis in Data Flow Networks: A Case Study.
EUROMICRO
B. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini
1995 — ch.
Adaptable Fault Tolerance for Real-Time Systems.
Responsive Computer Systems
Andrea Bondavalli, John A. Stankovic, Lorenzo Strigini
1995 B conf
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation.
SAFECOMP
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, S. La Torre
1995 J jnl
Using Process Algebras for the Semantic Analysis of Data Flow Networks.
IEICE Trans. Inf. Syst.
Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini
1994 B conf
Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures.
ICPADS
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico
1994 Misc conf
On Performability Modeling and Evaluation of Software Fault Tolerant Structures.
EDCC
Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini
1993 B conf
Data Flow Control Systems: an Example of Safety Validation.
SAFECOMP
Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli
1993 — conf
From Data Flow Networks to Process Algebras.
PARLE
Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini
1993 C conf
Functional paradigm for designing dependable large-scale parallel computing systems.
ISADS
Andrea Bondavalli, Luca Simoncini
1992 B conf
Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations.
SRDS
Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini
1992 J jnl
Destination Stripping Dual Ring: A New Protocol for MANs.
Comput. Networks ISDN Syst.
Andrea Bondavalli, Lorenzo Strigini, Matteo Sereno
1992 — conf
The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm.
NATO ASI RTC
Andrea Bondavalli, Luca Simoncini, Cinzia Bernardeschi
1991 — conf
A Performable BSM Architecture.
Fault-Tolerant Computing Systems
Andrea Bondavalli, M. Mannocci, Fabio Tarini, Paolo Zini, L. Nardone, Luca Simoncini
1991 A* conf
DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs.
INFOCOM
Andrea Bondavalli, Lorenzo Strigini
1989 J jnl
MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols.
Comput. Networks ISDN Syst.
Andrea Bondavalli, Marco Conti, Enrico Gregori, Luciano Lenzini, Lorenzo Strigini
1989 — conf
Shared Abstract Data Types: An Algebraic Methodology for Their Specification.
MFDBS
Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini