Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
6
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
Behavioral Contracts for Cooperative Scheduling
Deductive Software Verification: Future Perspectives. LNCS 12345, Springer 2020.
Eduard Kamburjan
,
Crystal Chang Din
,
Reiner Hähnle
,
Einar Broch Johnsen
Preprint
Cite
DOI
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
Dynamic Software Updates and Context Adaptation for Distributed Active Objects
Festschrift Arnd Poetzsch-Heffter
Einar Broch Johnsen
,
Ingrid Chieh Yu
Preprint
Cite
DOI
Release the Beasts: When Formal Methods Meet Real World Data
Festschrift Farhad Arbab
Rudolf Schlatte
,
Einar Broch Johnsen
,
Jacopo Mauro
,
Silvia Lizeth Tapia Tarifa
,
Ingrid Chieh Yu
Preprint
Cite
DOI
Meeting Deadlines, Elastically.
Festschrift Kaisa Sere
Einar Broch Johnsen
,
Violet Ka I Pun
,
Martin Steffen
,
Silvia Lizeth Tapia Tarifa
,
Ingrid Chieh Yu
Preprint
Cite
DOI
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
Formal Methods for Multicore Programming (SFM 2015)
Stephan Brandauer
,
Elias Castegren
,
Dave Clarke
,
Kiko Fernandez-Reyes
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
,
Tobias Wrigstad
,
Albert Mingkun Yang
Preprint
Cite
DOI
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Proc. SFM 2011
Dave Clarke
,
Nikolay Diakov
,
Reiner Hähnle
,
Einar Broch Johnsen
,
Ina Schaefer
,
Jan Schäfer
,
Rudolf Schlatte
,
Peter Y. H. Wong
Preprint
Cite
DOI
Concurrent Objects a la Carte
Festschrift Willem-Paul de Roever
Dave Clarke
,
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
DOI
Object-Oriented Specification and Open Distributed Systems
Festschrift Ole-Johan Dahl
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
DOI
Cite
×