ARCAINI, Paolo Statistiche

ARCAINI, Paolo  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 60 (tempo di esecuzione: 0.055 secondi).
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