conf.researchr.org / Paolo Arcaini
Registered user since Wed 30 Oct 2019
Name:Paolo Arcaini
Country:Norway
Affiliation:Simula Research Laboratory
Personal website: https://parcaini.github.io
Contributions
2027
2026
VARIABILITY
SSBSE
ICST
- Author of Quantum Circuit Repair by Gate Prioritisation within the Short Papers, Vision and Emerging Results-track
- Committee Member in Program Committee within the Short Papers, Vision and Emerging Results-track
- Author of Simulation-based Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems within the Journal-First Papers-track
- Committee Member in Program Committee within the Industry-track
- Author of RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems within the Testing Tools and Data Showcase-track
- Author of Assessing Vision–Language Models for Perception in Autonomous Underwater Robotic Software within the Industry-track
- Committee Member in Program Committee within the Research Papers-track
- Author of Fault Localization of AI-Enabled Cyber–Physical Systems by Exploiting Temporal Neuron Activation within the Journal-First Papers-track
ICSE
- Author of Quantum Software Engineering: Roadmap and Challenges Ahead within the Journal-first Papers-track
- Author of FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks within the Journal-first Papers-track
- Author of Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study within the Journal-first Papers-track
- Committee Member in Program Committee within the Research Track-track
2025
ASE
- Author of MET-MAPF: A Metamorphic Testing Approach for Multi-Agent Path Finding Algorithms within the Journal-First-track
- PC Member in Research Papers within the Research Papers-track
- Author of Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots within the Industry Showcase-track
- Author of SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences within the Journal-First-track
- Author of Quantum Circuit Mutants: Empirical Analysis and Recommendations within the Journal-First-track
- Committee Member in NIER Track Program Committee within the NIER-track
SSBSE
- Programme Committee in Program Committee within the Research Papers-track
- Author of SSBSE Summary of Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications within the Hot-off-the-Press-track
- Author of SSBSE Summary of BQTmizer: A Tool for Test Case Minimization with Quantum Annealing within the Hot-off-the-Press-track
ICSE
- Author of Mitigating Noise in Quantum Software Testing Using Machine Learning within the Journal-first Papers-track
- Presenter of SWEBOK Summit Talk: Quantum Software Engineering: Future Trends in Software Engineering Body of Knowledge within the Panels and Special Sessions-track
- Author of Test Case Minimization with Quantum Annealing within the Journal-first Papers-track
- Author of Quantum Approximate Optimization Algorithm for Test Case Optimization within the Journal-first Papers-track
ICST
- Author of PALM at the ICST 2025 Tool Competition - UAV Testing Track within the Tool Competition: UAV Testing-track
- Committee Member in Program Committee within the Short Papers, Vision and Emerging Results-track
- Author of DETOUR at the ICST 2025 Tool Competition – Self-Driving Car Testing Track within the Tool Competition: Self-Driving Car Testing-track
- Committee Member in Program Committee within the Research Papers-track
- PC Member in Program Committee within the Industry-track
- Author of Summary of Automated Program Repair for Variability Bugs in Software Product Line Systems within the Journal-First Papers-track
IWCT
2024
ASE
ESEC/FSE
- Author of Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context within the Industry Papers-track
- Author of A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM’s Quantum Computers within the Industry Papers-track
SSBSE
ICST
DeepTest
ICSE
2023
Q-SE
SSBSE
MODELS
ASE
ICSE
ICST
- Co-chair in Program Committee within the Tool Demo-track
- Author of Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs within the Previous Editions-track
- Session Chair of Session 13: Testing with Static Analysis Methods (part of Research Papers)
- Author of Distributed Repair of Deep Neural Networks within the Research Papers-track
- Author of Robustness assessment and improvement of a neural network for blood oxygen pressure estimation within the Previous Editions-track
- Author of A Robustness-Based Confidence Measure for Hybrid System Falsification within the Journal-First Papers-track
- Co-chair in Program Committee within the Testing Tools-track
- Tools & Demos Co-Chair in Organizing Committee
2022
MODELS
ASE
ECSA
Requirements Engineering
ICSE
2021
ASE
- Author of Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems within the NIER track-track
- Author of Muskit: A Mutation Analysis Tool for Quantum Software Testing within the Tool Demonstrations-track
- Author of Quito: a Coverage-Guided Test Generator for Quantum Programs within the Tool Demonstrations-track
- Author of Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search within the Research Papers-track
- Author of Time-Aware Coverage Criteria for Testing of AI-Enabled Hybrid Control Systems within the Late Breaking Results-track
MODELS
SSBSE
EASE
ICST
- Author of ROBY: a Tool for Robustness Analysis of Neural Network Classifiers within the Testing Tools Track-track
- Session Chair of Autonomous and Cyber-Physical Systems (part of Research Papers)
- Author of Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems within the Industry Track-track
- Author of Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs within the Research Papers-track