{"id":"https://openalex.org/W2908151709","doi":"https://doi.org/10.29007/6zxt","title":"Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions","display_name":"Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions","publication_year":2018,"publication_date":"2018-10-23","ids":{"openalex":"https://openalex.org/W2908151709","doi":"https://doi.org/10.29007/6zxt","mag":"2908151709"},"language":"en","primary_location":{"id":"doi:10.29007/6zxt","is_oa":true,"landing_page_url":"https://doi.org/10.29007/6zxt","pdf_url":"https://easychair.org/publications/open/xgqz","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/xgqz","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028747794","display_name":"Holger Hermanns","orcid":"https://orcid.org/0000-0002-2766-9615"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Holger Hermanns","raw_affiliation_strings":["Saarland University, Saarland Informatics Campus, Germany"],"affiliations":[{"raw_affiliation_string":"Saarland University, Saarland Informatics Campus, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090882382","display_name":"Sebastian Biewer","orcid":"https://orcid.org/0000-0002-6897-2506"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Biewer","raw_affiliation_strings":["Saarland University, Saarland Informatics Campus, Germany"],"affiliations":[{"raw_affiliation_string":"Saarland University, Saarland Informatics Campus, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059610025","display_name":"Pedro R. D\u2019Argenio","orcid":"https://orcid.org/0000-0002-8528-9215"},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"government","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I166401450","display_name":"Universidad Nacional de C\u00f3rdoba","ror":"https://ror.org/056tb7j80","country_code":"AR","type":"education","lineage":["https://openalex.org/I166401450"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["AR","DE"],"is_corresponding":false,"raw_author_name":"Pedro R. D'Argenio","raw_affiliation_strings":["Universidad Nacional de C\u00f3rdoba, Argentina","CONICET, Argentina","Saarland University, Saarland Informatics Campus, Germany"],"affiliations":[{"raw_affiliation_string":"Universidad Nacional de C\u00f3rdoba, Argentina","institution_ids":["https://openalex.org/I166401450"]},{"raw_affiliation_string":"CONICET, Argentina","institution_ids":["https://openalex.org/I151201029"]},{"raw_affiliation_string":"Saarland University, Saarland Informatics Campus, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011671981","display_name":"Maximilian A. K\u00f6hl","orcid":"https://orcid.org/0000-0003-2551-2814"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Maximilian A. K\u00f6hl","raw_affiliation_strings":["Saarland University, Saarland Informatics Campus, Germany"],"affiliations":[{"raw_affiliation_string":"Saarland University, Saarland Informatics Campus, Germany","institution_ids":["https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5028747794"],"corresponding_institution_ids":["https://openalex.org/I91712215"],"apc_list":null,"apc_paid":null,"fwci":1.0686,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.80703593,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"57","issue":null,"first_page":"1","last_page":""},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/automotive-industry","display_name":"Automotive industry","score":0.7123881578445435},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6494090557098389},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.6081618666648865},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5893909931182861},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4809941053390503},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.4629133343696594},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.41162100434303284},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40097612142562866},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3313487470149994},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.24144941568374634},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.23816823959350586}],"concepts":[{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.7123881578445435},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6494090557098389},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.6081618666648865},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5893909931182861},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4809941053390503},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.4629133343696594},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.41162100434303284},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40097612142562866},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3313487470149994},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24144941568374634},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23816823959350586},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/6zxt","is_oa":true,"landing_page_url":"https://doi.org/10.29007/6zxt","pdf_url":"https://easychair.org/publications/open/xgqz","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/6zxt","is_oa":true,"landing_page_url":"https://doi.org/10.29007/6zxt","pdf_url":"https://easychair.org/publications/open/xgqz","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.46000000834465027}],"awards":[{"id":"https://openalex.org/G8101528259","display_name":null,"funder_award_id":"PICT-2017-3894","funder_id":"https://openalex.org/F4320334832","funder_display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"},{"id":"https://openalex.org/G8603467370","display_name":null,"funder_award_id":"PICT-","funder_id":"https://openalex.org/F4320334832","funder_display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"}],"funders":[{"id":"https://openalex.org/F4320323322","display_name":"Universit\u00e4t des Saarlandes","ror":"https://ror.org/01jdpyv68"},{"id":"https://openalex.org/F4320334832","display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","ror":"https://ror.org/03stxzb56"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2908151709.pdf","grobid_xml":"https://content.openalex.org/works/W2908151709.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W137891084","https://openalex.org/W1213177963","https://openalex.org/W2113012730","https://openalex.org/W2126818664","https://openalex.org/W2143236904","https://openalex.org/W2267013715","https://openalex.org/W2523125815","https://openalex.org/W2529025013","https://openalex.org/W2678414931","https://openalex.org/W2899959124","https://openalex.org/W2964335063","https://openalex.org/W3193425448","https://openalex.org/W4235023933","https://openalex.org/W4256603845","https://openalex.org/W4297792411","https://openalex.org/W6766959196"],"related_works":["https://openalex.org/W1862240612","https://openalex.org/W2046928991","https://openalex.org/W2160834655","https://openalex.org/W2401141119","https://openalex.org/W2381462255","https://openalex.org/W2375248064","https://openalex.org/W1605353610","https://openalex.org/W2162925013","https://openalex.org/W2348063302","https://openalex.org/W2901888634"],"abstract_inverted_index":{"Emission":[0],"cleaning":[1],"in":[2,153],"modern":[3],"cars":[4,127],"is":[5,25],"controlled":[6],"by":[7,33],"embedded":[8,102],"software.":[9,36],"In":[10],"this":[11,66],"context,":[12],"the":[13,22,40,58,75,80,97,101,139,158,161],"diesel":[14],"emission":[15],"scandal":[16],"has":[17],"made":[18],"it":[19],"apparent":[20],"that":[21,34,144,148],"automotive":[23],"industry":[24],"susceptible":[26],"to":[27,64,91,109,136],"fraudulent":[28,111],"behaviour,":[29],"implemented":[30],"and":[31,77,116],"effectuated":[32],"control":[35],"Mass":[37],"effects":[38,48],"make":[39],"individual":[41],"controllers":[42],"altogether":[43],"have":[44],"statistically":[45],"significant":[46],"adverse":[47],"on":[49,57],"people\u2019s":[50],"health.":[51],"This":[52],"paper":[53],"surveys":[54],"recent":[55],"work":[56],"use":[59,92],"of":[60,79,100,119,126,141,146,160,164],"rigorous":[61],"formal":[62],"techniques":[63],"attack":[65],"problem.":[67],"It":[68,87],"starts":[69],"off":[70],"with":[71],"an":[72],"introduction":[73],"into":[74],"dimension":[76],"facets":[78],"problem":[81,140],"from":[82],"a":[83],"software":[84,147],"technology":[85],"perspective.":[86],"then":[88],"details":[89],"approaches":[90],"(i)":[93],"model":[94],"checking":[95],"for":[96,122],"white-box":[98],"analysis":[99],"software,":[103,143],"(ii)":[104],"model-":[105],"based":[106],"black-box":[107],"testing":[108],"detect":[110],"behaviour":[112,152],"under":[113],"standardized":[114],"conditions,":[115],"(iii)":[117],"synthesis":[118],"runtime":[120],"monitors":[121],"real":[123],"driving":[124],"emissions":[125],"in-the-wild.":[128],"All":[129],"these":[130],"efforts":[131],"aim":[132],"at":[133],"finding":[134],"ways":[135],"eventually":[137],"ban":[138],"doped":[142],"is,":[145],"surreptitiously":[149],"alters":[150],"its":[151],"certain":[154],"circumstances":[155],"\u2013":[156],"against":[157],"interest":[159],"owner":[162],"or":[163],"society.":[165]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}