Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Software product lines
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Proc. iFM 2023. LNCS 14300. Springer 2023.
Juliane Päßler
,
Maurice H. ter Beek
,
Ferruccio Damiani
,
Silvia Lizeth Tapia Tarifa
,
Einar Broch Johnsen
Preprint
Cite
Project
DOI
arXiv.org
Artifact
Lazy Product Discovery in Huge Configuration Spaces
Proc ICSE 2020, ACM Press 2020
Michael Lienhardt
,
Ferruccio Damiani
,
Einar Broch Johnsen
,
Jacopo Mauro
Preprint
Cite
Project
Video
DOI
A Transformational Proof System for Delta-Oriented Programming
Proc. FMSPLE 2012
Ferruccio Damiani
,
Johan Dovland
,
Einar Broch Johnsen
,
Olaf Owe
,
Ina Schaefer
,
Ingrid Chieh Yu
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
Cite
×