Compositional Correctness and Completeness for Symbolic Partial Order Reduction. - Åsmund Aqissiaq Arild Kløvstad; Eduard Kamburjan; Einar Broch Johnsen (CONCUR, 2023)

Denotational Semantics for Symbolic Execution. - Erik Voogd; Åsmund Aqissiaq Arild Kløvstad; Einar Broch Johnsen (ICTAC, 2023)

Correct and Complete Symbolic Execution for Free. - Erik Voogd; Einar Broch Johnsen; Åsmund Aqissiaq Arild Kløvstad; Jurriaan Rot; Alexandra Silva 001 (IFM, 2024)

Compositional symbolic execution semantics. - Erik Voogd; Åsmund Aqissiaq Arild Kløvstad; Einar Broch Johnsen; Andrzej Wasowski (Theor. Comput. Sci., 2025)