Export 6 results:
Filters: Author is Fuyuki Ishikawa [Clear All Filters]
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Edited by J. Fitzgerald, T. Margaria, P. G. Larsen and J. Woodcock. LNCS, 2022.
Parameter-Based Testing and Debugging of Autonomous Driving Systems In 2021 IEEE Intelligent Vehicles Symposium (IV). IEEE, 2021.
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020, Edited by J. Micco and M. Pistoia. IEEE, 2020.
Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2020.
Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2019.
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain In Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, Edited by G. Perrouin. New York, NY, USA: ACM, 2019.