Einar Broch Johnsen
Universitetet i Oslo
H-index: 28
Europe-Norway
Top articles of Einar Broch Johnsen
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
GreenhouseDT: An Exemplar for Digital Twins | Eduard Kamburjan Riccardo Sieve Chinmayi Prabhu Marco Amato Gianluca Barmina | 2024 | |
User journey games: automating user-centric analysis | Software and Systems Modeling | Paul Kobialka S Lizeth Tapia Tarifa Gunnar R Bergersen Einar Broch Johnsen | 2024/3/14 |
Preface for the special issue on “Fundamental Approaches to Software Engineering”(FASE 2022) | Marie-Christine Jakobs Einar Broch Johnsen Eduard Kamburjan Manuel Wimmer | 2024/1 | |
Simulating User Journeys with Active Objects | Paul Kobialka Rudolf Schlatte Gunnar Rye Bergersen Einar Broch Johnsen Silvia Lizeth Tapia Tarifa | 2024/1/29 | |
Locally abstract, globally concrete semantics of concurrent programming languages | ACM Transactions on Programming Languages and Systems | Crystal Chang Din Reiner Hähnle Ludovic Henrio Einar Broch Johnsen Violet Ka I Pun | 2024 |
Proving Correctness of Parallel Implementations of Transition System Models | arXiv preprint arXiv:2302.04661 | Frank S de Boer Einar Broch Johnsen Violet Ka I Pun Silvia Lizeth Tapia Tarifa | 2023/1/25 |
Programming Languages and Systems | ACM Transactions on | M Vukasovic A Prokopec A Boruch-Gruszecki M Odersky E Lee | 2023 |
Active Object Languages: Current Research Trends | Frank de Boer Ferruccio Damiani Reiner Hähnle Einar Broch Johnsen Eduard Kamburjan | 2024 | |
Preface for the formal methods in system design specialissue on ‘FASE 2022’ | Formal Methods in System Design | Einar Broch Johnsen Manuel Wimmer | 2024/4/2 |
Emerging Challenges in Compositionality and Correctness for Digital Twins | CEUR Workshop Proceedings | Eduard Kamburjan Vidar Norstein Klungre Silvia Lizeth Tapia Tarifa Rudolf Schlatte Martin Giese | 2023 |
Predicting resource consumption of Kubernetes container systems using resource models | Journal of Systems and Software | Gianluca Turin Andrea Borgarelli Simone Donetti Ferruccio Damiani Einar Broch Johnsen | 2023/9/1 |
How to avoid a local epidemic becoming a global pandemic | Proceedings of the National Academy of Sciences | Nils Chr Stenseth Rudolf Schlatte Xiaoli Liu Roger Pielke Jr Ruiyun Li | 2023/3/7 |
Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins | Research report http://urn. nb. no/URN: NBN: no-35645 | Sylvain Hallé Chukri Soueidi Yliès Falcone Eduard Kamburjan Vidar Klungre | 2023 |
Formal Specification and Testing for Reinforcement Learning | Proceedings of the ACM on Programming Languages | Mahsa Varshosaz Mohsen Ghaffari Einar Broch Johnsen Andrzej Wąsowski | 2023/8/30 |
Towards Formal Specification of Reinforcement Learning | Mahsa Varshosaz Mohsen Ghaffari Einar Broch Johnsen Andrzej Wasowski | 2023 | |
Symbolic Semantics for Probabilistic Programs (extended version) | arXiv preprint arXiv:2307.09951 | Erik Voogd Einar Broch Johnsen Alexandra Silva Zachary J Susag Andrzej Wąsowski | 2023/7/19 |
Denotational Semantics for Symbolic Execution | Erik Voogd Åsmund Aqissiaq Arild Kløvstad Einar Broch Johnsen | 2023/11/23 | |
Reliable Plan Selection with Quantified Risk-Sensitivity | Tobias John Mahya Mohammadi Kashani Jeremy P Coffelt Einar Broch Johnsen Andrzej Wasowski | 2023 | |
SUAVE: an exemplar for self-adaptive underwater vehicles | Gustavo Rezende Silva Juliane Päßler Jeroen Zwanepol Elvin Alberts S Lizeth Tapia Tarifa | 2023/5/15 | |
Formal Modelling and Analysis of a Self-Adaptive Robotic System | Juliane Päßler Maurice H ter Beek Ferruccio Damiani Silvia Lizeth Tapia Tarifa Einar Broch Johnsen | 2023/11/6 |