Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Einar Broch Johnsen
conf.researchr.org general profile
* ICSE 2018 * profile
ASE 2022 profile
ECOOP 2015 profile
ECOOP 2019 profile
ECOOP and ISSTA 2018 profile
ETAPS 2019 profile
ICFP 2023 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2022 profile
ICSE 2023 profile
SPLASH 2012 profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2019 profile
SPLASH 2020 profile
STAF 2023 profile
Registered user since Thu 5 Jun 2014
Name:
Einar Broch Johnsen
Affiliation:
University of Oslo
Personal website:
https://ebjohnsen.org
Contributions
2023
ICFP
Author of Formal Specification and Testing for Reinforcement Learning within the ICFP Papers and Events-track
Author of Formal Specification and Testing for Reinforcement Learning within the Artifact Evaluation-track
TAP
Committee Member in Program Committee within the Research Papers-track
International Conference on Software Engineering for Adaptive and Self-Managing Systems
Author of SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles within the Artifact Track-track
2022
ASE
Committee Member in Program Committee within the NIER Track-track
FormaliSE
Author of Digital Twins: An Emerging Paradigm for Model-Centric Engineering within the FormaliSE 2022-track
2020
AGERE
Committee Member in Program Committee within the AGERE 2020-track
SLE
Author of Behavior Trees in Action: A Study of Robotics Applications within the SLE-track
ICSE
Author of Lazy Product Discovery in Huge Configuration Spaces within the Technical Papers-track
FormaliSE
PC Member in Program Committee within the FormaliSE 2020-track
2019
AGERE
Committee Member in Program Committee within the AGERE 2019-track
ECOOP
Author of Godot: All the Benefits of Implicit and Explicit Futures within the Research Papers-track
Author of Godot: All the Benefits of Implicit and Explicit Futures within the Artifacts-track
Author of Godot: All the Benefits of Implicit and Explicit Futures within the Posters-track
FormaliSE
Committee Member in Program Committee within the FormaliSE 2019-track
ETAPS
Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the Posters-track
FASE
Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the FASE 2019-track
2018
VORTEX
Author of Analysis of SLA Compliance in the Cloud within the VORTEX-track
FormaliSE
Committee Member in Program Committee within the FormaliSE 2018-track
2015
NOOL
Author of Inversion in Programming Language Design: The Encore Way within the NOOL-track
ECOOP
Committee Member in Programme Committee within the Research Track-track
2014
AGERE
Committee Member in Program Committee
2012
AGERE
Committee Member in Program Committee within the AGERE 2012-track
Share
x
Mon 25 Sep 07:58
