- Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson. Gaining trust by tracing security protocols. J. Log. Algebr. Meth. Program., 130:100829, 2023.
- Steve Dunne, João F. Ferreira 0001, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda. bGSL: An imperative language for specification and refinement of backtracking programs. J. Log. Algebr. Meth. Program., 130:100811, 2023.
- Jens Kosiol, Gabriele Taentzer. A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications. J. Log. Algebr. Meth. Program., 130:100820, 2023.
- Carlos Galindo 0002, Sergio Pérez 0001, Josep Silva. Exception-sensitive program slicing. J. Log. Algebr. Meth. Program., 130:100832, 2023.
- Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio. Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models. J. Log. Algebr. Meth. Program., 130:100828, 2023.
- Carlos Galindo 0002, Sergio Pérez 0001, Josep Silva. Program slicing of Java programs. J. Log. Algebr. Meth. Program., 130:100826, 2023.
- Xiong Xu, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, Naijun Zhan. A denotational semantics of Simulink with higher-order UTP. J. Log. Algebr. Meth. Program., 130:100809, 2023.
- Elena Gómez-Martínez, Esther Guerra, Juan de Lara, Antonio Garmendia. Lifted structural invariant analysis of Petri net product lines. J. Log. Algebr. Meth. Program., 130:100824, 2023.
- Carlos Olarte, Elaine Pimentel, Camilo Rocha. A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. J. Log. Algebr. Meth. Program., 130:100827, 2023.
- Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj Ahmed Shaikh, Charles Wartnaby. A formal framework for security testing of automotive over-the-air update systems. J. Log. Algebr. Meth. Program., 130:100812, 2023.