Einar Broch Johnsen

According to our database1, Einar Broch Johnsen authored at least 128 papers between 2001 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
A formal model of data access for multicore architectures with multilevel caches.
Sci. Comput. Program., 2019

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

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

Godot: All the Benefits of Implicit and Explicit Futures.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
Parallel Cost Analysis.
ACM Trans. Comput. Log., 2018

Virtually timed ambients: A calculus of nested virtualization.
J. Log. Algebr. Meth. Program., 2018

A modular reasoning system using uninterpreted predicates for code reuse.
J. Log. Algebr. Meth. Program., 2018

Deployment by Construction for Multicore Architectures.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Resource-Aware Virtually Timed Ambients.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Checking Modal Contracts for Virtually Timed Ambients.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Using Coloured Petri Nets for Resource Analysis of Active Objects.
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Release the Beasts: When Formal Methods Meet Real World Data.
Proceedings of the It's All About Coordination, 2018

Dynamic Software Updates and Context Adaptation for Distributed Active Objects.
Proceedings of the Principled Software Development, 2018

Modeling and Simulation of Spark Streaming.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017
A Survey of Active Object Languages.
ACM Comput. Surv., 2017

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
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.
Proceedings of the 25th International Conference on Software, 2017

Translating Active Objects into Colored Petri Nets for Communication Analysis.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2017

2016
Theme issue on Integrated Formal Methods.
Software and Systems Modeling, 2016

A formal model of service-oriented dynamic object groups.
Sci. Comput. Program., 2016

Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
Trans. Found. Mastering Chang., 2016

Modeling Deployment Decisions for Elastic Services with ABS.
Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

A Maude Framework for Cache Coherent Multicore Architectures.
Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

A Calculus of Virtually Timed Ambients.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

An operational semantics of cache coherent multicore architectures.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Comparing AWS Deployments Using Model-Based Predictions.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

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

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

Integrating deployment architectures and resource consumption in timed object-oriented models.
J. Log. Algebr. Meth. Program., 2015

A proof system for adaptable class hierarchies.
J. Log. Algebr. Meth. Program., 2015

Editorial.
Formal Asp. Comput., 2015

Designing Resource-Aware Cloud Applications.
IEEE Computer, 2015

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.
Proceedings of the Formal Methods for Multicore Programming, 2015

Parallel Cost Analysis of Distributed Systems.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Preparing HPC Applications for Exascale: Challenges and Recommendations.
Proceedings of the 18th International Conference on Network-Based Information Systems, 2015

History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
Proceedings of the Formal Methods and Software Engineering, 2015

Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -.
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.
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.
Service Oriented Computing and Applications, 2014

Verifying traits: an incremental proof system for fine-grained reuse.
Formal Asp. Comput., 2014

Scaling Future Software: The Manycore Challenge.
ERCIM News, 2014

Fault Model Design Space for Cooperative Concurrency.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Deployment Variability in Delta-Oriented Models.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Introduction to Track on Engineering Virtualized Services.
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.
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.
ISSE, 2013

Behavioural design of sensor network applications using activity-driven states.
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.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Engineering virtualized services.
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.
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.
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.
J. Log. Algebr. Program., 2012

Safe locking for multi-threaded Java with exceptions.
J. Log. Algebr. Program., 2012

Observable behavior of distributed systems: Component reasoning for concurrent objects.
J. Log. Algebr. Program., 2012

A Type-Safe Model of Adaptive Object Groups
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

A transformational proof system for delta-oriented programming.
Proceedings of the 16th International Software Product Line Conference, 2012

Tracking Behavioral Constraints during Object-Oriented Software Evolution.
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.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS.
Proceedings of the Formal Methods and Software Engineering, 2012

Separating Cost and Capacity for Load Balancing in ABS Deployment Models.
Proceedings of the Formal Methods for Components and Objects, 2012

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011
Incremental reasoning with lazy behavioral subtyping for multiple inheritance.
Sci. Comput. Program., 2011

Models of Rate Restricted Communication for Concurrent Objects.
Electr. Notes Theor. Comput. Sci., 2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Safe Locking for Multi-threaded Java.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios.
Proceedings of the Formal Verification of Object-Oriented Software, 2011

Modeling Application-Level Management of Virtualized Resources in ABS.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

HATS Abstract Behavioral Specification: The Architectural View.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Simulating Concurrent Behaviors with Worst-Case Cost Bounds.
Proceedings of the FM 2011: Formal Methods, 2011

A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Verifying traits: a proof system for fine-grained reuse.
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

Fault in the Future.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010
Preface.
Electr. Notes Theor. Comput. Sci., 2010

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

Lightweight Time Modeling in Timed Creol
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Confluent Term Rewriting for Only-knowing Logics.
Proceedings of the STAIRS 2010, 2010

HATS - A Formal Software Product Line Engineering Methodology.
Proceedings of the Software Product Lines - 14th International Conference, 2010

Dynamic Resource Reallocation between Deployment Components.
Proceedings of the Formal Methods and Software Engineering, 2010

Validating Timed Models of Deployment Components with Parametric Concurrency.
Proceedings of the Formal Verification of Object-Oriented Software, 2010

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory.
Proceedings of the Formal Techniques for Distributed Systems, 2010

ABS: A Core Language for Abstract Behavioral Specification.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Concurrent Objects à la Carte.
Proceedings of the Concurrency, 2010

2009
Preface.
Theor. Comput. Sci., 2009

Guest Editors' Foreword.
J. Log. Algebr. Program., 2009

Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.
Electr. Notes Theor. Comput. Sci., 2009

Proof Search for the First-Order Connection Calculus in Maude.
Electr. Notes Theor. Comput. Sci., 2009

Dynamic Symbolic Execution for Testing Distributed Objects.
Proceedings of the Tests and Proofs, Third International Conference, 2009

Incremental Reasoning for Multiple Inheritance.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Dynamic Symbolic Execution of Distributed Concurrent Objects.
Proceedings of the Formal Techniques for Distributed Systems, 2009

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects.
Proceedings of the FM 2009: Formal Methods, 2009

Minimal Ownership for Active Objects.
Proceedings of the Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07., 2009

2008
Backwards type analysis of asynchronous method calls.
J. Log. Algebr. Program., 2008

Validating Behavioral Component Interfaces in Rewriting Logic.
Fundam. Inform., 2008

Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects.
Electr. Notes Theor. Comput. Sci., 2008

Testing Concurrent Objects with Application-Specific Schedulers.
Proceedings of the Theoretical Aspects of Computing, 2008

A Real-Time Extension of Creol for Modelling Biomedical Sensors.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Conformance Testing of Distributed Concurrent Systems with Executable Designs.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Lazy Behavioral Subtyping.
Proceedings of the FM 2008: Formal Methods, 2008

Minimal Ownership for Active Objects.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007
An Object-Oriented Component Model for Heterogeneous Nets.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

A Complete Guide to the Future.
Proceedings of the Programming Languages and Systems, 2007

2006
Creol: A type-safe object-oriented model for distributed concurrent systems.
Theor. Comput. Sci., 2006

Structured Formal Development in Isabelle.
Nord. J. Comput., 2006

Validating Behavioral Component Interfaces in Rewriting Logic.
Electr. Notes Theor. Comput. Sci., 2006

Type-Safe Runtime Class Upgrades in Creol.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls.
Electr. Notes Theor. Comput. Sci., 2005

Verification of Concurrent Objects with Asynchronous Method Calls.
Proceedings of the 2005 IEEE International Conference on Software, 2005

Inheritance in the Presence of Asynchronous Method Calls.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

A Dynamic Class Construct for Asynchronous Concurrent Objects.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004
Theorem Reuse by Proof Term Transformation.
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

An Asynchronous Communication Model for Distributed Concurrent Objects.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects.
Proceedings of the Formal Methods for Components and Objects, 2004

Object-Oriented Specification and Open Distributed Systems.
Proceedings of the From Object-Orientation to Formal Methods, 2004

2003
Abstracting Refinements for Transformation.
Nord. J. Comput., 2003

2002
Composition and Refinement for Partial Object Specifications.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Combining Graphical and Formal Development of Open Distributed Systems.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

A Compositional Formalism for Object Viewpoints.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

2001
Integrating UML and OUN for Specification of Open Distributed Systems.
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.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Incremental Fault-Tolerant Design in an Object-Oriented Setting.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001


  Loading...