Rate My Professor Matthias Werner

Prof. Werner's research addresses approaches, models, and methods for supporting generic applications with meta-functional properties including mobility, timeliness, dependability, autonomy, and power consumption. The Operating Systems Group's work is structured around three core areas: meta-functional properties such as safety-by-design, real-time capability with holistic timing behavior, security under the CIA-Triad, robustness, dependability, and performance prediction; (semi-)formal methods encompassing process analysis for inconsistencies, modeling via Markov chains, automatons, fault trees, TLA+, Isabelle/HOL, correctness by construction through iterative refinement, design by contract for meta-functional constraints, and formal verification; and mobile or distributed application systems applied to railway digitalization and secure infrastructure communication, automotive open systems with Car2X and ISO/SAE 21434 security development, aviation and space fault tolerance with phased mission systems, and cyber-physical systems featuring distributed runtime environments like Dimos, sensor fusion, and location awareness. His expertise covers distributed computing, operating systems, non-functional properties like reliability, safety, and security, verification, scheduling, modeling, parallel and distributed computing, formal verification, algorithms, embedded systems, and mobile computing. Key publications include "Virtualization in Robot Swarms: Past, Present, and Future" (2024), "B.A.T.M.A.N. Mesh Networking on ESP32’s 802.11" (2024), "A Petri-Net-Based Approach to Modeling Communication Algorithms for HPC Molecular Dynamics Simulations" (2023), "Formal analysis of timeliness in the RaSTA protocol" (2022), "The Need of Proper Programming Models for CPS" (2020), and "A Holistic State Equation for Timed Petri Nets" (2014).