| 2026 | GECCO | Should I Overtake? Cue Learning using Evolution for Accurate Recognition of Safe Autonomous Vehicle Maneuvers. | Peter J. Bentley, Soo Ling Lim, Fuyuki Ishikawa, Paolo Arcaini |
| 2026 | HRI | Coordinating Speech with Touch Input and Visual Cues in Human-Robot Interaction: A Multimodal System Evaluated through Metamorphic Testing. | Massimo Donini, Paolo Arcaini, Michael Oliverio, Fuyuki Ishikawa, Alessandro Mazzei, Deyun Lyu, Cristina Gena |
| 2026 | ICST | RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems. | Dario Facchinetti, Matthew Rossi, Zhenya Zhang, Stefano Paraboschi, Paolo Arcaini |
| 2026 | ICST | Quantum Circuit Repair by Gate Prioritisation. | Eaut Mendiluze Usandizaga, Thomas Laurent, Paolo Arcaini, Shaukat Ali |
| 2026 | ICST | Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software. | Muhammad Yousaf, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Shuai Wang |
| 2026 | SANER | Search-Based Testing for an Autonomous Delivery Robots Scheduler. | Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa |
| 2025 | GECCO | Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels. | Karoline Nylnder, Aitor Arrieta, Shaukat Ali, Paolo Arcaini |
| 2025 | GECCO | Alternating between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System (Hot off the Press at GECCO 2025). | Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa |
| 2025 | ICST | A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models. | Paolo Arcaini, Andrea Bombarda, Angelo Gargantini |
| 2025 | ICST | DETOUR at the ICST 2025 Tool Competition - Self-Driving Car Testing Track. | Paolo Arcaini, Ahmet Cetinkaya |
| 2025 | ICST | PALM at the ICST 2025 Tool Competition - UAV Testing Track. | Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini |
| 2025 | SANER | Filter-based Repair of Semantic Segmentation in Safety-Critical Systems. | Sebastian Schneider, Tomas Sujovolsky, Paolo Arcaini, Fuyuki Ishikawa, Truong Vinh Truong Duy |
| 2024 | FM | CauMon: An Informative Online Monitor for Signal Temporal Logic. | Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo |
| 2024 | GECCO | Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). | Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2024 | GECCO | Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press). | Stefan Klikovits, Cdric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini |
| 2024 | GECCO | Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. | Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao |
| 2024 | ICSE | Technical Briefing on Deep Neural Network Repair. | Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang |
| 2024 | ICST | Metamorphic Testing of an Autonomous Delivery Robots Scheduler. | Thomas Laurent, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa |
| 2024 | ISoLA | Foundation Models for the Digital Twins Creation of Cyber-Physical Systems. | Shaukat Ali, Paolo Arcaini, Aitor Arrieta |
| 2024 | SSBSE | Approximating Stochastic Quantum Noise Through Genetic Programming. | Asmar Muqeet, Shaukat Ali, Paolo Arcaini |
| 2024 | UCC | Optimizing Multiple Consumer-specific Objectives in End-to-End Ensemble Machine Learning Serving. | Minh-Tri Nguyen, Hong-Linh Truong, Paolo Arcaini, Fuyuki Ishikawa |
| 2023 | APSEC | Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System. | Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto |
| 2023 | CAV | Online Causation Monitoring of Signal Temporal Logic. | Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo |
| 2023 | CEC | Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. | Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto |
| 2023 | GECCO | Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. | Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa |
| 2023 | GECCO | Adaptive Search-based Repair of Deep Neural Networks. | Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2023 | GECCO | On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering (Hot Off the Press track at GECCO 2023). | Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang |
| 2023 | ICECCS | Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. | Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto |
| 2023 | ICSE | CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. | Paolo Arcaini, Ahmet Cetinkaya |
| 2023 | ICST | Distributed Repair of Deep Neural Networks. | Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2023 | QCE | Towards Quantum Software Requirements Engineering. | Tao Yue, Shaukat Ali, Paolo Arcaini |
| 2022 | GECCO | Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). | Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie |
| 2022 | GECCO | Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022). | Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2022 | GECCO | Mutation-based test generation for quantum programs with multi-objective search. | Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2022 | ICSE | QuSBT: Search-Based Testing of Quantum Programs. | Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2022 | ICST | Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. | Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini |
| 2022 | ICST | Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. | Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa |
| 2022 | ISoLA | Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. | Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa |
| 2022 | RE | Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. | Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa |
| 2021 | CAV | Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. | Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao |
| 2021 | FM | Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. | Zhenya Zhang, Paolo Arcaini |
| 2021 | GECCO | Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021). | Shaukat Ali, Paolo Arcaini, Tao Yue |
| 2021 | GECCO | Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). | Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque |
| 2021 | GECCO | Analyzing the impact of product configuration variations on advanced driver assistance systems with search. | Kaiou Yin, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2021 | ICST | Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. | Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue |
| 2021 | ICST | ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. | Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
| 2021 | ICST | Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. | Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa |
| 2021 | ICST | Improving Mobile User Interface Testing with Model Driven Monkey Search. | Jordan Doyle, Takfarinas Saber, Paolo Arcaini, Anthony Ventresque |
| 2021 | ISSRE | What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. | Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2021 | MODELS | On the Need for Multi-Level ADS Scenarios. | Stefan Klikovits, Paolo Arcaini |
| 2021 | PRDC | Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. | Stefan Klikovits, Paolo Arcaini |
| 2021 | QRS | Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems. | Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini |
| 2021 | QRS | Application of Combinatorial Testing to Quantum Programs. | Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2021 | QUATIC | KNN-Averaging for Noisy Multi-objective Optimisation. | Stefan Klikovits, Paolo Arcaini |
| 2021 | SPLC | Automated model-based performance analysis of software product lines under uncertainty. | Paolo Arcaini, Omar Inverso, Catia Trubiani |
| 2021 | SSBSE | Generating Failing Test Suites for Quantum Programs With Search. | Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2020 | GECCO | Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. | Alessandro Cal, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa |
| 2020 | ICECCS | Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. | Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque |
| 2020 | ICSE | Leveraging test logs for building a self-adaptive path planner. | Kun Liu, Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Wenpin Jiao |
| 2020 | ICST | Model-Based Testing for MAPE-K adaptation control loops. | Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2020 | ICST | Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. | Alessandro Cal, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa |
| 2020 | ISoLA | Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. | Tao Yue, Paolo Arcaini, Shaukat Ali |
| 2020 | ISSRE | Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. | Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu |
| 2020 | SAC | Smart home platform supporting decentralized adaptive automation control. | Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini |
| 2020 | SSBSE | Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering? | Shaukat Ali, Paolo Arcaini, Tao Yue |
| 2019 | APSEC | A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner. | Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque |
| 2019 | CAV | Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. | Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini |
| 2019 | FM | Addressing Usability in a Formal Development Environment. | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2019 | GECCO | Stability analysis for safety of automotive multi-product lines: a search-based approach. | Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa |
| 2019 | ICECCS | Assessing the Relation Between Hazards and Variability in Automotive Systems. | Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2019 | ICSA | A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. | Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2019 | ICST | Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. | Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
| 2019 | ICST | Automatic Refinement of ASM Abstract Test Cases. | Paolo Arcaini, Elvinia Riccobene |
| 2019 | SPLC | Achieving change requirements of feature models by an evolutionary approach. | Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
| 2019 | SPLC | A process for fault-driven repair of constraints among features. | Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
| 2019 | TAP | Repairing Timed Automata Clock Guards through Abstraction and Testing. | tienne Andr, Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
| 2018 | ECSA | A DSL for MAPE Patterns Representation in Self-adapting Systems. | Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2017 | ICST | Message from the A-MOST 2017 Chairs. | Paolo Arcaini, Xavier Devroey, Shuai Wang |
| 2017 | ICST | MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2017 | ICST | NuSeen: A Tool Framework for the NuSMV Model Checker. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2017 | SAC | Collaborative development of feature models and evaluation of performance bounds. | Paolo Arcaini, Catia Trubiani |
| 2017 | SPLC | Automated Repairing of Variability Models. | Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
| 2016 | ICST | Automatic Detection and Removal of Conformance Faults in Feature Models. | Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
| 2016 | SEFM | SMT-Based Automatic Proof of ASM Model Refinement. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2015 | ICSE | Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. | Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra |
| 2015 | ICST | Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori |
| 2015 | ICST | Generating Tests for Detecting Faults in Feature Models. | Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
| 2015 | MEMOCODE | Formal validation and verification of a medical software critical component. | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene |
| 2014 | ICST | Validation of Models and Tests for Constrained Combinatorial Interaction Testing. | Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
| 2014 | TAP | An Abstraction Technique for Testing Decomposable Systems by Model Checking. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2013 | EUSFLAT | Flexible Querying of Volunteered Geographic Information for Risk Management. | Paolo Arcaini, Gloria Bordogna, Simone Sterlacchini |
| 2013 | FQAS | Wildfire Susceptibility Maps Flexible Querying and Answering. | Paolo Arcaini, Gloria Bordogna, Simone Sterlacchini |
| 2013 | ICST | Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2011 | RV | CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |