Einar Broch Johnsen

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 90

Top Venues

CoRR

ISoLA (1)

Sci. Comput. Program.

FASE

Publications

Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule
Behavior Trees and State Machines in Robotics Applications. Software Engineering (2024)
Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen
User journey games: automating user-centric analysis. Softw. Syst. Model. 23 (3) (2024)
Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer
Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022). Sci. Comput. Program. 232 (2024)
Eduard Kamburjan, Riccardo Sieve, Chinmayi Prabhu Baramashetru, Marco Amato, Gianluca Barmina, Eduard Occhipinti, Einar Broch Johnsen
GreenhouseDT: An Exemplar for Digital Twins. SEAMS@ICSE (2024)
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen
Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM (2023)
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
Proving Correctness of Parallel Implementations of Transition System Specifications. CoRR (2023)
Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. CoRR (2023)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
Symbolic Semantics for Probabilistic Programs (extended version). CoRR (2023)
Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen
Denotational Semantics for Symbolic Execution. ICTAC (2023)
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Predicting resource consumption of Kubernetes container systems using resource models. J. Syst. Softw. 203 (2023)
Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. SEAMS (2023)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR (2023)
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski
Formal Specification and Testing for Reinforcement Learning. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models. CoRR (2023)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM (2023)
Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen
Compositional Correctness and Completeness for Symbolic Partial Order Reduction. CONCUR (2023)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
Symbolic Semantics for Probabilistic Programs. QEST (2023)
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule
Behavior Trees and State Machines in Robotics Applications. IEEE Trans. Software Eng. 49 (9) (2023)
Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) (2022)
Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
The ABS simulator toolchain. Sci. Comput. Program. 223 (2022)
Eduard Kamburjan, Einar Broch Johnsen
Knowledge Structures Over Simulation Units. ANNSIM (2022)
Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen
Digital Twin Reconfiguration Using Asset Models. ISoLA (4) (2022)
Salman Khaleghian, Habib Ullah, Einar Broch Johnsen, Anders Andersen, Andrea Marinoni
AFSD: Adaptive Feature Space Distillation for Distributed Deep Learning. IEEE Access 10 (2022)
Einar Broch Johnsen
Digital Twins: An Emerging Paradigm for Model-Centric Engineering (Invited Talk). PNSE@Petri Nets (2022)
Razan Ghzouli, Swaib Dragule, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski
Behavior Trees and State Machines in Robotics Applications. CoRR (2022)
Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Building User Journey Games from Multi-party Event Logs. ICPM Workshops (2022)
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
LAGC Semantics of Concurrent Programming Languages. CoRR (2022)
Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen
A Formal Model of Metacontrol in Maude. ISoLA (1) (2022)
Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen
Weighted Games for User Journeys. SEFM (2022)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
A Specification Logic for Programs in the Probabilistic Guarded Command Language. ICTAC (2022)
Geir Horn, Rudolf Schlatte, Einar Broch Johnsen
Digital Twins for Autonomic Cloud Application Management. AINA (3) (2022)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version). CoRR (2022)
Farzane Karami, David A. Basin, Einar Broch Johnsen
DPL: A Language for GDPR Enforcement. CSF (2022)
Ragnhild Halvorsrud, Felix Mannhardt, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Smart Journey Mining for Improved Service Quality. SCC (2021)
Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese
Programming and Debugging with Semantically Lifted States. ESWC (2021)
Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. COORDINATION (2021)
Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Designing Distributed Control with Hybrid Active Objects. ISoLA (4) (2020)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. ISoLA (1) (2020)
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski
Behavior Trees in Action: A Study of Robotics Applications. CoRR (2020)
Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte
Global Reproducibility Through Local Control for Distributed Active Objects. FASE (2020)
Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen
A configurable and executable model of Spark Streaming on Apache YARN. Int. J. Grid Util. Comput. 11 (2) (2020)
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
Lazy Product Discovery in Huge Configuration Spaces. CoRR (2020)
Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. PNSE@Petri Nets (2020)
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski
Behavior trees in action: a study of robotics applications. SLE (2020)
Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun
Active Objects with Deterministic Behaviour. IFM (2020)
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
Lazy product discovery in huge configuration spaces. ICSE (2020)
Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift (2020)
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani
A Formal Model of the Kubernetes Container Framework. ISoLA (1) (2020)
Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
From SOS to Asynchronously Communicating Actors. SEFM Workshops (2019)
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu
Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. 181 (2019)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A formal model of data access for multicore architectures with multilevel caches. Sci. Comput. Program. 179 (2019)
Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
Godot: All the Benefits of Implicit and Explicit Futures (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
Asynchronous Cooperative Contracts for Cooperative Scheduling. SEFM (2019)
Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
Godot: All the Benefits of Implicit and Explicit Futures. ECOOP (2019)
Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. FASE (2019)
Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen
Modeling and Simulation of Spark Streaming. CoRR (2018)
Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez
Parallel Cost Analysis. ACM Trans. Comput. Log. 19 (4) (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
Assumption Commitment Types for Resource Management in Virtually Timed Ambients. CoRR (2018)
Einar Broch Johnsen, Ingrid Chieh Yu
Dynamic Software Updates and Context Adaptation for Distributed Active Objects. Principled Software Development (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
Resource-Aware Virtually Timed Ambients. IFM (2018)
Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
Using Coloured Petri Nets for Resource Analysis of Active Objects. FACS (2018)
Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA (2018)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa
Deployment by Construction for Multicore Architectures. ISoLA (1) (2018)
Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
A modular reasoning system using uninterpreted predicates for code reuse. J. Log. Algebraic Methods Program. 95 (2018)
Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen
Modeling and Simulation of Spark Streaming. AINA (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
An Analysis Tool for Models of Virtualized Systems. NIK (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
Virtually timed ambients: A calculus of nested virtualization. J. Log. Algebraic Methods Program. 94 (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
Checking Modal Contracts for Virtually Timed Ambients. ICTAC (2018)
Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination (2018)
Ingrid Chieh Yu, Birgit Rognebakke Krogstie, Einar Broch Johnsen
Forord til NIK 2018. NIK (2018)
Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX (2017)
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu
Translating Active Objects into Colored Petri Nets for Communication Analysis. FSEN (2017)
Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. FASE (2017)
Thomas Brox Røst, Christoph Seidl, Ingrid Chieh Yu, Ferruccio Damiani, Einar Broch Johnsen, Cristina Chesta
HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems. ESOCC Workshops (2017)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. FACS (2017)
Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A formal model of cloud-deployed software and its application to workflow processing. SoftCOM (2017)
Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang
A Survey of Active Object Languages. ACM Comput. Surv. 50 (5) (2017)
Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools. CoRR (2017)
Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. SETTA (2016)
Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Modeling Deployment Decisions for Elastic Services with ABS. iFMCloud@IFM (2016)
Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk
A formal model of service-oriented dynamic object groups. Sci. Comput. Program. (2016)
Einar Broch Johnsen, Luigia Petre
Theme issue on Integrated Formal Methods. Softw. Syst. Model. 15 (4) (2016)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
An operational semantics of cache coherent multicore architectures. SAC (2016)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
A Calculus of Virtually Timed Ambients. WADT (2016)
Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu
Comparing AWS Deployments Using Model-Based Predictions. ISoLA (2) (2016)
Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. FASE (2016)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A Maude Framework for Cache Coherent Multicore Architectures. WRLA (2016)
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1 (2016)
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. FACS (2015)
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
Time complexity of concurrent programs. CoRR (2015)
Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
Preparing HPC Applications for Exascale: Challenges and Recommendations. CoRR (2015)
Michael J. Butler, Einar Broch Johnsen, Luigia Petre
Editorial. Formal Aspects Comput. 27 (4) (2015)
Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. ICFEM (2015)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
A proof system for adaptable class hierarchies. J. Log. Algebraic Methods Program. 84 (1) (2015)
Reiner Hähnle, Einar Broch Johnsen
Designing Resource-Aware Cloud Applications. Computer 48 (6) (2015)
Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez
Parallel Cost Analysis of Distributed Systems. SAS (2015)
Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata
Static analysis meets runtime verification (NII Shonan Meeting 2015-5). NII Shonan Meet. Rep. 2015 (2015)
Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
Preparing HPC Applications for Exascale: Challenges and Recommendations. NBiS (2015)

Einar Broch Johnsen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Einar Broch Johnsen