Paolo Arcaini -

Registered user since Wed 30 Oct 2019

Name:Paolo Arcaini

Country:Japan

Affiliation:National Institute of Informatics

Personal website:http://group-mmm.org/~arcaini/

Contributions

Q-SE 2023	Co-chair in Organizing Committee within the Q-SE 2023-track
ECSA 2023	Committee Member in Program Committee within the Research Papers-track
ICTSS 2023	Committee Member in Program Committee within the IFIP-ICTSS 35th International Conference on Testing Software and Systems-track
CSEE&T 2023	Publication Chair in Organizing Committee
EASE 2023	Committee Member in Program Committee within the Research (Full Papers)-track
ICSE 2023	Author of Parameter Coverage for Testing of Autonomous Driving Systems Under Uncertainty within the Journal-First Papers-track Author of FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria within the Journal-First Papers-track
A-MOST 2023	Programme Committee in Program Committee within the A-MOST 2023-track
ICST 2023	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 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
IWCT 2023	Committee Member in Program Committee within the IWCT-track
QP 2023	Author of Workshop Opening within the QP2023-track Author of Workshop Closing within the QP2023-track Co-chair in Organizing Committee within the QP2023-track
ESEC/FSE 2022	Author of JSIMutate: Understanding Performance Results through Mutations within the Demonstrations-track
SSBSE 2022	Committee Member in Program Committee within the Research Papers-track
MODELS 2022	Committee Member in Program Committee within the Doctoral Symposium-track Committee Member in Program Committee within the Tools & Demonstrations-track
ASE 2022	Author of Mutation-based Analysis of Queueing Network Performance Models -- Journal First Research within the Journal-first Papers-track Committee Member in Program Committee within the NIER Track-track
ESEIW 2022	Author of Does Road Diversity Really Matter in Testing Automated Driving Systems? A Registered Report within the ESEM Registered Reports-track
ECSA 2022	Committee Member in Program Committee within the Research Papers-track Co-chair in Program Committee within the Diversity, Equity and Inclusion (DE&I)-track DE&I Co-Chair in Organizing Committee
Requirements Engineering 2022	Author of Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems within the Research Papers-track
EASE 2022	National Institute of Informatics in Program Committee within the Research-track
ICSE 2022	Author of QuSBT: Search-Based Testing of Quantum Programs within the DEMO - Demonstrations-track
Q-SE 2022	Committee Member in Program Committee within the Q-SE 2022-track
A-MOST 2022	Programme Committee in Program Committee within the A-MOST 2022-track
IWCT 2022	Committee Member in Program Committee within the IWCT 2022-track
ICST 2022	Author of Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing within the Industry-track Author of Robustness assessment and improvement of a neural network for blood oxygen pressure estimation within the Industry-track
ASE 2021	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 2021	Chair in Chairs within the Doctoral Symposium-track Doctorial Symposium Chairs in Organizing Committee PC Member in Program Committee within the Tools & Demonstrations-track
SSBSE 2021	Committee Member in Program Committee within the Research Papers-track Author of Generating Failing Test Suites for Quantum Programs with Search within the Research Papers-track
ECSA 2021	Committee Member in Program Committee within the Diversity, Equity and Inclusion (DE&I)-track
EASE 2021	Committee Member in Program Committee within the EASE 2021-track Session Chair of Software Quality II (part of EASE 2021)
ICSE 2021	Author of Quality Indicators in Search-Based Software Engineering: An Empirical Evaluation within the Journal-First Papers-track
Q-SE 2021	Committee Member in Program Committee within the Q-SE 2021-track
A-MOST 2021	Committee Member in Program Committee within the A-MOST 2021-track
ICST 2021	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
ICST 2020	Committee Member in Program Committee within the Doctoral Symposium-track Author of Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems within the Industry Track-track
A-MOST 2020	Author of Model-Based Testing for MAPE-K adaptation control loops within the A-MOST-track Committee Member in Program Committee within the A-MOST-track
ECSA 2020	Committee Member in Program Committee within the Gender Diversity in SA-track
SEAMS 2020	Author of Leveraging Test Logs for Building a Self-Adaptive Path Planner within the SEAMS 2020-track