| 343 | -- | 344 | Jens Knoop, Wolf Zimmermann. Preface |
| 345 | -- | 0 | . Translation and Optimization in the Verification of Real-Time Systems |
| 346 | -- | 0 | Henning Dierks. Moby/RT: A Tool for Specification and Verification of Real-Time Systems |
| 347 | -- | 361 | Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski. A Functional Perspective on SSA Optimisation Algorithms |
| 362 | -- | 376 | Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz. Code Annotation for Safe and Efficient Dynamic Object Resolution |
| 377 | -- | 394 | Stefan Berghofer, Martin Strecker. Extracting a formally verified, fully executable compiler from a proof assistant |
| 395 | -- | 409 | Christophe Alias, Denis Barthou. On the Recognition of Algorithm Templates |
| 410 | -- | 425 | Sabine Glesner, Jan Olaf Blech. Classifying and Formally Verifying Integer Constant Folding |
| 426 | -- | 442 | Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie. A Java Card CAP converter in PVS |
| 443 | -- | 460 | Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr. The compiler as a validation and evaluation tool |