Login / Signup
Pujie Han
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 3
Top Topics
Distributed Object
Optimization Method
Vehicle Routing
Optimization Process
Top Venues
MeTRiD@ETAPS
MARS/VPT@ETAPS
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>
Pujie Han
,
Zhengjun Zhai
,
Brian Nielsen
,
Ulrik Nyman
Model-based optimization of ARINC-653 partition scheduling.
Int. J. Softw. Tools Technol. Transf.
23 (5) (2021)
Pujie Han
,
Zhengjun Zhai
,
Brian Nielsen
,
Ulrik Nyman
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems.
MARS/VPT@ETAPS
(2018)
Pujie Han
,
Zhengjun Zhai
,
Brian Nielsen
,
Ulrik Nyman
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems.
MeTRiD@ETAPS
(2018)