A Calculus of Virtually Timed Ambients. - Einar Broch Johnsen; Martin Steffen; Johanna Beate Stumpf (WADT, 2016)

Checking Modal Contracts for Virtually Timed Ambients. - Einar Broch Johnsen; Martin Steffen; Johanna Beate Stumpf; Lars Tveito (ICTAC, 2018)

Resource-Aware Virtually Timed Ambients. - Einar Broch Johnsen; Martin Steffen; Johanna Beate Stumpf; Lars Tveito (IFM, 2018)

An Analysis Tool for Models of Virtualized Systems. - Einar Broch Johnsen; Martin Steffen; Johanna Beate Stumpf; Lars Tveito (NIK, 2018)

Virtually timed ambients: A calculus of nested virtualization. - Einar Broch Johnsen; Martin Steffen; Johanna Beate Stumpf (J. Log. Algebraic Methods Program., 2018)

Virtually Timed Ambients: A Calculus for Resource Management in Cloud Computing. - Johanna Beate Stumpf (2018)

Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. - Einar Broch Johnsen; Martin Steffen; Johanna Beate Stumpf (ISoLA (1), 2020)