ARCAINI, Paolo Statistiche
ARCAINI, Paolo
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
2022-01-01 Ernst, Gidon; Arcaini, Paolo; Fainekos, Georgios; Formica, Federico; Inoue, Jun; Khandait, Tanmay; Mahboob, Mohammad Mahdi; Menghi, Claudio; Pedrielli, Giulia; Waga, Masaki; Yamagata, Yoriyuki; Zhang, Zhenya
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
2022-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Gamba, Daniele; Pedercini, Rita
Efficient Computation of Robustness of Convolutional Neural Networks
2021-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers
2021-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
The ASMETA Approach to Safety Assurance of Software Systems
2021-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Achieving change requirements of feature models by an evolutionary approach
2020-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco
Addressing usability in a formal development environment
2020-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Dealing with Robustness of Convolutional Neural Networks for Image Classification
2020-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Intelligent Autonomous Systems
2020-01-01 Mashkoor, Atif; Arcaini, Paolo; Gargantini, Angelo Michele
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
2020-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems
2019-01-01 Arcaini, Paolo; Mirandola, Raffaela; Riccobene, Elvinia; Scandurra, Patrizia
A process for fault-driven repair of constraints among features
2019-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco
Achieving change requirements of feature models by an evolutionary approach
2019-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco
Decomposition-Based Approach for Model-Based Test Generation
2019-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvira
Efficient and guaranteed detection of t-Way failure-inducing combinations
2019-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco
Fault-based test generation for regular expressions by mutation
2019-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Regular Expression Learning with Evolutionary Testing and Repair
2019-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Repairing Timed Automata Clock Guards through Abstraction and Testing
2019-01-01 André, Étienne; Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco
A DSL for MAPE patterns representation in self-adapting systems
2018-01-01 Arcaini, Paolo; Mirandola, Raffaela; Riccobene, Elvinia; Scandurra, Patrizia
An evolutionary process for product-driven updates of feature models
2018-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2022 | ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources | Ernst, Gidon; Arcaini, Paolo; Fainekos, Georgios; Formica, Federico; Inoue, Jun; Khandait, Tanmay; Mahboob, Mohammad Mahdi; Menghi, Claudio; Pedrielli, Giulia; Waga, Masaki; Yamagata, Yoriyuki; Zhang, Zhenya | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2022 | Robustness assessment and improvement of a neural network for blood oxygen pressure estimation | Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Gamba, Daniele; Pedercini, Rita | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2021 | Efficient Computation of Robustness of Convolutional Neural Networks | Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2021 | ROBY: A Tool for Robustness Analysis of Neural Network Classifiers | Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2021 | The ASMETA Approach to Safety Assurance of Software Systems | Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2020 | Achieving change requirements of feature models by an evolutionary approach | Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts | |
1-gen-2020 | Addressing usability in a formal development environment | Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2020 | Dealing with Robustness of Convolutional Neural Networks for Image Classification | Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2020 | Intelligent Autonomous Systems | Mashkoor, Atif; Arcaini, Paolo; Gargantini, Angelo Michele | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2020 | Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA | Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2019 | A Pattern-Oriented Design Framework for Self-Adaptive Software Systems | Arcaini, Paolo; Mirandola, Raffaela; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2019 | A process for fault-driven repair of constraints among features | Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2019 | Achieving change requirements of feature models by an evolutionary approach | Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2019 | Decomposition-Based Approach for Model-Based Test Generation | Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvira | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2019 | Efficient and guaranteed detection of t-Way failure-inducing combinations | Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2019 | Fault-based test generation for regular expressions by mutation | Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2019 | Regular Expression Learning with Evolutionary Testing and Repair | Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2019 | Repairing Timed Automata Clock Guards through Abstraction and Testing | André, Étienne; Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2018 | A DSL for MAPE patterns representation in self-adapting systems | Arcaini, Paolo; Mirandola, Raffaela; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2018 | An evolutionary process for product-driven updates of feature models | Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |