https://ebjohnsen.org/talk/nwpt-2014/
NWPT 2014 | Einar Broch Johnsen
Jul 26, 2020 - NWPT 2014, Halmstad, Sweden, Nov 29-31, 2014
einar broch johnsen
https://ebjohnsen.org/publication/11-facs/
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios | Einar Broch Johnsen
einar broch johnsenformal modelobjectmobilityresource
https://ebjohnsen.org/publication/16-sac-musepat/
An Operational Semantics of Cache Coherent Multicore Architectures | Einar Broch Johnsen
einar broch johnsenoperational semanticscachecoherentmulticore
https://ebjohnsen.org/publication/18-farhad/
Release the Beasts: When Formal Methods Meet Real World Data | Einar Broch Johnsen
May 25, 2018 - Festschrift Farhad Arbab
real world dataeinar broch johnsenthe beastsformal methodsrelease
https://ebjohnsen.org/talk/formalise-2018/
FormaliSE 2018 | Einar Broch Johnsen
Jul 26, 2020 - FormaliSE 2018, Gothenburg, Sweden, 2 June 2018
einar broch johnsenformalise