Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Symbolic Execution
Denotational Semantics for Symbolic Execution
Proc. ICTAC 2023. LNCS 14446 Springer 2023.
Erik Voogd
,
Åsmund Aqissiaq Arild Kløvstad
,
Einar Broch Johnsen
Preprint
Cite
DOI
Github
Artifact
Compositional Correctness and Completeness for Symbolic Partial Order Reduction
Proc. CONCUR 2023. LIPIcs 2023.
Åsmund Aqissiaq Arild Kløvstad
,
Eduard Kamburjan
,
Einar Broch Johnsen
Preprint
Cite
DOI
Github
Artifact
Symbolic Semantics for Probabilistic Programs
Proc. QEST 2023. LNCS 14287. Springer 2023.
Erik Voogd
,
Einar Broch Johnsen
,
Alexandra Silva
,
Zachary J. Susag
,
Andrzej Wasowski
Preprint
Cite
DOI
Artifact
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
Festschrift Maurizio Gabbrielli, 2020.
Frank S. de Boer
,
Einar Broch Johnsen
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
,
Lars Tveito
Preprint
Cite
DOI
Artefact
SymPaths: Symbolic Execution Meets Partial Order Reduction
Deductive Software Verification: Future Perspectives. LNCS 12345, Springer 2020.
Frank S. de Boer
,
Marcello M. Bonsangue
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
,
Lars Tveito
Preprint
Cite
DOI
Artefact
Cite
×