A Language-Based Multi-View Approach for Combining Functional and Security Models. - Hui Zhao 016; Frédéric Mallet; Ludovic Apvrille (APSEC, 2019)

Meta-models Combination for Reusing Verification Techniques. - Hui Zhao 016; Ludovic Apvrille; Frédéric Mallet (MODELSWARD, 2019)

A Model-Based Combination Language for Scheduling Verification. - Hui Zhao 016; Ludovic Apvrille; Frédéric Mallet (MODELSWARD (Revised Selected Papers), 2019)

Multi-view design for cyber-physical systems. (Multi-vue design pour cyber-physical systems). - Hui Zhao 016 (2022)