Åsmund Aqissiaq Arild Kløvstad

According to our database, Åsmund Aqissiaq Arild Kløvstad authored at least 6 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Layers of Confluence for Actors.

Ludovic Henrio, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Violet Ka I Pun, Yannick Zakowski

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025

Compositional symbolic execution semantics.

Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen, Andrzej Wasowski

Theor. Comput. Sci., 2025

What-If Scenarios for the BedreFlyt Digital Twin.

Åsmund Aqissiaq Arild Kløvstad, Paul Kobialka, Riccardo Sieve, Andrea Pferscher, Laura Slaughter, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Principles of Formal Quantitative Analysis, 2025

2024

Correct and Complete Symbolic Execution for Free.

Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Denotational Semantics for Symbolic Execution.

Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Compositional Correctness and Completeness for Symbolic Partial Order Reduction.

Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen

Proceedings of the 34th International Conference on Concurrency Theory, 2023