28 citations · 28 across the 1 of their papers we have counts for
3 papers
cs.LO2018
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems
Pujie Han, Zhengjun Zhai, Brian Nielsen +1
This work presents a compositional approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 mo…
cs.SE2018
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems
Pujie Han, Zhengjun Zhai, Brian Nielsen +1
This paper presents a modeling framework for schedulability analysis of distributed integrated modular avionics (DIMA) systems that consist of spatially distributed ARINC-653 modul…
cs.LG2012★ 28 cited
Learning Markov Decision Processes for Model Checking
Hua Mao, Yingke Chen, Manfred Jaeger +3
Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed…