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
2023
ICST
- Co-chair in Program Committee within the Tool Demo-track
- Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
- Session Chair of Session 13: Testing with Static Analysis Methods (part of Research Papers)
- Distributed Repair of Deep Neural Networks
- Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
- A Robustness-Based Confidence Measure for Hybrid System Falsification
- Co-chair in Program Committee within the Testing Tools-track
- Tools & Demos Co-Chair in Organizing Committee
ICST 2023-profile
View general profile
View general profile