Articles with public access mandates - Einar Broch JohnsenLearn more
Available somewhere: 62
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
Mandates: European Commission
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
Mandates: European Commission
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
Mandates: Knut and Alice Wallenberg Foundation, European Commission
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
Mandates: European Commission
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
Mandates: European Commission
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
Mandates: European Commission
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
Mandates: German Research Foundation
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
Mandates: Knut and Alice Wallenberg Foundation, European Commission, Research Council …
Structured formal development in Isabelle
M Bortin, EB Johnsen, C Lüth
Nord. J. Comput. 13 (1-2), 2-21, 2006
Mandates: German Research Foundation
Simulating concurrent behaviors with worst-case cost bounds
E Albert, S Genaim, M Gómez-Zamalloa, EB Johnsen, R Schlatte, ...
International Symposium on Formal Methods, 353-368, 2011
Mandates: Government of Spain
Programming and debugging with semantically lifted states
E Kamburjan, VN Klungre, R Schlatte, EB Johnsen, M Giese
The Semantic Web: 18th International Conference, ESWC 2021, Virtual Event …, 2021
Mandates: Research Council of Norway
Modeling and simulation of spark streaming
JC Lin, MC Lee, IC Yu, EB Johnsen
2018 IEEE 32nd International Conference on Advanced Information Networking …, 2018
Mandates: European Commission
Proof Repositories for Compositional Verification of Evolving Software Systems: Managing Change When Proving Software Correct
R Bubel, F Damiani, R Hähnle, EB Johnsen, O Owe, I Schaefer, IC Yu
Transactions on Foundations for Mastering Change I, 130-156, 2016
Mandates: European Commission
A formal model of the kubernetes container framework
G Turin, A Borgarelli, S Donetti, EB Johnsen, SL Tapia Tarifa, F Damiani
International Symposium on Leveraging Applications of Formal Methods, 558-577, 2020
Mandates: Research Council of Norway
Verifying traits: an incremental proof system for fine-grained reuse
F Damiani, J Dovland, EB Johnsen, I Schaefer
Formal Aspects of Computing 26 (4), 761-793, 2014
Mandates: German Research Foundation, European Commission, Government of Italy
Godot: All the benefits of implicit and explicit futures
K Fernandez-Reyes, D Clarke, L Henrio, EB Johnsen, T Wrigstad
Leibniz International Proceedings in Informatics 134, 2019
Mandates: Swedish Research Council
Parallel cost analysis
E Albert, J Correas, EB Johnsen, KI Pun, G Román-Díez
ACM Transactions on Computational Logic (TOCL) 19 (4), 1-37, 2018
Mandates: Government of Spain
Comparing AWS deployments using model-based predictions
EB Johnsen, JC Lin, IC Yu
International Symposium on Leveraging Applications of Formal Methods, 482-496, 2016
Mandates: European Commission
Designing resource-aware cloud applications
R Hähnle, EB Johnsen
Computer 48 (6), 72-75, 2015
Mandates: European Commission
Parallel cost analysis of distributed systems
E Albert, J Correas, EB Johnsen, G Román-Díez
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015
Mandates: European Commission, Government of Spain
Publication and funding information is determined automatically by a computer program