@inproceedings {42861,
	title = {Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems},
	journal = {11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
	year = {2022},
	publisher = {LNCS},
	author = {Yue, Tao and Ali, Shaukat and Arcaini, Paolo and Ishikawa, Fuyuki and Cl{\'a}udio {\^A}ngelo Go {Gomes}},
	editor = {Fitzgerald, John and Margaria, Tiziana and Peter Gorm {Larsen} and Woodcock, Jim}
}
@inproceedings {27881,
	title = {Parameter-Based Testing and Debugging of Autonomous Driving Systems},
	journal = {2021 IEEE Intelligent Vehicles Symposium (IV)},
	year = {2021},
	publisher = {IEEE},
	author = {Arcaini, Paolo and Cal{\v n}, Alessandro and Ishikawa, Fuyuki and Laurent, Thomas and Zhang, Xiao-Yi and Ali, Shaukat and Hauer, Florian and Ventresque, Anthony}
}
@inproceedings {27145,
	title = {Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems},
	journal = {IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020},
	year = {2020},
	pages = {375-386},
	publisher = { IEEE},
	author = {Cal{\`o}, Alessandro and Arcaini, Paolo and Ali, Shaukat and Hauer, Florian and Ishikawa, Fuyuki},
	editor = {Micco, John and Pistoia, Marco}
}
@inproceedings {27344,
	title = {Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems},
	journal = {The Genetic and Evolutionary Computation Conference (GECCO)},
	year = {2020},
	publisher = {ACM},
	author = {Cal{\`o}, Alessandro and Arcaini, Paolo and Ali, Shaukat and Hauer, Florian and Ishikawa, Fuyuki}
}
@inproceedings {26493,
	title = {Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach},
	journal = {The Genetic and Evolutionary Computation Conference (GECCO)},
	year = {2019},
	pages = {1241-1249},
	publisher = {ACM},
	author = {Lee, Nian-Ze and Arcaini, Paolo and Ali, Shaukat and Ishikawa, Fuyuki}
}
@inproceedings {26314,
	title = {Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain},
	journal = {Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems},
	year = {2019},
	publisher = {ACM},
	address = {New York, NY, USA},
	author = {Ali, Shaukat and Arcaini, Paolo and Hasuo, Ichiro and Ishikawa, Fuyuki and Lee, Nian-Ze},
	editor = {Perrouin, Gilles}
}
