Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Ferruccio Damiani
Professor
University of Turin
Joint Papers
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
A Formal Model of the Kubernetes Container Framework
Lazy Product Discovery in Huge Configuration Spaces
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
Verifying traits: an incremental proof system for fine-grained reuse
Advanced Lectures on Formal Methods for Executable Software Models
A Transformational Proof System for Delta-Oriented Programming
Verifying Traits: A Proof System for Fine-Grained Reuse
Cite
×