Search

Einar Broch Johnsen
Einar Broch Johnsen
  • Home
  • Talks
    Recent Talks All Talks
  • Publications
    Recent Publications All Publications
  • Projects
    Recent Projects All Projects
  • Sirius
  • Service
    Recent Service All Service
  • Teaching
  • Contact
  • Light Dark Automatic
Ferruccio Damiani

Ferruccio Damiani

Professor

University of Turin

Latest

  • Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
  • Analysing Self-Adaptive Systems as Software Product Lines
  • A Configurable Software Model of a Self-Adaptive Robotic System
  • Active Object Languages: Current Research Trends
  • 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

© 2025 Einar Broch Johnsen. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite
Copy Download