Introduction DSOS Seminars

Research Seminar/Hauptseminar/Proseminar introduction meeting on Thursday, Apr 13, 19:00 at Z 1014/15

Students who are interested to participate in a "Proseminar", "Hauptseminar" or "Research Seminar" in the area of distributed systems and operating systems, please preregister in this Moodle course.

The focus of the seminar is on

Distributed and operating systems concepts for sustainable and high performance computing systems.

Note: It is required that participants attend the introduction meeting to be held on Thursday, April 13th, 19:00 CET in room Z 1014/15.
Further, the number of topics is restricted. In case of too many registrations we will give preference by the order of pre-registrations in Moodle.


The distributed and operating systems group researches the fundamentals of adaptive computing systems and their application-oriented evaluation concerning performance, reliability, and security. Research topics cover all aspects related to distributed and network-centric information systems and model-driven security engineering of IT systems.more

abstrakt dargestellter ProgrammiercodeiStockphoto / monsitj
TU Ilmenau / Michael Reichel (ari)


We offer courses on topics related to distributed systems and operating systems, including specialized courses on their non-functional properties. Special emphasis is put on critical requirements for information security. Our teaching offer in German or English covers various courses of study. more


  • Saad Saleh and Boris Koldehofe. The Future is Analog: Energy-Efficient Cognitive Network Functions over Memristor-Based Analog Computations. To Appear in Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, HotNets 2023, ACM, 2023.
  • Marius Schlegel, Peter Amthor. Beyond Administration: A Modeling Scheme Supporting the Dynamic Analysis of Role-based Access Control Policies. In Proceedings of the 17th International Conference on Security and Cryptography, SECRYPT 2020, pages 431–442, 2020.
  • Peter Amthor, Marius Schlegel. Towards Language Support for Model-based Security Policy Engineering. In Proceedings of the 17th International Conference on Security and Cryptography, SECRYPT 2020, pages 513–521, 2020.
  • Peter Amthor, Martin Rabe. Command Dependencies in Heuristic Safety Analysis of Access Control Models. In Proceedings of the 12th International Symposium on Foundations & Practice of Security, FPS 2019, pages 207–224, 2020.


iStockphoto / metamorworks