| 0 | -- | 0 | John Hatcliff, Insup Lee, Oleg Sokolsky. Introduction to special issue |
| 1 | -- | 8 | Ibrahim Habli, Tim Kelly. Process and product certification arguments: getting the balance right |
| 9 | -- | 14 | George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil. Complex medical processes as context for embedded systems |
| 15 | -- | 26 | Franco Gasperoni. Safety, security, and object-oriented programming |
| 27 | -- | 36 | Kevin Hammond, Christian Ferdinand, Reinhold Heckmann. Towards formally verifiable resource bounds for real-time embedded systems |
| 37 | -- | 57 | Romain Janvier, Yassine Lakhnech, Michaël Périn. Certifying cryptographic protocols by abstract model-checking and proof concretization |
| 58 | -- | 62 | Kurt Rohloff, Joseph P. Loyall, Richard E. Schantz. Quality measures for embedded systems and their application to control and certification |