- Jie Yin, Gang Tan, Hao Li, Xiaolong Bai, Yu-Ping Wang, Shi-Min Hu. Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation. Science of Computer Programming, 169:18-32, 2019.
- Ajay Krishna 0001, Pascal Poizat, Gwen Salaün. Checking business process evolution. Science of Computer Programming, 170:1-26, 2019.
- Eugene Syriani, Vasco Sousa, Levi Lúcio. Structure and behavior preserving statecharts refinements. Science of Computer Programming, 170:45-79, 2019.
- Panos Kyriakakis, Alexander Chatzigeorgiou, Apostolos Ampatzoglou, Stelios Xinogalos. Exploring the frequency and change proneness of dynamic feature pattern instances in PHP applications. Science of Computer Programming, 171:1-20, 2019.
- Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini. On the expressiveness of modal transition systems with variability constraints. Science of Computer Programming, 169:1-17, 2019.
- Xiyue Zhang, Weijiang Hong, Yi Li 0010, Meng Sun 0002. Reasoning about connectors using Coq and Z3. Science of Computer Programming, 170:27-44, 2019.
- Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh. Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits. Science of Computer Programming, 171:42-66, 2019.
- Vanderson Hafemann Fragal, Adenilso da Silva Simão, Mohammad Reza Mousavi. Hierarchical featured state machines. Science of Computer Programming, 171:67-88, 2019.
- Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli. Constrained synthesis from component libraries. Science of Computer Programming, 171:21-41, 2019.
- Stefan Kuhn 0001, Irek Ulidowski. Local reversibility in a Calculus of Covalent Bonding. Science of Computer Programming, 151:18-47, 2018.