{"id":"https://openalex.org/W4399503701","doi":"https://doi.org/10.1007/s10270-024-01184-y","title":"MBFair: a model-based verification methodology for detecting violations of individual fairness","display_name":"MBFair: a model-based verification methodology for detecting violations of individual fairness","publication_year":2024,"publication_date":"2024-06-10","ids":{"openalex":"https://openalex.org/W4399503701","doi":"https://doi.org/10.1007/s10270-024-01184-y"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-024-01184-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01184-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01184-y.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01184-y.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069147095","display_name":"Qusai Ramadan","orcid":"https://orcid.org/0000-0001-8159-918X"},"institutions":[{"id":"https://openalex.org/I16264642","display_name":"Koblenz University of Applied Sciences","ror":"https://ror.org/04j351e79","country_code":"DE","type":"education","lineage":["https://openalex.org/I16264642"]},{"id":"https://openalex.org/I4387153937","display_name":"Universit\u00e4t Koblenz","ror":"https://ror.org/0433e6t24","country_code":null,"type":"education","lineage":["https://openalex.org/I4387153937"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Qusai Ramadan","raw_affiliation_strings":["University of Koblenz, Koblenz, Germany"],"affiliations":[{"raw_affiliation_string":"University of Koblenz, Koblenz, Germany","institution_ids":["https://openalex.org/I16264642","https://openalex.org/I4387153937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082924748","display_name":"Marco Konersmann","orcid":"https://orcid.org/0000-0003-3452-5772"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marco Konersmann","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029451014","display_name":"Amir Shayan Ahmadian","orcid":"https://orcid.org/0000-0002-0376-3869"},"institutions":[{"id":"https://openalex.org/I16264642","display_name":"Koblenz University of Applied Sciences","ror":"https://ror.org/04j351e79","country_code":"DE","type":"education","lineage":["https://openalex.org/I16264642"]},{"id":"https://openalex.org/I4387153937","display_name":"Universit\u00e4t Koblenz","ror":"https://ror.org/0433e6t24","country_code":null,"type":"education","lineage":["https://openalex.org/I4387153937"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Amir Shayan Ahmadian","raw_affiliation_strings":["University of Koblenz, Koblenz, Germany"],"affiliations":[{"raw_affiliation_string":"University of Koblenz, Koblenz, Germany","institution_ids":["https://openalex.org/I16264642","https://openalex.org/I4387153937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029120753","display_name":"Jan J\u00fcrjens","orcid":"https://orcid.org/0000-0002-8938-0470"},"institutions":[{"id":"https://openalex.org/I16264642","display_name":"Koblenz University of Applied Sciences","ror":"https://ror.org/04j351e79","country_code":"DE","type":"education","lineage":["https://openalex.org/I16264642"]},{"id":"https://openalex.org/I4210163630","display_name":"Fraunhofer Institute for Software and Systems Engineering","ror":"https://ror.org/058kjq542","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210163630","https://openalex.org/I4923324"]},{"id":"https://openalex.org/I4387153937","display_name":"Universit\u00e4t Koblenz","ror":"https://ror.org/0433e6t24","country_code":null,"type":"education","lineage":["https://openalex.org/I4387153937"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan J\u00fcrjens","raw_affiliation_strings":["Fraunhofer-Institute for Software and Systems Engineering ISST, Dortmund, Germany","University of Koblenz, Koblenz, Germany"],"affiliations":[{"raw_affiliation_string":"Fraunhofer-Institute for Software and Systems Engineering ISST, Dortmund, Germany","institution_ids":["https://openalex.org/I4210163630"]},{"raw_affiliation_string":"University of Koblenz, Koblenz, Germany","institution_ids":["https://openalex.org/I16264642","https://openalex.org/I4387153937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062807811","display_name":"Steffen Staab","orcid":"https://orcid.org/0000-0002-0780-4154"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]},{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["DE","GB"],"is_corresponding":false,"raw_author_name":"Steffen Staab","raw_affiliation_strings":["University of Southampton, Southampton, UK","Universit\u00e4t Stuttgart, Stuttgart, Germany"],"affiliations":[{"raw_affiliation_string":"University of Southampton, Southampton, UK","institution_ids":["https://openalex.org/I43439940"]},{"raw_affiliation_string":"Universit\u00e4t Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5069147095"],"corresponding_institution_ids":["https://openalex.org/I16264642","https://openalex.org/I4387153937"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.3605,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56427858,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"24","issue":"1","first_page":"111","last_page":"136"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9861000180244446,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5712880492210388},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.36648324131965637},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.32226037979125977}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5712880492210388},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.36648324131965637},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.32226037979125977}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s10270-024-01184-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01184-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01184-y.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},{"id":"pmh:oai:eprints.soton.ac.uk:491346","is_oa":true,"landing_page_url":"http://doi.org/10.1007/s10270-024-01184-y>).","pdf_url":"https://eprints.soton.ac.uk/491346/1/SoSyM24_MBFair_2_.pdf","source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:doi:10.18419/opus-16691","is_oa":true,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-167100","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:null:publica/475552","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/475552","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"}],"best_oa_location":{"id":"doi:10.1007/s10270-024-01184-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01184-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01184-y.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.699999988079071,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1974542962","display_name":null,"funder_award_id":"Sk\u0142odowska","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2689612763","display_name":null,"funder_award_id":"Marie","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6100177302","display_name":null,"funder_award_id":"Sk\u0142odowska","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G6814690871","display_name":null,"funder_award_id":"860630","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7901872499","display_name":null,"funder_award_id":"Marie","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G7955706205","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G8084396017","display_name":null,"funder_award_id":"860630","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334679","display_name":"Research Executive Agency","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338337","display_name":"H2020 Marie Sk\u0142odowska-Curie Actions","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399503701.pdf"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W66420102","https://openalex.org/W1486178352","https://openalex.org/W1608087281","https://openalex.org/W1648303880","https://openalex.org/W1965024948","https://openalex.org/W1968563362","https://openalex.org/W1975879668","https://openalex.org/W2016064176","https://openalex.org/W2034466638","https://openalex.org/W2040620802","https://openalex.org/W2041177768","https://openalex.org/W2063647782","https://openalex.org/W2094873755","https://openalex.org/W2100960835","https://openalex.org/W2114298495","https://openalex.org/W2115309705","https://openalex.org/W2129083927","https://openalex.org/W2141223953","https://openalex.org/W2144969491","https://openalex.org/W2155988378","https://openalex.org/W2160086685","https://openalex.org/W2165203881","https://openalex.org/W2171427669","https://openalex.org/W2272543030","https://openalex.org/W2340696859","https://openalex.org/W2478938965","https://openalex.org/W2490182754","https://openalex.org/W2552959298","https://openalex.org/W2592565489","https://openalex.org/W2609237802","https://openalex.org/W2616536620","https://openalex.org/W2621647739","https://openalex.org/W2730550703","https://openalex.org/W2759641418","https://openalex.org/W2762833920","https://openalex.org/W2766605773","https://openalex.org/W2799809894","https://openalex.org/W2806879248","https://openalex.org/W2809878087","https://openalex.org/W2910185446","https://openalex.org/W2913771223","https://openalex.org/W2963742154","https://openalex.org/W3004493409","https://openalex.org/W3005072117","https://openalex.org/W3123523873","https://openalex.org/W4205736829","https://openalex.org/W4247064801","https://openalex.org/W4248361652","https://openalex.org/W4251228600","https://openalex.org/W4288617757","https://openalex.org/W4289258088","https://openalex.org/W6629027923"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"Decision-making":[1],"systems":[2],"are":[3],"prone":[4],"to":[5,11,58],"discrimination":[6,35],"against":[7,124],"individuals":[8],"with":[9,56,150],"regard":[10,57],"protected":[12],"characteristics":[13],"such":[14,170],"as":[15,171],"gender":[16],"and":[17,20,106,121,132],"ethnicity.":[18],"Detecting":[19],"explaining":[21],"the":[22,32,37,78,82,87,113,143],"discriminatory":[23],"behavior":[24],"of":[25,34,39,81,89,115,154],"implemented":[26],"software":[27,40,54],"is":[28,65,135],"difficult.":[29],"To":[30],"avoid":[31],"possibility":[33],"from":[36],"onset":[38],"development,":[41],"we":[42],"propose":[43],"a":[44,99,103,107,118,125,151],"model-based":[45],"methodology":[46],"called":[47],"MBFair":[48,64,90,116,173],"that":[49,141,156,163],"allows":[50],"for":[51,167],"verifying":[52],"UML-based":[53],"designs":[55],"individual":[59,79],"fairness.":[60],"The":[61],"verification":[62,73],"in":[63,95,117,128],"performed":[66],"by":[67],"generating":[68],"temporal":[69],"logic":[70],"clauses,":[71],"whose":[72],"results":[74,149],"enable":[75],"reporting":[76],"on":[77],"fairness":[80],"targeted":[83],"software.":[84],"We":[85,110,161],"study":[86,120],"applicability":[88],"using":[91],"three":[92],"case":[93],"studies":[94],"real-world":[96],"settings":[97],"including":[98],"bank":[100],"services":[101],"system,":[102,105],"delivery":[104],"loan":[108],"system.":[109],"empirically":[111],"evaluate":[112],"necessity":[114],"user":[119],"compare":[122],"it":[123],"baseline":[126],"scenario":[127],"which":[129],"no":[130],"modeling":[131],"tool":[133],"support":[134,166],"offered.":[136],"Our":[137],"empirical":[138],"evaluation":[139],"indicates":[140],"analyzing":[142],"UML":[144],"models":[145],"manually":[146],"produces":[147],"unreliable":[148],"high":[152],"chance":[153],"46%":[155],"analysts":[157,164],"overlook":[158],"true-positive":[159],"discrimination.":[160],"conclude":[162],"require":[165],"fairness-related":[168],"analysis,":[169],"our":[172],"methodology.":[174]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}