Prof. Dr. Staab, Co-Sprecher von IRIS, veröffentlichte zusammen mit Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, und Jan Jürjens folgenden Artikel: "MBFair: A Model-Based Verification Methodology for Detecting Violations of Individual Fairness" (MBFair: Eine modellbasierte Verifizierungsmethode zur Erkennung von Verstößen gegen die individuelle Fairness).
Dieser Artikel befasst sich mit der Frage der Diskriminierung in Entscheidungssystemen, insbesondere im Zusammenhang mit Merkmalen wie Geschlecht und ethnischer Zugehörigkeit. Prof. Dr. Staab und sein Team stellen eine neue Methode namens MBFair vor. Diese Methode verwendet UML-basierte Softwaredesigns, um die individuelle Fairness vom Beginn der Softwareentwicklung zu gewährleisten. MBFair erstellt zeitliche Logikklauseln, die dazu beitragen, jegliches diskriminierendes Verhalten in der Software zu erkennen und zu melden. Der Artikel zeigt, dass MBFair in drei realen Fallstudien wirksam ist. Dies hilf Analysten, Diskriminierung zuverlässiger aufzuspüren und ist verlässlicher als manuelle Methoden.
| Kontakt |
|---|