Abschlussarbeiten
Kontakt
Leitung
Sekretariat
Abschlussarbeiten
Ausgeschriebene Arbeiten
Jede(r) Studierende muss, je nach Studiengang, eine Bachelor- oder Masterarbeit schreiben. Das ist selbstverständlich auch in unserer Abteilung möglich.
Bei Fragen wenden Sie sich bitte an die genannten Ansprechpartner (auch unverbindlich). Weitere Themen können in persönlicher Absprache mit den Lehrenden der Abteilung vereinbart werden.
Bachelor- und Masterarbeiten werden individuell nach Absprache vergeben und betreut. Rechtzeitiges Informieren und Bekunden von Interesse sind von Vorteil. Wenden Sie sich an Prof. Olderog (zu den Sprechzeiten) oder gerne auch an seine Mitarbeiter(innen).
Abgeschlossene Bachelorarbeiten (Auswahl)
- Optimization Techniques for Reachability Analysis of Bounded Petri Nets
- Sicheres Überholen auf Autobahnen trotz nicht perfektem Wissen
- Unentscheidbarkeit des Duration Calculus in kontinuierlicher Zeit
- Forgetful Petri Games - Synthesing Distributed Systems with Partially Observable Casual Memory
- Implementierung eines Tools zur Transformation von MLSLS in SMTLib
- Graphischer Editor für Verkehrssituation
- Sicheres Überholen bei Gegenverkehr totz nicht perfektem Wissen
Überführung von MLSL- zu QdL-Formeln - Existenzgraphen: werkzeuggestützte Anwendung von Schlussregeln
- Graphischer Editor für Constraint-Diagramme und Übersetzung nach PLC-Automaten
- Reguläres Model-Checking für parametrisierte Phasen-Event-Automaten mittels Widening
- Implementierung eines Diagrammeditors für Shape-Diagramme in Eclipse
- Erweiterung der Transformation von Duration Calculus in Phasen-Event-Automaten mit Intergratoren
Abgeschlossene Masterarbeiten (Auswahl)
- Finite-Memory Strategies for Petri Games
- A Multi-Lane Distance Controller for a Spatial Logic
- Transformational Semantics of the Combination π-OZ for Mobile Processes with Data
- Entscheidbarkeit von Petri-Spielen mit 2 Umgebungs- und 2 System-Spielern
- Moving Hazards - Communicating about Human Drivers in Autonomous Traffic
- Entwicklung einer Verifikationsumgebung für eine dynamisch getypte Programmiersprache
- Petri-Spiele: Erweiterung der Sicherheitsgewinnbedingungen auf Markierungen
- Entwicklung eines Editors zur Erstellung von PLC-Automata in Eclipse mit Unterstützung des Theorembeweisers Z3
- Refinement of PI-calculus processes
- Semantik von Controllern für sichere Fahrzeugmanöver