Åsmund Aqissiaq Arild Kløvstad

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Partial Order Reduction

Denotational Semantics

Simulated Annealing Algorithm

Top Venues

Publications

Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen
Denotational Semantics for Symbolic Execution. ICTAC (2023)
Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen
Compositional Correctness and Completeness for Symbolic Partial Order Reduction. CONCUR (2023)