Einar Broch Johnsen

Cited by

	All	Since 2015
Citations	2976	1575
h-index	26	18
i10-index	63	37

320

160

240

2001200220032004200520062007200820092010201120122013201420152016201720182019202012 9 4 30 42 46 65 93 152 132 173 236 165 200 221 294 230 306 307 217

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 WrigstadFull professor, Uppsala UniversityVerified email at it.uu.se
Prof. Ilangko BalasinghamOslo University Hospital & Norwegian University of Science & Technology (NTNU)Verified email at medisin.uio.no
Andreas GriesmayerImperial College LondonVerified email at arm.com
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
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
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
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
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	357	2010
An asynchronous communication model for distributed concurrent objects EB Johnsen, O Owe Software & Systems Modeling 6 (1), 39-58, 2007	259	2007
A complete guide to the future FS De Boer, D Clarke, EB Johnsen European Symposium on Programming, 316-330, 2007	217	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	154	2006
Behavioral types in programming languages N Yoshida, VT Vasconcelos, L Padovani, NN Bono, R Neykova, F Montesi, ... Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016	108	2016
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, EB Johnsen Asian Symposium on Programming Languages and Systems, 139-154, 2008	84	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	73	2015
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	66	2017
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	51	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	50	2011
Verification of concurrent objects with asynchronous method calls J Dovland, EB Johnsen, O Owe IEEE International Conference on Software-Science, Technology & Engineering …, 2005	46	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	46	2005
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	45	2014
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	45	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	39	2015
Theorem reuse by proof term transformation EB Johnsen, C Lüth International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004	36	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	32*	2015
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
A transformational proof system for delta-oriented programming F Damiani, O Owe, J Dovland, I Schaefer, EB Johnsen, IC Yu Proceedings of the 16th International Software Product Line Conference …, 2012	31	2012

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

Upload PDF

Follow this author

Cited by

Co-authors