Institut für Verteilte Systeme

Prof. Dr.-Ing. Franz J. Hauck - Details


Auf dieser Seite erfahren Sie weitere Details zu Forschung, Lehre und Verwaltung, an denen Prof. Hauck beteiligt ist oder war. Bitte klappen Sie einfach die entsprechenden Abschnitte auf.

Offene Projekt- und Abschlussarbeiten


Hier werden nur die offenen Arbeiten gelistet, die Prof. Hauck selbst betreut. Arbeiten, die von Mitarbeitern betreut und von Prof. Hauck bewertet werden, finden Sie auf der Themenseite zur Projektveranstaltung VAPS. Mehr offene Arbeiten finden sich auf den Institutswebseiten für Individualprojekte und Abschlussarbeiten.

„Tracking updates in BFT-SMaRt for the SMRteez framework,“ Projektarbeit, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Verfügbar.
In the institute, there is an own framework for replicated state machines, a concept to implement fault-tolerant services. Our framework is called SMRteez and based on BFT-SMaRt, a mature and popular framework written in Java. SMRteez has a different internal structure compared to BFT-SMaRt. However, many classes are identical or have only slight changes. Goal of this project is to track which classes of SMRteez are actually very close to BFT-SMaRt. This could be annotated in a machine-readable format in the source. Further, a tool shall be developed that can automatically identify software updates in BFT-SMaRt as long as these affect derived classes in SMRteez. If there is room, the tooling can be extended to allow supervised updates of SMRteez classes based on updates in BFT-SMaRt.
„Differenzdarstellung von Ordnungen in in.Crease,“ Projektarbeit, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Verfügbar.
in.Crease ist ein geplantes Informationssystem für Studierende. In Vorarbeiten wurde ein Modul für die Darstellung und das Editieren von Satzungen entworfen, z.B. von Prüfungsordnungen oder Zulassungssatzungen. Ein gewünschtes Feature ist es, Ordnungsänderungen, z.B. eine neue Prüfungsordnung, mit einem Diff zu deren Vorgängerversionen ansprechend darzustellen. In Vorarbeiten hat sich gezeigt, dass ein Datenmodell ohne die Berücksichtigung dieses Features die nachträgliche Integration erschwert oder unmöglich macht. Diese Arbeit soll dieses Feature implementieren und wenn nötig das Datenmodell genau daraufhin anpassen. Mögliche zusätzliche Features (eventuell auch in Anschlussprojekten) könnten ein ansprechendes Layout-Konzept, die Reintegration eines Editors sowie eine Versionsverwaltung sein.

Abgeschlossene Projekt- und Abschlussarbeiten

D. Riedel, „Simulation and evaluation of a Byzantine clock,“ Bachelorarbeit VS-2022-13B, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Abgeschlossen.
At the institute, an algorithm has been designed that realises a common time base in a group of nodes in a distributed system. Nodes can be compromised and may try to deceive the algorithm. The task of this thesis is to simulate and evaluate the behaviour of the algorithm in the presence of statistically distributed latencies between nodes. The simulation shall use a common network model for LAN and WAN scenarios. Through the simulation, the behaviour of the algorithm shall be investigated under conditions that are as realistic as possible and any problems shall be identified and addressed. Depending on the type of work, the effort will be adjusted. The work is suitable for people who are not afraid of random variables and probability distributions. Simulation frameworks in Java, an own implementation (preferably also in Java), or Matlab/Simulink could be used for the implementation.
„Optimization of Location Using a Single NB-IoT Cell,“ Masterarbeit, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Abgeschlossen.
T. Nguyen, „in.Crease regulation editor,“ Projektarbeit VS-2021-39P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Abgeschlossen.
T. Schweikert, „Implementing a Byzantine-fault-tolerant replication middleware between an audit log service and Immudb,“ Projektarbeit VS-2021-25P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Abgeschlossen.
T. Nguyen, „Implementation of a variety of features for the in.Crease regulation module,“ Projektarbeit VS-2022-07P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Abgeschlossen.
D. Hunt, „Implementation of a fast-read cache for Troxy,“ Projektarbeit VS-2022-22P, A. Heß (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Abgeschlossen.
D. Hunt, „Implementation of Troxy - a proxy for Byzantine fault-tolerant systems,“ Projektarbeit VS-2022-10P, A. Heß (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Abgeschlossen.
J. Dommer, „Entwicklung eines Monitoring Tools für BFT-SMaRt,“ Bachelorarbeit VS-2022-12B, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Abgeschlossen.
T. Nguyen, „Combining software-transactional memory with deterministic execution for replicated state machines,“ Masterarbeit VS-2022-17M, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Abgeschlossen.
Replicated state machines are used to tolerate failures in distributed services. Such state machines need to be deterministic in order to achieve the same output as their replicas. For deterministic and concurrent execution, deterministic multithreading is used. This thesis shall apply techniques from software-transactional memory (STM) to deterministic multithreading. STM uses atomic memory operations to achieve an atomic update of data structures, just like transactions in database systems. We envison the development of data structures in Java (e.g. single variables, lists, arrays, etc.) that are internally using STM techniques. Access to these data structures is always intercepted and traced by particular methods invocations. Internally, multiple versions of the data are stored and tracked to their transactions so that aborting a particular transaction can be easily undone, and tainted transactions can be identified for further aborts. Determinism can be easily achieved by enforcing the same serialisation of transactions in all replicas. However, there is room for improving concurrency. Appropriate concepts can be developed, implemented and evaluated by the student.
J. Ulrich, „Client-Server Interfaces for Byzantine Fault Tolerant Services in Kubernetes,“ Masterarbeit VS-2021-30M, A. Heß (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2022 – Abgeschlossen.
C. Michl, „Wirksamkeit verschiedner informatikbezogener Erklärvideos,“ Projektarbeit VS-2021-04P, M. Sommer and F. J. Hauck (Betreuung), M. Sommer and F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
J. Mayer, „Visualisation of consensus algorithms,“ Projektarbeit VS-2021-10B, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
J. Dispan, „Praktische Umsetzung eines modifizierten Dining-Cryptographer Protokolls,“ Projektarbeit VS-2021-07P, D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
An blockchain-basierte Anwendungen wird oft die Forderung nach Privatsphäre der teilnehmenden Parteien gestellt. Um diese zu erfüllen, werden anonyme Broadcasts innerhalb eines Netzwerkes benötigt. Diese können durch sogenannte „Dining-Cryptographer Netzwerke“ (DCNs) realisiert werden. DCNs sind anfällig für Denial-of-Service Attacken. Bereits ein einzelner Angreifer kann gesendete Broadcasts in einem Netzwerk für alle weiteren Mitspieler unlesbar machen, während er/sie selbst weiterhin alle Nachrichten empfangen kann. Ziel dieser Arbeit ist das Implementieren der Resultate einer früheren Bachelorarbeit, welche eine Lösung für dieses Problem erarbeitet hat.
M. Strobel, „Login and user mangement for Angular and Shibboleth,“ Bachelorarbeit VS-2021-17B, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2021 – Abgeschlossen.
Angular is a web framework for single-page application, i.e., most business logic resides in the browser not on the server. The server is contact by a REST interface, mainly used to get direct access to the application data. Shibboleth is an authentication technology used also by KIZ to authenticate and authorise web access. In this work, a simple demo application has to be developed together with a concept for authenticating users and authorisation of their application-logic and REST-based data accesses. Ideally the concept is some sort of library including guidelines, and is tested against the KIZ identity provider. This work includes some basic user management in the application to recognise already known users and attach preferences etc. to it. Challenges are user-authentication expiry during user sessions and version updates in the backend server during the life time of the single-page application.
J. Ulrich, „Kubernetes deployment for in.Crease,“ Projektarbeit VS-2021-21P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
S. Reichersdörfer, „in.Crease Exam,“ Projektarbeit VS-2021-06P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
C. Hartig, „in.Crease-Reg: Design and implementation of a web application for student regulations,“ Projektarbeit VS-2021-02P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2021 – Abgeschlossen.
Imagine you could read all regulations of your study program online. You could see diffs to previous version, see only the paragraphs that matter to you, and you can follow links to referred paragraphs and even other regulations. Official comments may explain complex wordings. Sounds interesting? You could work towards that with this project. As part of the in.Crease web application, we want to create a regulation module that does exactly that. Technologies in use are among others Angular, TypeScript, Node.js and PostgreSQL. The project has to design the user story, the user interface, the interface between frontend and backend, the data model, and the caching strategy for improving server performance. A lot of previous thoughts are available as a starting point, as is a framework of components for the UI, e.g., a sophisticated tree component and the main component to select context and the type of module of the service. As the envisioned service is rather complex, this topic could easily be split among multiple students or into multiple parts for a single student. Pairs of students are also welcome.
S. Knoblauch, „Entwicklung einer web-basierten Anwendung für die Konfiguration von IoT-Komponenten,“ Projektarbeit VS-2021-20P, A. Heß (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2021 – Abgeschlossen.
Das SORRIR Forschungsprojekt befasst sich mit der Entwicklung eines Frameworks für resiliente IoT-Systeme. Ein Aspekt dieses Frameworks ist ein Degradierungsmechanismus, welcher den Betriebsmodus einer IoT-Komponente automatisch anpasst, falls es zu Ausfällen von angebundenen (Teil-)Komponenten kommt. Damit soll sichergestellt werden, dass einzelne Komponenten weiterhin arbeiten, wenn auch mit reduzierter Funktionalität. In dieser Projektarbeit soll eine web-basierte Anwendung entwickelt werden, welche die Konfiguration dieses Mechanismus mittels Drag & Drop Elementen erleichtert und damit eine leichte Programmierung des Verhaltens einer IoT-Komponente ermöglicht. Gerne können hier eigene Ideen zur Umsetzung eingebracht werden. Aus der graphischen Konfiguration sollen Dateien generiert werden, die das SORRIR-Framework zur Laufzeit verwenden kann.
F. Diemer, „Efficient acquisition data upload from mHealth applications to a back-end server for persistent storage,“ Masterarbeit VS-2021-13M, M. Mehdi (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
C. Ritzer, „EEG data visualizer for TinnituSense smartphone app,“ Projektarbeit VS-2021-03P, M. Mehdi (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
L. Dubies, „EEG Compression/ EEG using Smartphones,“ Projektarbeit VS-2021-01P, M. Mehdi (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
J. Ulrich, „Deployment setup for in.Crease,“ Projektarbeit VS-2021-08P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
B. Buffinton, „Database scheme evolution in CI/CD environments,“ Bachlor's Thesis VS-2021-09B, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
M. Kempfle, „Consensus replacement in a modular state-machine replication framework: trial and evaluation,“ Masterarbeit VS-2021-11M, G. Habiger (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
U. Eser, „Benchmarking of BFT-SMaRt with YCSB,“ Projektarbeit VS-2021-22P, G. Habiger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2021 – Abgeschlossen.
The YCSB is an open source benchmarking specification and framework for evaluating the performance of database-like software. Since its release in 2010, it has evolved into a de facto stan-dard for benchmarking commercial products like Redis, HBase, Cassandra and many others. Not only in the industry, but also in the scientific community, many researchers are using the YCSB to evaluate and compare their scientific findings and software artifacts against other published solutions. This project should create a YCSB Client implementation and workloads for benchmarking our platform for replicated state-machines built within our institute in the recent years. State-machine replication is a technique for providing high levels of fault-tolerance. In research projects we extended the existing BFT-SMaRt framework for our use. In the future we would like to use the results of this project to evaluate performance changes when extending the framework further. Students with previous knowledge in these areas are preferred, but the necessary skills can also be acquired during the project. At the end of the project, a thorough comparison of the newly YCSB-enabled software artifacts should be conducted.
„Analyse von Netzwerkdaten zur Identifizierung von Distributed Denial-of-Service-Attacken mithilfe von Hadoop,“ Projektarbeit in Business Analytics VS-2021-14P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2021 – Abgeschlossen.
S. Merkel, „Web Content Integrity Protection,“ Masterarbeit VS-2020-13M, D. Meißner (Betreuung), F. Kargl and F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2020 – Abgeschlossen.
Web clients can not determine whether they have been delivered the same version of a web application as the rest of the world, which allows a web server to deliver manipulated content to specific users, allowing them to bypass implemented functionality or inject other malicious behavior. For example, a malicious web application provider who offers a web application with end-to-end encryption functionality can deliver a manipulated implementation of the encryption mechanism to targeted users and obtain access to otherwise unreadable messages or secret keys. The thesis introduces a concept to authenticate web applications and thus prevent covert attacks by web application providers through different resource versions on individual users. Previous work has created more transparency in resource management, but still allows the use of different resource versions, violates privacy, or is based on a trust model without verification possibilities. The developed concept is based on a verifiable trust model, where all users accept only the same resource version, forcing web application providers to offer the correct web application or increasing the risk for malicious web operators of detecting their manipulated resources. Two different approaches for the verifiable trust model were designed based on available mechanisms and implemented and evaluated in proof-of-concept prototypes. By using the developed concept, web application providers are able to deliver an authenticated web application and thus provide functionality to all users in a trustworthy manner, while at the same time increasing the probability to catch malicious web application providers.
A. Heß, „Verwirklichung eines Privatsphäre garantierenden Broadcast Protokolls,“ Masterarbeit, D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2020 – Abgeschlossen.
Die Verbreitung von Transaktionen in Blockchain-Netzwerken kann viele Informationen über deren Nutzer preisgeben. Ins- besonder muss die Vertraulichkeit von Zahlungsinformationen geschützt werden. Um diesen Schutz zu erreichen, haben wir ein Protokoll entworfen, welches die Privatsphäre dieser Trans-aktionen gewährleistet und Entwicklern die nötige Flexibilität für verschiedenste Anwendungsszenarien bereitstellt. Doch es bleiben viele offene Fragen für die Umsetzung in der Praxis, beispielsweise die Anpassung an praktische Begebenheiten und die Erstellung der nötigen Gruppen. Ziel dieser Arbeit ist es, einige der offenen Fragen zu klären und das Protokoll im Rahmen einer Proof-of-Concept-Implementierung zu evaluieren. Geeignet für Studierende mit Erfahrung Netzwerkprogrammierung. This project can also be completed in English. Please contact me for further details.
„IoT Ausfallsicherheit durch Redundante Netzwerkstrukturen,“ Bachelorarbeit VS-2021-12B, D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2020 – Abgeschlossen.
Das Internet der Dinge (IoT) bietet durch seine unvermeidliche physikalische Verteilung besondere Herausforderungen für die Entwicklung ausfallsicherer IoT Software. Während Software-Komponenten, etwa die Analyse von Sensordaten, auf verschiedene physikalische Komponenten verteilt werden können, unterliegen die Sensoren, Basisstationen und Gateways physikalischen Grenzen. Diese müssen durch Netzwerkkommunikation überbrückt werden und bergen somit weitere Ausfallrisiken. Ziel dieser Arbeit ist es, bestehende Arbeiten zu redundanten Netzwerken in IoT-Umgebungen zu analysieren und zusammenzufassen. Aufbauend auf diesen Erkenntnissen soll dann ein Konzept entwickelt werden, wie eine Beratung zu nötigen Redundanzen in eine Softwareentwicklungsumgebung für IoT Systeme eingebunden werden kann. Geeignet für Studierende mit Interesse an IoT, Ausfallsicherheit und Netzwerkkommunikation. This project can also be completed in English. Please contact me for further details.
L. Hennig, „Extending TinnituSense Android app with EEG,“ Projektarbeit, M. Mehdi (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2020 – Abgeschlossen.
„Erweiterung der Lerntheke für das BOGY-Praktikum an der Universität Ulm,“ Projektarbeit FDPI, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2020 – Abgeschlossen.
F. Diemer, „EEG application for Android: Backend,“ Projektarbeit, M. Mehdi (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2020 – Abgeschlossen.
A. Heß, „Bootstrapping of a replica group using Intel SGX,“ Projektarbeit, VAPS, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2020 – Abgeschlossen.
M. Karthan, „Angular modules and data input interfaces for the in.Crease information system,“ Projektarbeit VS-2020-27P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2020 – Abgeschlossen.
T. Nieß, „RESTful Backendserver für in.Crease,“ Projektarbeit VAPS, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2019 – Abgeschlossen.
N. Fröhlich, „Privacy Increasing Group Creation for Networks,“ Masterarbeit, D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2019 – Abgeschlossen.
Peer-to-peer networks sometimes use group based comm- unication protocols. These share messages within a group of participants, e.g., to enhance privacy or provide fault tolerance. But group-based network protocols are faced with the hard problem of creating suitable communication groups. This problem is especially hard if you want to optimize for privacy. For privacy-preserving protocols we want communication partners that do not collude. The goal of this thesis is to design a scheme to classify network participants by collusion probability and deduce a suitable group size for minimal collusion. The result of the thesis should be a proof of concept implementtation of the scheme, as well as a theoretical evaluation of the probabilities involved.
M. Benz, „Modular State Machine Replication,“ Masterarbeit, G. Habiger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2019 – Abgeschlossen.
M. Kempfle, „Integration of etcd4j and BFT-SMaRt Parallel,“ Projektarbeit, G. Habiger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2019 – Abgeschlossen.
In our recent research, teaching, and project work, we re-implemented etcd – a popular and well-known fault-tolerant key-value store – in Java, resulting in a multithreaded version that is easier to integrate into our research prototypes. Additionally, recent projects have looked at the State Machine Replication framework BFT-SMaRt, especially our own parallelized version of it, and worked on a way to enable snapshotting functionality. This project aims at integrating these two prototypes – etcd4J and BFT-SMaRt Parallel – into one working project, to yield a fully working, state machine replicated and fault-tolerant version of etcd4J. Further work includes testing and benchmarking this solution. The project can be modified to fit 8 or 16 ECTS.
A. Heß, „Development of a Software Component for Unique Signatures Using Intel SGX,“ Projektarbeit VAPS, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2019 – Abgeschlossen.
Replizierte Systeme basieren oft auf Einigungsalgorithmen. Im Falle von beliebigen (byzantinischen Fehlern) werden N = 3f+1 Replikate benötigt bei f zu tolerierenden Fehlern. Mit Hilfe von vertrauenswürdigen Komponenten kann dies auf N = 2f+1 reduziert werden. Ein so genannter USIG ist so eine Komponente. Sie signiert eine Nachricht und zählt dabei eine von außen unveränderliche Sequenznummer hoch. Aufgabe der Arbeit ist es, ein Konzept und eine Implementierung mit Hilfe von Intel SGX zu entwickeln, die aus einer Java-Anwendung heraus genutzt werden kann. Herausforderungen ist neben der Implementierung die geeignete Initialisierung der Komponente.
C. Stuhler, „BOGY - Einführung in die Informatik an der Universität Ulm,“ Projektarbeit FDPI, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2019 – Abgeschlossen.
M. Karthan, „Angular frontend for the in.Crease information system,“ Projektarbeit VS-P25-2019, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2019 – Abgeschlossen.
N. Ritter, „Simulation von Broadcastprotokollen in NS3,“ Bachelorarbeit, D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2018 – Abgeschlossen.
Um Transaktionen in Blockchain Netzwerken zu verteilen wird üblicherweise ein Broadcast Mechanismus verwendet. Dieser bietet jedoch Angriffsfläche für verschiedene Arten der Deanonymisierung. Da die Privatsphäre im Umgang mit Geld jedoch besonders wichtig ist, arbeiten wir an einem Protokoll um diese zu schützen. Derzeit existieren bereits einige Vorschläge für verwandte Protokolle. Für vergleichbare Untersuchungen sollten alle unter denselben Bedingungen evaluiert werden. Um diese Umstände zu erreichen, möchten wir dieselbe Simulationsumgebung für alle verwenden. Ziel der Arbeit ist die Implementierung verschiedener Protokolle und deren Auswertung. Literaturrecherche fällt je nach gewähltem Umfang und Arbeitsart an.
L. Schmid, „PriPlus: Userfriendly Privacy for a Blockchain Filestorage,“ Projektarbeit, D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2018 – Abgeschlossen.
PriCloud ist ein Projekt mit dem Ziel einen Privatsphäre erhaltenden Cloudspeicher zu erhalten. Hierfür wird im Insitut an einem Prototypen in Python gearbeitet. Dieser bietet jedoch nur Konsolenzugriff auf die Subsysteme des Prototypen. Ziel des Projektes ist es ein fundiertes und geeignetes User Interface zu entwerfen und dieses praktisch zu erstellen.
T. Nguyen, „Parallelizing a Java Re-implementation of etcd,“ Bachelorarbeit, G. Habiger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2018 – Abgeschlossen.
Ein kürzlich abgeschlossenes Studierendenprojekt reimplemen-tierte den verteilten Key-Value Store etcd in Java. Um diese Implementierung für zukünftige Forschung an fehlertoleranten Systemen weiter zu verwenden, soll dieses Projekt die Java-Implementierung parallelisieren. Durch intelligentes Locking in der zugrunde liegenden Datenstruktur soll ein möglichst hoher Grad an Parallelität erreicht werden, während die Korrektheit des Systems in allen Fällen bestehen bleibt. Anschließend sollen durch Messungen die Performance-veränderungen gegenüber der sequentiellen Variante gezeigt werden.
J. Dispan, „Evaluation von Threshold Cryptography für k-anonyme Dining Cryptographer Netzwerke,“ Bachelorarbeit VS-B16-2019, D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2018 – Abgeschlossen.
Dining Cryptographer Netzwerke bieten eine Möglichkeit um in einer Gruppe anonym eine Nachricht an alle zu verbreiten. Diese Konstruktion benötigt jedoch sehr viele Nachtrichten und erzeugt daher viel Overhead. Um die Effizienz dieser Netzwerke zu verbessern, haben von Ahn. et al. das Konzept der k-Anonymität auf sie angewandt: Kleinere Gruppen im Gesamtnetzwerk erlauben eine Einschränkung der Anonymität, erzeugen jedoch deutlich weniger Overhead. Um die k-Anonymitätsgarantie zu stärken, bietet die Kryptografie das Konzept der Threshold-Kryptografie an: Nur wenn ausreichend Nutzer sich beteiligen, kann die Nachricht entschlüsselt werden. Ziel dieser Arbeit ist es, die Umsetzung dieser Technik für k-DC Netze zu untersuchen.
M. Benz, „Enabling Snapshotting in Multithreaded BFT-SMaRt,“ Projektarbeit, G. Habiger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2018 – Abgeschlossen.
BFT-SMaRt ist eine Java Library für die einfache Entwicklung von Anwendungen, die durch State Machine Replication ausfallsicher und sogar robust gegenüber beliebigen (byzantinischen) Fehlern laufen können. Ziel unserer Forschung ist die Beschleunigung von State Machine Replication, wozu wir in den letzten Monaten BFT-SMaRt um Multithreading-Komponenten erweitert haben. Ein Problem hierbei ist, dass das für die Fehlertoleranz zwingend notwendige Snapshotting erheblich erschwert wird und zur Zeit für unsere Optimierungen ausgeschaltet bleiben muss. Dieses Projekt soll auf der Basis vorangegangener Projekte Wege ergründen, wie Snapshotting in Verbindung mit Multithreading in BFT-SMaRt reaktiviert werden kann, sowie Implementierungen und Messungen der gefundenen Ansätze bereitstellen.
O. Finnendahl, „Enabling Snapshotting in Multithreaded BFT-SMaRt,“ G. Habiger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2018 – Abgeschlossen.
Für die Verwaltung großer verteilter Systeme werden in der Regel Koordinierungsdienste wie ZooKeeper oder etcd eingesetzt. Um maximale Ausfallsicherheit und dennoch starke Konsistenzgarantien zu gewährleisten, sind solche Koordinierungsdienste durch State Machine Replication repliziert. Ein Problem dieses Replizierungsansatzes ist die zumeist schlechte Ausnutzung heutiger Multicore-Systeme. In unserer Forschung beschäftigen wir uns mit Methoden, SMR-replizierte Software zu beschleunigen und auch Multithreading zu erlauben. Hierfür sind unter anderem vergleichende Messungen mit etcd vorgesehen. Da etcd selbst komplett in Go geschrieben ist, sich unsere Forschung momentan jedoch auf Java konzentriert, soll in diesem Projekt die nach außen hin sichtbare API und dafür nötige Funktionalität von etcd in Java nachimplementiert werden. Es können dabei nahezu alle Schwierigkeiten die sich durch die Verteilung ergeben (Netzwerkkommunikation und -fehler, Konsensus, etc.) vernachlässigt werden. Es wird primär die Funktionalität, die eine nicht-verteilte Installation von etcd mit einem Host bereitstellen würde, verlangt.
U. Eser, „Design einer flexiblen Peer-to-Peer Bibliothek,“ Bachelorarbeit, D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2018 – Abgeschlossen.
Peer-to-Peer Systeme werden Heute in einer vielfalt von Situationen eingesetzt. Dies geht von verteilung von Dateien für Programme bis hin zu Transaktionen und Blöcken in modernen Blockchain Systemen. Zur implementierung dieser Systeme kann oft nicht auf eine geeignete Bibliothek zurück gegriffen werden, da diese nicht verfügbar sind. Ziel dieser Arbeit ist die Analyse von Anforderungen an eine geeignete Peer-to-Peer Bibliothek, sowie die Implementierung eines Prototypen der Bibliothek und dessen Evaluation. Der genaue Umfang richtet sich nach dem Vorwissen, dem gewählten Fokus und der Art der Arbeit.
F. Hohberger, „Design einer generischen API für Gruppenkommunikationsprotokolle,“ Masterarbeit VS-M09-2018, C. Spann (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2018 – Abgeschlossen.
Die Implementierung von Einigungsalgorithmen wie zum Beispiel Paxos oder dessen Erweiterung Vertical Paxos stellen den Programmierer wiederholt vor ähnliche Designentscheidungen. Eine generische API könnte eine Basis für die Wiederverwendung vieler Teilkomponenten schaffen und so den Aufwand für die Implementierung neuer Algorithmen reduzieren. Ziel der Arbeit ist der Entwurf einer solchen API.
„Automatisierte Vergabe von temporären administrativen Zugängen für heterogene Systeme,“ Bachelorarbeit, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2018 – Abgeschlossen.
In der Arbeit soll eine Zugriffskontrolle für administrative Zugänge in einem heterogenen verteilten System entwickelt werden. Diese Systeme werden für die Demonstration von Einsatzszenarien genutzt. Der Zugang muss daher mit Administratorrechten erfolgen, was sich bei vielen der beteiligten Systemen nicht durch unterschiedliche Benutzer abbilden lässt. Um das Problem der Zugangsbeschränkung und des Nachweises von getätigten Aktionen zu behandeln, sollen diese Zugänge von einer zentralen Stelle aus vergeben und wieder zurückgezogen werden. Die Arbeit erstellt eine Anforderungsanalyse, ein Konzept sowie eine Umsetzung für die wichtigsten Einzelsysteme.
„Vergleich Statistischer Informationsverteilung in Peer-to-Peer Netzen,“ Bachelorarbeit, H. Kopp and D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2017 – Abgeschlossen.
Cryptocurrencies including Bitcoin are the focus of ongoing research, with many practical implementation questions (such as the optimal block size) left unanswered. There exist a number of Bitcoin simulators that simulate various aspects of the network in order to help answer these questions and design new cryptocurrencies. We perform a comparative study of three simulators (ns-3, Shadow and simbit) and evaluate their user friendliness and ease of use, performance and scaling characteristics, adaptability to other cryptocurrencies and the range of parameters which they can simulate. We present these findings in the form of a detailed description for each simulator as well as a tabular overview. In addition to this, we perform a comparison of the simulation performance and provide the results in the form of a graph.
A. Martel, „Vergleich Statistischer Informationsverteilung in Peer-to-Peer Netzen,“ Bachelorarbeit, D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2017 – Abgeschlossen.
With classical broadcast mechanism, a source detection algorithm is fairly successful. There exist proposals to break the symmetry and make source detection hard. In this thesis, two of those proposals, adaptive diffusion and dandelion, should be implemented in a simulator and evaluated for interesting characteristics in realistic networks.
M. Jäckle and C. Vogel, „Provisioning, Monitoring and Snapshotting of BFT-SMaRt,“ G. Habiger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2017 – Abgeschlossen.
This project deals with the implementation of a platform to support the further development of the BFT-SMaRt Java library. In addition, a currently disabled feature, called checkpointing, should be examined closely and maybe reimplemented in the parallel version of BFT-SMaRt which uses UDS. The first part resulted in a feature-rich platform that encompasses automatic deployment and provisioning as well as live-monitoring capabilities for application related metrics. Parallel checkpointing is not working yet, but was researched extensively and some base work was done to facilitate future developers entering the project. In detail, an extended documentation for BFT-SMaRt was created and several approaches were discussed.
P. Butz, „Implementation, Deployment and Evaluation of UDS,“ G. Habiger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2017 – Abgeschlossen.
The increasing world wide spread of computers and mobile devices combined with better international network set high demands on service providers. A huge number of parallel access to services offered in the Internet requires huge throughput. At the same time, the availability of services is key, especially in areas like financial and cloud services. Data centers provide these requirements by replicating critical services and data among numerous computers. However, this distribution means that hardware failures are not the exception but become the rule. The State Machine Replication (SMR) approach is an attempt to allow the recovery of crashed servers. Additionally, manipulations of servers and software failures are still a problem of such systems. Byzantine fault tolerant systems build up on state machine replication and face this issue by allowing clients to validate the correctness of service responses. However, SMR requires the client requests to arrive in the same order on every server, so that this has to be decided by a consensus. Furthermore, SMR requires deterministic processing, so that the states among all machines are equal, which is usually ensured by sequential request processing. This seems inefficient, especially considering multi core and multi CPU hardware of today's server systems. Enabling parallel request processing while fulfilling the demands of SMR requires a deterministic scheduler. These are complex and more resource-intensive than general schedulers. The aim of this thesis is the implementation of such a scheduler and the evaluation of the performance to gain knowledge about the efficiency of those schedulers to compare the overhead in scheduling with the gained parallelization. As a result, the overhead in deterministic scheduling is a huge factor, which only allows a performance improvement up to a certain point based on the cost of computations within critical sections.
P. Speidel, „Anonymity in Peer-to-Peer Storage Systems,“ Masterarbeit, D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2017 – Abgeschlossen.
A. Knittel, „Implementation of asynchronous request handling in BFT SMaRt,“ G. Habiger (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2016 – Abgeschlossen.
Current research efforts of our institute include a project on deterministic scheduling of multithreaded applications for State Machine Replication (SMR) systems with Byzantine Fault Tolerance (BFT). One part of this project aims to integrate our own work on deterministic scheduling with the BFT SMaRt library. Currently, BFT SMaRt only supports synchronous request-response patterns, whereas our planned SMR platform needs these patterns to be asynchronous. The goals of this project are (i) to analyze the existing BFT SMaRt codebase, (ii) to implement the necessary interfaces for asynchronous request handling and (iii) to integrate these changes into the existing BFT SMaRt libraries.
„EduMi - Erweiterung um eine automatische Benotung,“ D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2016 – Abgeschlossen.
„EduMi - Educational Middleware,“ D. Mödinger (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2016 – Abgeschlossen.
J. Reutlinger, „Continious integration für in.Crease,“ F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2016 – Abgeschlossen.
S. Schwerin, „Identifikation optimaler Einsatzbereiche der Einigungsalgorithmen Paxos und Vertical Paxos,“ Masterarbeit, C. Spann (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2014 – Abgeschlossen.
Die beiden Einigungsalgorithmen Paxos und dessen Erweiterung Vertical Paxos sind strukturell grundverschieden. Das daraus resultierende, vermutlich sehr unterschiedliche Verhalten soll in dieser Arbeit in geeigneten Evaluationen untersucht und beschrieben werden. Der Unterschied der Verfahren ergibt sich in der Verteilung des Aufwands zur Fehlererholung. In Paxos kann jeder Knoten selbst direkt mit Fehlern umgehen, in Vertical Paxos gibt es einen externen Knoten, der das System überwacht.
S. Wieluch, „BANDIT - Bat Indiviudal Identity,“ Bachelorarbeit VS-B09-2014, J.-P. Elsholz (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2014 – Abgeschlossen.
Bat individual identity (BANDIT) is the idea to apply traditional speaker recognition to identify individual bats. This helps biologists in their researches, reducing the analysing time of recorded bat signals drastically. This thesis uses mel frequency celspral coefficients for feature extraction and tests three different learning strategies (gaussian mixture model, k-nearest-neighbour and support vector machines) on their ability to identify individual bats. Additionally, the speaker recognition is optimized for the best results. The thesis shows that identifying bats by their calls is possible and depending on the learning strategy good results can be achieved (Saccopteryx bilineata: 100% with 4 bats, 75.8% with 10 bats; Micronycteris microtis: 82.8% with 4 bats).
C. Staudenmayer, „Replikation des HDFS Namenodes,“ Diplomarbeit VS-D11-2011, C. Spann (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2012 – Abgeschlossen.
In diesar Arbeit wurde der HDFS Namenode mit Virtual Nodes nebenläufig repliziert. Dabei wurden die Java Synchronisationsmechanismen durch die von 'Virtual Nodes' ersetzt und die Nebenläufigkeit im Gegensatz zu anderen Arbeiten beibehalten. Die Lauffähigkeit wurde demonstriert, weitergehende Benchmarks müssen die Effizienz aber noch belegen.
B. Erb, „Concurrent Programming for Scalable Web Architectures,“ Diplomarbeit VS-D01-2012, J. Domaschka (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2012 – Abgeschlossen.
Web architectures are an important asset for various large-scale web applications, such as social networks or e-commerce sites. Being able to handle huge numbers of users concurrently is essential, thus scalability is one of the most important features of these architectures. Multi-core processors, highly distributed backend architectures and new web technologies force us to reconsider approaches for concurrent programming in order to implement web applications and fulfil scalability demands. While focusing on different stages of scalable web architectures, we provide a survey of competing concurrency approaches and point to their adequate usages.
F. Hofherr, „Synchronisierungstechniken für replizierte verteilte Objekte,“ Diplomarbeit VS-D05-2010, J. Domaschka (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2010 – Abgeschlossen.
V. Lang, „Transaktionaler Speicher für Objektreplikation,“ Diplomarbeit VS-D02-2009, J. Domaschka (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2009 – Abgeschlossen.
M. Pfeil, „Optimising and Self-adaptive Strategy Selection in a Replication Framework,“ Masterarbeit VS-D07-2009, J. Domaschka (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2009 – Abgeschlossen.
S. Kächele, „nOSGi - Eine native OSGi Implementierung,“ Diplomarbeit VS-D05-2009, J. Domaschka and H. Schmidt (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2009 – Abgeschlossen.
C. Näveke, „Konfliktvorraussage für lock-basierte Synchroninierung,“ Diplomarbeit VS-D06-2009, J. Domaschka (Betreuung), F. J. Hauck (Prüfer), Inst. f. Vert. Sys., Univ. Ulm, 2009 – Abgeschlossen.
M. Herchel, „Transparent Integration of Passive Replication in a Fault-Tolerant Framework for Distributed Objects,“ Masterarbeit VS-M02-2007, J. Domaschka (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2007 – Abgeschlossen.
M. Meßner, „Eclipse-Plugin zur Analyse von Thread-Synchronisierung in Java-Programmen,“ Diplomarbeit VS-D04-2007, J. Domaschka (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2007 – Abgeschlossen.

Hinweis: Die Liste der abgeschlossenen Arbeiten ist zur Zeit noch unvollständig.

Laufende Projekt- und Abschlussarbeiten


Diese Liste enthält alle laufenden Arbeiten, die von Prof. Hauck bewertet werden, im Fall von Abschlussarbeiten nur solche, bei denen er Erstgutachter ist.

T. Schweikert, „Towards a production-ready deployment of in.Crease,“ Projektarbeit VS-2022-27P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Vergeben.
„Responsive user interface and exam schedules for the in.Crease information system,“ Projektarbeit VS-2021-27P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Vergeben.
C. Ruepp and J. Fischer, „Integrating Shibboleth and user management into in.Crease,“ Projektarbeit VS-2022-21P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Vergeben.
in.Crease ist ein geplantes Informationssystem für Studierende. In Vorarbeiten wurde eine Bibliothek entworfen, die es erlaubt eine Single-Signon-Lösung mit dem KIZ-Login auf der Basis von Shibboleth zu implementieren. Die Projektarbeit soll das Login in die bestehende Software-Architektur von in.Crease integrieren. Diese besteht aus mehreren Docker-Containern. Statt Apache muss nginx zur Anbindung verwendet werden. Das Angular-basierte Frontend sollte mit entsprechender Login/Logout-Funktion ausgestattet werden. Eventuell kann die Nutzerverwaltung noch angepasst und erweitert werden. Stichworte wären Rechtezuteilung bzw. Feature-Vektoren. Interessierte sollten in JavaScript programmieren können oder sich die entsprechenden Fähigkeiten aneignen wollen.
D. Hunt, „Implementation and Evaluation of Eve, a Speculative Byzantine Fault Tolerant State Machine Replication System for Multi-Core Servers,“ Masterarbeit, A. Heß (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Vergeben.
F. Stark, „Gamification und Lernpfade im Rückenwind-Programm,“ Projektarbeit VS-2022-24P, M. Sommer (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Vergeben.
M. Seiffert, „Efficiently Running and Accessing Remote Android Emulators,“ Masterarbeit VS-2022-18M, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Vergeben.
A. Abbati, „Byzantine fault-tolerant IoT sensor processing,“ Bachelorarbeit VS-2022-14B, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Vergeben.
In the Internet of Things (IoT), there are often sensors whose collected data must be prepared and further processed. This often happens in the edge area, i.e. close to the sensors, and in the cloud, i.e. in some remote data centre. The aim of this work is to explore how Byzantine errors can be tolerated in the pre-processing of sensor data until it arrives in the cloud. Byzantine errors range from total failure to sporadic hardware and software failures to nodes taken over by attackers. The work should include a reference implementation, ideally using the IoT framework developed in the SORRIR project. SORRIR is implemented in TypeScript. The work is suitable for people who have at least heard the lecture Introduction to Distributed Systems (GVS) or even Fault-tolerant Distributed Systems (FTDS), or want to familiarise themselves with these topics accordingly. The workload will be adjusted according to the type of thesis (project, bachelor, master).
M. Zettlmeißl, „ByTI: Simulation Environment for a Byzantine Timer for State-Machine Replication,“ Projektarbeit VS-2021-05P, F. J. Hauck (Betreuung), F. J. Hauck (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2021 – Vergeben.
Byzantine fault tolerance can handle not only crashing nodes but also nodes with arbitrary faulty behaviour (hacking, intrusions, sporadic and intermittent faults). State-machine replication (SMR) can tolerate Byzantine failures by replicating a service onto multiple nodes and deploying a communication protocol that distributes requests to all replicas in the same order. Each replica node needs to run deterministically in order to achieve the same output in correct nodes. For implementing a deterministic timer (wall clock, interval timer), we developed a heartbeat-based distributed algorithm called ByTI (Byzantine Time Intervals). In order to improve and visualise its behaviour, this project is supposed to develop a simulation environment for the ByTI algorithm. The simulation environment should visualise the sent messages and its temporal distribution including the outcome of ByTI results (current time, interval lengths). The simulator should be able to simulate configurable message delays, delay distributions and predefined Byzantine behaviour. Further, the simulated algorithm should be adaptable in order to implement improvements. The student may decide on the technology used for implementation.

Veranstaltungen an der Universität Ulm

Pflichtvorlesungen

  
Einführung in die Informatik
4V+2Ü, 5LP(V) + 3LP(Ü), Vorlesung mit Übung		 WS 2021
Grundlagen der Betriebssysteme (GdBS)
Vorlesung mit Übung und Labor, 3V+1Ü+1L, 7 LP		 SS 2021, SS 2020, SS 2019, SS 2018, SS 2017, SS 2016, SS 2015 (4V+1Ü+1L, 8 LP)
Grundlagen der Rechnernetze (GRN)
Vorlesung mit Übung, 2V+1Ü, 4 LP		 WS 2011, WS 2010, WS 2009, WS 2008
Programmierung von Systemen (PvS)
Vorlesung mit Übung, 4V+2Ü, 8 LP		 SS 2014, SS 2012
Technische Informatik I (TI1)
Vorlesung mit Übung und Praktikum, 4V+1Ü+1P, 8 LP		 SS 2011, SS 2007, SS 2005, SS 2004, SS 2003, SS 2002
Technische Informatik II (TI2)
Vorlesung mit Übung und Praktikum, 4V+1Ü+1P, 8 LP		 WS 2005, WS 2005, WS 2002

Wahlvorlesungen

  
Algorithmen Verteilter Systemen (AVS)
Vorlesung mit Übung, 2V+2Ü, 6 LP		 SS 2008, WS 2005, WS 2004
Architectures for Distributed Objects (ADO)
Vorlesung mit Übung, 3V+1Ü, 6 LP		 WS 2009
Architekturen für Verteilte Internetdienste (AvID)
Vorlesung mit Übung, 3V+1Ü, 6 LP		 SS 2021, SS 2020, SS 2016, SS 2015, SS 2014, SS 2013, SS 2012, SS 2011, SS 2010, SS 2009, SS 2008, SS 2007, SS 2006, SS 2005, SS 2004
Architekturen für Verteilte Objekte (AVO)
Vorlesung mit Übung, 3V+1Ü, 6 LP		 WS 2007, WS 2006, WS 2005, WS 2004

Fault-tolerant Distributed Systems (FTDS)
Vorlesung mit Übung, 3V+1Ü, 6 LP

 SS 2021, SS 2020, SS 2019
Grundlagen Verteilter Systeme (GVS)
Vorlesung mit Übung, 3V+1Ü, 6 LP		 WS 2020, WS 2019, WS 2018, WS 2017, WS 2016, WS 2015, WS 2014, WS 2013, WS 2012, WS 2011
Moderne Konzepte Verteilter Systeme (MKVS)
Vorlesung mit Übung, 3V+1Ü, 6 LP		 WS 2002
Multimediakommunikation (MMK)
Vorlesung mit Übung, 3V+1Ü, 6 LP		 SS 2021, WS 2020, WS 2019, WS 2018, WS 2017, WS 2016, WS 2015, WS 2014, WS 2013, WS 2012, WS 2011, WS 2010, SS 2010, WS 2008, WS 2007, WS 2006
Verteilte Betriebssysteme (VBS)
Vorlesung mit Übung, 3V+1Ü, 6 LP		 WS 2003

Proseminare

  
Effective-Java, Java Programmierung für Fortgeschrittene (EJ)
Proseminar, 2S, 4LP		 SS 2009
Java-Technologien für Verteilte Systeme (JTVS)
Proseminar, 2S, 4LP		 SS 2005
Kniffe, Tricks und Techniken für Java (KTT)
Proseminare, 2S, 4LP		 WS 2020, WS 2019, SS 2019, SS 2018, SS 2017, SS 2016, SS 2015, SS 2014, SS 2013, SS 2012, SS 2010, WS 2009
Konzepte Verteilter Systeme (KVS)
Proseminar, 2S, 4LP		 WS 2007
Linux (LI)
Proseminar, 2S, 4LP		 SS 2004, SS 2003
Peer-to-Peer-Systeme (P2P)
Proseminar, 2S, 4LP		 WS 2006
Projekte der Apache Software Foundation (PASF)
Proseminar, 2S, 4 LP		 SS 2021, SS 2020

Seminare/Hauptseminare

  
Ausgewählte Themen in Verteilten Systemen (ATVS)
Seminar, 2S, 4LP		 SS 2021, SS 2020, WS 2019, SS 2019, WS 2018, SS 2018, WS 2017, SS 2017, WS 2016, SS 2016, WS 2015, SS 2015, WS 2014, SS 2014, WS 2013, SS 2013, WS 2012
Forschungstrends im Bereich Verteilter Systeme (FVS)
Seminar, 2S, 4LP		 SS 2009, WS 2008, WS 2007
Forschungstrends in Verteilten Systemen (RTDS)
Seminar/Hauptseminar, 2S, 4LP		 SS 2021, WS 2020, SS 2020, WS 2019, SS 2019, WS 2018, SS 2018, WS 2017, SS 2017, WS 2016, SS 2016, WS 2015, SS 2015, WS 2014, SS 2014, WS 2013, SS 2013, WS 2012
Multimedia- und Internetsysteme (MIT)
Seminar, 2S, 4LP		 SS 2018, WS 2017, SS 2017, WS 2016, SS 2016, WS 2015, SS 2015, WS 2014, SS 2014, WS 2013, SS 2013, WS 2012, WS 2011, SS 2011, WS 2010, SS 2010, WS 2009
Multimediale Datenübertragung (MD)
Seminar, 2S, 4LP		 SS 2008, WS 2005
Sicherheit in Verteilten Systemen (SVS)
Seminar, 2S, 4LP		 SS 2003
Verlässlichkeit und Adaptierbarkeit in Verteilten Systemen (VAVS)
Seminar, 2S, 4LP		 SS 2008
Verteilte Algorithmen (VA)
Seminar, 2S, 4LP		 WS 2003
Werkzeuge des Apache-Projekts: vom XML-Parser bis zum Web-Service (WAP)
Seminar, 2S, 4LP		 WS 2004

Projekte und Praktika

  
Fachdidaktik Projekt der Informatik (FDPI)
Projekt, S2, LP 5		 SS 2021, SS 2020
Middleware (MW)
Praktikum, 4P, 8LP		 SS 2009, WS 2008, SS 2008, WS 2007, SS 2007, WS 2006, SS 2006, WS 2005, SS 2005, WS 2004, SS 2004, WS 2003, SS 2003
Middleware-Technologien (MWT)
Projekt, 3Pj, 12LP		 SS 2009, WS 2008
Multimedia- und Internetsysteme im Eigenbau (MITIE)
Projekt, 3Pj, 12LP		 SS 2018, WS 2017, SS 2017, WS 2016, SS 2016, WS 2015, SS 2015, WS 2014, SS 2014, WS 2013, SS 2013, SS 2012, WS 2011, SS 2011, WS 2010, SS 2010, WS 2009
Praktikum Multimedia- und Internetsysteme (PMIT)
Praktikum, 4P, 8LP		 SS 2018, WS 2017, SS 2017, WS 2016, SS 2016, WS 2015, SS 2015, WS 2014, SS 2014, WS 2013, SS 2013, SS 2012, WS 2011, SS 2011, WS 2010, SS 2010, WS 2009
Verteilte Anwendungen, Plattformen und Systeme I (VAPS1)
Projekt, 2Pj, 8LP		 SS 2021, WS 2020, SS 2020, WS 2019, SS 2019, WS 2018

Verteilte Anwendungen, Plattformen und Systeme II (VAPS2)
Projekt, 2Pj, 8LP

 SS 2021, WS 2020, SS 2020, WS 2019, SS 2019, WS 2018
Wissen 2.0 (WI)
Praktikum, 4P, 8LP		 SS 2008

Sonstige Veranstaltungen

  
Absolventenseminar Verteilte Systeme
Seminar, 2S, 0LP

SS 2021, WS 2020, SS 2020, WS 2019, SS 2019, WS 2018, SS 2018, WS 2017, SS 2017, WS 2016, SS 2016, WS 2015, SS 2015, WS 2014, SS 2014, WS 2013, SS 2013, WS 2012, SS 2012, WS 2011

Veranstaltungen an der Universität Erlangen-Nürnberg

Vorlesungen

Objectoriented Concepts for Distributed Systems (I) (OODS1)
Vorlesung mit Übung, 2V+2Ü		WS 2000, WS 1999, SS 1999, SS 1998
Objektorientierte Konzepte in der Betriebsprogrammierung (OOBP)
Vorlesung mit Übung, 2V+2Ü		SS 1997
Objektorientierte Konzepte Verteilter Systeme II (OOVS2)
Vorlesung, 7V		WS 1999
Rapid Prototyping, Software-Metriken und Netzwerk-Programmierung (RSN)
projektbezogene Vorlesung mit Intensiv-Übung, 2V 		SS 1995
Systemprogrammierung I (SysProg1)
Pflichtvorlesung mit Übung, 4V+4Ü		WS 2001, WS 2000, WS 1999, WS 1998, WS 1997

Seminare/Hauptseminare

Moderne Middleware-Dienste: Replikation, Mobilität u.a.
Hauptseminar, 2S		SS 1998
Objektorientierte Programmierung in verteilten Systemen
Hauptseminar, 2S		SS 1993
Objektorientierte Strukturierung verteilter Systeme
Hauptseminar, 2S		SS 1990
Objektorientierte Verteilte Systeme: Middleware für spezielle Anwendungsklassen
Hauptseminar, 2S		SS 2000
Objektorientierte Verteilte Systeme: Middleware zur Unterstützung nichtfunktionaler Eigenschaften
Hauptseminar, 2S		SS 2001
Virtuelle Rechner und Mobile Agenten - Aktuelle Trends in der Betriebssystem- und Middlewareentwicklung
Hauptseminar, 2S		SS 1999

2021

118.
D. Mödinger, J. Lorenz and F. J. Hauck, "Statistical privacy-preserving message broadcast for peer-to-peer networks", PLOS ONE, vol. 16, no. 5, pp. 1-24, Mai 2021.
DOI:10.1371/journal.pone.0251458
117.
D. Mödinger, J. Dispan and F. J. Hauck, " Shared-dining: broadcasting secret shares using dining-cryptographers groups" in Proc. Int. IFIP Conf. on Distrib. Appl. and Interop. Sys. (DAIS), 2021.
116.
J. Köstler, H. P. Reiser, G. Habiger and F. J. Hauck, "SmartStream: Towards Efficient Byzantine Resilient Data Streaming through Speculation and Sharding", SIGAPP Appl. Comput. Rev., vol. 21, no. 3, pp. 19-32, 2021. ACM.
DOI:10.1145/3493499.3493501
115.
A. Dode, M. Mehdi, R. Pryss, W. Schlee, T. Probst, M. Reichert, F. J. Hauck and M. Winter, "Using a visual analog scale (VAS) to measure tinnitus-related distress and loudness: investigating correlations using the Mini-TQ results of participants from the TrackYourTinnitus platform", Amsterdam: Elsevier, 2021, pp. 171--190.
114.
C. Berger, P. Eichhammer, H. P. Reiser, J. Domaschka, F. J. Hauck and G. Habiger, "A survey on resilience in IoT: Taxonomy, classification and discussion of resilience mechanisms", ACM Comp. Surv., vol. 54, no. 7, 2021.
DOI:10.1145/3462513
113.
J. Köstler, H. P. Reiser, G. Habiger and F. J. Hauck, "SmartStream: Towards Byzantine Resilient Data Streaming" in 36th Ann. ACM Symp. on Appl. Comp. (SAC), New York, NY, USA: ACM, 2021, pp. 213–222.
DOI:10.1145/3412841.3441904
112.
E. Genitsaridi, A. Dode, B. Qirjazi, M. Mehdi, R. Pryss, T. Probst, M. Reichert, F. J. Hauck and D. A. Hall, "An Albanian translation of a questionnaire for self-reported tinnitus assessment", Int. J. of Audiology, pp. 1-6, 2021. Taylor & Francis.
DOI:10.1080/14992027.2021.1933221
111.
D. Mödinger, A. Hess and F. J. Hauck, "Arbitrary Length k-Anonymous Dining-Cryptographers Communication", CoRR, vol. abs/2103.17091, 2021.
Datei:https://arxiv.org/abs/2103.17091

2020

110.
D. Mödinger, J. Lorenz and F. J. Hauck, "Unobtrusive monitoring: statistical dissemination latency estimation in Bitcoin's peer-to-peer network", PlosONE, vol. 15, no. 12, Dez. 2020.
DOI:10.1371/journal.pone.0243475
109.
D. Mödinger, N. Fröhlich and F. J. Hauck, "Pixy: a privacy-increasing group creation scheme" in Proc. of the 5th Int. Conf. on Netw. Sec. (ICNS), Dez. 2020.
108.
M. Mehdi, F. Diemer, L. Hennig, A. Dode, R. Pryss, W. Schlee, M. Reichert and F. J. Hauck, "TinnituSense: a mobile electroencephalography (EEG) smartphone app for tinnitus research" in Proc. of 17th EAI Int. Conf. on Wireless Mobile and Ubiq. Sys.: Comp., Netw. and Services (MobiQuitous), Dez. 2020.
107.
D. Mödinger and F. J. Hauck, "3P3: strong flexible privacy for broadcasts" in Proc. of 4th Int. Worksh. on Cybersp. Sec. (IWCCS), Dez. 2020.
DOI:10.1109/TrustCom50675.2020.00225
106.
M. Mehdi, A. Dode, R. Pryss, W. Schlee, M. Reichert and F. J. Hauck, "Contemporary review of smartphone apps for tinnitus management and treatment", MDPI Brain Sciences, vol. 10, no. 11, Nov. 2020.
DOI:10.3390/brainsci10110867
105.
M. Mehdi, L. Hennig, F. Diemer, A. Dode, R. Pryss, W. Schlee, M. Reichert and F. J. Hauck, "Towards mobile-based preprocessing pipeline for electroencephalography (EEG) analyses: the case of tinnitus" in Proc. of 9th EAI Int. Conf. on Wireless Mobile Comm. and Healthcare (MobiHealth), Nov. 2020.
104.
M. Tichy, J. Pietron, D. Mödinger, K. Juhnke and F. J. Hauck, "Experiences with an internal DSL in the IoT domain" in Proc. of 4th Int. Worksh. on Model-Driv. Eng. for IoT (MDE4IoT), CEUR-WS, Jul. 2020, pp. 22-34.
Datei:pdfhttp://ceur-ws.org/Vol-2707/mde4iotpaper1.pdf
103.
G. Habiger, F. J. Hauck, H. P. Reiser and J. Köstler, "Self-optimising application-agnostic multithreading for replicated state machines" in Proc. of the 39th Int. Symp. on Rel. Distr. Sys. (SRDS), 2020.
DOI:10.1109/SRDS51746.2020.00024
102.
M. Mehdi, M. Stack, C. Riha, P. Neff, A. Dode, R. Pryss, W. Schlee, M. Reichert and F. J. Hauck, "Smartphone and mobile health apps for tinnitus: systematic identification, analysis, and assessment", JMIR Mhealth Uhealth, vol. 8, no. 8, 2020.
DOI:10.2196/21767
101.
M. Mehdi, C. Riha, P. Neff, A. Dode, R. Pryss, W. Schlee, M. Reichert and F. J. Hauck, "Smartphone apps in the context of tinnitus: systematic review", MDPI Sensors, vol. 20, no. 6, 2020.
DOI:10.3390/s20061725

2019

100.
J. Domaschka, C. Berger, H. P. Reiser, P. Eichhammer, F. Griesinger, J. Pietron, M. Tichy, F. J. Hauck and G. Habiger, "SORRIR: a resilient self-organizing middleware for IoT applications" in Proc. of 6th Int. Worksh. on Middlew. and App. for the Internet of Things (M4IoT), Davis, CA, Dez. 2019, pp. 13-16.
DOI:10.1145/3366610.3368098
99.
M. Mehdi, D. Schwager, R. Pryss, W. Schlee, M. Reichert and F. J. Hauck, "Towards automated smart mobile crowdsensing for tinnitus research" in Proc. of the 32nd Int. Symp. on Comp.-Based Medical Sys. (CBMS), Jun. 2019.
DOI:10.1109/CBMS.2019.00026
98.
P. Eichhammer, C. Berger, H. P. Reiser, J. Domaschka, F. J. Hauck, G. Habiger, F. Griesinger and J. Pietron, "Towards a robust, self-organizing IoT platform for secure and dependable service execution" in Tagungsband des FB-SYS Herbsttreffens 2019, Osnabrück, GI, 2019.
DOI:10.18420/fbsys2019-03
97.
G. Habiger and F. J. Hauck, "Systems support for efficient state-machine replication" in Tagungsband des FB-SYS Herbsttreffens 2019, Osnabrück, GI, 2019.
DOI:10.18420/fbsys2019-04
96.
H. Kopp, D. Mödinger, F. J. Hauck and F. Kargl, "Cryptographic design of PriCloud, a privacy-preserving decentralized storage with remuneration", IEEE T. on Dep. and Sec. Comp., 2019.
DOI:10.1109/TDSC.2019.2942300

2018

95.
G. Habiger, F. J. Hauck, J. Köstler and H. P. Reiser, "Resource-Efficient State-Machine Replication with Multithreading and Vertical Scaling" in Proc. of the 14th Eur. Dep. Comp. Conf. (EDCC), Iaşi, Romania, IEEE, Sep. 2018.
DOI:10.1109/EDCC.2018.00024
94.
D. Mödinger, H. Kopp, F. Kargl and F. J. Hauck, "A Flexible Network Approach to Privacy of Blockchain Transactions" in Proc. of the 38th IEEE Int. Conf. on Distrib. Comp. Sys. (ICDCS), 38th IEEE International Conference on Distributed Computing Systems, Vienna, 2 July 2018, IEEE, Jul. 2018, pp. 1486-1491.
DOI:10.1109/ICDCS.2018.00153
Datei:https://ieeexplore.ieee.org/document/8416416/
93.
D. Mödinger, H. Kopp, F. Kargl and F. J. Hauck, "Towards Enhanced Network Privacy for Blockchains" in Short research statement for the DSN Workshop on Byzantine Consensus and Resilient Blockchains (BCRB), DSN Workshop on Byzantine Consensus and Resilient Blockchains, Luxemburg, 25 June 2018, Jun. 2018.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.200/files/publikationen/Moedinger18.pdf
92.
W. Schlee, D. A. Hall, B. Canlon, R. F. F. Cima, E. de Kleine, F. J. Hauck, A. Huber, S. Gallus, T. Kleinjung, T. Kypraios, B. Langguth, J. A. Lopez-Escamez, A. Lugo, M. Meyer, M. Mielczarek, A. Norena, F. Pfiffner, R. C. Pryss, M. Reichert, T. Requena, M. Schecklmann, P. van Dijk, P. van de Heyning, N. Weisz and C. R. Cederroth, "Innovations in doctoral training and research on Tinnitus: the European School on Interdisciplinary Tinnitus Research (ESIT) perspective", Frontiers in Aging Neuroscience, vol. 9, pp. 447, Jan. 2018.
DOI:10.3389/fnagi.2017.00447
91.
M. Mehdi, G. Mühlmeier, K. Agrawal, R. Pryss, W. Schlee and F. J. Hauck, "Referenceable mobile crowdsensing architecture " in Proc. of the 1st Int. Worksh. on Serv. for Mobile Data Coll. (MoDaC), Gran Canaria, 13.-15.8.2018, 2018.
DOI:10.1016/j.procs.2018.07.185
90.
K. Agrawal, M. Mehdi, M. Reichert, F. J. Hauck, W. Schlee, T. Probst and R. Pryss, "Towards incentive management mechanisms in the context of crowdsensing technologies based on TrackYour Tinnitus insights" in Proc. of the 15th Int. Conf. on Mobile Sys. and Perv. Comp. (MobiSPC), Gran Canaria, 13.-15.8.2018, 2018.
DOI:10.1016/j.procs.2018.07.155

2017

89.
V. Nikolov, S. Bonfert, E. Frasch and F. J. Hauck, "Scheduling interactive HPC applications" in Proc. of the 8th Int. Real-Time Scheduling Open Problems Seminar (RTSOPS), Jun. 2017, pp. 15-16.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.200/files/publikationen/Nikolov17c.pdf
88.
V. Nikolov, S. Wesner, E. Frasch and F. J. Hauck, "A hierarchical scheduling model for dynamic soft-realtime systems" in Proc. of the 29th Euromicro Conference on Real-Time Systems (ECRTS), Dubrovnik, Croatia, 27.-30.6.2017, Jun. 2017.
87.
H. Kopp, D. Mödinger, F. J. Hauck, F. Kargl and C. Bösch, "Design of a Privacy-Preserving Decentralized File Storage with Financial Incentives" in Proc. of IEEE Security & Privacy on the Blockchain (IEEE S&B) (affiliated with EUROCRYPT 2017), IEEE Security & Privacy on the Blockchain (IEEE S&B) (affiliated with EUROCRYPT 2017), Paris, 29 April 2017, IEEE, 2017.
DOI:10.1109/EuroSPW.2017.45
ISBN:978-1-5386-2244-5
Datei:https://doi.org/10.1109/EuroSPW.2017.45

2016

86.
F. J. Hauck, G. Habiger and J. Domaschka, "UDS: a novel and flexible scheduling algorithm for deterministic multithreading" in Proc. of the 35th Int. Symp. on Reliable Distrib. Sys. (SRDS), Budapest, Hungry, 2016-09-26, Sep. 2016.
DOI:10.1109/SRDS.2016.030
85.
B. Erb, G. Habiger and F. J. Hauck, "On the Potential of Event Sourcing for Retroactive Actor-based Programming" in Proc. of the 1st Workshop on Progr. Models and Lang. for Distrib. Comp., Rome, Italy, 2016-07-17, Jul. 2016.
DOI:10.1145/2957319.2957378
84.
F. J. Hauck and J. Domaschka, "UDS: a unified approach to determinisitic multithreading" in 36th Int. Conf. on Distrib. Comp. Sys. (ICDCS), Nara, Japan, 2016-06-27, Jun. 2016.
DOI:10.1109/ICDCS.2016.73
83.
G. Habiger, F. J. Hauck, J. Köstler and H. P. Reiser, "Vertikale Skalierung für aktiv replizierte Dienste in Cloud-Infrastrukturen" , 2016.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.200/files/publikationen/Habiger16.pdf

2015

82.
V. Nikolov, F. J. Hauck and L. Schubert, "Ein hierarchisches Scheduling-Modell für unbekannte Anwendungen mit schwankenden Ressourcenanforderungen" in Echtzeit und Betriebssysteme, Boppard, 11.-12.11.2015, Nov. 2015.
81.
V. Nikolov, F. J. Hauck and S. Wesner, "Assembling a framework for unkown real-time applications with RTSJ" in Proc. of the 13th Int. Workshop on Java Techn. for Real-time and Embedded Sys., Paris, Oct. 7-8, 2015, Okt. 2015.
80.
S. Kächele and F. J. Hauck, "COSCAnet-FT: transparent network support for highly available cloud services" in Proceedings of the International Conference of Networked Systems (NetSys) 2015, Mä. 2015.
DOI:10.1109/NetSys.2015.7089071
79.
V. Nikolov, K. Kempf, F. J. Hauck and D. Rautenbach, "Distributing the Complexity of Schedulability Tests" in Proc. of the 21th IEEE Real-Time and Embedded Technology and Applications Symposium, 2015.

2014

78.
V. Nikolov, S. Kächele and F. J. Hauck, "CLOUDFARM: An Elastic Cloud Platform with Flexible and Adaptive Resource Management" in In Proceedings of the IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 6th Cloud Control Workshop, London, Dec 8, 2014, IEEE, Dez. 2014.
DOI:10.1109/UCC.2014.84

2013

77.
S. Kächele and F. J. Hauck, "COSCAnet: virtualized sockets for scalable and flexible PaaS applications" in Proceedings of the 6th IEEE/ACM International Conference Utility and Cloud Computing UCC '13, Utility and Cloud Computing, USA: IEEE, Dez. 2013.
DOI:10.1109/UCC.2013.55
76.
S. Kächele, C. Spann, F. J. Hauck and J. Domaschka, "Beyond IaaS and PaaS: An Extended Cloud Taxonomy for Computation, Storage and Networking" in Proceedings of the 6th IEEE/ACM International Conference Utility and Cloud Computing UCC '13, 2013, USA: IEEE, Dez. 2013.
DOI:10.1109/UCC.2013.28
75.
S. Schober, S. Brenner, R. Kapitza and F. J. Hauck, "Bandwidth prediction in the face of asymmetry" in Proc. 13th Int. IFIP Conf. on Distrib. Appl. and Interop. Sys., DAIS, Florence, Italy, June 2013, Springer, Jun. 2013.
74.
S. Kächele and F. J. Hauck,COSCA: a component-based and scalable PaaS platform, Apr. 2013.
73.
S. Kächele and F. J. Hauck, "Component-based scalability for cloud applications" in Proc of the 3rd Int. Workshop on Cloud Data and Platforms, CloudDP, Prague, ACM Digital Library, Apr. 2013.
DOI:10.1145/2460756.2460760
72.
S. Kächele and F. J. Hauck, "COSCA: a PaaS platform for component-based applications" in Poster Compendium of EuroSys 2013 Conference, 2013.

2012

71.
V. Nikolov, M. Matousek, D. Rautenbach, L. Draque Penso and F. J. Hauck, "ARTOS: System Model and Optimization Algorithm" , Dez. 2012.
70.
F. J. Hauck, S. Kächele, J. Domaschka and C. Spann, "The COSCA PaaS platform: on the way to flexible and dependable cloud computing" in Proc. of the 1st European Workshop on Dependable Cloud Computing, New York, NY, USA: ACM, 2012, pp. 1:1--1:2.
DOI:10.1145/2365316.2365317
ISBN:978-1-4503-1149-6

2011

69.
J. Elsholz, A. Fromm, S. Schober and F. J. Hauck, "A unified API for negotiation in multimedia middleware" , 2011.
68.
S. Kächele, J. Domaschka, H. Schmidt and F. J. Hauck, "<prt>nOSGi</prt>: a posix-compliant native <prt>OSGi</prt> framework" in Proceedings of the 5th International Conference on Communication System Software and Middleware, New York, NY, USA: ACM, 2011, pp. 4:1--4:2.
DOI:10.1145/2016551.2016555
ISBN:978-1-4503-0560-0
Datei:http://doi.acm.org/10.1145/2016551.2016555
67.
S. Kächele, J. Domaschka and F. J. Hauck, "<prt>COSCA</prt>: an easy-to-use component-based <prt>PaaS</prt> cloud system for common applications" in Proceedings of the 1st International Workshop on Cloud Computing Platforms, New York, NY, USA: ACM, 2011, pp. 4:1--4:6.
DOI:10.1145/1967422.1967426
ISBN:978-1-4503-0727-7
Datei:http://doi.acm.org/10.1145/1967422.1967426

2010

66.
J. Elsholz, E. Seibel and F. J. Hauck, "RAPIX: a plug-in based RIA for multimedia communication" , 2010.

2009

65.
J. Elsholz, H. Schmidt, S. Schober, F. J. Hauck and A. J. Kassler, "<prt>Instant-X:</prt> Towards a Generic <prt>API</prt> for Multimedia Middleware" in IEEE International Conference on Internet Multimedia Systems Architecture and Application, Bangalore, India, Dez. 2009.
64.
J. Domaschka, H. Schmidt, F. J. Hauck, R. Kapitza and H. P. Reiser, "DOSGi: An architecture for instant replication" in Proc. of the 39th Annual IEEE/IFIP Int. Conf. on Dependable Sys. and Netw., Supplemental Volume, 2009.
63.
J. Elsholz, H. Schmidt, S. Schober and F. J. Hauck, "Instant-X: SOA for Multimedia Communication in NGNs" , 2009.
62.
H. Schmidt, J. Elsholz, V. Nikolov, F. J. Hauck and R. Kapitza, "OSGi4C: enabling OSGi for the cloud" in Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE, New York, NY, USA: ACM, 2009, pp. 15:1--15:12.
DOI:10.1145/1621890.1621910
ISBN:978-1-60558-353-2
Datei:http://doi.acm.org/10.1145/1621890.1621910
61.
V. Nikolov, R. Kapitza and F. J. Hauck, "Recoverable Class Loaders for a Fast Restart of Java Applications", Mobile Networks and Applications, vol. 14, pp. 53-64, 2009. Springer Netherlands.
DOI:10.1007/s11036-008-0115-8
Datei:http://dx.doi.org/10.1007/s11036-008-0115-8
60.
B. Erb, J. Elsholz and F. J. Hauck, "Semantic Mashup: Mashing up Information in the Todays World Wide Web - An Overview" , 2009.
DOI:10.13140/RG.2.1.1459.6967

2008

59.
J. Elsholz, F. J. Hauck and H. Schmidt, "Multimediale Datenübertragung" , 2008.
58.
J. Domaschka, T. Bestfleisch, F. J. Hauck, H. P. Reiser and R. Kapitza, "Multithreading strategies for replicated objects" in Proc. of the ACM/IFIP/USENIX 9th Int. Middleware Conf., Berlin, Heidelberg: Springer-Verlag, 2008, pp. 104--123.
DOI:10.1007/978-3-540-89856-6_6
ISBN:978-3-540-89855-9
Datei:http://dx.doi.org/10.1007/978-3-540-89856-6_6
57.
J. Domaschka, C. Spann and F. J. Hauck, "<prt>Virtual Nodes: a re-configurable replication framework for highly-available grid services</prt>" in Proceedings of the ACM/IFIP/USENIX Middleware'08 Conference Companion, ACM New York, NY, USA, 2008, pp. 107--109.
DOI:10.1145/1462735.1462766
Datei:http://portal.acm.org/citation.cfm?id=1462766
56.
H. Schmidt, J. Elsholz and F. J. Hauck, "Instant-X: a component-based middleware architecture for a generic multimedia API" in Companion '08: Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion, New York, NY, USA: ACM, 2008, pp. 90--92.
DOI:http://doi.acm.org/10.1145/1462735.1462759
ISBN:978-1-60558-369-3
55.
H. Schmidt, B. Aksoy, F. J. Hauck and A. Kassler, "How well does JXTA fit peer-to-peer SIP?" in IEEE International Conference on Communications--ICC , 19.-23. May 2008, 2008.
DOI:10.1109/ICC.2008.344

2007

54.
H. Schmidt, C. Dang and F. J. Hauck, "Proxy-based security for the Session Initiation Protocol (SIP)" in 2nd International Conference on Systems and Networks Communications, Cap Esterel, France, 25.-31. Aug. 2007, Aug. 2007.
53.
T. Guenkova-Luy, H. Schmidt, A. Schorr, F. J. Hauck and A. Kassler, "A Session-initiation-protocol-based middleware for multi-application management" in IEEE International Conference on Communications, Glasgow, Jun. 2007.
52.
J. Domaschka, H. Schmidt and F. J. Hauck, "Forschungstrends im Bereich Verteilter Systeme" , 2007.
51.
J. Domaschka, A. I. Schmied, H. P. Reiser and F. J. Hauck, "Revisiting deterministic multithreading strategies" in Pro. of the 9th Int. Workshop on Java and Components for Parallelism, Distribution and Concurrency, 2007.
DOI:10.1109/IPDPS.2007.370415
50.
J. Domaschka, H. P. Reiser and F. J. Hauck, "Towards generic and middleware-independent support for replicated, distributed objects" in Proc of the 1st Workshop on Middleware-Application Interaction, New York, NY, USA: ACM, 2007, pp. 43--48.
DOI:10.1145/1238828.1238839
ISBN:978-1-59593-696-7
Datei:http://doi.acm.org/10.1145/1238828.1238839

2006

49.
R. Kapitza, J. Domaschka, F. J. Hauck and H. P. Reiser, "FORMI: Integrating Adaptive Fragmented Objects into Java RMI", IEEE Distributed Systems Online, vol. 7, no. 10, Okt. 2006.
DOI:10.1109/MDSO.2006.61
48.
H. P. Reiser, J. Domaschka, F. J. Hauck, R. Kapitza and W. Schröder-Preikschat, "Consistent replication of multithreaded distributed objects" in Proc. of the 25th IEEE Symp. on Reliable Distributed Systems, Washington, DC, USA: IEEE Computer Society, 2006, pp. 257--266.
DOI:10.1109/SRDS.2006.14
ISBN:0-7695-2677-2
Datei:http://dx.doi.org/10.1109/SRDS.2006.14
47.
J. Domaschka, F. J. Hauck, H. P. Reiser and R. Kapitza, "Deterministic Multithreading for Java-based Replicated Objects" in Proc. of the 18th IASTED Int. Conf. on Parallel and Distributed Computing and Systems, 2006, pp. 516--521.
46.
H. P. Reiser, R. Kapitza, J. Domaschka and F. J. Hauck, "Fault-tolerant replication based on fragmented objects" in Proc. of the 6th IFIP WG 6.1 Int. Conf. on Distrib. Applications and Interoperable Sys., Berlin, Heidelberg: Springer-Verlag, 2006, pp. 256--271.
DOI:10.1007/11773887_20
ISBN:3-540-35126-4, 978-3-540-35126-9
Datei:http://dx.doi.org/10.1007/11773887_20
45.
H. P. Reiser, R. Kapitza, J. Domaschka and F. J. Hauck, "Flexible und adaptive Replikation in verteilter objektbasierter Middleware" , 2006.
44.
H. P. Reiser, F. J. Hauck, R. Kapitza and W. Schröder-Preikschat, "Hypervisor-based redundant execution on a single physical host" in Proc. Suppl. Vol. of the 6th European Dependable Comp. Conf. (EDCC), 2006, pp. 67-68.
Datei:pdfhttp://homepages.lasige.di.fc.ul.pt/~hans/pub/doc/reiser06hypervisor.pdf

2005

43.
R. Kapitza, M. Kirstein, H. Schmidt and F. J. Hauck, "FORMI: An RMI extension for adaptive applications" in Proc. of the 4th Workshop on Adaptive and Reflective Middleware, ARM, Grenoble, France, 28.11.2005, ACM Digital Library, 2005.
DOI:10.1145/1101516.1101518

2003

42.
R. Kapitza and F. J. Hauck, "DLS: a CORBA service for dynamic loading of code" in Proc. of the Int. Symp. on Distrib. Obj. and Appl. - DOA, Dez. 2003.
41.
T. Bindhammer, A. I. Schmied and F. J. Hauck, "Betriebssystem Linux, Proseminar im Sommersemester 2003" , Okt. 2003.
40.
A. I. Schmied and F. J. Hauck, "Sicherheit in Verteilten Systemen, Hauptseminare im Sommersemester 2003" , Sep. 2003.
39.
H. P. Reiser, F. J. Hauck, R. Kapitza and A. I. Schmied, "Integrating fragmented objects into a CORBA environment" in Proc. of the Net.ObjectDAYS, Erfurt, Sep. 2003.

2002

38.
R. Kapitza and F. J. Hauck, "DLS: a CORBA service for dynamic loading of code" , Dez. 2002.

2001

37.
H. P. Reiser, M. Steckermeier and F. J. Hauck, "IDLflex: a flexible and generic compiler for CORBA IDL" in Proc. of the Net.ObjectDAYS, Erfurt, 10-13.9.2001, Sep. 2001.
36.
H. P. Reiser, M. Steckermeier and F. J. Hauck, "IDLflex: a flexible and generic compiler for CORBA IDL" , Sep. 2001.
35.
F. J. Hauck, U. Becker, M. Geier, E. Meier, U. Rastofer and M. Steckermeier, "AspectIX: a quality-aware, object-based middleware architecture" in Proc. of the 3rd IFIP Int. Conf. on Distrib. Appl. and Interop. Sys. - DAIS, Krakow, Sep. 2001.

1999

34.
F. J. Hauck, U. Becker, M. Geier, E. Meier, U. Rastofer and M. Steckermeier, "The AspectIX approach to quality-of-service integration into CORBA" , 1999.
Datei:ftp://ftp.informatik.uni-erlangen.de/pub/papers/byyear/99/TR-I4-99-09.ps.gz

1998

33.
M. van Steen, F. J. Hauck, G. Ballintijn and A. S. Tanenbaum, "Algorithmic design of the Globe wide-area location service", The Computer Journal, vol. 41, no. 5, pp. 297--310, 1998.
32.
M. van Steen, F. J. Hauck, P. Homburg and A. S. Tanenbaum, "Locating objects in wide-area systems", IEEE Communications Magazine, vol. 36, no. 1, pp. 104--109, 1998.
31.
T. Riechmann and F. J. Hauck, "Meta objects for access control: extending capability-based security" in Proceedings of the ACM New Security Paradigms Workshop, New York, NY: ACM Press, 1998, pp. 17--22.
30.
T. Riechmann, F. J. Hauck and J. Kleinöder, "Transitiver Schutz in Java durch Sicherheitsmetaobjekte" in Java Informationstage (JIT), Clemens H. Cap, Eds. Berlin, Heidelberg, New York, Tokyo: Springer-Verlag, 1998, pp. 204--214.

1997

29.
U. Gall and F. J. Hauck, "Promondia: a Java-based framework for real-time group communication in the Web" in Proceedings of the 6th International WWW Conference, 1997.
28.
F. J. Hauck, M. van Steen and A. S. Tanenbaum, "A location service for worldwide distributed objects" in Special issues in object-oriented programming, Max Mühlhäuser, Eds. Heidelberg: dpunkt.verlag, 1997, pp. 384--388.

1996

27.
F. J. Hauck, M. van Steen and A. S. Tanenbaum, "Algorithmic design of the Globe location service" , 1996.

1995

26.
F. J. Hauck,Location tracking in large object-based systems: assumptions. .... -, 1995.
25.
F. J. Hauck,Location tracking in large object-based systems: framework. .... -, 1995.
24.
F. J. Hauck,Typen, Klassen und Vererbung in verteilten objektorientierten Systemen. .... Düsseldorf: VDI, 1995.

1994

23.
F. J. Hauck, "Typisierte Vererbung modelliert durch Aggregation" in Verteilte Systeme, Hartmut Wedekind, Eds. Zürich: Bibliographisches Institut, 1994, pp. 291--302.

1993

22.
F. J. Hauck, "Inheritance modelled by aggregation: an approach to typed inheritance relations: submission to the OOPSLA `93 conference -- research paper" , 1993.
21.
F. J. Hauck, "Typisierte Vererbung modelliert durch Aggregation" , 1993.
20.
F. J. Hauck, "Towards the implementation of a uniform object model" in SFB Colloquium SFB 182 and SFB 342, Berlin, Heidelberg, New York, Tokyo: Springer-Verlag, 1993, pp. 180--189.
19.
F. J. Hauck, "PM: a distributed object-oriented operating system" , 1993.
18.
F. J. Hauck, "Supporting class evolution by typing inheritance" , 1993.
17.
F. J. Hauck, "Inheritance modeled with explicit bindings: an approach to typed inheritance" in Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Andreas Paepcke, Eds. New York, NY: ACM Press, 1993, pp. 231--239.
ISBN:0-89791-587-9
16.
F. J. Hauck, "Inheritance modeled with explicit bindings: an approach to typed inheritance" , 1993.
15.
R. Monge and F. J. Hauck, "Ein Ereignis-basiertes Modell zur Formalisierung von Request-Reply Objektinteraktionen" , 1993.
14.
F. J. Hauck, "Class-based inheritance is not a basic concept" in Understanding object-model concepts: Position papers for OOPSLA '93 Workshop #19, Clyde, Stephen W. and Conrad, Bruce A. and Embley, David W. and Kurtz, Barry D., Eds. 1993.
13.
F. J. Hauck, "Class-based inheritance is not a basic concept" , 1993.
12.
F. J. Hauck and P. R. Steyaert, "3rd Workshop for Doctoral Students in Object-Oriented Systems" , 1993.

1992

11.
F. J. Hauck, "Typisierte Vererbung modelliert durch Aggregation" , 1992.
10.
F. J. Hauck, "Towards the implementation of a uniform object model" , 1992.
9.
F. J. Hauck, "Multiple inheritance and multiple subtyping" in Position Papers of the ECOOP '92 Workshop W1, Markku Sakkinen, Eds. Department of Computer Science and Information Systems, University of Jyväskylä, 1992, pp. 14--16.
8.
R. Monge and F. J. Hauck, "Ein Ereignis-basiertes Modell für Beauftragung und mögliche Protokolle" , 1992.

1991

7.
F. J. Hauck, T. Eirich, M. Fäustle, J. Kleinöder, R. Pruy and P. Schlenk, "Das PM Projekt" , 1991.
6.
T. Eirich and F. J. Hauck, "Inheritance by aggregation" , 1991.

1990

5.
F. J. Hauck, "Verteilte Objekte unter UNIX - Eine PM-Implementierung", interner Bericht, 1990. IMMD 4, Universität Erlangen-Nürnberg.

1989

4.
F. J. Hauck, "Implementierung eines Stubgenerators als Phase des PM/PL Compilers", Diplomarbeit, IMMD 4, Univ. Erlangen-Nürnberg, 1989.

1988

3.
F. J. Hauck, "Implementierung und Dokumentation des MEMOS-Betriebssystems", Studienarbeit, IMMD 4, Univ. Erlangen-Nürnberg, 1988.

1986

2.
F. J. Hauck and T. Eirich,Der Data Becker Profi C-Compiler C64/C128. .... Data Becker, 1986.

1985

1.
F. J. Hauck and T. Eirich,Der Data Becker C-Compiler C64. .... Data Becker, 1985.

Aktuelle Doktoranden

Eugen Frasch: Hierarchisches Scheduling für rechenintensive interaktive Anwendungen

Gerhard Habiger: Automatische Optimierungen für State-Machine Replication

Muntazir Mehdi: Mobile Crowdsensing

Christian Spann: BFT Einigungsprotokolle

Inhaltlich betreute Doktorarbeiten

Dr. rer. nat. David Mödinger: Broadcast privacy for blockchains. Fakultät für Ingenieurwissenschaften, Informatik und Psychologie, Universität Ulm, 12.7.2021. Erstgutachte. Zweitguatchter Prof. Dr. Max Mühlhäuser.

Dr. rer. nat. Vladimir Nikolov: Ein hierarchisches Scheduling-Modell für unbekannte Anwendungen mit schwankenden Ressourcenanforderungen. Fakultät für Ingenieurwissenschaften, Informatik und Psychologie, Universität Ulm, 4.8.2016. Erstgutachten. Zweitgutachter Prof. Dr. Stefan Wesner.

Dr. rer. nat. Steffen Weiss: Komponentenorientiertes Cloud Computing. Fakultät für Ingenieurwissenschaften, Informatik und Psychologie, Universität Ulm, 13.7.2016. Erstgutachten. Zweitgutachter Prof. Dr. Franz Schweiggert.

Dr. rer. nat. Jan-Patrick Elsholz: Eine Middleware für spontane Kommunikationsanwendungen. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 8.10.2013. Erstgutachten.

Dr. rer. nat. Jörg Domaschka: A comprehensive approach to transparent and flexible replication of Java services and applications. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 8.2.2013. Erstgutachten.

Dr. rer. nat. Holger Schmidt: SAMProc a middleware for highly dynamic and heterogeneous environments. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 17.12.2009. Erstgutachten. Zweitgutachter Prof. Dr. Michael Weber.

Dr. rer. nat. Andreas I. Schmied: Program transformations and their semi-automatic composition. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 26.10.2009. Erstgutachten. Zweitgutachter Prof. Dr. Helmuth Partsch.

Prof. Dr.-Ing. Rüdiger Kapitza: Providing decentralised adaptive services. Technische Fakultät, Friedrich-Alexander-Universität Erlangen-Nürnberg, 21.9.2007. Zweitgutachten. Erstgutachter Prof. Dr. Wolfgang Schröder-Preikschat.

Dr. rer. nat. Andreas Schorr: Multimedia stream adaption services. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 1.3.2007. Erstgutachten.

Dr. rer. nat. Teodora Guenkova-Luy: Coordination of multimedia services and applications in mobile, heterogeneous network environment. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 1.3.2007. Erstgutachten. Zweitgutachten Prof. Dr. Peter Schulthess.

Prof. Dr. rer. nat. Hans P. Reiser: Flexible and reconfigurable support for fault-tolerant object replication. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 15.12.2006. Erstgutachten.

Dr.-Ing. Martin Steckermeier:  Virtuelle, private Rechner: eine Software-Architektur für verteilte Anwendungen. Technische Fakultät, Friedrich-Alexander-Universität Erlangen-Nürnberg, 9.4.2001. Erstgutachter Prof. Dr. Fridolin Hofmann.

Dr.-Ing. Martin Geier: Fragmentierte Objekte für die Implementierung mobiler Agenten. Technische Fakultät, Friedrich-Alexander-Universität Erlangen-Nürnberg, 9.4.2001. Erstgutachter Prof. Dr. Fridolin Hofmann.

Dr.-Ing. Erich Meier: Administrative Skalierbarkeit verteilter Systeme. Technische Fakultät, Friedrich-Alexander-Universität Erlangen-Nürnberg, 19.2.2001. Erstgutachter Prof. Dr. Fridolin Hofmann.