- Diego Ordonez Camacho, Kim Mens, Mark G. J. van den Brand, Jurgen J. Vinju. Automated generation of program translation and verification tools using annotated grammars. Science of Computer Programming, 72(1):3-20, jan 2010.
- Philippe Audebaud, Christine Paulin-Mohring. Proofs of randomized algorithms in Coq. Science of Computer Programming, 74(8):568-589, 2009.
- Martin Bravenboer, Eelco Dolstra, Eelco Visser. Preventing injection attacks with syntax embeddings. Science of Computer Programming, , 2009.
- Andrew R. Dalton, Sally K. Wahba, Sravanthi Dandamudi, Jason O. Hallstrom. Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS. Science of Computer Programming, 74(7):446-469, 2009.
- Marco Antonio Barbosa, Luís Soares Barbosa. A perspective on service orchestration. Science of Computer Programming, 74(9):671-687, 2009.
- Kim Solin, Joakim von Wright. Enabledness and termination in refinement algebra. Science of Computer Programming, 74(8):654-668, 2009.
- Jin Song Dong, Jing Sun. SCP special issue on the grand challenge - Preface. Science of Computer Programming, 74(4):167, 2009.
- Rik Eshuis. Reconciling statechart semantics. Science of Computer Programming, 74(3):65-99, 2009.
- Carroll Morgan. The Shadow Knows: Refinement and security in sequential programs. Science of Computer Programming, 74(8):629-653, 2009.
- Robert Colvin, Brijesh Dongol. A general technique for proving lock-freedom. Science of Computer Programming, 74(3):143-165, 2009.