Erik Voogd

11 papers A 1B 2C 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Compositional symbolic execution semantics.
Theor. Comput. Sci.
Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen, Andrzej Wasowski
2024 B conf
Correct and Complete Symbolic Execution for Free.
IFM
Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva
2024 — conf
Towards a Proof System for Probabilistic Dynamic Logic.
Principles of Verification (1)
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski
2024 J jnl
Towards a Proof System for Probabilistic Dynamic Logic.
CoRR
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski
2023 C conf
Denotational Semantics for Symbolic Execution.
ICTAC
Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen
2023 B conf
Joint Distributions in Probabilistic Semantics.
MFPS
Dexter Kozen, Alexandra Silva, Erik Voogd
2023 J jnl
Symbolic Semantics for Probabilistic Programs (extended version).
CoRR
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
2023 — conf
Symbolic Semantics for Probabilistic Programs.
QEST
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
2019 J jnl
Minimal Session Types (Artifact).
Dagstuhl Artifacts Ser.
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
2019 J jnl
Minimal Session Types (Extended Version).
CoRR
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
2019 A conf
Minimal Session Types (Pearl).
ECOOP
Alen Arslanagic, Jorge A. Pérez, Erik Voogd