Urmăriți
Einar Broch Johnsen
Einar Broch Johnsen
Adresă de e-mail confirmată pe ifi.uio.no
Titlu
Citat de
Citat de
Anul
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
4772010
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
European Symposium on Programming, 316-330, 2007
2432007
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
2102016
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
1622006
A survey of active object languages
F Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ...
ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017
1582017
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
952015
Minimal ownership for active objects
D Clarke, T Wrigstad, J Östlund, EB Johnsen
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008
932008
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
822014
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
782020
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
672013
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
602015
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
532011
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
512023
Verification of concurrent objects with asynchronous method calls
J Dovland, EB Johnsen, O Owe
IEEE International Conference on Software-Science, Technology & Engineering …, 2005
512005
Theorem reuse by proof term transformation
EB Johnsen, C Lüth
International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004
512004
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
502012
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
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
462016
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
402016
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20