A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “model-based verification” 1

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

MBFair: a model-based verification methodology for detecting violations of individual fairness
2024 Software & Systems Modeling article Social Sciences Ethics and Social Impacts of AI Open access

Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab

1

citations

1 result