Einar Broch Johnsen

Cited by

	All	Since 2016
Citations	3043	1402
h-index	27	16
i10-index	65	31

320

160

240

20012002200320042005200620072008200920102011201220132014201520162017201820192020202112 12 5 30 42 46 72 90 148 139 174 237 165 197 220 298 227 306 297 239 29

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
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
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.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
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	368	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	219	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	153	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	116	2016
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, EB Johnsen Asian Symposium on Programming Languages and Systems, 139-154, 2008	85	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	74	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	72	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	52	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
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	48	2014
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	46	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	38	2015
Theorem reuse by proof term transformation EB Johnsen, C Lüth International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004	38	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	33*	2015
Group selection by nodes in wireless sensor networks using coalitional game theory F Kazemeyni, EB Johnsen, O Owe, I Balasingham 2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011	31	2011
Lazy behavioral subtyping J Dovland, EB Johnsen, O Owe, M Steffen The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010	31	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

Upload PDF

Follow this author

Cited by

Co-authors