Search

Your search keyword '"Bondavalli, Andrea"' showing total 568 results
Start Over Author "Bondavalli, Andrea"

Refine your results

more »

more »

more »

more »
568 results on '"Bondavalli, Andrea"'

1. Ensembling Uncertainty Measures to Improve Safety of Black-Box Classifiers

Author

Zoppi, Tommaso, Ceccarelli, Andrea, and Bondavalli, Andrea

Subjects
Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Software Engineering, C.5, D.2, I.2
Abstract

Machine Learning (ML) algorithms that perform classification may predict the wrong class, experiencing misclassifications. It is well-known that misclassifications may have cascading effects on the encompassing system, possibly resulting in critical failures. This paper proposes SPROUT, a Safety wraPper thROugh ensembles of UncertainTy measures, which suspects misclassifications by computing uncertainty measures on the inputs and outputs of a black-box classifier. If a misclassification is detected, SPROUT blocks the propagation of the output of the classifier to the encompassing system. The resulting impact on safety is that SPROUT transforms erratic outputs (misclassifications) into data omission failures, which can be easily managed at the system level. SPROUT has a broad range of applications as it fits binary and multi-class classification, comprising image and tabular datasets. We experimentally show that SPROUT always identifies a huge fraction of the misclassifications of supervised classifiers, and it is able to detect all misclassifications in specific cases. SPROUT implementation contains pre-trained wrappers, it is publicly available and ready to be deployed with minimal effort., Comment: To appear at ECAI23 in October23

Published
2023

2. HUSTLE: A Hardware Unit for Self-test-Libraries Efficient Execution

Author

Ferrante, Nicola, Terrosi, Francesco, Maruccio, Luca, Rossi, Francesco, Fanucci, Luca, Bondavalli, Andrea, Angrisani, Leopoldo, Series Editor, Arteaga, Marco, Series Editor, Chakraborty, Samarjit, Series Editor, Chen, Jiming, Series Editor, Chen, Shanben, Series Editor, Chen, Tan Kay, Series Editor, Dillmann, Rüdiger, Series Editor, Duan, Haibin, Series Editor, Ferrari, Gianluigi, Series Editor, Ferre, Manuel, Series Editor, Jabbari, Faryar, Series Editor, Jia, Limin, Series Editor, Kacprzyk, Janusz, Series Editor, Khamis, Alaa, Series Editor, Kroeger, Torsten, Series Editor, Li, Yong, Series Editor, Liang, Qilian, Series Editor, Martín, Ferran, Series Editor, Ming, Tan Cher, Series Editor, Minker, Wolfgang, Series Editor, Misra, Pradeep, Series Editor, Mukhopadhyay, Subhas, Series Editor, Ning, Cun-Zheng, Series Editor, Nishida, Toyoaki, Series Editor, Oneto, Luca, Series Editor, Panigrahi, Bijaya Ketan, Series Editor, Pascucci, Federica, Series Editor, Qin, Yong, Series Editor, Seng, Gan Woon, Series Editor, Speidel, Joachim, Series Editor, Veiga, Germano, Series Editor, Wu, Haitao, Series Editor, Zamboni, Walter, Series Editor, Zhang, Junjie James, Series Editor, Tan, Kay Chen, Series Editor, Bellotti, Francesco, editor, Grammatikakis, Miltos D., editor, Mansour, Ali, editor, Ruo Roch, Massimo, editor, Seepold, Ralf, editor, Solanas, Agusti, editor, and Berta, Riccardo, editor

Published
2024
Full Text
View/download PDF

5. A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices

Author

Bicchierai, Irene, Schiavone, Enrico, Itria, Massimiliano Leone, Bondavalli, Andrea, Falai, Lorenzo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Guiochet, Jérémie, editor, Tonetta, Stefano, editor, Schoitsch, Erwin, editor, Roy, Matthieu, editor, and Bitsch, Friedemann, editor

Published
2023
Full Text
View/download PDF

6. Towards a General Model for Intrusion Detection: An Exploratory Study

Author

Zoppi, Tommaso, Ceccarelli, Andrea, Bondavalli, Andrea, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Koprinska, Irena, editor, Mignone, Paolo, editor, Guidotti, Riccardo, editor, Jaroszewicz, Szymon, editor, Fröning, Holger, editor, Gullo, Francesco, editor, Ferreira, Pedro M., editor, Roqueiro, Damian, editor, Ceddia, Gaia, editor, Nowaczyk, Slawomir, editor, Gama, João, editor, Ribeiro, Rita, editor, Gavaldà, Ricard, editor, Masciari, Elio, editor, Ras, Zbigniew, editor, Ritacco, Ettore, editor, Naretto, Francesca, editor, Theissler, Andreas, editor, Biecek, Przemyslaw, editor, Verbeke, Wouter, editor, Schiele, Gregor, editor, Pernkopf, Franz, editor, Blott, Michaela, editor, Bordino, Ilaria, editor, Danesi, Ivan Luciano, editor, Ponti, Giovanni, editor, Severini, Lorenzo, editor, Appice, Annalisa, editor, Andresini, Giuseppina, editor, Medeiros, Ibéria, editor, Graça, Guilherme, editor, Cooper, Lee, editor, Ghazaleh, Naghmeh, editor, Richiardi, Jonas, editor, Saldana, Diego, editor, Sechidis, Konstantinos, editor, Canakoglu, Arif, editor, Pido, Sara, editor, Pinoli, Pietro, editor, Bifet, Albert, editor, and Pashami, Sepideh, editor

Published
2023
Full Text
View/download PDF

7. Unsupervised Anomaly Detectors to Detect Intrusions in the Current Threat Landscape

Author

Zoppi, Tommaso, ceccarelli, Andrea, Capecchi, Tommaso, and Bondavalli, Andrea

Subjects
Computer Science - Machine Learning, Computer Science - Cryptography and Security, Computer Science - Networking and Internet Architecture
Abstract

Anomaly detection aims at identifying unexpected fluctuations in the expected behavior of a given system. It is acknowledged as a reliable answer to the identification of zero-day attacks to such extent, several ML algorithms that suit for binary classification have been proposed throughout years. However, the experimental comparison of a wide pool of unsupervised algorithms for anomaly-based intrusion detection against a comprehensive set of attacks datasets was not investigated yet. To fill such gap, we exercise seventeen unsupervised anomaly detection algorithms on eleven attack datasets. Results allow elaborating on a wide range of arguments, from the behavior of the individual algorithm to the suitability of the datasets to anomaly detection. We conclude that algorithms as Isolation Forests, One-Class Support Vector Machines and Self-Organizing Maps are more effective than their counterparts for intrusion detection, while clustering algorithms represent a good alternative due to their low computational complexity. Further, we detail how attacks with unstable, distributed or non-repeatable behavior as Fuzzing, Worms and Botnets are more difficult to detect. Ultimately, we digress on capabilities of algorithms in detecting anomalies generated by a wide pool of unknown attacks, showing that achieved metric scores do not vary with respect to identifying single attacks., Comment: Will be published on ACM Transactions Data Science

Published
2020

8. Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems

Author

Gharib, Mohamad, Lollini, Paolo, Ceccarelli, Andrea, and Bondavalli, Andrea

Subjects
Computer Science - Software Engineering
Abstract

One of the main challenges in integrating Cyber-Physical System-of-Systems (CPSoS) to function as a single unified system is the autonomy of its Cyber-Physical Systems (CPSs), which may lead to a lack of coordination among CPSs and results in various kinds of conflicts. We advocate that to efficiently integrate CPSs within the CPSoS, we may need to adjust the autonomy of some CPSs in a way that allows them to coordinate their activities to avoid any potential conflict among one another. To achieve that, we need to incorporate the notion of governance within the design of CPSoS, which defines rules that can be used for clearly specifying who and how can adjust the autonomy of a CPS. In this paper, we try to tackle this problem by proposing a new conceptual model that can be used for performing a governance-based analysis of autonomy for CPSs within CPSoS. We illustrate the utility of the model with an example from the automotive domain., Comment: preprint - accepted to the IEEE 15th International Conference of System of Systems Engineering (SoSE)

Published
2020

9. Stochastic Activity Networks Templates: Supporting Variability in Performability Models

Author

Montecchi, Leonardo, Lollini, Paolo, and Bondavalli, Andrea

Subjects
Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory
Abstract

Model-based evaluation is extensively used to estimate performance and reliability of dependable systems. Traditionally, those systems were small and self-contained, and the main challenge for model-based evaluation has been the efficiency of the solution process. Recently, the problem of specifying and maintaining complex models has increasingly gained attention, as modern systems are characterized by many components and complex interactions. Components share similarities, but also exhibit variations in their behavior due to different configurations or roles in the system. From the modeling perspective, variations lead to replicating and altering a small set of base models multiple times. Variability is taken into account only informally, by defining a sample model and explaining its possible variations. In this paper we address the problem of including variability in performability models, focusing on Stochastic Activity Networks (SANs). We introduce the formal definition of Stochastic Activity Networks Templates (SAN-T), a formalism based on SANs with the addition of variability aspects. Differently from other approaches, parameters can also affect the structure of the model, like the number of cases of activities. We apply the SAN-T formalism to the modeling of the backbone network of an environmental monitoring infrastructure. In particular, we show how existing SAN models from the literature can be generalized using the newly introduced formalism.

Published
2020
Full Text
View/download PDF

12. Impact of Machine Learning on Safety Monitors

Author

Terrosi, Francesco, Strigini, Lorenzo, Bondavalli, Andrea, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Trapp, Mario, editor, Saglietti, Francesca, editor, Spisländer, Marc, editor, and Bitsch, Friedemann, editor

Published
2022
Full Text
View/download PDF

13. Investigation on Vulnerabilities Location in Solidity Smart Contracts

Author

Staderini, Mirko, Bondavalli, Andrea, Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, Prieto, Javier, editor, Partida, Alberto, editor, Leitão, Paulo, editor, and Pinto, António, editor

Published
2022
Full Text
View/download PDF

22. The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results

Author

Ceccarelli, Andrea, Basile, Davide, Bondavalli, Andrea, Falai, Lorenzo, Fantechi, Alessandro, Ferrari, Sandro, Mandò, Gianluca, Nostro, Nicola, Rucher, Luigi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Romanovsky, Alexander, editor, Troubitsyna, Elena, editor, Gashi, Ilir, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2019
Full Text
View/download PDF

29. Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach

Author

Gharib, Mohamad, Lollini, Paolo, Ceccarelli, Andrea, Bondavalli, Andrea, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, D'Agostino, Gregorio, editor, and Scala, Antonio, editor

Published
2018
Full Text
View/download PDF

30. Modeling the resilience of large and evolving systems

Author

Kaaniche, Mohamed, Lollini, Paolo, Bondavalli, Andrea, and Kanoun, Karama

Subjects
Computer Science - Performance
Abstract

This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resilience-scaling challenges and properties related to the ubiquitous computerized systems. We mainly focus on quantitative evaluation approaches and, in particular, on model-based evaluation techniques that are commonly used to evaluate and compare, from the dependability point of view, different architecture alternatives at the design stage. We outline some of the main modeling techniques aiming at mastering the largeness of analytical dependability models at the construction level. Actually, addressing the model largeness problem is important with respect to the investigation of the scalability of current techniques to meet the complexity challenges of ubiquitous systems. Finally we present two case studies in which some of the presented techniques are applied for modeling web services and General Packet Radio Service (GPRS) mobile telephone networks, as prominent examples of large and evolving systems.

Published
2012

31. Basic Concepts on Systems of Systems

Author

Ceccarelli, Andrea, Bondavalli, Andrea, Froemel, Bernhard, Hoeftberger, Oliver, Kopetz, Hermann, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bondavalli, Andrea, editor, Bouchenak, Sara, editor, and Kopetz, Hermann, editor

Published
2016
Full Text
View/download PDF

32. Emergence in Cyber-Physical Systems-of-Systems (CPSoSs)

Author

Kopetz, Hermann, Bondavalli, Andrea, Brancati, Francesco, Frömel, Bernhard, Höftberger, Oliver, Iacob, Sorin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bondavalli, Andrea, editor, Bouchenak, Sara, editor, and Kopetz, Hermann, editor

Published
2016
Full Text
View/download PDF

33. On Security Countermeasures Ranking through Threat Analysis

Author

Nostro, Nicola, Matteucci, Ilaria, Ceccarelli, Andrea, Di Giandomenico, Felicita, Martinelli, Fabio, Bondavalli, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bondavalli, Andrea, editor, Ceccarelli, Andrea, editor, and Ortmeier, Frank, editor

Published
2014
Full Text
View/download PDF

34. Cost-Effective Testing for Critical Off-the-Shelf Services

Author

Duchi, Fabio, Antunes, Nuno, Ceccarelli, Andrea, Vella, Giuseppe, Rossi, Francesco, Bondavalli, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bondavalli, Andrea, editor, Ceccarelli, Andrea, editor, and Ortmeier, Frank, editor

Published
2014
Full Text
View/download PDF

35. Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures

Author

Zoppi, Tommaso, Ceccarelli, Andrea, Bondavalli, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Skavhaug, Amund, editor, Guiochet, Jérémie, editor, and Bitsch, Friedemann, editor

Published
2016
Full Text
View/download PDF

36. Continuous User Identity Verification for Trusted Operators in Control Rooms

Author

Schiavone, Enrico, Ceccarelli, Andrea, Bondavalli, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Wang, Guojin, editor, Zomaya, Albert, editor, Martinez, Gregorio, editor, and Li, Kenli, editor

Published
2015
Full Text
View/download PDF

37. A Multi-layer Anomaly Detector for Dynamic Service-Based Systems

Author

Ceccarelli, Andrea, Zoppi, Tommaso, Itria, Massimiliano, Bondavalli, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Koornneef, Floor, editor, and van Gulijk, Coen, editor

Published
2015
Full Text
View/download PDF

44. Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

Author

Bondavalli, Andrea, Bouchenak, Sara, and Kopetz, Hermann

Subjects
Technology & Engineering / History, Business & Economics / Industries / Computers & Information Technology, Business & Economics / Industries / Energy
Abstract

Computer Systems Organization and Communication Networks; Software Engineering; Complex Systems; Information Systems Applications (incl. Internet); Computer Applications

Published
2016

45. A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace

Author

Rossi, Magali Andreia, de Almeida Junior, Jorge Rady, Bondavalli, Andrea, Lollini, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ortmeier, Frank, editor, and Daniel, Peter, editor

Published
2012
Full Text
View/download PDF

46. Quantitative Security Evaluation of a Multi-biometric Authentication System

Author

Montecchi, Leonardo, Lollini, Paolo, Bondavalli, Andrea, La Mattina, Ernesto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ortmeier, Frank, editor, and Daniel, Peter, editor

Published
2012
Full Text
View/download PDF

49. Modelling and Model-Based Assessment

Author

Bondavalli, Andrea, Lollini, Paolo, Majzik, István, Montecchi, Leonardo, Wolter, Katinka, editor, Avritzer, Alberto, editor, Vieira, Marco, editor, and van Moorsel, Aad, editor

Published
2012
Full Text
View/download PDF

50. A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems

Author

Bovenzi, Antonio, Brancati, Francesco, Russo, Stefano, Bondavalli, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Flammini, Francesco, editor, Bologna, Sandro, editor, and Vittorini, Valeria, editor

Published
2011
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results