Einar Broch Johnsen

Cited by

	All	Since 2016
Citations	3226	1576
h-index	27	17
i10-index	70	35

320

160

240

20012002200320042005200620072008200920102011201220132014201520162017201820192020202112 12 7 29 42 46 74 96 149 136 177 242 173 184 227 313 231 310 301 255 162

Public access

View all

24 articles

1 article

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 SchaeferTU Braunschweig, GermanyVerified email at tu-braunschweig.de
Peter Y. H. WongPreneticsVerified email at wolfson.oxon.org
Ferruccio DamianiAssociate Professor of Compurer Science, University of TorinoVerified email at di.unito.it
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
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Ivona BrandicProfessor for High Performance Computing Systems, Vienna University of TechnologyVerified email at ec.tuwien.ac.at
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
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Ivan LaneseUniversity of BolognaVerified email at unibo.it

Einar Broch Johnsen

Professor, University of Oslo

Verified email at ifi.uio.no

Formal methods Programming logics types semantics


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	396	2010
An asynchronous communication model for distributed concurrent objects EB Johnsen, O Owe Software & Systems Modeling 6 (1), 39-58, 2007	264	2007
A complete guide to the future FS De Boer, D Clarke, EB Johnsen European Symposium on Programming, 316-330, 2007	224	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	133	2016
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, EB Johnsen Asian Symposium on Programming Languages and Systems, 139-154, 2008	87	2008
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	83	2017
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	81	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, SLT Tarifa, ... Service Oriented Computing and Applications 8 (4), 323-339, 2014	61*	2014
User-defined schedulers for real-time concurrent objects J Bjørk, FS de Boer, EB Johnsen, R Schlatte, SLT 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	52	2011
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	48	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
Verification of concurrent objects with asynchronous method calls J Dovland, EB Johnsen, O Owe IEEE International Conference on Software-Science, Technology & Engineering …, 2005	45	2005
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	42	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
Formal modeling of resource management for cloud architectures: An industrial case study FS De Boer, R Hähnle, EB Johnsen, R Schlatte, PYH Wong European Conference on Service-Oriented and Cloud Computing, 91-106, 2012	33*	2012
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

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 this author

Cited by

Co-authors