Risikobegrenzende Audits für Online-Wahlen
|
Praxis der Forschung
|
Anne Hoff |
vergeben
|
2023 |
Verifizierte Konstruktion zustimmungsbasierter Komitee-Wahlverfahren
|
Praxis der Forschung
|
Henriette Färber |
laufend |
2023 |
Programmsynthese basierend auf formalen Spezifikationen für Correctness by Construction in CorC
|
Masterarbeit |
Dirk Neumann |
laufend |
2023 |
Formale Verifikation von Symmetrieeigenschaften in distanzrationalisierbaren Wahlverfahren
|
Bachelorarbeit |
Alicia Appelhagen |
laufend |
2023 |
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 |