Paolo Arcaini

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 159

Top Venues

Publications

Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). GECCO Companion (2024)
Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini
A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum Computers. SIGSOFT FSE Companion (2024)
Juan Manuel Murillo, José García-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy V. Miranskyy, Manuel Wimmer
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead. CoRR (2024)
Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. CoRR (2024)
Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. SIGSOFT FSE Companion (2024)
Paolo Arcaini, Ahmet Cetinkaya
CRAG - a combinatorial testing-based generator of road geometries for ADS testing. Sci. Comput. Program. 238 (2024)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. GECCO (2024)
Shaukat Ali, Paolo Arcaini, Aitor Arrieta
Foundation Models for the Digital Twin Creation of Cyber-Physical Systems. CoRR (2024)
Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang
Technical Briefing on Deep Neural Network Repair. ICSE Companion (2024)
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press). GECCO Companion (2024)
Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini
A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers. CoRR (2024)
Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa
Alternating Between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System. SANER (2024)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuCAT: A Combinatorial Testing Tool for Quantum Software. CoRR (2023)
Qi Pan, Tiexin Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems. CoRR (2023)
Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Franz Scheuer, Alessio Gambi, Paolo Arcaini
STRETCH: Generating Challenging Scenarios for Testing Collision Avoidance Systems. IV (2023)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System. APSEC (2023)
Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
Adaptive Search-based Repair of Deep Neural Networks. GECCO (2023)
Mingyue Zhang, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. DSA (2023)
Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. CEC (2023)
Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
Test Case Minimization with Quantum Annealers. CoRR (2023)
Paolo Arcaini, Andriy V. Miranskyy
Report of the Fourth International Workshop on Quantum Software Engineering (Q-SE 2023). ACM SIGSOFT Softw. Eng. Notes 48 (4) (2023)
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. Appl. Soft Comput. 146 (2023)
Eñaut Mendiluze Usandizaga, Tao Yue, Paolo Arcaini, Shaukat Ali
Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations. CoRR (2023)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 49 (4) (2023)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuCAT: A Combinatorial Testing Tool for Quantum Software. ASE (2023)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
Online Causation Monitoring of Signal Temporal Logic. CAV (1) (2023)
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
ARCH-COMP23 Category Report: Falsification. ARCH (2023)
Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. Sci. Comput. Program. 230 (2023)
Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. GECCO (2023)
Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
Noise-Aware Quantum Software Testing. CoRR (2023)
Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang
On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering (Hot Off the Press track at GECCO 2023). GECCO Companion (2023)
Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (5) (2023)
Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
Distributed Repair of Deep Neural Networks. ICST (2023)
Paolo Arcaini, Ahmet Cetinkaya
CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. SBFT (2023)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
Online Causation Monitoring of Signal Temporal Logic. CoRR (2023)
Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. CoRR (2023)
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE (2023)
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Tao Yue, Shaukat Ali, Paolo Arcaini
Towards Quantum Software Requirements Engineering. CoRR (2023)
Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini
Guess What Quantum Computing Can Do for Test Case Optimization. CoRR (2023)
Tao Yue, Shaukat Ali, Paolo Arcaini
Towards Quantum Software Requirements Engineering. QCE (2023)
Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. ICECCS (2023)
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP (2022)
Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, Shaukat Ali
Mutation-based test generation for quantum programs with multi-objective search. GECCO (2022)
Tao Yue, Paolo Arcaini, Ji Wu, Xiaowei Huang
Editorial to theme section on open environmental software systems modeling. Softw. Syst. Model. 21 (4) (2022)
Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) (2022)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuSBT: Search-Based Testing of Quantum Programs. CoRR (2022)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022). GECCO Companion (2022)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST (2022)
Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque
Mutation-based analysis of queueing network performance models. J. Syst. Softw. 191 (2022)
Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque
JSIMutate: understanding performance results through mutations. ESEC/SIGSOFT FSE (2022)
Zhenya Zhang, Paolo Arcaini, Xuan Xie
Online Reset for Signal Temporal Logic Monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuSBT: Search-Based Testing of Quantum Programs. ICSE-Companion (2022)
Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. ICST (2022)
Stefan Klikovits, Vincenzo Riccio, Ezequiel Castellano, Ahmet Cetinkaya, Alessio Gambi, Paolo Arcaini
Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report. CoRR (2022)
Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura
Explaining the Behaviour of Game Agents Using Differential Comparison. ASE (2022)
Ezequiel Castellano, Stefan Klikovits, Ahmet Cetinkaya, Paolo Arcaini
FreneticV at the SBST 2022 Tool Competition. SBST@ICSE (2022)
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa
Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. RE (2022)
Tao Yue, Paolo Arcaini, Shaukat Ali
Quantum Software Testing: Challenges, Early Achievements, and Opportunities. ERCIM News 2022 (128) (2022)
Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang
On the preferences of quality indicators for multi-objective search algorithms in search-based software engineering. Empir. Softw. Eng. 27 (6) (2022)
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). GECCO Companion (2022)
Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ICST (2021)
Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. ISSRE (2021)
Shaukat Ali, Paolo Arcaini, Tao Yue
Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021). GECCO Companion (2021)
Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, Paolo Arcaini
Frenetic at the SBST 2021 Tool Competition. SBST@ICSE (2021)
Zhenya Zhang, Paolo Arcaini
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. FM (2021)
Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Anthony Ventresque
Parameter-Based Testing and Debugging of Autonomous Driving Systems. IV Workshops (2021)
Stefan Klikovits, Paolo Arcaini
On the Need for Multi-Level ADS Scenarios. MoDELS (Companion) (2021)
Paolo Arcaini, Omar Inverso, Catia Trubiani
Automated model-based performance analysis of software product lines under uncertainty. SPLC (A) (2021)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST (2021)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). GECCO Companion (2021)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. CAV (1) (2021)
Kaiou Yin, Paolo Arcaini, Tao Yue, Shaukat Ali
Analyzing the impact of product configuration variations on advanced driver assistance systems with search. GECCO (2021)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Quito: a Coverage-Guided Test Generator for Quantum Programs. ASE (2021)
Stefan Klikovits, Paolo Arcaini
KNN-Averaging for Noisy Multi-objective Optimisation. QUATIC (2021)
Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini
Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems. QRS (2021)
Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini, Tao Yue
Muskit: A Mutation Analysis Tool for Quantum Software Testing. ASE (2021)
Stefan Klikovits, Paolo Arcaini
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. PRDC (2021)
Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. ICST (2021)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Generating Failing Test Suites for Quantum Programs With Search. SSBSE (2021)
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. ASE (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Efficient Computation of Robustness of Convolutional Neural Networks. AITest (2021)
Stefan Klikovits, Paolo Arcaini
On the Need for Multi-Level ADS Scenarios. CoRR (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods (2021)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Application of Combinatorial Testing to Quantum Programs. QRS (2021)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. ASE (2021)
Stefan Klikovits, Paolo Arcaini
KNN-Averaging for Noisy Multi-objective Optimisation. CoRR (2021)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM (2021)
Stefan Klikovits, Paolo Arcaini
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. CoRR (2021)
Jordan Doyle, Takfarinas Saber, Paolo Arcaini, Anthony Ventresque
Improving Mobile User Interface Testing with Model Driven Monkey Search. ICST Workshops (2021)
Atif Mashkoor, Paolo Arcaini, Angelo Gargantini
Intelligent Autonomous Systems. Computer 53 (12) (2020)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops (2020)
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST (2020)
Paolo Arcaini, Omar Inverso, Catia Trubiani
Automated model-based performance analysis of software product lines under uncertainty. Inf. Softw. Technol. 127 (2020)
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu
Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. ISSRE (2020)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. ICECCS (2020)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. 164 (2020)

Paolo Arcaini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paolo Arcaini