- Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel. Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Science of Computer Programming, 216:102765, 2022.
- Paul van Vulpen, Slinger Jansen, Sjaak Brinkkemper. The orchestrator's partner management framework for software ecosystems. Science of Computer Programming, 213:102722, 2022.
- Shenglin Xu, Yongjun Wang. Defending against Return-Oriented Programming attacks based on return instruction using static analysis and binary patch techniques. Science of Computer Programming, 217:102768, 2022.
- Eman Abdullah AlOmar, Ben Christians, Mihal Busho, Ahmed Hamad AlKhalid, Ali Ouni 0001, Christian D. Newman, Mohamed Wiem Mkaouer. SATDBailiff-mining and tracking self-admitted technical debt. Science of Computer Programming, 213:102693, 2022.
- Ondrej Dvorák, Robert Pergl. Tackling rapid technology changes by applying enterprise engineering theories. Science of Computer Programming, 215:102747, 2022.
- Yvonne Murray, Martin Sirevåg, Pedro Ribeiro 0002, David A. Anisi, Morten Mossige. Safety assurance of an industrial robotic control system using hardware/software co-verification. Science of Computer Programming, 216:102766, 2022.
- Jens Kosiol, Daniel Strüber 0001, Gabriele Taentzer, Steffen Zschaler. Sustaining and improving graduated graph consistency: A static analysis of graph transformations. Science of Computer Programming, 214:102729, 2022.
- Asad Ali 0006, Carmine Gravino. Evaluating the impact of feature selection consistency in software prediction. Science of Computer Programming, 213:102715, 2022.
- Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen 0001. Revisiting occurrence typing. Science of Computer Programming, 217:102781, 2022.
- Nicholas Coughlin, Graeme Smith. Compositional noninterference on hardware weak memory models. Science of Computer Programming, 217:102779, 2022.