Einar Broch Johnsen
Einar Broch Johnsen
Professor, University of Oslo
Vahvistettu sähköpostiosoite verkkotunnuksessa ifi.uio.no
Nimike
Viittaukset
Viittaukset
Vuosi
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
3962010
An asynchronous communication model for distributed concurrent objects
EB Johnsen, O Owe
Software & Systems Modeling 6 (1), 39-58, 2007
2642007
A complete guide to the future
FS De Boer, D Clarke, EB Johnsen
European Symposium on Programming, 316-330, 2007
2242007
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
1572006
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
1352016
Minimal ownership for active objects
D Clarke, T Wrigstad, J Östlund, EB Johnsen
Asian Symposium on Programming Languages and Systems, 139-154, 2008
882008
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
832017
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
812015
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
61*2014
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
552013
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
522011
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
482005
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
462012
Verification of concurrent objects with asynchronous method calls
J Dovland, EB Johnsen, O Owe
IEEE International Conference on Software-Science, Technology & Engineering …, 2005
452005
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
422015
Theorem reuse by proof term transformation
EB Johnsen, C Lüth
International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004
412004
Object-oriented specification and open distributed systems
EB Johnsen, O Owe
From Object-Orientation to Formal Methods, 137-164, 2004
352004
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
34*2015
Formal modeling of resource management for cloud architectures: An industrial case study
FS De Boer, R Hähnle, EB Johnsen, R Schlatte, PYH Wong
European Conference on Service-Oriented and Cloud Computing, 91-106, 2012
33*2012
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
322016
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20