Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: 10.1007/s10270-024-01262-1
- Klassifikation
-
Recht
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2025
- Urheber
- DOI
-
10.18154/RWTH-2025-01507
- URN
-
urn:nbn:de:101:1-2502200050307.210275648917
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:21 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ramadan, Qusai
- Konersmann, Marco
- Ahmadian, Amir Shayan
- Jürjens, Jan
- Staab, Steffen
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2025
Ähnliche Objekte (12)
Detecting DeFi securities violations from token smart contract code
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
Model-based and actual independence for fairness-aware classification
A computer vision system for detecting motorcycle violations in pedestrian zones
Model-based Generation of Assertions for Pre-silicon Verification
EARTH OBSERVATIONS AS A TOOL FOR DETECTING AND MONITORING POTENTIAL ENVIRONMENTAL VIOLATIONS AND POLICY IMPLEMENTATION
Soviet violations agreement
Detecting violations of the monotonicity condition under the assumption of weak disposability in eco-DEA models
Integrating formal verification into the model-based development of adaptive embedded systems
Formal verification of low-level code in a model-based refinement process
Fairness
Detecting DeFi securities violations from token smart contract code
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
Model-based and actual independence for fairness-aware classification
A computer vision system for detecting motorcycle violations in pedestrian zones
Model-based Generation of Assertions for Pre-silicon Verification
EARTH OBSERVATIONS AS A TOOL FOR DETECTING AND MONITORING POTENTIAL ENVIRONMENTAL VIOLATIONS AND POLICY IMPLEMENTATION
Soviet violations agreement
Detecting violations of the monotonicity condition under the assumption of weak disposability in eco-DEA models
Integrating formal verification into the model-based development of adaptive embedded systems
Formal verification of low-level code in a model-based refinement process
Fairness
Detecting DeFi securities violations from token smart contract code
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
Model-based and actual independence for fairness-aware classification
A computer vision system for detecting motorcycle violations in pedestrian zones
Model-based Generation of Assertions for Pre-silicon Verification
EARTH OBSERVATIONS AS A TOOL FOR DETECTING AND MONITORING POTENTIAL ENVIRONMENTAL VIOLATIONS AND POLICY IMPLEMENTATION
Soviet violations agreement
Detecting violations of the monotonicity condition under the assumption of weak disposability in eco-DEA models
Integrating formal verification into the model-based development of adaptive embedded systems
Formal verification of low-level code in a model-based refinement process