search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Johanna Beate Stumpf

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 7

Top Topics

Resource Management

Top Venues

J. Log. Algebraic Methods Program.

University of Oslo, Norway (PHD)

Education History

University of Oslo, Norway

PHD

Publications

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. ISoLA (1) (2020)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
Assumption Commitment Types for Resource Management in Virtually Timed Ambients. CoRR (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
Resource-Aware Virtually Timed Ambients. IFM (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
An Analysis Tool for Models of Virtualized Systems. NIK (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
Virtually timed ambients: A calculus of nested virtualization. J. Log. Algebraic Methods Program. 94 (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
Checking Modal Contracts for Virtually Timed Ambients. ICTAC (2018)
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf
A Calculus of Virtually Timed Ambients. WADT (2016)