Einar Broch Johnsen

About

Einar Broch Johnsen is a researcher whose work sits at the intersection of formal methods, autonomous systems, and self-adaptive software. His research focuses primarily on the formal modelling and analysis of robotic systems, self-adaptive architectures, and behavior coordination frameworks, with a particular emphasis on ensuring safety and reliability in autonomous cyber-physical systems operating in uncertain environments. Johnsen has made notable contributions to understanding how behavior trees and state machines govern mission-level coordination in robotics, with his 2023 paper on the topic accumulating an impressive 62 citations — reflecting significant community interest. His work consistently applies rigorous formal techniques, including software product line analysis and feature-oriented modelling, to verify that self-adaptive robotic systems behave safely even in hazardous settings such as underwater environments. His exploration of metacontrol in Maude and configurable software models further demonstrates his commitment to tractable, tool-supported verification approaches. More recently, Johnsen has extended his scope to AI-driven software testing, proposing mutation-based strategies for integrating knowledge graph components. Spanning foundational modelling theory to applied robotic engineering, his research equips developers and theorists alike with principled methods for building dependable autonomous systems — making his profile highly relevant for students working in formal verification, robotics, or adaptive software engineering.

Research Focus

Key Achievements

Top Papers

1. 1
   Behavior Trees and State Machines in Robotics Applications

   62 citations · 2023
2. 2
   Formal Modelling and Analysis of a Self-Adaptive Robotic System

   6 citations · 2023
3. 3
   Analysing Self-Adaptive Systems as Software Product Lines

   5 citations · 2024
4. 4
   Mutation-Based Integration Testing of Knowledge Graph Applications

   4 citations · 2024
5. 5
   A Configurable Software Model of a Self-Adaptive Robotic System

   4 citations · 2024
6. 6
   Formal Modelling and Analysis of a Self-Adaptive Robotic System

   4 citations · 2023
7. 7
   Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System

   3 citations · 2025
8. 8
   A Formal Model of Metacontrol in Maude

   3 citations · 2022
9. 9
   Replication package for article: Behavior Trees in Action: A Study of Robotics Applications

   3 citations · 2020

Key Collaborators

Contact & Links