| 471 | -- | 472 | Ing-Ray Chen. Special Issue Editorial: High Assurance Systems |
| 473 | -- | 485 | Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi. Estimating Software Rejuvenation Schedules in High-Assurance Systems |
| 486 | -- | 503 | Steve Goddard, Kevin Jeffay. Managing Latency and Buffer Requirements in Processing Graph Chains |
| 504 | -- | 530 | Jeffrey J. P. Tsai, Eric Y. T. Juan. Modeling and Verification of High-Assurance Properties of Safety-Critical Systems |
| 531 | -- | 543 | Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid. Use of Modern Processors in Safety-Critical Applications |
| 544 | -- | 556 | Fabrizio Grandoni 0002, Silvano Chiaradonna, Felicita Di Giandomenico, Andrea Bondavalli. Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications |
| 557 | -- | 568 | Zhiwei Xu, Taghi M. Khoshgoftaar. Software Quality Prediction for High-Assurance Network Telecommunications Systems |
| 569 | -- | 587 | Alessandro F. Garcia, Delano M. Beder, Cecília M. F. Rubira. A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling |