Johanna Beate Stumpf

According to our database, Johanna Beate Stumpf authored at least 7 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Assumption-Commitment Types for Resource Management in Virtually Timed Ambients.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2018

Virtually Timed Ambients: A Calculus for Resource Management in Cloud Computing.

Johanna Beate Stumpf

PhD thesis, 2018

Virtually timed ambients: A calculus of nested virtualization.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf

J. Log. Algebraic Methods Program., 2018

An Analysis Tool for Models of Virtualized Systems.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito

Proceedings of the 31st Norsk Informatikkonferanse, 2018

Resource-Aware Virtually Timed Ambients.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Checking Modal Contracts for Virtually Timed Ambients.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2016

A Calculus of Virtually Timed Ambients.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016