


Остановите войну!
for scientists:


default search action
Andrea Bondavalli
Person information

- affiliation: University of Florence, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j62]Muhammad Atif
, Andrea Ceccarelli
, Tommaso Zoppi
, Andrea Bondavalli
:
Tolerate Failures of the Visual Camera With Robust Image Classifiers. IEEE Access 11: 5132-5143 (2023) - [j61]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) - 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 M. B. R. 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
, Mario 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 M. B. R. 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
, Mario 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]