Einar Broch Johnsen

Available identifiers

zbMath Open johnsen.einar-brochWikidataQ106730212 ScholiaQ106730212MaRDI QIDQ444464

List of research outcomes

Publication	Date of Publication	Type
A specification logic for programs in the probabilistic guarded command language	2023-07-28	Paper
Active Objects with Deterministic Behaviour	2023-03-21	Paper
Translating active objects into colored Petri nets for communication analysis	2022-11-04	Paper
Global Reproducibility Through Local Control for Distributed Active Objects	2022-10-13	Paper
A Calculus of Virtually Timed Ambients	2020-01-16	Paper
Parallel Cost Analysis	2019-02-07	Paper
Checking modal contracts for virtually timed ambients	2018-11-23	Paper
Locally abstract, globally concrete semantics of concurrent programming languages	2018-02-02	Paper
Virtually timed ambients: a calculus of nested virtualization	2017-12-01	Paper
Verifying traits: an incremental proof system for fine-grained reuse	2016-08-05	Paper
Proof Search for the First-Order Connection Calculus in Maude	2015-03-19	Paper
A proof system for adaptable class hierarchies	2014-12-03	Paper
Integrating deployment architectures and resource consumption in timed object-oriented models	2014-12-03	Paper
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2849872	2013-09-20	Paper
Observable behavior of distributed systems: component reasoning for concurrent objects	2012-08-14	Paper
Safe locking for multi-threaded Java with exceptions	2012-08-14	Paper
Formal modeling and validation of a power-efficient grouping protocol for WSNs	2012-08-14	Paper
Safe Locking for Multi-threaded Java	2012-06-29	Paper
Incremental reasoning with lazy behavioral subtyping for multiple inheritance	2011-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5392505	2011-04-12	Paper
Object-Oriented Specification and Open Distributed Systems	2011-04-01	Paper
Validating Timed Models of Deployment Components with Parametric Concurrency	2011-01-21	Paper
Lazy behavioral subtyping	2010-10-22	Paper
Concurrent Objects à la Carte	2010-03-09	Paper
Incremental Reasoning for Multiple Inheritance	2009-02-24	Paper
An Object-Oriented Component Model for Heterogeneous Nets	2009-02-12	Paper
Testing Concurrent Objects with Application-Specific Schedulers	2009-01-27	Paper
Backwards type analysis of asynchronous method calls	2008-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q5457268	2008-04-14	Paper
A Complete Guide to the Future	2007-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q3431400	2007-04-10	Paper
Creol: A type-safe object-oriented model for distributed concurrent systems	2006-12-07	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4825544	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4737568	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4790344	2003-06-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Einar Broch Johnsen