| ABS: A core language for abstract behavioral specification EB Johnsen, R Hähnle, J Schäfer, R Schlatte, M Steffen Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012 | 427 | 2012 |
| An asynchronous communication model for distributed concurrent objects EB Johnsen, O Owe Software & Systems Modeling 6, 39-58, 2007 | 271 | 2007 |
| A complete guide to the future FS De Boer, D Clarke, EB Johnsen Programming Languages and Systems: 16th European Symposium on Programming …, 2007 | 229 | 2007 |
| 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 | 172 | 2016 |
| 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 | 159 | 2006 |
| 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 | 104 | 2017 |
| 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 | 90 | 2015 |
| Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, EB Johnsen Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008 | 90 | 2008 |
| 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 | 68* | 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 | 60 | 2013 |
| 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, ... Formal Methods for Eternal Networked Software Systems: 11th International …, 2011 | 53 | 2011 |
| 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 | 48 | 2015 |
| 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 | 47 | 2012 |
| Verification of concurrent objects with asynchronous method calls J Dovland, EB Johnsen, O Owe IEEE International Conference on Software-Science, Technology & Engineering …, 2005 | 47 | 2005 |
| 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 | 47 | 2005 |
| Theorem reuse by proof term transformation EB Johnsen, C Lüth Theorem Proving in Higher Order Logics: 17th International Conference …, 2004 | 44 | 2004 |
| 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 | 38 | 2020 |
| 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 | 38* | 2015 |
| ABS-YARN: A formal framework for modeling Hadoop YARN clusters JC Lin, IC Yu, EB Johnsen, MC Lee Fundamental Approaches to Software Engineering: 19th International …, 2016 | 37 | 2016 |
| 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 | 35 | 2012 |
Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloVerified email at ifi.uio.no
