Einar Broch Johnsen

Cited by

	All	Since 2017
Citations	3357	1409
h-index	27	18
i10-index	72	30

320

160

240

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202212 11 7 29 42 46 75 93 150 136 178 229 163 195 218 312 235 302 298 260 201 113

Public access

View all

45 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Silvia Lizeth Tapia TarifaResearcher, 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
Dave ClarkeIndependentVerified email at storytel.com
Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoVerified email at di.unito.it
Peter Y. H. WongPreneticsVerified email at wolfson.oxon.org
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Andreas GriesmayerImperial College LondonVerified email at arm.com
Prof. Ilangko BalasinghamOslo University Hospital & Norwegian University of Science & Technology (NTNU)Verified email at medisin.uio.no
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Samir GenaimUniversidad Complutense de MadridVerified email at fdi.ucm.es
Mohammad Mahdi JaghooriDockmeh, CWIVerified email at cwi.nl
Ivona BrandicFull Professor for High Performance Computing Systems, Vienna University of TechnologyVerified email at tuwien.ac.at
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Volker StolzHøgskulen på Vestlandet & Universitetet i OsloVerified email at foldr.org
Miguel Gómez-ZamalloaAssociate Professor of Computer Science, Complutense University of MadridVerified email at fdi.ucm.es

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	417	2010
An asynchronous communication model for distributed concurrent objects EB Johnsen, O Owe Software & Systems Modeling 6 (1), 39-58, 2007	266	2007
A complete guide to the future FS Boer, D Clarke, EB Johnsen European Symposium on Programming, 316-330, 2007	228	2007
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	157	2006
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	150	2016
A survey of active object languages FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ... ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017	91	2017
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, EB Johnsen Asian Symposium on Programming Languages and Systems, 139-154, 2008	90	2008
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ... International School on Formal Methods for the Design of Computer …, 2015	84	2015
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 (4), 323-339, 2014	63*	2014
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 (1), 29-43, 2013	55	2013
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	54	2011
Verification of concurrent objects with asynchronous method calls J Dovland, EB Johnsen, O Owe IEEE International Conference on Software-Science, Technology & Engineering …, 2005	47	2005
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
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	46	2012
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	45	2015
Theorem reuse by proof term transformation EB Johnsen, C Lüth International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004	41	2004
Object-oriented specification and open distributed systems EB Johnsen, O Owe From Object-Orientation to Formal Methods, 137-164, 2004	35	2004
Preparing HPC applications for exascale: Challenges and recommendations E Abraham, C Bekas, I Brandic, S Genaim, EB Johnsen, I Kondov, ... 2015 18th International Conference on Network-Based Information Systems, 401-406, 2015	34*	2015
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	32	2016
Lazy behavioral subtyping J Dovland, EB Johnsen, O Owe, M Steffen The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010	32	2010

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