Florian Messner

According to our database, Florian Messner authored at least 4 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

2019

nonreach - A Tool for Nonreachability Analysis.

Florian Meßner, Christian Sternagel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

A Formally Verified Solver for Homogeneous Linear Diophantine Equations.

Florian Meßner, Julian Parsert, Jonas Schöpf, Christian Sternagel

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Homogeneous Linear Diophantine Equations.

Florian Messner, Julian Parsert, Jonas Schöpf, Christian Sternagel

Arch. Formal Proofs, 2017