Einar Broch Johnsen

Citeras av

	Alla	Sedan 2019
Citat	4026	1547
h-index	29	18
i10-index	88	38

320

160

240

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 12 7 29 43 46 71 89 153 136 184 225 164 202 213 302 219 307 267 281 223 201 294 277

Offentlig åtkomst

Visa alla

64 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloVerifierad e-postadress på ifi.uio.no
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerifierad e-postadress på cs.tu-darmstadt.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verifierad e-postadress på cwi.nl
Ingrid Chieh YuAssociate Professor, University of OsloVerifierad e-postadress på ifi.uio.no
Crystal Chang DinDepartment of Informatics, University of Bergen, NorwayVerifierad e-postadress på uib.no
Dave ClarkeIndependentVerifierad e-postadress på storytel.com
Eduard KamburjanSenior Researcher, University of OsloVerifierad e-postadress på ifi.uio.no
Ina SchaeferKarlsruhe Institute of Technology (KIT)Verifierad e-postadress på kit.edu
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoVerifierad e-postadress på di.unito.it
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerifierad e-postadress på itu.dk
Peter Y. H. WongPreneticsVerifierad e-postadress på wolfson.oxon.org
ludovic henrioCNRSVerifierad e-postadress på ens-lyon.fr
Elvira AlbertComplutense University of SpainVerifierad e-postadress på sip.ucm.es
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityVerifierad e-postadress på it.uu.se
Kiko FernándezEricssonVerifierad e-postadress på ericsson.com
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verifierad e-postadress på ist.tugraz.at
Prof. Ilangko BalasinghamOslo University Hospital & Norwegian University of Science & Technology (NTNU)Verifierad e-postadress på medisin.uio.no
Andreas GriesmayerImperial College LondonVerifierad e-postadress på arm.com
Jacopo MauroUniversity of Southern DenmarkVerifierad e-postadress på imada.sdu.dk
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerifierad e-postadress på cs.rwth-aachen.de

Följ

Einar Broch Johnsen

Professor, University of Oslo

Verifierad e-postadress på ifi.uio.no

Formal methods Programming logics Distributed systems Digital twins


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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	461	2010
An asynchronous communication model for distributed concurrent objects EB Johnsen, O Owe Software & Systems Modeling 6, 39-58, 2007	270	2007
A complete guide to the future FS De Boer, D Clarke, EB Johnsen European Symposium on Programming, 316-330, 2007	240	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	196	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	159	2006
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	150	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	91	2015
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, EB Johnsen Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008	90	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	77	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	68	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	64	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	54	2015
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
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
Verification of concurrent objects with asynchronous method calls J Dovland, EB Johnsen, O Owe IEEE International Conference on Software-Science, Technology & Engineering …, 2005	50	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
Theorem reuse by proof term transformation EB Johnsen, C Lüth International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004	45	2004
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	44	2016
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	39	2016
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	39*	2015

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare