We stand with Ukraine  

Pujie Han

According to our database1, Pujie Han authored at least 4 papers between 2018 and 2021.

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

2021
Model-based optimization of ARINC-653 partition scheduling.
[BibTeX]
[DOI]
Pujie Han
,
Zhengjun Zhai
,
Brian Nielsen
,
Ulrik Nyman
Int. J. Softw. Tools Technol. Transf., 2021

2019
Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL.
[BibTeX]
[DOI]
Pujie Han
,
Zhengjun Zhai
,
Brian Nielsen
,
Ulrik Nyman
,
Martin Kristjansen
J. Aerosp. Inf. Syst., November, 2019

2018
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems.
[BibTeX]
[DOI]
Pujie Han
,
Zhengjun Zhai
,
Brian Nielsen
,
Ulrik Nyman
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems.
[BibTeX]
[DOI]
Pujie Han
,
Zhengjun Zhai
,
Brian Nielsen
,
Ulrik Nyman
Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018


  Loading...