|
Wahlmacht in der Formalen Beweisführung über Wahlverfahren
|
Praxis der Forschung
|
Alicia Appelhagen |
laufend |
2025 |
|
Formalisierung von Wahlverfahren in Kombinatorischen Domänen mit Isabelle/HOL
|
Bachelorarbeit |
Daniel Fiebich |
laufend |
2025 |
|
Analyse der Anfälligkeit von Wahlverfahren für Manipulationsstrategien mittels Bounded Model Checking
|
Bachelorarbeit |
David Färber |
laufend |
2025 |
|
Formale Verifikation von Verifizierbaren und Geheimen Onlinewahlen mit Starker Software-Unabhängigkeit
|
Praxis der Forschung
|
Anne Hoff |
abgeschlossen
|
2025 |
|
Verifizierte Konstruktion zustimmungsbasierter Komitee-Wahlverfahren
|
Praxis der Forschung
|
Henriette Färber |
abgeschlossen |
2025 |
|
Verifizierte Konstruktion von Mehrrunden- und Scoring-basierten Wahlverfahren mit Isabelle/HOL
|
Bachelorarbeit |
Simon Filipp |
abgeschlossen |
2025 |
|
Beweis der Korrektheit von homomorphen Auszählverfahren mit Isabelle/HOL
|
Bachelorarbeit |
Jamie Klein |
abgeschlossen |
2024 |
|
Formalisierung und Verifikation von Verhältniswahlsystemen mit Isabelle/HOL: Eine Studie über D'Hondt- und Sainte-Laguë-Verfahren
|
Masterarbeit |
Salvatore Rossetta |
abgeschlossen |
2024 |
|
Programmsynthese basierend auf formalen Spezifikationen für Correctness-by-Construction in CorC
|
Masterarbeit |
Dirk Neumann |
abgeschlossen |
2024 |
|
Übertragung von Beweisverpflichtungen zur Programmverifikation in KeY nach Isabelle/HOL
|
Bachelorarbeit |
Nils Buchholz |
abgeschlossen |
2024 |
|
Nachvollziehbarkeit und Verifizierbarkeit von Online-Wahlen an Hochschulen
|
Bachelorarbeit |
Adrian Keller |
abgeschlossen |
2024 |
|
Formale Verifikation von Symmetrieeigenschaften in distanzrationalisierbaren Wahlverfahren
|
Bachelorarbeit |
Alicia Appelhagen |
abgeschlossen |
2024 |
|
Faires Beurteilen im Tanzsport: Formale Verifikation des Majoritätssystems
|
Bachelorarbeit |
Lukas Löring |
abgeschlossen |
2023 |
|
Verifizierte Konstruktion der Integrierten Stichwahl
|
Bachelorarbeit |
Guillermo Rodríguez |
abgeschlossen |
2023 |
|
Verifizierte effiziente Implementierung modularer Wahlverfahren mit schrittweiser Verfeinerung in Isabelle/HOL
|
Masterarbeit |
Valentin Springsklee |
abgeschlossen |
2023 |
|
Formale Verifikation des Split-Cycle-Wahlverfahrens
|
Bachelorarbeit |
Simon Liu |
abgeschlossen |
2023 |
|
Ein automatisierter Ansatz zur Generierung
spielkartenbasierter kryptographischer Protokolle
|
Bachelorarbeit |
Anne Hoff |
abgeschlossen |
2023 |
|
Distanzrationalisierung zur modularen Konstruktion
verifizierter Wahlverfahren
|
Bachelorarbeit |
Marion Steinriede |
abgeschlossen |
2022 |
|
Formale Sicherheitsanalyse von BlockDAG-Konsensusverfahren
als Turnierordnungen
|
Praxis der Forschung
|
Jörn Kußmaul |
abgeschlossen |
2021 |
|
Beschränkte Verifikation von Fairnesseigenschaften für
Sitzzuteilungsverfahren
|
Bachelorarbeit |
Markus Toran |
abgeschlossen |
2021 |
|
Formale Verifikation von strategischen Stabilitätsmaßen
für Scoring-Regeln mittels iterativem Wählen
|
Bachelorarbeit |
Muhammed Öz |
abgeschlossen |
2021 |
|
Formale Verifikation von Scoring-basierten Wahlverfahren
mittels komponierbarer Module
|
Bachelorarbeit |
Christian Mack |
abgeschlossen |
2021 |
|
Kompositionale Verifikation von Sozialwahleigenschaften
für übertragbare Einzelstimmgebung mit einem
interaktiven Theorembeweiser
|
Bachelorarbeit |
Maximilian Nowak |
abgeschlossen |
2021 |
|
Automatische Verifikation und Generierung von Wahlverfahren mittels komponierbarer Module
|
Masterarbeit |
Fabian Richter |
abgeschlossen |
2021 |
|
Formalisierung Fairer Ressourcenverteilung in
Rechnernetzen hinsichtlich Latenz und Datenmenge
|
Bachelorarbeit |
Joshua Brutscher |
abgeschlossen |
2020 |
|
Anwendung von Software Bounded Model Checking auf
das australische Wahlverfahren
|
Bachelorarbeit |
Thomas Caspers |
abgeschlossen |
2020 |
|
Verwendung von Systemabhängigkeitsgraphen zur automatischen Generierung von Frame-Bedingungen
|
Bachelorarbeit |
Michel Bodé |
abgeschlossen |
2020 |
|
Formale Verifikation von Condorcet-Wahlverfahren
mittels komponierbarer Module
|
Bachelorarbeit |
Stephan Bohr |
abgeschlossen |
2020 |
|
Ein komponentenbasierter Ansatz zum eigenschaftsorientierten
Design von Wahlverfahren
|
Praxis der Forschung
|
Karsten Diekhoff, Jonas Krämer |
abgeschlossen |
2019 |
|
Modulare Verifikation von JML-Verträgen mittels
beschränkter Modellprüfung
|
Masterarbeit |
Jonas Klamroth |
abgeschlossen |
2019 |
|
Spezifikation und Verifikation von Smart Contracts
in Hyperledger Fabric
|
Masterarbeit |
Jonas Schiffl |
abgeschlossen |
2018 |
|
Vergleichen deduktiver Programmverifikation
von Graphdatenstrukturen
|
Bachelorarbeit |
Jelle Kübler |
abgeschlossen |
2018 |
|
Automatische logik-basierte Margin-Berechnung
für effiziente Audits politischer Wahlen
|
Bachelorarbeit |
Larissa Löw |
abgeschlossen |
2018 |
|
Produktprogramme in Java für
effiziente relationale Verifikation
|
Bachelorarbeit |
Pascal Gabriel |
abgeschlossen |
2018 |
|
Anwendung beschränkter Modellprüfung auf
das deutsche Sitzverteilungsverfahren
|
Bachelorarbeit |
Grigori Schapoval |
abgeschlossen |
2018 |
|
Eine Teile-und-Herrsche-Strategie mit Block- und
Schleifenverträgen zur deduktiven Programmverifikation
|
Bachelorarbeit |
Florian Lanzinger |
abgeschlossen |
2018 |
|
Formale Verifikation von fairem Datenverkehr
|
Praxis der Forschung
|
Almut Demel |
abgeschlossen |
2017 |
|
Fallstudien zur deduktiven Verifikation
relationaler Eigenschaften von Wahlverfahren
|
Bachelorarbeit |
Till Neuber |
abgeschlossen |
2016 |
|
Kombination von graph-basierter und deduktiver
Informationsfluss-Analyse zum Nachweis von Nichtinterferenz
|
Praxis der Forschung
|
Marko Kleine Büning |
abgeschlossen |
2016 |
