Einar Broch Johnsen

According to our database, Einar Broch Johnsen authored at least 191 papers between 2001 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

A Configurable Software Model of a Self-Adaptive Robotic System.

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Sci. Comput. Program., 2025

2024

Proving Correctness of Parallel Implementations of Transition System Models.

Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

ACM Trans. Program. Lang. Syst., September, 2024

User journey games: automating user-centric analysis.

Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen

Softw. Syst. Model., June, 2024

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

ACM Trans. Program. Lang. Syst., March, 2024

Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022).

Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer

Sci. Comput. Program., January, 2024

Risk-Averse Planning and Plan Assessment for Marine Robots.

Mahya Mohammadi Kashani, Tobias John, Jeremy Coffelt, Einar Broch Johnsen, Andrzej Wasowski

CoRR, 2024

Symbolic State Partition for Reinforcement Learning.

Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski

CoRR, 2024

GreenhouseDT: An Exemplar for Digital Twins.

Eduard Kamburjan, Riccardo Sieve, Chinmayi Prabhu Baramashetru, Marco Amato, Gianluca Barmina, Eduard Occhipinti, Einar Broch Johnsen

Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

Declarative Lifecycle Management in Digital Twins.

Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Mutation-Based Integration Testing of Knowledge Graph Applications.

Tobias John, Einar Broch Johnsen, Eduard Kamburjan

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Digital Twin Engineering.

John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

Correct and Complete Symbolic Execution for Free.

Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

Stochastic Games for User Journeys.

Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods - 26th International Symposium, 2024

Simulating User Journeys with Active Objects.

Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact).

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Dataset, November, 2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact).

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Dataset, November, 2023

Behavior Trees and State Machines in Robotics Applications.

Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule

IEEE Trans. Software Eng., September, 2023

Predicting resource consumption of Kubernetes container systems using resource models.

Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

J. Syst. Softw., September, 2023

Formal Specification and Testing for Reinforcement Learning.

Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski

Proc. ACM Program. Lang., August, 2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact).

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Dataset, August, 2023

Formal Specification and Testing for Reinforcement Learning (Supplementary Material ).

Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski

Dataset, June, 2023

Symbolic Semantics for Probabilistic Programs (extended version).

Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski

CoRR, 2023

Proving Correctness of Parallel Implementations of Transition System Specifications.

Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

CoRR, 2023

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles.

Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Symbolic Semantics for Probabilistic Programs.

Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

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

Proceedings of the iFM 2023 - 18th International Conference, 2023

Denotational Semantics for Symbolic Execution.

Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Emerging Challenges in Compositionality and Correctness for Digital Twins.

Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

Compositional Correctness and Completeness for Symbolic Partial Order Reduction.

Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

The ABS simulator toolchain.

Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa

Sci. Comput. Program., 2022

A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version).

Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski

CoRR, 2022

LAGC Semantics of Concurrent Programming Languages.

Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

CoRR, 2022

AFSD: Adaptive Feature Space Distillation for Distributed Deep Learning.

Salman Khaleghian, Habib Ullah, Einar Broch Johnsen, Anders Andersen, Andrea Marinoni

IEEE Access, 2022

Weighted Games for User Journeys.

Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

A Formal Model of Metacontrol in Maude.

Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Digital Twin Reconfiguration Using Asset Models.

Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins.

Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

A Specification Logic for Programs in the Probabilistic Guarded Command Language.

Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Building User Journey Games from Multi-party Event Logs.

Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Process Mining Workshops, 2022

DPL: A Language for GDPR Enforcement.

Farzane Karami, David A. Basin, Einar Broch Johnsen

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Digital Twins: An Emerging Paradigm for Model-Centric Engineering (Invited Talk).

Einar Broch Johnsen

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

Knowledge Structures Over Simulation Units.

Eduard Kamburjan, Einar Broch Johnsen

Proceedings of the Annual Modeling and Simulation Conference, 2022

Digital Twins for Autonomic Cloud Application Management.

Geir Horn, Rudolf Schlatte, Einar Broch Johnsen

Proceedings of the Advanced Information Networking and Applications, 2022

2021

Programming and Debugging with Semantically Lifted States.

Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese

Proceedings of the Semantic Web - 18th International Conference, 2021

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction.

Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa

Proceedings of the Coordination Models and Languages, 2021

Smart Journey Mining for Improved Service Quality.

Ragnhild Halvorsrud, Felix Mannhardt, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the IEEE International Conference on Services Computing, 2021

2020

Behavioral Contracts for Cooperative Scheduling.

Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

SymPaths: Symbolic Execution Meets Partial Order Reduction.

Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

A configurable and executable model of Spark Streaming on Apache YARN.

Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen

Int. J. Grid Util. Comput., 2020

Behavior trees in action: a study of robotics applications.

Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

A Formal Model of the Kubernetes Container Framework.

Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Designing Distributed Control with Hybrid Active Objects.

Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Assumption-Commitment Types for Resource Management in Virtually Timed Ambients.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Active Objects with Deterministic Behaviour.

Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Lazy product discovery in huge configuration spaces.

Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Global Reproducibility Through Local Control for Distributed Active Objects.

Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Fundamental Approaches to Software Engineering, 2020

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages.

Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets.

Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2019

Translating active objects into colored Petri nets for communication analysis.

Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu

Sci. Comput. Program., 2019

A formal model of data access for multicore architectures with multilevel caches.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Sci. Comput. Program., 2019

Godot: All the Benefits of Implicit and Explicit Futures (Artifact).

Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad

Dagstuhl Artifacts Ser., 2019

Asynchronous Cooperative Contracts for Cooperative Scheduling.

Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

From SOS to Asynchronously Communicating Actors.

Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Software Engineering and Formal Methods, 2019

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System.

Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Fundamental Approaches to Software Engineering, 2019

Godot: All the Benefits of Implicit and Explicit Futures.

Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

Parallel Cost Analysis.

Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez

ACM Trans. Comput. Log., 2018

Virtually timed ambients: A calculus of nested virtualization.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf

J. Log. Algebraic Methods Program., 2018

A modular reasoning system using uninterpreted predicates for code reuse.

Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu

J. Log. Algebraic Methods Program., 2018

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach.

Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

Forord til NIK 2018.

Ingrid Chieh Yu, Birgit Rognebakke Krogstie, Einar Broch Johnsen

Proceedings of the 31st Norsk Informatikkonferanse, 2018

An Analysis Tool for Models of Virtualized Systems.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito

Proceedings of the 31st Norsk Informatikkonferanse, 2018

Deployment by Construction for Multicore Architectures.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Resource-Aware Virtually Timed Ambients.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Checking Modal Contracts for Virtually Timed Ambients.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Using Coloured Petri Nets for Resource Analysis of Active Objects.

Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Release the Beasts: When Formal Methods Meet Real World Data.

Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu

Proceedings of the It's All About Coordination, 2018

Dynamic Software Updates and Context Adaptation for Distributed Active Objects.

Einar Broch Johnsen, Ingrid Chieh Yu

Proceedings of the Principled Software Development, 2018

Modeling and Simulation of Spark Streaming.

Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017

A Survey of Active Object Languages.

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

ACM Comput. Surv., 2017

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

A formal model of cloud-deployed software and its application to workflow processing.

Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the 25th International Conference on Software, 2017

Translating Active Objects into Colored Petri Nets for Communication Analysis.

Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools.

Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems.

Thomas Brox Røst, Christoph Seidl, Ingrid Chieh Yu, Ferruccio Damiani, Einar Broch Johnsen, Cristina Chesta

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2017

2016

Theme issue on Integrated Formal Methods.

Einar Broch Johnsen, Luigia Petre

Softw. Syst. Model., 2016

A formal model of service-oriented dynamic object groups.

Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk

Sci. Comput. Program., 2016

Behavioral Types in Programming Languages.

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

Found. Trends Program. Lang., 2016

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.

Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu

LNCS Trans. Found. Mastering Chang., 2016

Modeling Deployment Decisions for Elastic Services with ABS.

Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

A Maude Framework for Cache Coherent Multicore Architectures.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

A Calculus of Virtually Timed Ambients.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies.

Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

An operational semantics of cache coherent multicore architectures.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Comparing AWS Deployments Using Model-Based Predictions.

Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters.

Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Meeting Deadlines, Elastically.

Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Static analysis meets runtime verification (NII Shonan Meeting 2015-5).

Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata

NII Shonan Meet. Rep., 2015

Integrating deployment architectures and resource consumption in timed object-oriented models.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

J. Log. Algebraic Methods Program., 2015

A proof system for adaptable class hierarchies.

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu

J. Log. Algebraic Methods Program., 2015

Editorial.

Michael J. Butler, Einar Broch Johnsen, Luigia Petre

Formal Aspects Comput., 2015

Time complexity of concurrent programs.

Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun

CoRR, 2015

Designing Resource-Aware Cloud Applications.

Reiner Hähnle, Einar Broch Johnsen

Computer, 2015

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.

Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang

Proceedings of the Formal Methods for Multicore Programming, 2015

Parallel Cost Analysis of Distributed Systems.

Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Preparing HPC Applications for Exascale: Challenges and Recommendations.

Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit

Proceedings of the 18th International Conference on Network-Based Information Systems, 2015

History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.

Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Formal Methods and Software Engineering, 2015

Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -.

Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study.

Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong

LNCS Trans. Aspect Oriented Softw. Dev., 2014

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.

Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong

Serv. Oriented Comput. Appl., 2014

Verifying traits: an incremental proof system for fine-grained reuse.

Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer

Formal Aspects Comput., 2014

Scaling Future Software: The Manycore Challenge.

Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad

ERCIM News, 2014

Fault Model Design Space for Cooperative Concurrency.

Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Deployment Variability in Delta-Oriented Models.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Introduction to Track on Engineering Virtualized Services.

Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling.

Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

User-defined schedulers for real-time concurrent objects.

Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Innov. Syst. Softw. Eng., 2013

Behavioural design of sensor network applications using activity-driven states.

Amirhosein Taherkordi, Frank Eliassen, Einar Broch Johnsen

Proceedings of the 4th International Workshop on Software Engineering for Sensor Network Applications, 2013

Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study.

Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Engineering virtualized services.

Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve

Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, 2013

Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks.

Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham

Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis.

Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

2012

Formal modeling and validation of a power-efficient grouping protocol for WSNs.

Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham

J. Log. Algebraic Methods Program., 2012

Safe locking for multi-threaded Java with exceptions.

Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen

J. Log. Algebraic Methods Program., 2012

Observable behavior of distributed systems: Component reasoning for concurrent objects.

Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe

J. Log. Algebraic Methods Program., 2012

A Type-Safe Model of Adaptive Object Groups

Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

A transformational proof system for delta-oriented programming.

Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu

Proceedings of the 16th International Software Product Line Conference, 2012

Tracking Behavioral Constraints during Object-Oriented Software Evolution.

Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis.

Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods and Software Engineering, 2012

Separating Cost and Capacity for Load Balancing in ABS Deployment Models.

Einar Broch Johnsen

Proceedings of the Formal Methods for Components and Objects, 2012

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.

Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011

Incremental reasoning with lazy behavioral subtyping for multiple inheritance.

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen

Sci. Comput. Program., 2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory.

Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Safe Locking for Multi-threaded Java.

Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Verification of Object-Oriented Software, 2011

Modeling Application-Level Management of Virtualized Resources in ABS.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

HATS Abstract Behavioral Specification: The Architectural View.

Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Simulating Concurrent Behaviors with Worst-Case Cost Bounds.

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the FM 2011: Formal Methods, 2011

A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios.

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Verifying traits: a proof system for fine-grained reuse.

Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

Fault in the Future.

Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010

Lazy behavioral subtyping.

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen

J. Log. Algebraic Methods Program., 2010

Models of Rate Restricted Communication for Concurrent Objects.

Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa

Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

Lightweight Time Modeling in Timed Creol

Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Confluent Term Rewriting for Only-knowing Logics.

Espen H. Lian, Einar Broch Johnsen, Arild Waaler

Proceedings of the STAIRS 2010, 2010

HATS - A Formal Software Product Line Engineering Methodology.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong

Proceedings of the Software Product Lines - 14th International Conference, 2010

Dynamic Resource Reallocation between Deployment Components.

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods and Software Engineering, 2010

Validating Timed Models of Deployment Components with Parametric Concurrency.

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Verification of Object-Oriented Software, 2010

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory.

Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham

Proceedings of the Formal Techniques for Distributed Systems, 2010

ABS: A Core Language for Abstract Behavioral Specification.

Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.

Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Concurrent Objects à la Carte.

Dave Clarke, Einar Broch Johnsen, Olaf Owe

Proceedings of the Concurrency, 2010

2009

Preface.

Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek

Theor. Comput. Sci., 2009

Guest Editors' Foreword.

Einar Broch Johnsen, Olaf Owe, Gerardo Schneider

J. Log. Algebraic Methods Program., 2009

Preface.

Einar Broch Johnsen, Volker Stolz

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Dynamic Symbolic Execution for Testing Distributed Objects.

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

Incremental Reasoning for Multiple Inheritance.

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Dynamic Symbolic Execution of Distributed Concurrent Objects.

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Formal Techniques for Distributed Systems, 2009

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects.

Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu

Proceedings of the FM 2009: Formal Methods, 2009

2008

Backwards type analysis of asynchronous method calls.

Einar Broch Johnsen, Ingrid Chieh Yu

J. Log. Algebraic Methods Program., 2008

Validating Behavioral Component Interfaces in Rewriting Logic.

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen

Fundam. Informaticae, 2008

Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.

Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Proof Search for the First-Order Connection Calculus in Maude.

Bjarne Holen, Einar Broch Johnsen, Arild Waaler

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Testing Concurrent Objects with Application-Specific Schedulers.

Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen

Proceedings of the Theoretical Aspects of Computing, 2008

A Real-Time Extension of Creol for Modelling Biomedical Sensors.

Marcel Kyas, Einar Broch Johnsen

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Conformance Testing of Distributed Concurrent Systems with Executable Designs.

Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Minimal Ownership for Active Objects.

Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

An Asynchronous Communication Model for Distributed Concurrent Objects.

Einar Broch Johnsen, Olaf Owe

Softw. Syst. Model., 2007

Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects.

Johan Dovland, Einar Broch Johnsen, Olaf Owe

Proceedings of the Workshop on the Foundations of Interactive Computation, 2007

An Object-Oriented Component Model for Heterogeneous Nets.

Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

A Complete Guide to the Future.

Frank S. de Boer, Dave Clarke, Einar Broch Johnsen

Proceedings of the Programming Languages and Systems, 2007

2006

Creol: A type-safe object-oriented model for distributed concurrent systems.

Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu

Theor. Comput. Sci., 2006

Structured Formal Development in Isabelle.

Maksym Bortin, Einar Broch Johnsen, Christoph Lüth

Nord. J. Comput., 2006

Type-Safe Runtime Class Upgrades in Creol.

Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

Verification of Concurrent Objects with Asynchronous Method Calls.

Johan Dovland, Einar Broch Johnsen, Olaf Owe

Proceedings of the 2005 IEEE International Conference on Software, 2005

Inheritance in the Presence of Asynchronous Method Calls.

Einar Broch Johnsen, Olaf Owe

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

A Dynamic Class Construct for Asynchronous Concurrent Objects.

Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004

A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls.

Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Theorem Reuse by Proof Term Transformation.

Einar Broch Johnsen, Christoph Lüth

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects.

Einar Broch Johnsen, Olaf Owe

Proceedings of the Formal Methods for Components and Objects, 2004

Object-Oriented Specification and Open Distributed Systems.

Einar Broch Johnsen, Olaf Owe

Proceedings of the From Object-Orientation to Formal Methods, 2004

2003

Abstracting Refinements for Transformation.

Einar Broch Johnsen, Christoph Lüth

Nord. J. Comput., 2003

2002

Composition and Refinement for Partial Object Specifications.

Einar Broch Johnsen, Olaf Owe

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Combining Graphical and Formal Development of Open Distributed Systems.

Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

A Compositional Formalism for Object Viewpoints.

Einar Broch Johnsen, Olaf Owe

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

2001

Integrating UML and OUN for Specification of Open Distributed Systems.

Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Specification of Distributed Systems with a Combination of Graphica and Formal Languages.

Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Incremental Fault-Tolerant Design in an Object-Oriented Setting.

Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001