We stand with Ukraine  

Hui Zhao

Affiliations:
  • Cóte d'Azur University, I3S, INRIA, Nice, France (PhD 2022)


According to our database1, Hui Zhao authored at least 4 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Multi-view design for cyber-physical systems. (Multi-vue design pour cyber-physical systems).
[BibTeX]
[DOI]
Hui Zhao
PhD thesis, 2022

2019
A Model-Based Combination Language for Scheduling Verification.
[BibTeX]
[DOI]
Hui Zhao
,
Ludovic Apvrille
,
Frédéric Mallet
Proceedings of the Model-Driven Engineering and Software Development, 2019

Meta-models Combination for Reusing Verification Techniques.
[BibTeX]
[DOI]
Hui Zhao
,
Ludovic Apvrille
,
Frédéric Mallet
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

A Language-Based Multi-View Approach for Combining Functional and Security Models.
[BibTeX]
[DOI]
Hui Zhao
,
Frédéric Mallet
,
Ludovic Apvrille
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019


  Loading...