An Ontology-based Approach to Generate the Advanced Driver Assistance Use Cases of Highway Traffic. - Wei Chen 083; Leïla Kloul (KEOD, 2018)

An Advanced Driver Assistance Test Cases Generation Methodology Based on Highway Traffic Situation Description Ontologies. - Wei Chen 083; Leïla Kloul (IC3K, 2018)

Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA. - Wei Chen 083; Leïla Kloul (IMBSA, 2019)

Formal Modeling and Automatic Generation of Test Cases for the Autonomous Vehicle. (Modélisation formelle et génération automatique de cas de test pour le véhicule autonome). - Wei Chen 083 (2020)