Einar Broch Johnsen

Cited by

	All	Since 2020
Citations	4285	1477
h-index	30	17
i10-index	94	40

380

190

285

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 12 8 29 48 46 75 94 155 142 182 224 162 200 224 303 223 323 282 292 232 209 296 380 63

Public access

View all

72 articles

1 article

available

not available

Based on funding mandates

Co-authors

Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloVerified email at ifi.uio.no
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Ingrid Chieh YuAssociate Professor, University of OsloVerified email at ifi.uio.no
Dave ClarkeIndependentVerified email at storytel.com
Eduard KamburjanAssistant Professor, IT University of CopenhagenVerified email at itu.dk
Crystal Chang DinDepartment of Informatics, University of Bergen, NorwayVerified email at uib.no
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoVerified email at di.unito.it
Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Peter Y. H. WongPreneticsVerified email at wolfson.oxon.org
ludovic henrioCNRSVerified email at ens-lyon.fr
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
Andreas GriesmayerImperial College LondonVerified email at arm.com
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
Kiko FernándezEricssonVerified email at ericsson.com
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Prof. Ilangko BalasinghamOslo University Hospital & Norwegian University of Science & Technology (NTNU)Verified email at medisin.uio.no
Jacopo MauroUniversity of Southern DenmarkVerified email at imada.sdu.dk
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de

Einar Broch Johnsen

Professor, University of Oslo

Verified email at ifi.uio.no

Formal methods Programming logics Distributed systems Digital twins


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
ABS: A core language for abstract behavioral specification EB Johnsen, R Hähnle, J Schäfer, R Schlatte, M Steffen International Symposium on Formal Methods for Components and Objects, 142-164, 2010	479	2010
An asynchronous communication model for distributed concurrent objects EB Johnsen, O Owe Software & Systems Modeling 6, 39-58, 2007	272	2007
A complete guide to the future FS De Boer, D Clarke, EB Johnsen European Symposium on Programming, 316-330, 2007	244	2007
Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016	210	2016
Creol: A type-safe object-oriented model for distributed concurrent systems EB Johnsen, O Owe, IC Yu Theoretical Computer Science 365 (1-2), 23-66, 2006	163	2006
A survey of active object languages F Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ... ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017	158	2017
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ... Formal Methods for Multicore Programming: 15th International School on …, 2015	96	2015
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, EB Johnsen Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008	93	2008
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS E Albert, FS de Boer, R Hähnle, EB Johnsen, R Schlatte, SL Tapia Tarifa, ... Service Oriented Computing and Applications 8, 323-339, 2014	83	2014
Behavior trees in action: a study of robotics applications R Ghzouli, T Berger, EB Johnsen, S Dragule, A Wąsowski Proceedings of the 13th ACM SIGPLAN international conference on software …, 2020	81	2020
User-defined schedulers for real-time concurrent objects J Bjørk, FS de Boer, EB Johnsen, R Schlatte, SL Tapia Tarifa Innovations in Systems and Software Engineering 9, 29-43, 2013	67	2013
Integrating deployment architectures and resource consumption in timed object-oriented models EB Johnsen, R Schlatte, SLT Tarifa Journal of Logical and Algebraic Methods in Programming 84 (1), 67-91, 2015	61	2015
Behavior trees and state machines in robotics applications R Ghzouli, T Berger, EB Johnsen, A Wasowski, S Dragule IEEE Transactions on Software Engineering 49 (9), 4243-4267, 2023	60	2023
Modeling spatial and temporal variability with the HATS abstract behavioral modeling language D Clarke, N Diakov, R Hähnle, EB Johnsen, I Schaefer, J Schäfer, ... International School on Formal Methods for the Design of Computer …, 2011	53	2011
Verification of concurrent objects with asynchronous method calls J Dovland, EB Johnsen, O Owe IEEE International Conference on Software-Science, Technology & Engineering …, 2005	51	2005
Theorem reuse by proof term transformation EB Johnsen, C Lüth International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004	51	2004
Observable behavior of distributed systems: Component reasoning for concurrent objects CC Din, J Dovland, EB Johnsen, O Owe The Journal of Logic and Algebraic Programming 81 (3), 227-256, 2012	50	2012
Zephyrus2: on the fly deployment optimization using SMT and CP technologies E Ábrahám, F Corzilius, EB Johnsen, G Kremer, J Mauro International Symposium on Dependable Software Engineering: Theories, Tools …, 2016	47	2016
A run-time environment for concurrent objects with asynchronous method calls EB Johnsen, O Owe, EW Axelsen Electronic Notes in Theoretical Computer Science 117, 375-392, 2005	47	2005
ABS-YARN: A formal framework for modeling Hadoop YARN clusters JC Lin, IC Yu, EB Johnsen, MC Lee International Conference on Fundamental Approaches to Software Engineering …, 2016	40	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors