Homogeneous Linear Diophantine Equations. - Florian Messner; Julian Parsert; Jonas Schöpf; Christian Sternagel (Arch. Formal Proofs, 2017)

A Formally Verified Solver for Homogeneous Linear Diophantine Equations. - Florian Meßner; Julian Parsert; Jonas Schöpf; Christian Sternagel (ITP, 2018)

nonreach - A Tool for Nonreachability Analysis. - Florian Meßner; Christian Sternagel (TACAS (1), 2019)

Transformation of a rolling mill aggregate to a cyber physical production system: from sensor retrofitting to machine learning. - Benjamin James Ralph; Marcel Sorger; Karin Hartl; Andreas Schwarz-Gsaxner; Florian Messner; Martin Stockinger (J. Intell. Manuf., 2022)