Fuyuki Ishikawa
External collaborator
Publications
Simula-affiliated publications listed
2022
Proceedings, refereed
T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems
11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
2021
Proceedings, refereed
P. Arcaini, A. Calň, F. Ishikawa, T. Laurent, X. Zhang, S. Ali, F. Hauer and A. Ventresque
Parameter-Based Testing and Debugging of Autonomous Driving Systems
2021 IEEE Intelligent Vehicles Symposium (IV)
2020
Proceedings, refereed
A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020
A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa
Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems
The Genetic and Evolutionary Computation Conference (GECCO)
2019
Proceedings, refereed
N. Lee, P. Arcaini, S. Ali and F. Ishikawa
Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach
The Genetic and Evolutionary Computation Conference (GECCO)
S. Ali, P. Arcaini, I. Hasuo, F. Ishikawa and N. Lee
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems