Einar Broch Johnsen

251 papers A* 2A 8B 31C 11Misc 5Journal 78Unranked 102

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control Software. CoRR Nils Chur, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski
2026	J	`jnl`	Editorial Introducing the New Editors-in-Chief. Formal Aspects Comput. Maurice H. ter Beek, Einar Broch Johnsen
2026	—	`conf`	Formal Methods meet Digital Twins: Challenges and Opportunities. ESOP (1) Einar Broch Johnsen, Eduard Kamburjan, Andrea Pferscher, Silvia Lizeth Tapia Tarifa
2026	J	`jnl`	Incremental Fingerprinting in an Open World. CoRR Loes Kruger, Paul Kobialka, Andrea Pferscher, Einar Broch Johnsen, Sebastian Junges, Jurriaan Rot
2026	B	`conf`	Layers of Confluence for Actors. CPP Ludovic Henrio, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Violet Ka I Pun, Yannick Zakowski
2026	J	`jnl`	Mutation-based testing of knowledge graphs. Empir. Softw. Eng. Tobias John, Einar Broch Johnsen, Eduard Kamburjan
2026	J	`jnl`	Semantically Reflected Programs. TGDK Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, Einar Broch Johnsen
2025	J	`jnl`	A Configurable Software Model of a Self-Adaptive Robotic System. Sci. Comput. Program. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	An LAGC Semantics for Timed Rebeca. Rebeca for Actor Analysis in Action Reiner Hähnle, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Analysing Self-Adaptive Systems as Software Product Lines. SPLC (A) Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Analysing Self-Adaptive Systems as Software Product Lines. J. Syst. Softw. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins. ASQAP Riccardo Sieve, Paul Kobialka, Laura Slaughter, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Compositional symbolic execution semantics. Theor. Comput. Sci. Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen, Andrzej Wasowski
2025	A*	`conf`	Counterfactual Strategies for Markov Decision Processes. IJCAI Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025	J	`jnl`	Counterfactual Strategies for Markov Decision Processes. CoRR Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025	J	`jnl`	Decision boundaries in user journey event logs. Process Sci. Paul Kobialka, Einar Broch Johnsen, Felix Mannhardt, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Declarative Dynamic Object Reclassification (Artifact). Dagstuhl Artifacts Ser. Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen
2025	A	`conf`	Declarative Dynamic Object Reclassification. ECOOP Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen
2025	—	`conf`	Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. SPLC (A) Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. Formal Aspects Comput. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Inside Every Multithreaded Program There Are Active Objects Struggling To Get Out. Rebeca for Actor Analysis in Action Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Language-Based Testing for Knowledge Graphs. ESWC (2) Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel
2025	—	`conf`	Nudging Strategies for User Journeys: Take a Path on the Wild Side. Real Time and Such Einar Broch Johnsen, Paul Kobialka, Andrea Pferscher, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Preface for the Formal Methods in System Design special issue on 'FASE 2022'. Formal Methods Syst. Des. Einar Broch Johnsen, Manuel Wimmer
2025	—	`conf`	RDFMutate : Mutation-Based Generation of Knowledge Graphs. ISWC (2) Tobias John, Einar Broch Johnsen, Eduard Kamburjan
2025	J	`jnl`	ROSA: A Knowledge-based Solution for Robot Self-Adaptation. CoRR Gustavo Rezende Silva, Juliane Päßler, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen, Carlos Hernández Corbato
2025	J	`jnl`	ROSA: a knowledge-based solution for robot self-adaptation. Frontiers Robotics AI Gustavo Rezende Silva, Juliane Päßler, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen, Carlos Hernández Corbato
2025	—	`conf`	Semantic Reflection and Digital Twins: A Comprehensive Overview. The Combined Power of Research, Education, and Dissemination Eduard Kamburjan, Andrea Pferscher, Rudolf Schlatte, Riccardo Sieve, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025	J	`jnl`	Semantically Reflected Programs. CoRR Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, Einar Broch Johnsen
2025	B	`conf`	Symbolic State Partitioning for Reinforcement Learning. FASE Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski
2025	—	`conf`	Symbolic State Seeding Improves Coverage of Reinforcement Learning. SEAMS@ICSE Mohsen Ghaffari, Cong Chen, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski
2025	—	`conf`	Testing Description Logic Reasoners (Extended Abstract). DL Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel
2025	—	`conf`	Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring. MODELS-C Eduard Kamburjan, Laura A. Slaughter, Einar Broch Johnsen, Andrea Pferscher, Laura Weihl
2025	—	`conf`	What-If Scenarios for the BedreFlyt Digital Twin. Principles of Formal Quantitative Analysis Åsmund Aqissiaq Arild Kløvstad, Paul Kobialka, Riccardo Sieve, Andrea Pferscher, Laura Slaughter, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2024	—	`book`	Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
2024	C	`conf`	Behavior Trees and State Machines in Robotics Applications. Software Engineering Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule
2024	B	`conf`	Correct and Complete Symbolic Execution for Free. IFM Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva
2024	—	`conf`	Declarative Lifecycle Management in Digital Twins. MoDELS (Companion) Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2024	—	`conf`	Digital Twin Engineering. ISoLA (5) John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock
2024	—	`conf`	GreenhouseDT: An Exemplar for Digital Twins. SEAMS@ICSE Eduard Kamburjan, Riccardo Sieve, Chinmayi Prabhu Baramashetru, Marco Amato, Gianluca Barmina, Eduard Occhipinti, Einar Broch Johnsen
2024	J	`jnl`	Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2024	A	`conf`	Mutation-Based Integration Testing of Knowledge Graph Applications. ISSRE Tobias John, Einar Broch Johnsen, Eduard Kamburjan
2024	J	`jnl`	Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022). Sci. Comput. Program. Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer
2024	J	`jnl`	Proving Correctness of Parallel Implementations of Transition System Models. ACM Trans. Program. Lang. Syst. Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2024	A	`conf`	Risk-Averse Planning and Plan Assessment for Marine Robots. IROS Mahya Mohammadi Kashani, Tobias John, Jeremy Paul Coffelt, Einar Broch Johnsen, Andrzej Wasowski
2024	J	`jnl`	Risk-Averse Planning and Plan Assessment for Marine Robots. CoRR Mahya Mohammadi Kashani, Tobias John, Jeremy Coffelt, Einar Broch Johnsen, Andrzej Wasowski
2024	—	`ch.`	Simulating User Journeys with Active Objects. Active Object Languages: Current Research Trends Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2024	—	`conf`	Stochastic Games for User Journeys. FM (2) Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2024	J	`jnl`	Symbolic State Partition for Reinforcement Learning. CoRR Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski
2024	—	`conf`	Towards a Proof System for Probabilistic Dynamic Logic. Principles of Verification (1) Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski
2024	J	`jnl`	Towards a Proof System for Probabilistic Dynamic Logic. CoRR Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski
2024	J	`jnl`	User journey games: automating user-centric analysis. Softw. Syst. Model. Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen
2023	J	`jnl`	Behavior Trees and State Machines in Robotics Applications. IEEE Trans. Software Eng. Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule
2023	B	`conf`	Compositional Correctness and Completeness for Symbolic Partial Order Reduction. CONCUR Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen
2023	C	`conf`	Denotational Semantics for Symbolic Execution. ICTAC Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen
2023	—	`conf`	Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David B. Cameron, Einar Broch Johnsen
2023	B	`conf`	Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2023	J	`jnl`	Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2023	J	`jnl`	Formal Specification and Testing for Reinforcement Learning. Proc. ACM Program. Lang. Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski
2023	J	`jnl`	Predicting Resource Consumption of Kubernetes Container Systems using Resource Models. CoRR Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2023	J	`jnl`	Predicting resource consumption of Kubernetes container systems using resource models. J. Syst. Softw. Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2023	J	`jnl`	Proving Correctness of Parallel Implementations of Transition System Specifications. CoRR Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2023	A	`conf`	SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. SEAMS Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
2023	J	`jnl`	SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. CoRR Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
2023	J	`jnl`	Symbolic Semantics for Probabilistic Programs (extended version). CoRR Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
2023	—	`conf`	Symbolic Semantics for Probabilistic Programs. QEST Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
2022	—	`conf`	A Formal Model of Metacontrol in Maude. ISoLA (1) Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen
2022	J	`jnl`	A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version). CoRR Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
2022	C	`conf`	A Specification Logic for Programs in the Probabilistic Guarded Command Language. ICTAC Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
2022	J	`jnl`	AFSD: Adaptive Feature Space Distillation for Distributed Deep Learning. IEEE Access Salman Khaleghian, Habib Ullah, Einar Broch Johnsen, Anders Andersen, Andrea Marinoni
2022	J	`jnl`	Behavior Trees and State Machines in Robotics Applications. CoRR Razan Ghzouli, Swaib Dragule, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski
2022	—	`conf`	Building User Journey Games from Multi-party Event Logs. ICPM Workshops Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2022	A	`conf`	DPL: A Language for GDPR Enforcement. CSF Farzane Karami, David A. Basin, Einar Broch Johnsen
2022	—	`conf`	Digital Twin Reconfiguration Using Asset Models. ISoLA (4) Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David B. Cameron, Einar Broch Johnsen
2022	—	`conf`	Digital Twins for Autonomic Cloud Application Management. AINA (3) Geir Horn, Rudolf Schlatte, Einar Broch Johnsen
2022	—	`conf`	Digital Twins: An Emerging Paradigm for Model-Centric Engineering (Invited Talk). PNSE@Petri Nets Einar Broch Johnsen
2022	B	`ed.`	Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings FASE Einar Broch Johnsen, Manuel Wimmer
2022	—	`conf`	Knowledge Structures Over Simulation Units. ANNSIM Eduard Kamburjan, Einar Broch Johnsen
2022	J	`jnl`	LAGC Semantics of Concurrent Programming Languages. CoRR Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2022	J	`jnl`	The ABS simulator toolchain. Sci. Comput. Program. Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
2022	—	`ed.`	The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday The Logic of Software. A Tasting Menu of Formal Methods Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
2022	—	`conf`	Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2022	B	`conf`	Weighted Games for User Journeys. SEFM Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen
2021	C	`conf`	Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. COORDINATION Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
2021	B	`conf`	Programming and Debugging with Semantically Lifted States. ESWC Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese
2021	—	`conf`	Smart Journey Mining for Improved Service Quality. SCC Ragnhild Halvorsrud, Felix Mannhardt, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2020	—	`conf`	A Formal Model of the Kubernetes Container Framework. ISoLA (1) Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani
2020	J	`jnl`	A configurable and executable model of Spark Streaming on Apache YARN. Int. J. Grid Util. Comput. Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen
2020	B	`conf`	Active Objects with Deterministic Behaviour. IFM Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun
2020	—	`conf`	Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. ISoLA (1) Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
2020	J	`jnl`	Behavior Trees in Action: A Study of Robotics Applications. CoRR Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski
2020	B	`conf`	Behavior trees in action: a study of robotics applications. SLE Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski
2020	—	`ch.`	Behavioral Contracts for Cooperative Scheduling. 20 Years of KeY Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
2020	—	`conf`	Designing Distributed Control with Hybrid Active Objects. ISoLA (4) Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2020	B	`conf`	Global Reproducibility Through Local Control for Distributed Active Objects. FASE Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte
2020	—	`conf`	Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito
2020	J	`jnl`	Lazy Product Discovery in Huge Configuration Spaces. CoRR Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
2020	A*	`conf`	Lazy product discovery in huge configuration spaces. ICSE Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
2020	—	`conf`	Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. PNSE@Petri Nets Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
2020	—	`ch.`	SymPaths: Symbolic Execution Meets Partial Order Reduction. 20 Years of KeY Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito
2019	J	`jnl`	A formal model of data access for multicore architectures with multilevel caches. Sci. Comput. Program. Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2019	B	`conf`	Asynchronous Cooperative Contracts for Cooperative Scheduling. SEFM Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
2019	—	`conf`	From SOS to Asynchronously Communicating Actors. SEFM Workshops Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2019	J	`jnl`	Godot: All the Benefits of Implicit and Explicit Futures (Artifact). Dagstuhl Artifacts Ser. Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
2019	A	`conf`	Godot: All the Benefits of Implicit and Explicit Futures. ECOOP Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
2019	B	`conf`	Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. FASE Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2019	J	`jnl`	Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu
2018	J	`jnl`	A modular reasoning system using uninterpreted predicates for code reuse. J. Log. Algebraic Methods Program. Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2018	—	`conf`	An Analysis Tool for Models of Virtualized Systems. NIK Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
2018	—	`conf`	Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
2018	J	`jnl`	Assumption Commitment Types for Resource Management in Virtually Timed Ambients. CoRR Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
2018	C	`conf`	Checking Modal Contracts for Virtually Timed Ambients. ICTAC Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
2018	—	`conf`	Deployment by Construction for Multicore Architectures. ISoLA (1) Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa
2018	—	`conf`	Dynamic Software Updates and Context Adaptation for Distributed Active Objects. Principled Software Development Einar Broch Johnsen, Ingrid Chieh Yu
2018	—	`conf`	Forord til NIK 2018. NIK Ingrid Chieh Yu, Birgit Rognebakke Krogstie, Einar Broch Johnsen
2018	B	`conf`	Modeling and Simulation of Spark Streaming. AINA Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen
2018	J	`jnl`	Modeling and Simulation of Spark Streaming. CoRR Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen
2018	J	`jnl`	Parallel Cost Analysis. ACM Trans. Comput. Log. Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez
2018	—	`conf`	Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2018	B	`conf`	Resource-Aware Virtually Timed Ambients. IFM Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
2018	B	`ed.`	Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings SEFM Einar Broch Johnsen, Ina Schaefer
2018	—	`conf`	Using Coloured Petri Nets for Resource Analysis of Active Objects. FACS Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
2018	J	`jnl`	Virtually timed ambients: A calculus of nested virtualization. J. Log. Algebraic Methods Program. Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
2017	—	`conf`	A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. FACS Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2017	J	`jnl`	A Survey of Active Object Languages. ACM Comput. Surv. 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
2017	Misc	`conf`	A formal model of cloud-deployed software and its application to workflow processing. SoftCOM Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2017	B	`conf`	EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. FASE Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte
2017	J	`jnl`	EasyInterface: A toolkit for rapid development of GUIs for research prototype tools. CoRR Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte
2017	—	`conf`	HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems. ESOCC Workshops Thomas Brox Røst, Christoph Seidl, Ingrid Chieh Yu, Ferruccio Damiani, Einar Broch Johnsen, Cristina Chesta
2017	B	`conf`	Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2017	—	`ed.`	Service-Oriented and Cloud Computing - 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings ESOCC Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen
2017	—	`ed.`	Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings TAP@STAF Sebastian Gabmeyer, Einar Broch Johnsen
2017	—	`conf`	Translating Active Objects into Colored Petri Nets for Communication Analysis. FSEN Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu
2016	—	`conf`	A Calculus of Virtually Timed Ambients. WADT Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
2016	—	`conf`	A Maude Framework for Cache Coherent Multicore Architectures. WRLA Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2016	J	`jnl`	A formal model of service-oriented dynamic object groups. Sci. Comput. Program. Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk
2016	B	`conf`	ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. FASE Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee
2016	Misc	`conf`	An operational semantics of cache coherent multicore architectures. SAC Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2016	J	`jnl`	Behavioral Types in Programming Languages. Found. Trends Program. Lang. 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
2016	—	`conf`	Comparing AWS Deployments Using Model-Based Predictions. ISoLA (2) Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu
2016	—	`ch.`	Meeting Deadlines, Elastically. From Action Systems to Distributed Systems Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2016	—	`conf`	Modeling Deployment Decisions for Elastic Services with ABS. iFMCloud@IFM Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2016	J	`jnl`	Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
2016	—	`ed.`	Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings ESOCC Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski
2016	J	`jnl`	Theme issue on Integrated Formal Methods. Softw. Syst. Model. Einar Broch Johnsen, Luigia Petre
2016	—	`ed.`	Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday Theory and Practice of Formal Methods Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen
2016	Misc	`conf`	Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. SETTA Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro
2015	J	`jnl`	A proof system for adaptable class hierarchies. J. Log. Algebraic Methods Program. Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2015	J	`jnl`	Designing Resource-Aware Cloud Applications. Computer Reiner Hähnle, Einar Broch Johnsen
2015	J	`jnl`	Editorial. Formal Aspects Comput. Michael J. Butler, Einar Broch Johnsen, Luigia Petre
2015	—	`ed.`	Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures SFM Marco Bernardo, Einar Broch Johnsen
2015	C	`conf`	History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. ICFEM Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
2015	J	`jnl`	Integrating deployment architectures and resource consumption in timed object-oriented models. J. Log. Algebraic Methods Program. Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2015	B	`conf`	Parallel Cost Analysis of Distributed Systems. SAS Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez
2015	—	`conf`	Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. SFM Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang
2015	—	`conf`	Preparing HPC Applications for Exascale: Challenges and Recommendations. NBiS Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
2015	J	`jnl`	Preparing HPC Applications for Exascale: Challenges and Recommendations. CoRR Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
2015	J	`jnl`	Static analysis meets runtime verification (NII Shonan Meeting 2015-5). NII Shonan Meet. Rep. Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata
2015	—	`conf`	Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. FACS Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
2015	J	`jnl`	Time complexity of concurrent programs. CoRR Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
2014	—	`conf`	Deployment Variability in Delta-Oriented Models. ISoLA (1) Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2014	—	`conf`	Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. ISoLA (2) Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz
2014	—	`conf`	Fault Model Design Space for Cooperative Concurrency. ISoLA (2) Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
2014	—	`ed.`	Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures SFM Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer
2014	J	`jnl`	Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
2014	—	`conf`	Introduction to Track on Engineering Virtualized Services. ISoLA (2) Reiner Hähnle, Einar Broch Johnsen
2014	J	`jnl`	Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. LNCS Trans. Aspect Oriented Softw. Dev. Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong
2014	J	`jnl`	Scaling Future Software: The Manycore Challenge. ERCIM News Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad
2014	J	`jnl`	Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects Comput. Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer
2013	—	`conf`	Behavioural design of sensor network applications using activity-driven states. SESENA Amirhosein Taherkordi, Frank Eliassen, Einar Broch Johnsen
2013	—	`conf`	Engineering virtualized services. NordiCloud Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
2013	—	`conf`	Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks. IRI (best papers) Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham
2013	B	`ed.`	Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings IFM Einar Broch Johnsen, Luigia Petre
2013	Misc	`conf`	Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. IRI Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham
2013	Misc	`conf`	Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. SAC Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong
2013	J	`jnl`	User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2012	—	`conf`	A Type-Safe Model of Adaptive Object Groups FOCLASA Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe
2012	—	`conf`	A transformational proof system for delta-oriented programming. SPLC (2) Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu
2012	—	`conf`	Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong
2012	J	`jnl`	Formal modeling and validation of a power-efficient grouping protocol for WSNs. J. Log. Algebraic Methods Program. Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2012	B	`conf`	MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. IFM Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2012	C	`conf`	Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. ICFEM Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2012	J	`jnl`	Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebraic Methods Program. Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe
2012	J	`jnl`	Safe locking for multi-threaded Java with exceptions. J. Log. Algebraic Methods Program. Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
2012	—	`conf`	Separating Cost and Capacity for Load Balancing in ABS Deployment Models. FMCO Einar Broch Johnsen
2012	—	`conf`	Tracking Behavioral Constraints during Object-Oriented Software Evolution. ISoLA (1) Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu
2011	—	`conf`	A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. FACS Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	—	`conf`	A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. FoVeOOS Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	C	`conf`	Fault in the Future. COORDINATION Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro
2011	B	`conf`	Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. ICECCS Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2011	—	`conf`	HATS Abstract Behavioral Specification: The Architectural View. FMCO Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong
2011	J	`jnl`	Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2011	—	`conf`	Modeling Application-Level Management of Virtualized Resources in ABS. FMCO Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	—	`conf`	Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong
2011	—	`conf`	Safe Locking for Multi-threaded Java. FSEN Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
2011	B	`conf`	Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	—	`conf`	Verifying traits: a proof system for fine-grained reuse. FTfJP@ECOOP Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer
2010	—	`conf`	ABS: A Core Language for Abstract Behavioral Specification. FMCO Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen
2010	—	`conf`	Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness Dave Clarke, Einar Broch Johnsen, Olaf Owe
2010	—	`conf`	Confluent Term Rewriting for Only-knowing Logics. STAIRS Espen H. Lian, Einar Broch Johnsen, Arild Waaler
2010	B	`conf`	Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. CONCUR Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen
2010	C	`conf`	Dynamic Resource Reallocation between Deployment Components. ICFEM Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2010	—	`conf`	Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. FMOODS/FORTE Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2010	—	`conf`	HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong
2010	J	`jnl`	Lazy behavioral subtyping. J. Log. Algebraic Methods Program. Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2010	—	`conf`	Lightweight Time Modeling in Timed Creol RTRTS Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte
2010	—	`conf`	Models of Rate Restricted Communication for Concurrent Objects. TTSS Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa
2010	—	`ed.`	Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009 TTSS Einar Broch Johnsen, Volker Stolz
2010	—	`conf`	Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2009	—	`conf`	Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS 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
2009	B	`conf`	Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
2009	—	`conf`	Dynamic Symbolic Execution for Testing Distributed Objects. TAP@TOOLS Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
2009	—	`conf`	Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
2009	J	`jnl`	Guest Editors' Foreword. J. Log. Algebraic Methods Program. Einar Broch Johnsen, Olaf Owe, Gerardo Schneider
2009	B	`conf`	Incremental Reasoning for Multiple Inheritance. IFM Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2009	—	`conf`	Minimal Ownership for Active Objects. Typing, Analysis and Verification of Heap-Manipulating Programs David G. Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen
2009	—	`conf`	Preface. TTSS Einar Broch Johnsen, Volker Stolz
2009	J	`jnl`	Preface. Theor. Comput. Sci. Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek
2008	—	`conf`	A Real-Time Extension of Creol for Modelling Biomedical Sensors. FMCO Marcel Kyas, Einar Broch Johnsen
2008	J	`jnl`	Backwards type analysis of asynchronous method calls. J. Log. Algebraic Methods Program. Einar Broch Johnsen, Ingrid Chieh Yu
2008	—	`conf`	Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam
2008	—	`conf`	Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. TTSS Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe
2008	B	`conf`	Lazy Behavioral Subtyping. FM Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2008	B	`conf`	Minimal Ownership for Active Objects. APLAS Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen
2008	—	`conf`	Proof Search for the First-Order Connection Calculus in Maude. WRLA Bjarne Holen, Einar Broch Johnsen, Arild Waaler
2008	C	`conf`	Testing Concurrent Objects with Application-Specific Schedulers. ICTAC Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen
2008	J	`jnl`	Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Informaticae Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
2007	A	`conf`	A Complete Guide to the Future. ESOP Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
2007	J	`jnl`	An Asynchronous Communication Model for Distributed Concurrent Objects. Softw. Syst. Model. Einar Broch Johnsen, Olaf Owe
2007	—	`conf`	An Object-Oriented Component Model for Heterogeneous Nets. FMCO Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas
2007	—	`ed.`	Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings FMOODS Marcello M. Bonsangue, Einar Broch Johnsen
2007	—	`conf`	Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. FInCo@ETAPS Johan Dovland, Einar Broch Johnsen, Olaf Owe
2006	J	`jnl`	Creol: A type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci. Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2006	J	`jnl`	Structured Formal Development in Isabelle. Nord. J. Comput. Maksym Bortin, Einar Broch Johnsen, Christoph Lüth
2006	—	`conf`	Type-Safe Runtime Class Upgrades in Creol. FMOODS Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
2005	—	`conf`	A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl
2005	—	`conf`	Inheritance in the Presence of Asynchronous Method Calls. HICSS Einar Broch Johnsen, Olaf Owe
2005	—	`conf`	Validating Behavioral Component Interfaces in Rewriting Logic. FSEN Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
2005	—	`conf`	Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE Johan Dovland, Einar Broch Johnsen, Olaf Owe
2004	—	`conf`	A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. FMCO Einar Broch Johnsen, Olaf Owe
2004	—	`conf`	A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. WRLA Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen
2004	B	`conf`	An Asynchronous Communication Model for Distributed Concurrent Objects. SEFM Einar Broch Johnsen, Olaf Owe
2004	—	`conf`	Object-Oriented Specification and Open Distributed Systems. Essays in Memory of Ole-Johan Dahl Einar Broch Johnsen, Olaf Owe
2004	—	`conf`	Theorem Reuse by Proof Term Transformation. TPHOLs Einar Broch Johnsen, Christoph Lüth
2003	J	`jnl`	Abstracting Refinements for Transformation. Nord. J. Comput. Einar Broch Johnsen, Christoph Lüth
2002	—	`conf`	A Compositional Formalism for Object Viewpoints. FMOODS Einar Broch Johnsen, Olaf Owe
2002	B	`conf`	Combining Graphical and Formal Development of Open Distributed Systems. IFM Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
2002	A	`conf`	Composition and Refinement for Partial Object Specifications. IPDPS Einar Broch Johnsen, Olaf Owe
2001	—	`conf`	Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain
2001	—	`conf`	Integrating UML and OUN for Specification of Open Distributed Systems. HCC Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo
2001	C	`conf`	Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo