- Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger. Vamos: Middleware for best-effort third-party monitoring. Science of Computer Programming, 240:103212, 2025.
- Rosalie Defourné. Encoding TLA+ proof obligations safely for SMT. Science of Computer Programming, 239:103178, 2025.
- Peiye Yang, Li Zhang, Qin Li, Xiang Gao, Yilong Yang 0001. OCLVerifer: Automated verification of OCL contracts in requirements models. Science of Computer Programming, 240:103197, 2025.
- Ali Samanipour, Omid Bushehrian, Gregorio Robles. MDAPW3: MDA-based development of blockchain-enabled decentralized applications. Science of Computer Programming, 239:103185, 2025.
- Shweta 0002, Ratna Sanyal, Bibhas Ghoshal. A hybrid approach to extract conceptual diagram from software requirements. Science of Computer Programming, 239:103186, 2025.
- Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe. Maximizing reachability probabilities in rectangular automata with random events. Science of Computer Programming, 240:103213, 2025.
- Abid Afsan Hamid, Md. Fizul Haque, Manishankar Mondal. Ranking co-change candidates suggested by FLeCCS using programmer sensitivity. Science of Computer Programming, 240:103216, 2025.
- Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw. Analysis and formal specification of OpenJDK's BitSet: Proof files. Science of Computer Programming, 241:103232, 2025.
- Mengwei Xu, Blair Archibald, Michele Sevegnani. CAN-Verify: Automated analysis for BDI agents. Science of Computer Programming, 241:103233, 2025.
- Pedro Pereira, António Rito Silva. Microservices simulator: An object-oriented framework for transactional causal consistency. Science of Computer Programming, 239:103181, 2025.