- Diana Margarita Córdova Esparza, Juan R. Terven, Hugo Jiménez-Hernández, Ana Marcela Herrera-Navarro. A multiple camera calibration and point cloud fusion tool for Kinect V2. Science of Computer Programming, 143:1-8, 2017.
- Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson. Analyzing a wind turbine system: From simulation to formal verification. Science of Computer Programming, 133:216-242, 2017.
- Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi 0001. Verifying relational properties of functional programs by first-order refinement. Science of Computer Programming, 137:2-62, 2017.
- Mark Hills 0001, Paul Klint, Jurgen J. Vinju. Enabling PHP software engineering research in Rascal. Science of Computer Programming, 134:37-46, 2017.
- Cyrille Artho, Peter Csaba Ölveczky. Formal Techniques for Safety-Critical Systems (FTSCS 2014). Science of Computer Programming, 133:89-90, 2017.
- Sergio Castro, Kim Mens, Paulo Moura. JPC: A library for categorising and applying inter-language conversions between Java and Prolog. Science of Computer Programming, 134:75-99, 2017.
- Boudjemaa Boudaa, Slimane Hammoudi, Leila A. Mebarki, Abdelkader Bouguessa, Mohammed Amine Chikh. An aspect-oriented model-driven approach for building adaptable context-aware service-based applications. Science of Computer Programming, 136:17-42, 2017.
- Serkan Kirbas, Tracy Hall, Alper Sen. Evolutionary coupling measurement: Making sense of the current chaos. Science of Computer Programming, 135:4-19, 2017.
- Chen Luo, Fei He, Carlo Ghezzi. Inferring software behavioral models with MapReduce. Science of Computer Programming, 145:13-36, 2017.
- Silverio Martínez-Fernández, Xavier Franch, Jesús Bisbal. Mercury: Using the QuPreSS reference model to evaluate predictive services. Science of Computer Programming, 134:61-74, 2017.