| 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 | 74 | 2015 |
| 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 | 52 | 2013 |
| 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 | 48 | 2014 |
| 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 | 38 | 2015 |
| Modeling resource-aware virtualized applications for the cloud in Real-Time ABS EB Johnsen, R Schlatte, SLT Tarifa International Conference on Formal Engineering Methods, 71-86, 2012 | 28 | 2012 |
| Dynamic resource reallocation between deployment components EB Johnsen, O Owe, R Schlatte, SLT Tarifa International Conference on Formal Engineering Methods, 646-661, 2010 | 27 | 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 | 25 | 2011 |
| History-based specification and verification of scalable concurrent and distributed systems CC Din, SLT Tarifa, R Hähnle, EB Johnsen International Conference on Formal Engineering Methods, 217-233, 2015 | 22 | 2015 |
| Validating timed models of deployment components with parametric concurrency EB Johnsen, O Owe, R Schlatte, SLT Tarifa International Conference on Formal Verification of Object-Oriented Software …, 2010 | 22 | 2010 |
| A Maude framework for cache coherent multicore architectures S Bijo, EB Johnsen, KI Pun, SLT Tarifa International Workshop on Rewriting Logic and its Applications, 47-63, 2016 | 13 | 2016 |
| A formal model of object mobility in resource-restricted deployment scenarios EB Johnsen, R Schlatte, SLT Tarifa International Workshop on Formal Aspects of Component Software, 187-204, 2011 | 13 | 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 | 11 | 2016 |
| Locally abstract, globally concrete semantics of concurrent programming languages CC Din, R Hähnle, EB Johnsen, KI Pun, SLT Tarifa International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 10 | 2017 |
| Implementing SOS with active objects: A case study of a multicore memory system N Bezirgiannis, F de Boer, EB Johnsen, KI Pun, SLT Tarifa International Conference on Fundamental Approaches to Software Engineering …, 2019 | 7 | 2019 |
| Release the beasts: When formal methods meet real world data R Schlatte, EB Johnsen, J Mauro, SLT Tarifa, IC Yu It's All About Coordination, 107-121, 2018 | 7 | 2018 |
| A formal model of parallel execution on multicore architectures with multilevel caches S Bijo, EB Johnsen, KI Pun, SLT Tarifa International Conference on Formal Aspects of Component Software, 58-77, 2017 | 6 | 2017 |
| Model checking LTL formulae in RAISE with FDR AP Vargas, AG Garis, SLT Tarifa, C George International Conference on Integrated Formal Methods, 231-245, 2009 | 5 | 2009 |
| A formal model of cloud-deployed software and its application to workflow processing EB Johnsen, KI Pun, SLT Tarifa 2017 25th International Conference on Software, Telecommunications and …, 2017 | 4 | 2017 |
| Modeling deployment decisions for elastic services with ABS EB Johnsen, KI Pun, S Tarifa arXiv preprint arXiv:1610.08199, 2016 | 4 | 2016 |
| A formal model of user-defined resources in resource-restricted deployment scenarios EB Johnsen, R Schlatte, SLT Tarifa International Conference on Formal Verification of Object-Oriented Software …, 2011 | 4 | 2011 |
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
