Supervised Theses
- Programming interface for data acquisition of a protocol for remote access to resource-restricted IoT devices (Bachelor, May 2021)
- Security Layer for a Remote Access and Data Acquisition Protocol (Master, November 2021)
- Extension of a protocol for remote access and data aquisition for the Web of Things (Master, August 2022)
- Application and evaluation of different types of homomorphic encryption for selected scenarios (Bachelor, September 2022)
- Real-time algorithmic analysis of body posture to improve the execution of sports techniques (Bachelor, Januar 2024)
Topics for Theses
In our research we work on the modeling, analysis and longevity of Cyber-Physical Systems (CPS). Many components of CPS are developed and operated on the basis of models, that represent the assumed behavior of the CPS. Significant or continuous small changes in the CPS, as well as wear and tear, however, reduce the suitability between models and system behavior. Specifically, we are concerned with the question of how these models can be used for the CPS from the initial conception until it no longer sufficiently captures the CPS behavior. This includes, for example, the creation of benchmarks, data smoothing, the identification of flawed behavior, monitoring of suitability and the generation of suggestions for improvement to the model and/or CPS. We are currently researching these topics using a formalism that we have devised, based on hidden Markov models, and the simulation of a smart home system. If you are interested in any of these, please write to me and we can come up with a topic that fits the research area and your interests / skills.
Topics for theses that don’t regard my research
In my master’s thesis I developed a protocol that allows restricted devices to offer a user interface and data acquisition. The special thing about this paradigm is that the server has limited resources and not the client. Important principles when creating the protocol were therefore efficiency and interoperability without application knowledge. In other thesis that I supervised, work was already being carried out on this protocol. The API side of the server was examined in more detail and a security layer was added to the protocol stack. Due to the incremental nature of this protocol development, it is usually only possible to assign one thesis in this subject area at the same time. If you are interested in the protocol, its extension or any areas of application, please write to me!
Videos of Presentations
Talks
- Towards Robust Models of Cyber-Physical Systems, UbiComp 2021 - ACM International Joint Conference on Pervasive and Ubiquitous Computing, September 26, 2021
- Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models, MEMOCODE'22 - 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, Oktober 14, 2022
- Modelling Emergent Behaviour for Enhanced Autonomy in Cyber-Physical Systems, EAI MobiQuitous 2023 - 20th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, AutoQuitous: First Workshop on Autonomous Ubiquitous Systems, November 14, 2023
Projects
Publications (8)
2024 (1)
-
Hidden Markov Models with Unobservable TransitionsIn: Taming the Infinities of Concurrency
2023 (2)
-
Modelling Emergent Behaviour for Enhanced Autonomy in Cyber-Physical SystemsIn: Mobile and Ubiquitous Systems: Computing, Networking and Services - 20th EAI International Conference, MobiQuitous 2023, Melbourne, VIC, Australia, November 14–17, 2023, Proceedings, Part II
-
How to Change a Light Bulb in Your Smart Home: A Digital-Twin Based ApproachIn: PDT 2023: First Workshop on Pervasive Digital Twins
2022 (1)
-
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov ModelsIn: Proceedings of the 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
2021 (3)
-
Persistent Streams: The Internet With Ephemeral StorageIn: Tagungsband des FG-BS Herbsttreffens 2021
-
An Algorithm for Dependency-Preserving Smart Home UpdatesIn: PerIoT 2021: 5th International Workshop on Mobile and Pervasive Internet of Things (PerIoT 2021)
-
Towards Robust Models of Cyber-Physical SystemsIn: Adjunct Proceedings of the 2021 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2021 ACM International Symposium on Wearable Computers
2019 (1)
-
Good, Neutral or Bad - News ClassificationIn: Proceedings of the Third International Workshop on Recent Trends in News Information Retrieval, co-located with 42nd International ACM Conference on Research and Development in Information Retrieval (SIGIR 2019)
Teaching
WiSe 24/25
- Rechnernetze und Kommunikationssysteme
- Rechnernetze und Kommunikationssysteme (Fernstudiengang) - Online Master EIT
- Sicherheit in Kommunikationsnetzen (Fernstudiengang) - Online Master EIT
SoSe 2024
- Rechnernetze und Kommunikationssysteme (Fernstudiengang) - Online Master EIT
- Scientific writing with AI-based tools
- Sicherheit in Kommunikationsnetzen (Fernstudiengang) - Online Master EIT
WiSe 23/24
- Betriebssysteme
- Rechnernetze und Kommunikationssysteme (Fernstudiengang) - Online Master EIT
- Sicherheit in Kommunikationsnetzen (Fernstudiengang) - Online Master EIT
SoSe 2023
- Rechnernetze und Kommunikationssysteme (Fernstudiengang) - Online Master EIT
- Sicherheit in Kommunikationsnetzen
- Sicherheit in Kommunikationsnetzen (Fernstudiengang) - Online Master EIT
WiSe 22/23
- Rechnernetze und Kommunikationssysteme
- Rechnernetze und Kommunikationssysteme (Fernstudiengang) - Online Master EIT
- Sicherheit in Kommunikationsnetzen (Fernstudiengang) - Online Master EIT
SoSe 2022
- Rechnernetze und Kommunikationssysteme (Fernstudiengang) - Online Master EIT
- Sicherheit in Kommunikationsnetzen (Fernstudiengang) - Online Master EIT
- Verteilte Systeme
WiSe 21/22
- Rechnernetze und Kommunikationssysteme (Fernstudiengang) - Online Master EIT
- Sicherheit in Kommunikationsnetzen (Fernstudiengang) - Online Master EIT
SoSe 2021
- Rechnernetze und Kommunikationssysteme (Fernstudiengang) - Online Master EIT
- Sicherheit in Kommunikationsnetzen
- Sicherheit in Kommunikationsnetzen (Fernstudiengang) - Online Master EIT