Îçҹ̽»¨

Prof. Dr.-Ing. Franz Hauck

________Franz Hauck________
_________
__________Prof. Dr.-Ing.__________Franz__________Hauck_________
________
_______
____________
________
__Deputy Director_
____
___
____Institute of Distributed Systems___
__
___
__
Institute of Distributed Systems
__Îçҹ̽»¨
__Albert-Einstein-Allee 11
_____
____89081____Ulm___
____
µþ²¹»å±ð²Ô-°Âü°ù³Ù³Ù±ð³¾²ú±ð°ù²µ
__
Deutschland
_
__
_____
Room: O27 348

Consultation Hour

on request in my office O27-348 or online

           

Prof. Dr.-Ing. Franz J. Hauck

Prof. Hauck studied computer science at the . After two years in industry he earnt his dissertation and habilitation also from the interrupted by a one year stay at the . Since 2002 he is teaching and doing research at the Îçҹ̽»¨ 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 , the German Computer Society, and of its special interest groups on , Communication and Distributed Systems , and Fault-tolerant Computer Systems , as well as of .

He is also an elected member of the Faculty Council of his Faculty, appointed member of the Joint Comission for Teacher Education. As such he is also member of the Academic Affairs Commission, the Examination Board and the Admission Committee for teacher education programmes. Besides, he is elected chairman of the Examination Board.

His last publications are:

Îçҹ̽»¨

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.
Mehdi, M., Hauck, F.J., Pryss, R. and Schlee, W. 2024. Mobile health solutions for Tinnitus. Textbook on Tinnitus (Mar. 2024), 723–738.
Modern mobile devices are mainstream and ubiquitous devices. The widespread adoption of mobile devices has resulted in surge of mobile applications (apps) hosted on marketplaces (app stores) of several mobile platforms. Besides other benefits, these apps are also applied in healthcare-related and medical use, for instance, in case of tinnitus, where tinnitus disorder is associated with the perception of ringing sound without external sound source. In particular, for tinnitus, these apps allow provision of tinnitus-related relief, self-help, and general management. The collective aim of this chapter is to foster and report on Mobile Health (mHealth) solutions, in particular mobile apps within the tinnitus context. First, this chapter provides an up-to-date overview of existing mHealth apps available for major mobile platforms. Second, this chapter provides deep insights into quality and effectiveness of said mobile apps for tinnitus treatment and management. Finally, this chapter provides discussions in relation to the tinnitus-related mHealth apps.
Hauck, F.J. and Heß, A. 2024. Linearizability and state-machine replication. Workshop on Resilient Oper. - Byz. Fault Tol. and State-Machine Repl. – ROBUST (Mar. 2024).
Heß, A. and Hauck, F.J. 2024. A framework for consensus-agnostic state-machine replication based on threshold signatures. Workshop on Resilient Oper. - Byz. Fault Tol. and State-Machine Repl. – ROBUST (Mar. 2024).

Further information can be found on extra pages: complete list of publications, Ph.D. students. More details can be found on a details page.