Follow
Einar Broch Johnsen
Einar Broch Johnsen
Verified email at ifi.uio.no
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
Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012
4202012
An asynchronous communication model for distributed concurrent objects
EB Johnsen, O Owe
Software & Systems Modeling 6, 39-58, 2007
2712007
A complete guide to the future
FS De Boer, D Clarke, EB Johnsen
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
2282007
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
1632016
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
1592006
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
972017
Minimal ownership for active objects
D Clarke, T Wrigstad, J Östlund, EB Johnsen
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008
902008
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
892015
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
66*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
592013
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, ...
Formal Methods for Eternal Networked Software Systems: 11th International …, 2011
532011
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
472012
Verification of concurrent objects with asynchronous method calls
J Dovland, EB Johnsen, O Owe
IEEE International Conference on Software-Science, Technology & Engineering …, 2005
472005
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
472005
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
462015
Theorem reuse by proof term transformation
EB Johnsen, C Lüth
Theorem Proving in Higher Order Logics: 17th International Conference …, 2004
412004
ABS-YARN: A formal framework for modeling Hadoop YARN clusters
JC Lin, IC Yu, EB Johnsen, MC Lee
Fundamental Approaches to Software Engineering: 19th International …, 2016
352016
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
35*2015
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
352012
Object-oriented specification and open distributed systems
EB Johnsen, O Owe
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan …, 2004
352004
The system can't perform the operation now. Try again later.
Articles 1–20