Abstract is missing.
- A Bounded Model Checking Technique for Higher-Order ProgramsYu-Yang Lin, Nikos Tzevelekos. 1-18 [doi]
- Fault Trees from Data: Efficient Learning with an Evolutionary AlgorithmAlexis Linard, Doina Bucur, Mariëlle Stoelinga. 19-37 [doi]
- Simplifying the Analysis of Software Design Variants with a Colorful AlloyChong Liu, Nuno Macedo, Alcino Cunha. 38-55 [doi]
- Response Time Analysis of Typed DAG Tasks for G-FP SchedulingXuemei Peng, Meiling Han, Qingxu Deng. 56-71 [doi]
- A Formal Modeling and Verification Framework for Flash Translation Layer AlgorithmsLei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang. 72-88 [doi]
- Mixed Criticality Scheduling of Probabilistic Real-Time SystemsJasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo. 89-105 [doi]
- Improving the Analysis of GPC in Real-Time CalculusYue Tang, Yuming Jiang, Nan Guan. 106-121 [doi]
- A Verified Specification of TLSF Memory Management Allocator Using State MonadsYu Zhang, Yongwang Zhao, David Sanán, Lei Qiao, Jinkun Zhang. 122-138 [doi]