A Hoare Logic for Domain Specification
Talk, Lorentz Workshop 2024, Leiden, Netherlands
The slides for this talk are available here.
Talks and presentations
Semantical Lifting: Programs, Digital Twins, Correctness
Talk, WAKERS Workshop 2024, Stellenbosch, South Africa
The slides for this tutorial on semantic lifting are available here.
Semantical Reflection for Computational Structures
Talk, SIRIUS Lunch 2023, Oslo, Norway
The slides for this talk presenting current activities around semantic reflection at IFI are available here.
Deltas for Functional Programs with Algebraic Data Types
Talk, SPLC 2023, Tokyo, Japan
The slides for this talk are available here.
Context-aware Trace Contracts
Talk, KeY Workshop 2023, Bergen, Norway
The slides for this talk presenting current activities around digital twins at IFI are available here.
Digital Twins for Ecosystems
Talk, Green Data Lab Conference, Ås, Norway
The slides for this talk presenting current activities around digital twins at IFI are available here.
The Semantically Reflected Digital Twin
Talk, CAMPaM, Cargese, France
The slides for this tutorial on digital twins are available here.
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins
Talk, ISoLA, Rhodos, Greece
The slides for this talk about this paper are available here.
Digital Twin Reconfiguration Using Asset Models
Talk, ISoLA, Rhodos, Greece
The slides for this talk about this paper are available here.
Semantically Lifted Programming
Talk, TCS Seminar, KTH, Stockholm, Sweden
The slides for this talk about a semiotic view on naturalness in formal methods are available here.
Knowledge Structures over Simulation Units
Conference proceedings talk, ANNSIM, online
The slides for this talk about the use of semantic lifting to reason about the connections between simulation units are available here.
Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data
Conference proceedings talk, ESWC, Heraklion, Greece
This talk about bridging between the class models of RDF and object-oriented programming is available at Videolectures.net.
On the Notion of Naturalness in Formal Modeling
Talk, The Logic of Software, Darmstadt, Germany
The slides for this talk about a semiotic view on naturalness in formal methods are available here.
Variability modules for Java-like languages
Conference proceedings talk, SPLC, Online
This talk about interoperable product lines is available at Youtube.
From post-conditions to post-region invariants: deductive verification of hybrid objects
Conference proceedings talk, HSCC, Online
This talk about method contracts for distributed hybrid systems is available at Youtube.