{"id":"https://openalex.org/W4241059071","doi":"https://doi.org/10.1109/wsc.2013.6721745","title":"Automatic model verification for semiconductor manufacturing simulation","display_name":"Automatic model verification for semiconductor manufacturing simulation","publication_year":2013,"publication_date":"2013-12-01","ids":{"openalex":"https://openalex.org/W4241059071","doi":"https://doi.org/10.1109/wsc.2013.6721745"},"language":"en","primary_location":{"id":"doi:10.1109/wsc.2013.6721745","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.2013.6721745","pdf_url":null,"source":{"id":"https://openalex.org/S4363607809","display_name":"2013 Winter Simulations Conference (WSC)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 Winter Simulations Conference (WSC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074310390","display_name":"Boon Ping","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Boon Ping","raw_affiliation_strings":["8 Jurong Town Hall Road #30-04 JTC Summit Singapore 609434, Singapore"],"affiliations":[{"raw_affiliation_string":"8 Jurong Town Hall Road #30-04 JTC Summit Singapore 609434, Singapore","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082304441","display_name":"Gan Peter Lendermann","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gan Peter Lendermann","raw_affiliation_strings":["8 Jurong Town Hall Road #30-04 JTC Summit Singapore 609434, Singapore"],"affiliations":[{"raw_affiliation_string":"8 Jurong Town Hall Road #30-04 JTC Summit Singapore 609434, Singapore","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109204553","display_name":"Wolfgang Sch\u00f6ll","orcid":null},"institutions":[{"id":"https://openalex.org/I137594350","display_name":"Infineon Technologies (Germany)","ror":"https://ror.org/005kw6t15","country_code":"DE","type":"company","lineage":["https://openalex.org/I137594350"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Scholl","raw_affiliation_strings":["Infineon Technologies Dresden, Dresden, GERMANY"],"affiliations":[{"raw_affiliation_string":"Infineon Technologies Dresden, Dresden, GERMANY","institution_ids":["https://openalex.org/I137594350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011888111","display_name":"Marcin Mosinski","orcid":null},"institutions":[{"id":"https://openalex.org/I137594350","display_name":"Infineon Technologies (Germany)","ror":"https://ror.org/005kw6t15","country_code":"DE","type":"company","lineage":["https://openalex.org/I137594350"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marcin Mosinski","raw_affiliation_strings":["Infineon Technologies Dresden, Dresden, GERMANY"],"affiliations":[{"raw_affiliation_string":"Infineon Technologies Dresden, Dresden, GERMANY","institution_ids":["https://openalex.org/I137594350"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006299613","display_name":"Patrick Preuss","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patrick Preuss","raw_affiliation_strings":["D-SIMLAB Technologies GmbH, Dresden, GERMANY"],"affiliations":[{"raw_affiliation_string":"D-SIMLAB Technologies GmbH, Dresden, GERMANY","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5074310390"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.46141732,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3858","last_page":"3865"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9366000294685364,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9186999797821045,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7327569723129272},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.7071179747581482},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5951948165893555},{"id":"https://openalex.org/keywords/fidelity","display_name":"Fidelity","score":0.5194537043571472},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.5078793168067932},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4929211139678955},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4917002320289612},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.439777672290802},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.4369809925556183},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.41746142506599426},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.4170488715171814},{"id":"https://openalex.org/keywords/semiconductor-device-fabrication","display_name":"Semiconductor device fabrication","score":0.41515862941741943},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.40622764825820923},{"id":"https://openalex.org/keywords/industrial-engineering","display_name":"Industrial engineering","score":0.38672322034835815},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.34076449275016785},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2700796127319336},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18623507022857666}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7327569723129272},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.7071179747581482},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5951948165893555},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.5194537043571472},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.5078793168067932},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4929211139678955},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4917002320289612},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.439777672290802},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.4369809925556183},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.41746142506599426},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.4170488715171814},{"id":"https://openalex.org/C66018809","wikidata":"https://www.wikidata.org/wiki/Q1570432","display_name":"Semiconductor device fabrication","level":3,"score":0.41515862941741943},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.40622764825820923},{"id":"https://openalex.org/C13736549","wikidata":"https://www.wikidata.org/wiki/Q4489420","display_name":"Industrial engineering","level":1,"score":0.38672322034835815},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.34076449275016785},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2700796127319336},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18623507022857666},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C160671074","wikidata":"https://www.wikidata.org/wiki/Q267131","display_name":"Wafer","level":2,"score":0.0},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/wsc.2013.6721745","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.2013.6721745","pdf_url":null,"source":{"id":"https://openalex.org/S4363607809","display_name":"2013 Winter Simulations Conference (WSC)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 Winter Simulations Conference (WSC)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.651.3063","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.3063","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://informs-sim.org/wsc13papers/includes/files/341.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6800000071525574,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W4233661683"],"related_works":["https://openalex.org/W2381850946","https://openalex.org/W4380449851","https://openalex.org/W1981780420","https://openalex.org/W2182707996","https://openalex.org/W45233828","https://openalex.org/W2964988449","https://openalex.org/W3125091513","https://openalex.org/W188202134","https://openalex.org/W4318832338","https://openalex.org/W2397952901"],"abstract_inverted_index":{"Short":[0],"Term":[1],"Simulation":[2],"(STS)":[3],"that":[4],"provides":[5],"daily":[6],"forecasts":[7],"of":[8,89],"work":[9],"center":[10],"performance":[11],"has":[12],"been":[13],"deployed":[14],"in":[15],"Infineon":[16],"Technologies":[17],"for":[18,38,62],"operational":[19],"decision":[20],"makings.":[21],"To":[22],"ensure":[23],"good":[24,34],"forecast":[25,144],"accuracy,":[26],"the":[27,79,92,110,120,131,138,142],"STS":[28],"requires":[29],"high":[30],"modeling":[31,63],"fidelity,":[32],"requiring":[33],"basic":[35],"data":[36,129],"quality":[37],"model":[39],"building.":[40],"Forecast":[41],"accuracy":[42],"is":[43],"maintained":[44],"through":[45],"an":[46,117],"Automatic":[47],"Model":[48],"Verification":[49],"(AMV)":[50],"engine.":[51],"The":[52,100],"AMV":[53,125],"monitors":[54],"and":[55,60,74,91,96,106,137],"verifies":[56],"discrepancies":[57],"between":[58,94],"simulation":[59,95,143],"reality":[61,97],"elements":[64],"such":[65,135],"as":[66],"process":[67,70],"dedication,":[68],"uptime,":[69],"time/throughput,":[71],"sampling":[72],"rate,":[73],"batch/stream":[75],"size.":[76],"It":[77],"reports":[78],"verification":[80],"results":[81],"with":[82],"a":[83],"multi-layered":[84],"view,":[85],"at":[86],"different":[87],"levels":[88],"abstraction,":[90],"gaps":[93,105],"are":[98],"highlighted.":[99],"user":[101],"can":[102],"quickly":[103],"identify":[104],"make":[107],"correction":[108],"to":[109,119,127,133,141],"errors.":[111],"In":[112],"this":[113],"paper,":[114],"we":[115],"give":[116],"insight":[118],"complete":[121],"workflow":[122],"on":[123],"how":[124],"helps":[126],"detect":[128],"issues,":[130],"options":[132],"resolve":[134],"issues":[136],"positive":[139],"effect":[140],"quality.":[145]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
