| 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 | 89 | 2015 |
| 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 | 77 | 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 | 64 | 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 | 52 | 2015 |
| History-based specification and verification of scalable concurrent and distributed systems CC Din, SL Tapia Tarifa, R Hähnle, EB Johnsen Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 31 | 2015 |
| Modeling resource-aware virtualized applications for the cloud in Real-Time ABS EB Johnsen, R Schlatte, SL Tapia Tarifa International Conference on Formal Engineering Methods, 71-86, 2012 | 31 | 2012 |
| Locally abstract, globally concrete semantics of concurrent programming languages CC Din, R Hähnle, EB Johnsen, KI Pun, SL Tapia Tarifa Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017 | 29 | 2017 |
| Dynamic resource reallocation between deployment components EB Johnsen, O Owe, R Schlatte, SL Tapia Tarifa International Conference on Formal Engineering Methods, 646-661, 2010 | 29 | 2010 |
| 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 | 27 | 2011 |
| 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 | 21 | 2020 |
| Validating timed models of deployment components with parametric concurrency E Broch Johnsen, O Owe, R Schlatte, SL Tapia Tarifa Formal Verification of Object-Oriented Software: International Conference …, 2011 | 21 | 2011 |
| Implementing SOS with active objects: A case study of a multicore memory system N Bezirgiannis, F de Boer, EB Johnsen, KI Pun, SL Tapia Tarifa Fundamental Approaches to Software Engineering: 22nd International …, 2019 | 16 | 2019 |
| A Maude framework for cache coherent multicore architectures S Bijo, EB Johnsen, KI Pun, SL Tapia Tarifa Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016 …, 2016 | 16 | 2016 |
| Digital twin reconfiguration using asset models E Kamburjan, VN Klungre, R Schlatte, SLT Tarifa, D Cameron, ... International Symposium on Leveraging Applications of Formal Methods, 71-88, 2022 | 14 | 2022 |
| Release the beasts: When formal methods meet real world data R Schlatte, EB Johnsen, J Mauro, SL Tapia Tarifa, IC Yu It's All About Coordination: Essays to Celebrate the Lifelong Scientific …, 2018 | 14 | 2018 |
| A formal model of object mobility in resource-restricted deployment scenarios EB Johnsen, R Schlatte, SL Tapia Tarifa International Workshop on Formal Aspects of Component Software, 187-204, 2011 | 14 | 2011 |
| An operational semantics of cache coherent multicore architectures S Bijo, EB Johnsen, KI Pun, SLT Tarifa Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1219-1224, 2016 | 12 | 2016 |
| SUAVE: an exemplar for self-adaptive underwater vehicles GR Silva, J Päßler, J Zwanepol, E Alberts, SLT Tarifa, I Gerostathopoulos, ... 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self …, 2023 | 11 | 2023 |
| Modeling and analyzing resource-sensitive actors: a tutorial introduction R Schlatte, EB Johnsen, E Kamburjan, SL Tapia Tarifa International Conference on Coordination Languages and Models, 3-19, 2021 | 11 | 2021 |
| A formal model of parallel execution on multicore architectures with multilevel caches S Bijo, EB Johnsen, KI Pun, SL Tapia Tarifa Formal Aspects of Component Software: 14th International Conference, FACS …, 2017 | 9 | 2017 |
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
