Search

Einar Broch Johnsen
Einar Broch Johnsen
  • Home
  • Talks
  • Publications
    Recent All
  • Projects
  • Sirius
  • Service
  • Courses
  • Contact
  • Light Dark Automatic
Ina Schaefer

Ina Schaefer

Professor

Karlsruhe Institute of Technology

Joint Papers

  • A Specification Logic for Programs in the Probabilistic Guarded Command Language
  • Proc. 16th Intl. Conf. on Software Engineering and Formal Methods (SEFM 2018)
  • 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
  • Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language

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

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite
Copy Download