Concepedia

Einar Broch Johnsen

EB

32

Publications

1.1K

Citations

18

H-Index

2002

Active since

Affiliations

University of Oslo(Current)

University of Turin

Universidad Complutense de Madrid

Technische Universität Braunschweig

Centrum Wiskunde & Informatica

Einar Broch Johnsen is an author at University of Oslo specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsSystem SoftwareFormal VerificationSoftware DesignProgram AnalysisSoftware EngineeringSoftware Analysis

Publications per year

2002–2023

32

Publications

32

An Asynchronous Communication Model for Distributed Concurrent Objects

Einar Broch Johnsen, Olaf Owe · Software & Systems Modeling · 2006 · 167 citations

Engineering, Distributed Concurrent Objects, Systems Engineering +6

Creol: A type-safe object-oriented model for distributed concurrent systems

Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu · Theoretical Computer Science · 2006 · 119 citations

Engineering, Distributed Concurrent Systems, Program Analysis +9

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti et al. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2016 · 104 citations · Full text

Behavior Trees and State Machines in Robotics Applications

Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen et al. · IEEE Transactions on Software Engineering · 2023 · 58 citations · Full text

Artificial Intelligence, Behavior Trees, Engineering +19

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

Elvira Albert, Frank S. de Boer, Reiner Hähnle et al. · Service Oriented Computing and Applications · 2013 · 57 citations

Real-time Abs, Provisioning (Technology), Engineering +15

Rows per page

1–5 of 32