default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrea Bondavalli
Person information
- affiliation: University of Florence, Italy
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j67]Nicola Ferrante
, Luca Fanucci, Francesco Rossi, Francesco Terrosi, Andrea Bondavalli:
Improving the Efficiency of Software-Based Fault Protection Mechanisms With HUSTLE. IEEE Access 12: 104728-104741 (2024)- [j66]Francesco Flammini, Cristina Alcaraz, Emanuele Bellini, Stefano Marrone, Javier López, Andrea Bondavalli:
Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives. IEEE Trans. Emerg. Top. Comput. 12(2): 601-614 (2024) - [c173]Marzieh Kordi, Francesco Mariotti, Paolo Lollini, Andrea Bondavalli:
Security Modeling Challenges and Research Directions Around the ADVISE Meta Framework. SAFECOMP (Workshops) 2024: 275-283 - [c172]Tommaso Zoppi, Fahad Ahmed Kohkar, Andrea Ceccarelli, Andrea Bondavalli:
Position Paper - Bringing Classifiers into Critical Systems: Are We Barking up the Wrong Tree? SAFECOMP (Workshops) 2024: 351-357 - [e6]Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings. Lecture Notes in Computer Science 14988, Springer 2024, ISBN 978-3-031-68605-4 [contents] - [e5]Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch:
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings. Lecture Notes in Computer Science 14989, Springer 2024, ISBN 978-3-031-68737-2 [contents] - 2023
- [j65]Muhammad Atif, Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli:
Tolerate Failures of the Visual Camera With Robust Image Classifiers. IEEE Access 11: 5132-5143 (2023) - [j64]André A. S. Ivo, Sheila Granato Ribeiro, Fátima Mattiello-Francisco, Andrea Bondavalli:
Toward Conceptual Analysis of Cyber-Physical Systems Projects Focusing on the Composition of Legacy Systems. IEEE Access 11: 58136-58158 (2023) - [j63]Tommaso Zoppi, Andrea Ceccarelli, Tommaso Puccetti, Andrea Bondavalli:
Which algorithm can detect unknown attacks? Comparison of supervised, unsupervised and meta-learning algorithms for intrusion detection. Comput. Secur. 127: 103107 (2023) - [j62]Francesco Mariotti, Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi, Simone Nardi:
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. 9(3): 263-281 (2023) - [j61]Tommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Alberto Cirillo, Lorenzo Sarti, Lorenzo Esposito, Giuseppe Scaglione, Sergio Repetto, Andrea Bondavalli:
Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard. ACM Trans. Cyber Phys. Syst. 7(4): 25:1-25:20 (2023) - [c171]Nicola Ferrante, Francesco Terrosi, Luca Maruccio, Francesco Rossi, Luca Fanucci, Andrea Bondavalli:
HUSTLE: A Hardware Unit for Self-test-Libraries Efficient Execution. ApplePies 2023: 392-398 - [c170]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Ensembling Uncertainty Measures to Improve Safety of Black-Box Classifiers. ECAI 2023: 3156-3164 - [c169]Tommaso Zoppi, Giovanni Merlino, Andrea Ceccarelli, Antonio Puliafito, Andrea Bondavalli:
Anomaly Detectors for Self-Aware Edge and IoT Devices. QRS 2023: 24-35 - [c168]Francesco Terrosi, Francesco Mariotti, Paolo Lollini, Andrea Bondavalli:
Modeling of GPGPU architectures for performance analysis of CUDA programs. QRS 2023: 761-771 - [c167]Tommaso Puccetti, Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli:
Detection of Adversarial Attacks by Observing Deep Features with Structured Data Algorithms. SAC 2023: 125-134 - [c166]Irene Bicchierai, Enrico Schiavone, Massimiliano Leone Itria, Andrea Bondavalli, Lorenzo Falai:
A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices. SAFECOMP Workshops 2023: 123-134 - [i6]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Ensembling Uncertainty Measures to Improve Safety of Black-Box Classifiers. CoRR abs/2308.12065 (2023) - 2022
- [j60]Mohamad Gharib, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli:
A cyber-physical-social approach for engineering Functional Safety Requirements for automotive systems. J. Syst. Softw. 189: 111310 (2022) - [j59]Muhammad Atif, Tommaso Zoppi, Mohamad Gharib, Andrea Bondavalli:
Towards Enhancing Traffic Sign Recognition through Sliding Windows. Sensors 22(7): 2683 (2022) - [j58]Antonio Vincenzo Radogna, Maria Elena Latino, Marta Menegoli, Carmela Tania Prontera, Gabriele Morgante, Diamantea Mongelli, Lucia Giampetruzzi, Angelo Corallo, Andrea Bondavalli, Luca Francioso:
A Monitoring Framework with Integrated Sensing Technologies for Enhanced Food Safety and Traceability. Sensors 22(17): 6509 (2022) - [j57]Mohamad Gharib, Tommaso Zoppi, Andrea Bondavalli:
On the Properness of Incorporating Binary Classification Machine Learning Algorithms Into Safety-Critical Systems. IEEE Trans. Emerg. Top. Comput. 10(4): 1671-1686 (2022) - [j56]Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
Stochastic Activity Networks Templates: Supporting Variability in Performability Models. IEEE Trans. Reliab. 71(2): 640-656 (2022) - [c165]Francesco Terrosi, Andrea Ceccarelli, Andrea Bondavalli:
Failure modes and failure mitigation in GPGPUs: a reference model and its application. COMPSAC 2022: 62-72 - [c164]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Towards a General Model for Intrusion Detection: An Exploratory Study. PKDD/ECML Workshops (2) 2022: 186-201 - [c163]Francesco Terrosi, Lorenzo Strigini, Andrea Bondavalli:
Impact of Machine Learning on Safety Monitors. SAFECOMP 2022: 129-143 - 2021
- [j55]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Unsupervised Algorithms to Detect Zero-Day Attacks: Strategy and Application. IEEE Access 9: 90603-90615 (2021) - [j54]Leandro Dias da Silva, Paolo Lollini, Diamantea Mongelli, Andrea Bondavalli, Gianluca Mandò:
A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning. J. Braz. Comput. Soc. 27(1): 2 (2021) - [j53]Duccio Bertieri, Andrea Ceccarelli, Tommaso Zoppi, Innocenzo Mungiello, Mario Barbareschi, Andrea Bondavalli:
Development and validation of a safe communication protocol compliant to railway standards. J. Braz. Comput. Soc. 27(1): 5 (2021) - [j52]Mohamad Gharib, Paolo Lollini, Andrea Bondavalli:
IQCPSoS: A Model-Based Approach for Modeling and Analyzing Information Quality Requirements for Cyber-Physical System-of-Systems. J. Data Semant. 10(3-4): 267-289 (2021) - [j51]Tommaso Zoppi, Mohamad Gharib, Muhammad Atif, Andrea Bondavalli:
Meta-Learning to Improve Unsupervised Intrusion Detection in Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 5(4): 42:1-42:27 (2021) - [j50]Tommaso Zoppi, Andrea Ceccarelli, Tommaso Capecchi, Andrea Bondavalli:
Unsupervised Anomaly Detectors to Detect Intrusions in the Current Threat Landscape. Trans. Data Sci. 2(2): 7:1-7:26 (2021) - [j49]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
MADneSs: A Multi-Layer Anomaly Detection Framework for Complex Dynamic Systems. IEEE Trans. Dependable Secur. Comput. 18(2): 796-809 (2021) - [c162]Mirko Staderini, Andrea Bondavalli:
Investigation on Vulnerabilities Location in Solidity Smart Contracts. BLOCKCHAIN 2021: 199-211 - [c161]Tommaso Zoppi, Enrico Schiavone, Irene Bicchierai, Francesco Brancati, Andrea Bondavalli:
Spoofing Detectability as a Property of Biometric Characteristics. ITASEC 2021: 92-105 - [c160]Muhammad Atif, Andrea Ceccarelli, Andrea Bondavalli:
Reliable Traffic Sign Recognition System. LADC (Companion) 2021: 1-2 - [c159]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Feature Rankers to Predict Classification Performance of Unsupervised Intrusion Detectors. LADC 2021: 1-9 - [c158]Mirko Staderini, András Pataricza, Andrea Bondavalli:
Static Analysis Tools Applied to Smart Contracts. LADC (Companion) 2021: 3-4 - [c157]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Detecting Intrusions by Voting Diverse Machine Learners: Is It Really Worth? PRDC 2021: 57-66 - [c156]Muhammad Atif, Tommaso Zoppi, Mohamad Gharib, Andrea Bondavalli:
Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition. SAC 2021: 174-177 - [c155]Mohamad Gharib, Tommaso Zoppi, Andrea Bondavalli:
Understanding the properness of incorporating machine learning algorithms in safety-critical systems. SAC 2021: 232-234 - 2020
- [j48]Tommaso Zoppi, Andrea Ceccarelli, Lorenzo Salani, Andrea Bondavalli:
On the educated selection of unsupervised algorithms via attacks and anomaly classes. J. Inf. Secur. Appl. 52: 102474 (2020) - [j47]Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
A Template-Based Methodology for the Specification and Automated Composition of Performability Models. IEEE Trans. Reliab. 69(1): 293-309 (2020) - [c154]Mirko Staderini, Caterina Palli, Andrea Bondavalli:
Classification of Ethereum Vulnerabilities and their Propagations. BCCA 2020: 44-51 - [c153]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Into the Unknown: Unsupervised Machine Learning Algorithms for Anomaly-Based Intrusion Detection. DSN (Supplements) 2020: 81 - [c152]H. Maria Maqsood, Andrea Bondavalli:
Agility of Security Practices and Agile Process Models: An Evaluation of Cost for Incorporating Security in Agile Process Models. ENASE 2020: 331-338 - [c151]Hafiza Maria Maqsood, Eduardo Martins Guerra, Xiaofeng Wang, Andrea Bondavalli:
Patterns for Development of Safety-Critical Systems with Agile: Trace Safety Requirements and Perform Automated Testing. EuroPLoP 2020: 3:1-3:6 - [c150]Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli:
Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems. SoSE 2020: 217-222 - [i5]Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
A Formal Definition of Stochastic Activity Networks Templates. CoRR abs/2006.09291 (2020) - [i4]Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli:
Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems. CoRR abs/2010.15684 (2020) - [i3]Tommaso Zoppi, Andrea Ceccarelli, Tommaso Capecchi, Andrea Bondavalli:
Unsupervised Anomaly Detectors to Detect Intrusions in the Current Threat Landscape. CoRR abs/2012.11354 (2020)
2010 – 2019
- 2019
- [j46]Enrico Schiavone, Andrea Ceccarelli, Ariadne Maria Brito Rizzoni Carvalho, Andrea Bondavalli:
Design, implementation, and assessment of a usable multi-biometric continuous authentication system. Int. J. Crit. Comput. Based Syst. 9(3): 215-247 (2019) - [j45]Andrea Ceccarelli, Tommaso Zoppi, Alexandr Vasenev, Marco Mori, Dan Ionita, Lorena Montoya, Andrea Bondavalli:
Threat Analysis in Systems-of-Systems: An Emergence-Oriented Approach. ACM Trans. Cyber Phys. Syst. 3(2): 18:1-18:24 (2019) - [c149]Mohamad Gharib, Andrea Bondavalli:
On the Evaluation Measures for Machine Learning Algorithms for Safety-Critical Systems. EDCC 2019: 141-144 - [c148]Nicola Nostro, Kamal Shahid, Andrea Bondavalli, Hans-Peter Schwefel:
Resilient Access to Heterogeneous Measurement Data for Grid Observability. EDCC 2019: 180-182 - [c147]Mohamad Gharib, Paolo Lollini, Andrea Bondavalli:
Toward a Model-Based Approach for Analyzing Information Quality Requirements for Smart Grid. EDCC 2019: 183-185 - [c146]Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli:
Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. HASE 2019: 74-81 - [c145]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Evaluation of Anomaly Detection Algorithms Made Easy with RELOAD. ISSRE 2019: 446-455 - [c144]Duccio Bertieri, Tommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Mario Barbareschi, Andrea Bondavalli:
Practical Experience Report: Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain. LADC 2019: 1-6 - [c143]Leandro Dias da Silva, Diamantea Mongelli, Paolo Lollini, Andrea Bondavalli, Gianluca Mandò:
Performability Analysis of a Tramway System with Virtual Tags and Local Positioning. LADC 2019: 1-10 - [c142]Filipe Falcão, Tommaso Zoppi, Caio Barbosa Viera Silva, Anderson Santos, Baldoino Fonseca, Andrea Ceccarelli, Andrea Bondavalli:
Quantitative comparison of unsupervised anomaly detection algorithms for intrusion detection. SAC 2019: 318-327 - [c141]Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher:
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. SAFECOMP Workshops 2019: 185-197 - [c140]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
An Initial Investigation on Sliding Windows for Anomaly-Based Intrusion Detection. SERVICES 2019: 99-104 - 2018
- [j44]Andrea Bondavalli, Andrea Ceccarelli, Paolo Lollini, Leonardo Montecchi, Marco Mori:
System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions. IEEE Syst. J. 12(1): 250-261 (2018) - [j43]Marco Mori, Andrea Ceccarelli, Paolo Lollini, Bernhard Frömel, Francesco Brancati, Andrea Bondavalli:
Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile. J. Softw. Evol. Process. 30(3) (2018) - [j42]Tommaso Zoppi, Andrea Ceccarelli, Francesco Lo Piccolo, Paolo Lollini, Gabriele Giunta, Vito Morreale, Andrea Bondavalli:
Labelling relevant events to support the crisis management operator. J. Softw. Evol. Process. 30(3) (2018) - [j41]Tânia Basso, Leonardo Montecchi, Regina Moraes, Mário Jino, Andrea Bondavalli:
PrivAPP: An integrated approach for the design of privacy-aware applications. Softw. Pract. Exp. 48(3): 499-527 (2018) - [c139]Mohamad Gharib, Paolo Lollini, Marco Botta, Elvio Gilberto Amparore, Susanna Donatelli, Andrea Bondavalli:
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. DSN Workshops 2018: 271-274 - [c138]Giacomo Morganti, Enrico Schiavone, Andrea Bondavalli:
Risk Assessment of Blockchain Technology. LADC 2018: 87-96 - [c137]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
On Algorithms Selection for Unsupervised Anomaly Detection. PRDC 2018: 279-288 - [c136]Mirko Staderini, Enrico Schiavone, Andrea Bondavalli:
A Requirements-Driven Methodology for the Proper Selection and Configuration of Blockchains. SRDS 2018: 201-206 - 2017
- [j40]Massimiliano Leone Itria, Melinda Kocsis-Magyar, Andrea Ceccarelli, Paolo Lollini, Gabriele Giunta, Andrea Bondavalli:
Identification of critical situations via Event Processing and Event Trust Analysis. Knowl. Inf. Syst. 52(1): 147-178 (2017) - [c135]Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli:
Continuous Biometric Verification for Non-Repudiation of Remote Services. ARES 2017: 4:1-4:10 - [c134]Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli:
Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. CRITIS 2017: 194-206 - [c133]Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli:
Risk Assessment of a Biometric Continuous Authentication Protocol for Internet Services. ITASEC 2017: 53-65 - [c132]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Exploring anomaly detection in systems of systems. SAC 2017: 1139-1146 - [c131]Mohamad Gharib, Paolo Lollini, Andrea Bondavalli:
A conceptual model for analyzing information quality in System-of-Systems. SoSE 2017: 1-6 - [c130]Mohamad Gharib, Paolo Lollini, Andrea Bondavalli:
Towards an approach for analyzing trust in Cyber-Physical-Social Systems. SoSE 2017: 1-6 - 2016
- [j39]Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Roman Vitenberg, Hein Meling, Andrea Bondavalli:
Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera. IEEE Trans. Parallel Distributed Syst. 27(9): 2667-2681 (2016) - [c129]Leonardo Montecchi, Atle Refsdal, Paolo Lollini, Andrea Bondavalli:
A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain. DSN 2016: 275-286 - [c128]Riccardo Bernini, Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi:
Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes. EDCC 2016: 197-207 - [c127]Jane Dirce A. Sandim Eleuterio, Felipe Nunes Gaia, Andrea Bondavalli, Paolo Lollini, Genaína Nunes Rodrigues, Cecília Mary Fischer Rubira:
On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study. SEAA 2016: 323-330 - [c126]Tommaso Zoppi, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli, Francesco Lo Piccolo, Gabriele Giunta, Vito Morreale:
Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy. HASE 2016: 228-235 - [c125]Marco Mori, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli, Bernhard Frömel:
A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems. HASE 2016: 276-283 - [c124]Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli, Ariadne Maria Brito Rizzoni Carvalho:
Usability Assessment in a Multi-Biometric Continuous Authentication System. LADC 2016: 43-50 - [c123]Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli:
A multi-criteria ranking of security countermeasures. SAC 2016: 530-533 - [c122]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures. SAFECOMP 2016: 145-158 - [c121]Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli:
Continuous Authentication and Non-repudiation for the Security of Critical Systems. SRDS 2016: 207-208 - [c120]Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Challenging Anomaly Detection in Complex Dynamic Systems. SRDS 2016: 213-214 - [c119]Marco Mori, Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli:
On the impact of emergent properties on SoS security. SoSE 2016: 1-6 - [p6]Andrea Ceccarelli, Andrea Bondavalli, Bernhard Frömel, Oliver Höftberger, Hermann Kopetz:
Basic Concepts on Systems of Systems. Cyber-Physical Systems of Systems 2016: 1-39 - [p5]Hermann Kopetz, Andrea Bondavalli, Francesco Brancati, Bernhard Frömel, Oliver Höftberger, Sorin M. Iacob:
Emergence in Cyber-Physical Systems-of-Systems (CPSoSs). Cyber-Physical Systems of Systems 2016: 73-96 - [e4]Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz:
Cyber-Physical Systems of Systems - Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy. Lecture Notes in Computer Science 10099, Springer 2016, ISBN 978-3-319-47589-9 [contents] - 2015
- [j38]Andrea Ceccarelli, Andrea Bondavalli:
On trustworthy measurements when testing dependable systems: a discussion and experiences. Int. J. Crit. Comput. Based Syst. 6(2): 154-170 (2015) - [j37]Andrea Ceccarelli, Leonardo Montecchi, Francesco Brancati, Paolo Lollini, Angelo Marguglio, Andrea Bondavalli:
Continuous and Transparent User Identity Verification for Secure Internet Services. IEEE Trans. Dependable Secur. Comput. 12(3): 270-283 (2015) - [j36]Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli:
An OS-level Framework for Anomaly Detection in Complex Software Systems. IEEE Trans. Dependable Secur. Comput. 12(3): 366-372 (2015) - [c118]Tânia Basso, Leonardo Montecchi, Regina Moraes, Mário Jino, Andrea Bondavalli:
Towards a UML Profile for Privacy-Aware Applications. CIT/IUCC/DASC/PICom 2015: 371-378 - [c117]Andrea Bondavalli:
MB4CP 2015 Keynote I: Dependability Modeling and Analysis Methods Integrated in Model-Driven Industrial Architectural Frameworks. DSN Workshops 2015: 1-2 - [c116]Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System. DSN Workshops 2015: 33-38 - [c115]Francesco Brancati, András Pataricza, Nuno Silva, Ábel Hegedüs, László Gönczy, Andrea Bondavalli, Rosaria Esposito:
Cost Prediction for V&V and Certification Processes. DSN Workshops 2015: 57-62 - [c114]Valentina Bonfiglio, Leonardo Montecchi, Ivano Irrera, Francesco Rossi, Paolo Lollini, Andrea Bondavalli:
Software Faults Emulation at Model-Level: Towards Automated Software FMEA. DSN Workshops 2015: 133-140 - [c113]Andrea Ceccarelli, Marco Mori, Paolo Lollini, Andrea Bondavalli:
Introducing Meta-Requirements for Describing System of Systems. HASE 2015: 150-157 - [c112]Valentina Bonfiglio, Leonardo Montecchi, Francesco Rossi, Paolo Lollini, András Pataricza, Andrea Bondavalli:
Executable Models to Support Automated Software FMEA. HASE 2015: 189-196 - [c111]Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli:
Continuous User Identity Verification for Trusted Operators in Control Rooms. ICA3PP (Workshops and Symposiums) 2015: 187-200 - [c110]Andrea Ceccarelli, Tommaso Zoppi, Massimiliano Leone Itria, Andrea Bondavalli:
A Multi-layer Anomaly Detector for Dynamic Service-Based Systems. SAFECOMP 2015: 166-180 - [c109]Hermann Kopetz, Oliver Höftberger, Bernhard Frömel, Francesco Brancati, Andrea Bondavalli:
Towards an understanding of emergence in systems-of-systems. SoSE 2015: 214-219 - 2014
- [j35]Nicola Nostro, Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati:
Insider Threat Assessment: a Model-Based Methodology. ACM SIGOPS Oper. Syst. Rev. 48(2): 3-12 (2014) - [c108]Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models. EDCC 2014: 82-93 - [c107]Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli, Fabio Duchi, Giuseppe Vella:
A Testbed for Evaluating Anomaly Detection Monitors through Fault Injection. ISORC 2014: 358-365 - [c106]Nicola Nostro, Andrea Bondavalli, Nuno Silva:
Adding Security Concerns to Safety Critical Certification. ISSRE Workshops 2014: 521-526 - [c105]Fabio Duchi, Nuno Antunes, Andrea Ceccarelli, Giuseppe Vella, Francesco Rossi, Andrea Bondavalli:
Cost-Effective Testing for Critical Off-the-Shelf Services. SAFECOMP Workshops 2014: 231-242 - [c104]Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli:
On Security Countermeasures Ranking through Threat Analysis. SAFECOMP Workshops 2014: 243-254 - [c103]Leonardo Montecchi, Nicola Nostro, Andrea Ceccarelli, Giuseppe Vella, Antonio Caruso, Andrea Bondavalli:
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform. PASM 2014: 113-133 - [e3]Andrea Bondavalli, Felicita Di Giandomenico:
Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. Lecture Notes in Computer Science 8666, Springer 2014, ISBN 978-3-319-10505-5 [contents] - [e2]Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier:
Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Lecture Notes in Computer Science 8696, Springer 2014, ISBN 978-3-319-10556-7 [contents] - [i2]Leonardo Aniello, Andrea Bondavalli, Andrea Ceccarelli, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Antonella Guzzo, Antonio Pecchia, Andrea Pugliese, Leonardo Querzoni, Stefano Russo:
Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities. CoRR abs/1405.0325 (2014) - 2013
- [j34]Alessandro Daidone, Thibault Renier, Andrea Bondavalli, Hans-Peter Schwefel:
Optimal configuration of fault-tolerance parameters for distributed replicated server access. Int. J. Crit. Comput. Based Syst. 4(2): 144-172 (2013) - [j33]Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi:
Resilient estimation of synchronisation uncertainty through software clocks. Int. J. Crit. Comput. Based Syst. 4(4): 301-322 (2013) - [j32]Andrea Bondavalli, Francesco Brancati, Alessandra Flammini, Stefano Rinaldi:
Master Failure Detection Protocol in Internal Synchronization Environment. IEEE Trans. Instrum. Meas. 62(1): 4-12 (2013) - [c102]Leonardo Montecchi, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli:
Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system. ISORC 2013: 1-10 - [c101]Nuno Antunes, Francesco Brancati, Andrea Ceccarelli, Andrea Bondavalli, Marco Vieira:
A monitoring and testing framework for critical off-the-shelf applications and services. ISSRE (Supplemental Proceedings) 2013: 371-374 - [c100]Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Diego Santoro, Michele Vadursi:
Experimental analysis of the first order time difference of indicators used in the monitoring of complex systems. M&N 2013: 138-142 - [c99]João Figueiras, Jesper Grønbæk, Hans-Peter Schwefel, Andrea Bondavalli:
Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites. LADC 2013: 31-39 - [c98]Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Andrea Bondavalli, Roman Vitenberg, Hein Meling:
Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis. SAC 2013: 439-446 - [c97]Valentina Bonfiglio, Leonardo Montecchi, Francesco Rossi, Andrea Bondavalli:
On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262. CARS@SAFECOMP 2013 - [c96]Nicola Nostro, Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati:
A methodology and supporting techniques for the quantitative assessment of insider threats. DISCCO@SRDS 2013: 3:1-3:6 - [c95]Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
A reusable modular toolchain for automated dependability evaluation. VALUETOOLS 2013: 298-303 - 2012
- [j31]Luigi Coppolino, Luigi Romano, Andrea Bondavalli, Alessandro Daidone:
A hidden Markov model based intrusion detection system for wireless sensor networks. Int. J. Crit. Comput. Based Syst. 3(3): 210-228 (2012) - [j30]Monica Dixit, António Casimiro, Paolo Lollini, Andrea Bondavalli, Paulo Veríssimo:
Adaptare: Supporting automatic and dependable adaptation in dynamic environments. ACM Trans. Auton. Adapt. Syst. 7(2): 18:1-18:25 (2012) - [j29]Paolo Ferrari, Alessandra Flammini, Stefano Rinaldi, Andrea Bondavalli, Francesco Brancati:
Experimental Characterization of Uncertainty Sources in a Software-Only Synchronization System. IEEE Trans. Instrum. Meas. 61(5): 1512-1521 (2012) - [c94]Boris Malinowsky, Jesper Grønbæk, Hans-Peter Schwefel, Andrea Ceccarelli, Andrea Bondavalli, Edgar Nett:
Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems. EDCC 2012: 144-155 - [c93]Andrea Ceccarelli, Andrea Bondavalli, João Figueiras, Boris Malinowsky, Jurij Wakula, Francesco Brancati, Carlo Dambra, Andrea Seminatore:
Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System. HASE 2012: 147-154 - [c92]Leonardo Montecchi, Paolo Lollini, Boris Malinowsky, Jesper Grønbæk, Andrea Bondavalli:
Model-based analysis of a protocol for reliable communication in railway worksites. MSWiM 2012: 23-32 - [c91]Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli, Ernesto La Mattina:
Quantitative Security Evaluation of a Multi-biometric Authentication System. SAFECOMP Workshops 2012: 209-221 - [c90]Magali Andreia Rossi, Jorge Rady de Almeida Jr., Andrea Bondavalli, Paolo Lollini:
A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace. SAFECOMP Workshops 2012: 271-281 - [c89]Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati, Ernesto La Mattina:
Improving Security of Internet Services through Continuous and Transparent User Identity Verification. SRDS 2012: 201-206 - [p4]Andrea Bondavalli, Paolo Lollini, István Majzik, Leonardo Montecchi:
Modelling and Model-Based Assessment. Resilience Assessment and Evaluation of Computing Systems 2012: 153-165 - [p3]Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi:
Foundations of Metrology in the Observation of Critical Systems. Resilience Assessment and Evaluation of Computing Systems 2012: 205-211 - [p2]Andrea Bondavalli, Henrique Madeira, Paolo Lollini:
Future of Resilience Assessment: The AMBER Research Roadmap. Resilience Assessment and Evaluation of Computing Systems 2012: 415-439 - [i1]Mohamed Kaâniche, Paolo Lollini, Andrea Bondavalli, Karama Kanoun:
Modeling the resilience of large and evolving systems. CoRR abs/1211.5738 (2012) - 2011
- [j28]Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, István Majzik, Hans-Peter Schwefel:
The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. IEEE Trans. Mob. Comput. 10(6): 783-796 (2011) - [c88]Massimo Ficco, Alessandro Daidone, Luigi Coppolino, Luigi Romano, Andrea Bondavalli:
An event correlation approach for fault diagnosis in SCADA infrastructures. EWDC 2011: 15-20 - [c87]Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli:
A Testing Service for Lifelong Validation of Dynamic SOA. HASE 2011: 1-8 - [c86]Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
Towards a MDE Transformation Workflow for Dependability Analysis. ICECCS 2011: 157-166 - [c85]Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli:
A Service Discovery Approach for Testing Dynamic SOAs. ISORC Workshops 2011: 133-142 - [c84]Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
Dependability Concerns in Model-Driven Engineering. ISORC Workshops 2011: 254-263 - [c83]Andrea Bondavalli, Andrea Ceccarelli, Florjan Gogaj, Andrea Seminatore, Michele Vadursi:
Localization errors of low-cost GPS devices in railway worksite-like scenarios. M&N 2011: 6-11 - [c82]Antonio Bovenzi, Stefano Russo, Francesco Brancati, Andrea Bondavalli:
Towards identifying OS-level anomalies to detect application software failures. M&N 2011: 71-76 - [c81]Andrea Bondavalli, Francesco Brancati, Alessandra Flammini, Stefano Rinaldi:
A Reliable and Self-Aware Clock for reference time failure detection in internal synchronization environment. M&N 2011: 94-99 - [c80]Andrea Ceccarelli, Lorenzo Vinerbi, Lorenzo Falai, Andrea Bondavalli:
RACME: A Framework to Support V&V and Certification. LADC 2011: 116-125 - [c79]Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli:
A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. SAFECOMP 2011: 128-142 - [c78]Magali Andreia Rossi, Jorge Rady de Almeida Júnior, Andrea Bondavalli, Paolo Lollini:
Towards a Federated Simulation Approach for Reliability Evaluation of Unmanned Aircraft Vehicles within Aeronautical Communcations Networking. SRDS Workshops 2011: 67-71 - [c77]Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli:
An Intelligent Maintenance based on Machine Learning Approach for Wireless and Mobile Systems. WINSYS 2011: 115-118 - 2010
- [j27]Andrea Bondavalli, Lorenzo Falai, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini:
Available and safe message freshness detection algorithm. Int. J. Crit. Comput. Based Syst. 1(4): 336-363 (2010) - [j26]Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi:
A New Approach and a Related Tool for Dependability Measurements on Distributed Systems. IEEE Trans. Instrum. Meas. 59(4): 820-831 (2010) - [c76]Andrea Bondavalli, Paolo Lollini, Michele Vadursi:
AMBER Roadmap: Ongoing Research Directions. ICDCS Workshops 2010: 282-283 - [c75]Andrea Ceccarelli, Jesper Grønbæk, Leonardo Montecchi, Hans-Peter Schwefel, Andrea Bondavalli:
Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments. ISORC Workshops 2010: 184-193 - [c74]Jesper Grønbæk, Hans-Peter Schwefel, Andrea Ceccarelli, Andrea Bondavalli:
Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations. NCA 2010: 229-232 - [c73]Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Michele Vadursi:
Experimental Validation of a Synchronization Uncertainty-Aware Software Clock. SRDS 2010: 245-254 - [c72]Francesco Brancati, Andrea Bondavalli:
Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation. SRDS 2010: 328-332
2000 – 2009
- 2009
- [j25]Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi:
QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis. J. Softw. 4(7): 675-685 (2009) - [j24]Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico:
A Decomposition-Based Modeling Framework for Complex Systems. IEEE Trans. Reliab. 58(1): 20-33 (2009) - [c71]Andrea Bondavalli, Andrea Ceccarelli, Paolo Lollini:
Architecting and Validating Dependable Systems: Experiences and Visions. WADS 2009: 297-321 - [c70]Andrea Ceccarelli, Andrea Bondavalli, Danilo Iovino:
Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection. PRDC 2009: 234-241 - [c69]Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai:
An Experimental Framework for the Analysis and Validation of Software Clocks. SEUS 2009: 69-81 - 2008
- [c68]Andrea Ceccarelli, István Majzik, Danilo Iovino, Fausto Caneschi, Gergely Pintér, Andrea Bondavalli:
A Resilient SIL 2 Driver Machine Interface for Train Control Systems. DepCoS-RELCOMEX 2008: 365-374 - [c67]Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel:
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). DSN 2008: 542-543 - [c66]Andrea Bondavalli:
How hard is Assessing and Measuring Resilience? Panel. EDCC 2008: 179-180 - [c65]António Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo:
A framework for dependable QoS adaptation in probabilistic environments. SAC 2008: 2192-2196 - [c64]Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli:
An integrated framework for the dependability evaluation of distributed mobile applications. SERENE 2008: 29-38 - [c63]Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi:
Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults. SEUS 2008: 186-197 - [c62]Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai:
Assuring Resilient Time Synchronization. SRDS 2008: 3-12 - 2007
- [j23]Marco Serafini, Andrea Bondavalli, Neeraj Suri:
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters. IEEE Trans. Dependable Secur. Comput. 4(4): 295-312 (2007) - [c61]Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi:
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. DSN 2007: 522-533 - [c60]Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone:
The CRUTIAL Architecture for Critical Information Infrastructures. WADS 2007: 1-27 - [c59]Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo:
Analysis of a Redundant Architecture for Critical Infrastructure Protection. WADS 2007: 78-100 - [c58]Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi:
Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems. ISADS 2007: 377-386 - [c57]Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai:
A Self-Aware Clock for Pervasive Computing Systems. PDP 2007: 403-411 - [e1]Andrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum:
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4746, Springer 2007, ISBN 978-3-540-75293-6 [contents] - 2006
- [j22]Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo:
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. 3(3): 169-171 (2006) - [c56]László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha:
Dependability Evaluation of Web Service-Based Processes. EPEW 2006: 166-180 - [c55]Andrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri:
Integration of an MPS Modeling Approach into Mobius. QEST 2006: 139-140 - [c54]Alessandro Daidone, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna:
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution. SRDS 2006: 245-256 - 2005
- [j21]Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico:
A Modeling Methodology for Hierarchical Control System and its Aplication. J. Braz. Comput. Soc. 10(3): 57-69 (2005) - [c53]Lorenzo Falai, Andrea Bondavalli:
Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network. DSN 2005: 624-633 - [c52]Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico:
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures. ISAS 2005: 180-195 - [c51]Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico:
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. LADC 2005: 35-51 - [c50]Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico:
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. QEST 2005: 241-242 - 2004
- [j20]Andrea Bondavalli, Roberto Filippini:
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach. Comput. J. 47(6): 634-650 (2004) - [j19]Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano:
Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications. IEEE Trans. Dependable Secur. Comput. 1(4): 223-237 (2004) - [j18]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura:
Dependability modeling and evaluation of multiple-phased systems using DEEM. IEEE Trans. Reliab. 53(4): 509-522 (2004) - [c49]Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini:
Model-based evaluation of a radio resource management system for wireless networks. Conf. Computing Frontiers 2004: 51-59 - [c48]Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna:
Architectural challenges for a dependable Information Society. IFIP Congress Topical Sessions 2004: 282-304 - [c47]Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli:
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems. ISAS 2004: 160-174 - [c46]Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico, Stefano Porcarelli:
Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks. ISCC 2004: 772-778 - [c45]Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini:
A Freshness Detection Mechanism for Railway Applications. PRDC 2004: 292-301 - 2003
- [j17]Shambhu J. Upadhyaya, Andrea Bondavalli:
Guest Editorial: Special Issue on Reliable Distributed Systems. IEEE Trans. Computers 52(2): 97-98 (2003) - [j16]Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Massimo Barbera, Ivan Mura:
Service-Level Availability Estimation of GPRS. IEEE Trans. Mob. Comput. 2(3): 233-247 (2003) - [c44]Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi:
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. WADS 2003: 167-190 - [c43]Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano:
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation. LADC 2003: 303-320 - [c42]Andrea Coccoli, Andrea Bondavalli:
Analysis of Safety Related Architectures. WORDS Fall 2003: 111-117 - 2002
- [j15]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, J. Xu:
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment. J. Syst. Archit. 47(9): 763-781 (2002) - [c41]Andrea Coccoli, Péter Urbán, Andrea Bondavalli:
Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements. DSN 2002: 551-560 - [c40]István Majzik, András Pataricza, Andrea Bondavalli:
Stochastic Dependability Analysis of System Architecture Based on UML Models. WADS 2002: 219-244 - [c39]Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli:
Analyzing quality of service of GPRS network systems from a user's perspective. ISCC 2002: 142-149 - [c38]Luigi Romano, Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo:
Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications. SRDS 2002: 296-303 - 2001
- [j14]Fabrizio Grandoni, Silvano Chiaradonna, Felicita Di Giandomenico, Andrea Bondavalli:
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications. Comput. J. 44(6): 544-556 (2001) - [j13]Andrea Bondavalli, Manuela Nelli, Luca Simoncini, Giorgio Mongardi:
Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. Comput. Syst. Sci. Eng. 16(4): 249-261 (2001) - [j12]Andrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia:
Dependability analysis in the early phases of UML-based system design. Comput. Syst. Sci. Eng. 16(5): 265-275 (2001) - [j11]Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini:
Design Validation of Embedded Dependable Systems. IEEE Micro 21(5): 52-62 (2001) - [j10]Ivan Mura, Andrea Bondavalli:
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability. IEEE Trans. Computers 50(12): 1337-1351 (2001) - [c37]F. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli:
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems. DSN 2001: 235-250 - [c36]Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli:
Towards Optimal Database Maintenance in Wireless Communication Systems. ISAS-SCI (1) 2001: 571-576 - [c35]Andrea Coccoli, Andrea Bondavalli, Felicita Di Giandomenico:
Analysis and Estimation of the Quality of Service of Group Communication Protocols. ISORC 2001: 209-216 - [c34]Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli:
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. SAFECOMP 2001: 238-248 - [c33]F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli:
Modeling and Analysis of the Behavior of GPRS Systems. WORDS 2001: 51-58 - 2000
- [j9]Alan Burns, Divya Prasad, Andrea Bondavalli, Felicita Di Giandomenico, Krithi Ramamritham, John A. Stankovic, Lorenzo Strigini:
The meaning and role of value in scheduling flexible real-time systems. J. Syst. Archit. 46(4): 305-325 (2000) - [j8]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni:
Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults. IEEE Trans. Computers 49(3): 230-245 (2000) - [c32]Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini:
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. DSN 2000: 231-236 - [c31]Andrea Coccoli, Stefan Schemmer, Felicita Di Giandomenico, Michael Mock, Andrea Bondavalli:
Analysis of group communication protocols to assess quality of service properties. HASE 2000: 247-256 - [c30]F. Sandrini, Felicita Di Giandomenico, Andrea Bondavalli, Edgar Nett:
Scheduling Solutions for Supporting Dependable Real-Time Applications. ISORC 2000: 122-129 - [c29]Edgar Nett, Andrea Bondavalli, Bruce Powel Douglass, Carlos Eduardo Pereira, Douglas C. Schmidt, Bran Selic, Kelvin D. Nilsen:
Design, Methods, and Tools for ORC. ISORC 2000: 305 - [c28]Andrea Bondavalli, Felicita Di Giandomenico:
A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing. ISORC 2000: 306- - [c27]Felicita Di Giandomenico, Silvano Chiaradonna, Andrea Bondavalli, Fabrizio Grandoni:
Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems. PDPTA 2000
1990 – 1999
- 1999
- [j7]Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura:
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems. Real Time Syst. 16(1): 5-30 (1999) - [j6]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini:
A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. Softw. Test. Verification Reliab. 9(3): 145-166 (1999) - [j5]David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings:
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. IEEE Trans. Parallel Distributed Syst. 10(6): 580-599 (1999) - [c26]Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi:
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. EDCC 1999: 7-23 - [c25]Andrea Bondavalli, Ivan Mura, István Majzik:
Automatic Dependability Analysis for Supporting Design Decisions in UML. HASE 1999: 64-74 - [c24]Andrea Bondavalli, Ivan Mura, István Majzik:
Automated Dependability Analysis of UML Designs. ISORC 1999: 139- - [c23]Andrea Bondavalli, Mario Dal Cin, Diego Latella, András Pataricza:
High-level Integrated Design Environment for dependability (HIDE). WORDS (Fall) 1999: 87-92 - 1998
- [j4]Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini:
Temporal analysis of data flow control systems. Autom. 34(2): 169-182 (1998) - [c22]Michele Pizza, Lorenzo Strigini, Andrea Bondavalli, Felicita Di Giandomenico:
Optimal Discrimination between Transient and Permanent Faults. HASE 1998: 214-223 - [c21]Fabrizio Grandoni, Andrea Bondavalli, Silvano Chiaradonna:
A New Heuristic to Discriminate between Transient and Intermittent Faults. HASE 1998: 224-231 - [c20]Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabéjac:
State Restoration in a COTS-Based N-Modular Architecture. ISORC 1998: 174- - 1997
- [c19]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni:
Discriminating Fault Rate and Persistency to Improve Fault Treatment. FTCS 1997: 354-362 - [c18]Paolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico:
A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis. FTDCS 1997: 296-303 - [c17]Andrea Bondavalli, Ivan Mura, Manuela Nelli:
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. HASE 1997: 85-93 - [c16]Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura:
Value-driven resource assignment in object-oriented real-time dependable systems. WORDS 1997: 92-99 - 1996
- [c15]Paolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico, Fabio Tarini:
Planning the Execution of Task Groups in Real-Time Systems. RTS 1996: 169-174 - [c14]Manuela Nelli, Andrea Bondavalli, Luca Simoncini:
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. EDCC 1996: 93-110 - [c13]B. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini:
Reachability and Timing Analysis in Data Flow Networks: A Case Study. EUROMICRO 1996: 193- - [c12]Edgar Nett, H. Streich, Paolo Bizzarri, Andrea Bondavalli, Fabio Tarini:
Adaptive software fault tolerance policies with dynamic real-time guarantees. WORDS 1996: 78-85 - 1995
- [j3]Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini:
Using Process Algebras for the Semantic Analysis of Data Flow Networks. IEICE Trans. Inf. Syst. 78-D(8): 959-968 (1995) - [c11]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, S. La Torre:
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation. SAFECOMP 1995: 489-503 - [p1]Andrea Bondavalli, John A. Stankovic, Lorenzo Strigini:
Adaptable Fault Tolerance for Real-Time Systems. Responsive Computer Systems 1995: 187-208 - 1994
- [c10]Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini:
On Performability Modeling and Evaluation of Software Fault Tolerant Structures. EDCC 1994: 97-114 - [c9]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico:
Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures. ICPADS 1994: 354-359 - 1993
- [c8]Andrea Bondavalli, Luca Simoncini:
Functional paradigm for designing dependable large-scale parallel computing systems. ISADS 1993: 108-114 - [c7]Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini:
From Data Flow Networks to Process Algebras. PARLE 1993: 740-743 - [c6]Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli:
Data Flow Control Systems: an Example of Safety Validation. SAFECOMP 1993: 9-20 - 1992
- [j2]Andrea Bondavalli, Lorenzo Strigini, Matteo Sereno:
Destination Stripping Dual Ring: A New Protocol for MANs. Comput. Networks ISDN Syst. 24(1): 15-32 (1992) - [c5]Andrea Bondavalli, Luca Simoncini, Cinzia Bernardeschi:
The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm. NATO ASI RTC 1992: 527-529 - [c4]Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini:
Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. SRDS 1992: 214-221 - 1991
- [c3]Andrea Bondavalli, M. Mannocci, Fabio Tarini, Paolo Zini, L. Nardone, Luca Simoncini:
A Performable BSM Architecture. Fault-Tolerant Computing Systems 1991: 332-347 - [c2]Andrea Bondavalli, Lorenzo Strigini:
DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs. INFOCOM 1991: 1022-1030
1980 – 1989
- 1989
- [j1]Andrea Bondavalli, Marco Conti, Enrico Gregori, Luciano Lenzini, Lorenzo Strigini:
MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols. Comput. Networks ISDN Syst. 18(2): 97-113 (1989) - [c1]Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini:
Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
Coauthor Index
[c172] [e6] [e5] [j65] [j63] [j61] [c170] [c169] [c167] [i6] [j60] [c165] [c164] [j55] [j53] [j50] [j49] [c160] [c159] [c157] [j48] [c153] [c150] [i4] [i3] [j46] [j45] [c146] [c145] [c144] [c142] [c141] [c140] [j44] [j43] [j42] [c137] [j40] [c135] [c134] [c133] [c132] [c126] [c125] [c124] [c123] [c122] [c121] [c120] [c119] [p6] [j38] [j37] [c113] [c111] [c110] [j35] [c107] [c105] [c104] [c103] [e2] [i2] [j33] [c102] [c101] [c100] [c96] [c94] [c93] [c89] [p3] [c87] [c85] [c83] [c80] [j26] [c75] [c74] [c73] [c71] [c70] [c69] [c68] [c62] [c61] [c58] [c57]
[c173] [j62] [c168] [j60] [j56] [j54] [j52] [j47] [c150] [i5] [i4] [c147] [c146] [c143] [j44] [j43] [j42] [c139] [j40] [c134] [c131] [c130] [c129] [c128] [c127] [c126] [c125] [j37] [c116] [c114] [c113] [c112] [c108] [c102] [c95] [j30] [c92] [c91] [c90] [p4] [p2] [i1] [j28] [c86] [c84] [c78] [c76] [j25] [j24] [c71] [c65] [c64] [c63] [c55] [j21] [c52] [c49] [c47] [c46]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
