Scalable and Precise Refinement Types for Imperative Languages. - Florian Lanzinger; Joshua Bachmeier; Mattias Ulbrich; Werner Dietl (iFM, 2023)

Contract Automata: A Specification Language for Mode-Based Systems. - Alexander Weigl; Joshua Bachmeier; Bernhard Beckert; Mattias Ulbrich (FormaliSE@ICSE, 2024)