Einar Broch Johnsen

Citée par

	Toutes	Depuis 2020
Citations	4171	1405
indice h	30	18
indice i10	91	40

380

190

285

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 12 7 29 43 46 74 90 151 140 181 224 162 201 215 305 219 314 270 280 225 201 296 370 28

Accès public

Tout afficher

73 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloAdresse e-mail validée de ifi.uio.no
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtAdresse e-mail validée de cs.tu-darmstadt.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresse e-mail validée de cwi.nl
Ingrid Chieh YuAssociate Professor, University of OsloAdresse e-mail validée de ifi.uio.no
Crystal Chang DinDepartment of Informatics, University of Bergen, NorwayAdresse e-mail validée de uib.no
Eduard KamburjanAssistant Professor, IT University of CopenhagenAdresse e-mail validée de itu.dk
Dave ClarkeIndependentAdresse e-mail validée de storytel.com
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoAdresse e-mail validée de di.unito.it
Ina SchaeferKarlsruhe Institute of Technology (KIT)Adresse e-mail validée de kit.edu
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkAdresse e-mail validée de itu.dk
Peter Y. H. WongPreneticsAdresse e-mail validée de wolfson.oxon.org
ludovic henrioCNRSAdresse e-mail validée de ens-lyon.fr
Bernhard AichernigGraz Univ. of Technology (TU Graz)Adresse e-mail validée de ist.tugraz.at
Andreas GriesmayerImperial College LondonAdresse e-mail validée de arm.com
Elvira AlbertComplutense University of SpainAdresse e-mail validée de sip.ucm.es
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityAdresse e-mail validée de it.uu.se
Kiko FernándezEricssonAdresse e-mail validée de ericsson.com
Prof. Ilangko BalasinghamOslo University Hospital & Norwegian University of Science & Technology (NTNU)Adresse e-mail validée de medisin.uio.no
Jacopo MauroUniversity of Southern DenmarkAdresse e-mail validée de imada.sdu.dk
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityAdresse e-mail validée de cs.rwth-aachen.de

Suivre

Einar Broch Johnsen

Professor, University of Oslo

Adresse e-mail validée de ifi.uio.no

Formal methods Programming logics Distributed systems Digital twins


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	467	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	206	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	153	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	93	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
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	79	2020
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	79	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, 29-43, 2013	66	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	56	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
Behavior trees and state machines in robotics applications R Ghzouli, T Berger, EB Johnsen, A Wasowski, S Dragule IEEE Transactions on Software Engineering 49 (9), 4243-4267, 2023	49	2023
Theorem reuse by proof term transformation EB Johnsen, C Lüth International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004	49	2004
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
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	45	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs