Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Maude
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Science of Computer Programming
179
: 24-53, 2019
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Deployment by Construction for Multicore Architectures
Proc. ISoLa 2018
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Christoph Seidl
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
An Operational Semantics of Cache Coherent Multicore Architectures
Proc. SAC 2016
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
A Maude Framework for Cache Coherent Multicore Architectures
Proc. WRLA 2016
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Cite
×