Skip to main content
Institute of distributed systems logo Ulm university logo

Prof. Dr.-Ing. Franz J. Hauck

Prof. Hauck studied computer science at the University of Erlangen-Nürnberg. After two years in industry he earnt his dissertation and habilitation also from the University of Erlangen-Nürnberg interrupted by a one year stay at the Vrije Universiteit Amsterdam. Since 2002 he is teaching and doing research at the Ulm University as a professor for distributed systems at the institute with same name.

His research interests are special-purpose middleware systems with focus on fault-tolerant server systems, especially State-Machine Replication (SMR).

Prof. Hauck teaches in the area of operating and distributed systems. Find his current lectures on our web pages about teaching. All his lectures are available on a detailed web page.

Prof. Hauck is a member of the ACM, the German Computer Society, GI, and of its special interest groups on Operating Systems , Communication and Distributed Systems, KuVS and Fault-tolerant Computer Systems, FERS, as well as of EuroSys.

He is also an elected member of the Council of his Faculty, appointed member of the Joint Committee for Teacher Education. As such he is member of the Academic Affairs Commission, the Examination and Admission Committee for teacher-education programs. For the latter, he is elected chairman.

His recent publications:

Stocker, A., Jahrstorfer, A., de Meer, H. and Hauck, F.J. 2026. Towards fault-tolerant control of energy cells. DACH+ Energy Informatics (Linz, Austria, Sep. 2026). [accepted for publication]
Dependable operation of a power system requires fast-acting system reserves provided by flexibility resources that can follow a reference signal in an accurate, timely, and dependable manner. In energy cells, an incom- ing reference signal is received by the control unit of the energy cell. The reference signal is then disaggregated to setpoints for individual flexibility resources. These individual setpoints are sent via a communication network to the flexibility resources, which realize the requested change in power. Generally, the components on the path from the control unit to the flexibility resources may fail. That is to say, a failure may hinder or halt the operation of the control unit, the communication network, or the individual flexibility resources. From the viewpoint of an energy cell, component failures are faults that should be tolerated. This paper proposes an approach for accurate, timely, and dependable control of an energy cell despite faults. The proposed approach uses a genetic algorithm to estimate the state of failed flexibil- ity resources, combined with either optimal or proportional activation of flexibility resources, and state-machine replication. The results show the performance of the approach on a benchmark grid using realistic reference signals and realistic performance requirements based on the example of automatic frequency restoration reserves. The optimal activation of assets uses less energy to follow the reference signal, whereas the proportional activation of assets reduces the variance in the impact depending on which flexibility resources fail. The state estimation explicitly treats the different ways assets can fail and outperforms a comparable approach based only on estimating fluctuations of power provided by flexibility resources. The state-machine replication is shown to withstand crashes of replicas of the control unit with only small delays in reaction.
Heß, A. and Hauck, F.J. 2026. Leveraging Speculative Ordering for Fast and Resilient Reads in BFT State-Machine Replication. 2026 21st European Dependable Computing Conference (EDCC) (Canterbury, UK, 2026). (acceptance rate: 40%)
State-machine replication is an established concept to build fault-tolerant services, whereby a consensus protocol is used to enforce a deterministic request order throughout a set of redundant replicas. This ensures that state-altering requests are executed in the same order throughout all replicas. There is an established read-only optimization, which allows read requests to bypass the consensus protocol to reduce the end-to-end latency, but requires the clients to wait for more responses for all requests, including ordered requests, to guarantee linearizability. In this paper, we propose a novel approach that introduces speculatively-ordered read (SOR) requests and allows to reduce the required response quorum for ordered requests, while still preserving linearizability. We conducted a series of experiments with wide-area and cluster deployments, which show that our approach can significantly reduce the number of read-write conflicts and thereby drastically improve the request processing latency of ordered requests.
Hauck, F.J. 2026. How to get to a C Compiler for the C64 and C128. Commodore 64: past, present, and future of a home computer. S. Höltgen, T. Roeder, and J. Schröter, eds. projektverlag. 97–110.
Heß, A., Hauck, F.J. and Meißner, E. 2024. Consensus-agnostic state-machine replication. 25th ACM/IFIP Int. Middleware Conf. (Hong Kong, China, Dec. 2024).
State-machine replication (SMR) is a popular fault-tolerance technique for building highly-available services. Usually, consensus protocols are used to enforce a deterministic service-request ordering among replicas, in order to prevent their state from diverging. Over the last decades, a multitude of consensus protocols have been developed which come with different characteristics but also with different communication and programming models. Our Consensus-Agnostic Replication Toolkit (CART) is a wrapper for consensus protocols that relieves clients from most consensus configuration and support. Besides, it implements a generic client and application interface to support different consensus protocols and configurations, e.g. in cloud deployments. CART has built-in authentication of services based on BLS threshold signatures. It can further prove malicious behaviour of replicas, thus speeding up recovery in case of Byzantine faults. We evaluate the performance overhead of our approach in a real-world WAN deployment for two different consensus protocol implementations using the YCSB benchmark. Our results show that CART is able to reach up to 90% of the throughput achieved by the native consensus protocol with an additional latency overhead of only 10%.
Hauck, F.J. and Heß, A. 2024. Linearizability and state-machine replication: Is it a match? ArXiv.org.

Further information can be found on extra pages: complete list of publications, Ph.D. students, teaching details, e.g., open, ongoing and past supervised theses and projects, etc.

Logo: Certificate since 2008 - audit family-friendly university Logo: StudyCheck - top university Logo: StudyCheck - digital readiness Logo: Universities for openness, tolerance and against xenophobia