| 123 | -- | 124 | Gerwin Klein, Ralf Huuck, Bastian Schlich. Operating System Verification |
| 125 | -- | 187 | Harvey Tuch. Formal Verification of C Systems Code |
| 189 | -- | 227 | Hendrik Tews, Marcus Völp, Tjark Weber. Formal Memory Models for the Verification of Low-Level Operating-System Code |
| 229 | -- | 264 | MarÃa-del-Mar Gallardo, Pedro Merino, David Sanán. Model Checking Dynamic Memory Allocation in Operating Systems |
| 265 | -- | 300 | Syrine Tlili, Mourad Debbabi. Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code |
| 301 | -- | 347 | Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong. Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads |
| 349 | -- | 388 | Matthias Daum, Jan Dörrenbächer, Burkhart Wolff. Proving Fairness and Implementation Correctness of a Microkernel Scheduler |
| 389 | -- | 454 | Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban. Balancing the Load |