{"id":"https://openalex.org/W2005798073","doi":"https://doi.org/10.1109/thms.2014.2379661","title":"Using Model Checking to Detect Simultaneous Masking in Medical Alarms","display_name":"Using Model Checking to Detect Simultaneous Masking in Medical Alarms","publication_year":2015,"publication_date":"2015-01-08","ids":{"openalex":"https://openalex.org/W2005798073","doi":"https://doi.org/10.1109/thms.2014.2379661","mag":"2005798073"},"language":"en","primary_location":{"id":"doi:10.1109/thms.2014.2379661","is_oa":false,"landing_page_url":"https://doi.org/10.1109/thms.2014.2379661","pdf_url":null,"source":{"id":"https://openalex.org/S2476799526","display_name":"IEEE Transactions on Human-Machine Systems","issn_l":"2168-2291","issn":["2168-2291","2168-2305"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Human-Machine Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/journal_contribution/Using_Model_Checking_to_Detect_Simultaneous_Masking_in_Medical_Alarms/10753577","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072579446","display_name":"Bassam Hasanain","orcid":"https://orcid.org/0000-0001-9785-7702"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Bassam Hasanain","raw_affiliation_strings":["Department of Mechanical and Industrial Engineering, University of Illinois at Chicago, Chicago, IL, USA","Department of Mechanical and Industrial Engineering-University of Illinois at Chicago, Chicago, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical and Industrial Engineering, University of Illinois at Chicago, Chicago, IL, USA","institution_ids":["https://openalex.org/I39422238"]},{"raw_affiliation_string":"Department of Mechanical and Industrial Engineering-University of Illinois at Chicago, Chicago, IL, USA","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069803541","display_name":"Andrew D. Boyd","orcid":"https://orcid.org/0000-0002-3459-9379"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew D. Boyd","raw_affiliation_strings":["Department of Biomedical and Health Information Sciences, University of Illinois at Chicago, Chicago, IL, USA","Department of Biomedical & Health Information Sciences University of Illinois at Chicago, Chicago, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Biomedical and Health Information Sciences, University of Illinois at Chicago, Chicago, IL, USA","institution_ids":["https://openalex.org/I39422238"]},{"raw_affiliation_string":"Department of Biomedical & Health Information Sciences University of Illinois at Chicago, Chicago, IL, USA","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041183239","display_name":"Matthew L. Bolton","orcid":"https://orcid.org/0000-0002-7943-0497"},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew L. Bolton","raw_affiliation_strings":["Department of Systems and Industrial Engineering, University at Buffalo, State University of New York, Amherst, NY, USA","[Department of Systems and Industrial Engineering, University at Buffalo, State University of New York, Amherst, NY, USA]"],"affiliations":[{"raw_affiliation_string":"Department of Systems and Industrial Engineering, University at Buffalo, State University of New York, Amherst, NY, USA","institution_ids":["https://openalex.org/I63190737"]},{"raw_affiliation_string":"[Department of Systems and Industrial Engineering, University at Buffalo, State University of New York, Amherst, NY, USA]","institution_ids":["https://openalex.org/I63190737"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5072579446"],"corresponding_institution_ids":["https://openalex.org/I39422238"],"apc_list":null,"apc_paid":null,"fwci":2.5908,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.89000809,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"46","issue":"2","first_page":"174","last_page":"185"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13248","display_name":"Healthcare Technology and Patient Monitoring","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T13248","display_name":"Healthcare Technology and Patient Monitoring","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9797000288963318,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11021","display_name":"ECG Monitoring and Analysis","score":0.9757999777793884,"subfield":{"id":"https://openalex.org/subfields/2705","display_name":"Cardiology and Cardiovascular Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/masking","display_name":"Masking (illustration)","score":0.8744921684265137},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7707034945487976},{"id":"https://openalex.org/keywords/alarm","display_name":"ALARM","score":0.7556302547454834},{"id":"https://openalex.org/keywords/psychoacoustics","display_name":"Psychoacoustics","score":0.6100059151649475},{"id":"https://openalex.org/keywords/false-alarm","display_name":"False alarm","score":0.48624125123023987},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4644375443458557},{"id":"https://openalex.org/keywords/backward-masking","display_name":"Backward masking","score":0.4351484477519989},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3405115604400635},{"id":"https://openalex.org/keywords/perception","display_name":"Perception","score":0.2269166111946106},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.15689963102340698},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10566690564155579},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.07233625650405884}],"concepts":[{"id":"https://openalex.org/C2777402240","wikidata":"https://www.wikidata.org/wiki/Q6783436","display_name":"Masking (illustration)","level":2,"score":0.8744921684265137},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7707034945487976},{"id":"https://openalex.org/C2779119184","wikidata":"https://www.wikidata.org/wiki/Q294350","display_name":"ALARM","level":2,"score":0.7556302547454834},{"id":"https://openalex.org/C9940772","wikidata":"https://www.wikidata.org/wiki/Q557399","display_name":"Psychoacoustics","level":3,"score":0.6100059151649475},{"id":"https://openalex.org/C2776836416","wikidata":"https://www.wikidata.org/wiki/Q1364844","display_name":"False alarm","level":2,"score":0.48624125123023987},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4644375443458557},{"id":"https://openalex.org/C2776817677","wikidata":"https://www.wikidata.org/wiki/Q4839818","display_name":"Backward masking","level":3,"score":0.4351484477519989},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3405115604400635},{"id":"https://openalex.org/C26760741","wikidata":"https://www.wikidata.org/wiki/Q160402","display_name":"Perception","level":2,"score":0.2269166111946106},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.15689963102340698},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10566690564155579},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.07233625650405884},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/thms.2014.2379661","is_oa":false,"landing_page_url":"https://doi.org/10.1109/thms.2014.2379661","pdf_url":null,"source":{"id":"https://openalex.org/S2476799526","display_name":"IEEE Transactions on Human-Machine Systems","issn_l":"2168-2291","issn":["2168-2291","2168-2305"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Human-Machine Systems","raw_type":"journal-article"},{"id":"pmh:oai:figshare.com:article/10753577","is_oa":true,"landing_page_url":null,"pdf_url":"https://figshare.com/articles/journal_contribution/Using_Model_Checking_to_Detect_Simultaneous_Masking_in_Medical_Alarms/10753577","source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/10753577","is_oa":true,"landing_page_url":null,"pdf_url":"https://figshare.com/articles/journal_contribution/Using_Model_Checking_to_Detect_Simultaneous_Masking_in_Medical_Alarms/10753577","source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[{"score":0.46000000834465027,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2005798073.pdf"},"referenced_works_count":66,"referenced_works":["https://openalex.org/W1502757007","https://openalex.org/W1519476818","https://openalex.org/W1531018690","https://openalex.org/W1535516115","https://openalex.org/W1545060512","https://openalex.org/W1553834069","https://openalex.org/W1579164394","https://openalex.org/W1612453857","https://openalex.org/W1658344067","https://openalex.org/W1933860170","https://openalex.org/W1970308149","https://openalex.org/W1970861772","https://openalex.org/W1974183467","https://openalex.org/W1975293845","https://openalex.org/W1977386698","https://openalex.org/W1986434308","https://openalex.org/W1992468098","https://openalex.org/W2007096035","https://openalex.org/W2009398155","https://openalex.org/W2013725065","https://openalex.org/W2014365331","https://openalex.org/W2021279484","https://openalex.org/W2026489387","https://openalex.org/W2029418069","https://openalex.org/W2031317277","https://openalex.org/W2031347071","https://openalex.org/W2032101280","https://openalex.org/W2033093547","https://openalex.org/W2034717157","https://openalex.org/W2043843997","https://openalex.org/W2050397056","https://openalex.org/W2068084117","https://openalex.org/W2070389865","https://openalex.org/W2074032036","https://openalex.org/W2075389934","https://openalex.org/W2093856021","https://openalex.org/W2094065989","https://openalex.org/W2098784258","https://openalex.org/W2101324577","https://openalex.org/W2101508170","https://openalex.org/W2109197536","https://openalex.org/W2110107911","https://openalex.org/W2126695826","https://openalex.org/W2129111495","https://openalex.org/W2131860114","https://openalex.org/W2135681820","https://openalex.org/W2144520790","https://openalex.org/W2147340401","https://openalex.org/W2150519206","https://openalex.org/W2151755558","https://openalex.org/W2155486224","https://openalex.org/W2168831295","https://openalex.org/W2170486381","https://openalex.org/W2171608978","https://openalex.org/W2395698814","https://openalex.org/W2419294579","https://openalex.org/W4242177437","https://openalex.org/W4292464411","https://openalex.org/W4296471858","https://openalex.org/W4301513688","https://openalex.org/W6630089723","https://openalex.org/W6630995465","https://openalex.org/W6632700671","https://openalex.org/W6633114069","https://openalex.org/W6674910027","https://openalex.org/W6717260168"],"related_works":["https://openalex.org/W1963881226","https://openalex.org/W2101231414","https://openalex.org/W2017893001","https://openalex.org/W2022046788","https://openalex.org/W4235527717","https://openalex.org/W2156537424","https://openalex.org/W1998755856","https://openalex.org/W1650385383","https://openalex.org/W1519490734","https://openalex.org/W1988839336"],"abstract_inverted_index":{"The":[0],"ability":[1],"of":[2,19,35,63,80,104,124,127],"people":[3],"to":[4,8,14,40,119],"hear":[5],"and":[6,17,112,157],"respond":[7],"auditory":[9],"medical":[10,86],"alarms":[11,24,128],"is":[12,117],"critical":[13],"the":[15,64,139],"health":[16],"safety":[18],"patients.":[20],"Unfortunately,":[21],"concurrently":[22],"sounding":[23],"can":[25,129],"perceptually":[26],"interact":[27,130],"in":[28,47,61,69,85,131],"ways":[29,132],"that":[30,133],"mask":[31],"one":[32],"or":[33],"more":[34],"them:":[36],"making":[37],"them":[38],"impossible":[39],"hear.":[41],"Because":[42],"masking":[43,60,83],"may":[44],"only":[45],"occur":[46],"extremely":[48],"specific":[49],"and/or":[50],"rare":[51],"situations,":[52],"experimental":[53],"evaluation":[54],"techniques":[55],"are":[56,91],"insufficient":[57],"for":[58,76,141],"detecting":[59],"all":[62],"potential":[65],"alarm":[66,87],"configurations":[67,88],"used":[68],"medicine.":[70],"Thus,":[71],"a":[72,99,102,122,125,154],"real":[73],"need":[74],"exists":[75,84],"computational":[77],"methods":[78],"capable":[79],"determining":[81],"if":[82],"before":[89],"they":[90],"deployed.":[92],"In":[93],"this":[94,142],"paper,":[95],"we":[96],"present":[97],"such":[98],"method.":[100],"Using":[101],"combination":[103],"formal":[105],"modeling,":[106,108],"psychoacoustic":[107],"temporal":[109],"logic":[110],"specification,":[111],"model":[113],"checking,":[114],"our":[115],"method":[116],"able":[118],"prove":[120],"whether":[121],"modeled":[123],"configuration":[126],"produce":[134],"masking.":[135],"This":[136],"paper":[137],"provides":[138],"motivation":[140],"method,":[143],"presents":[144],"its":[145,148,151],"details,":[146],"describes":[147],"implementation,":[149],"demonstrates":[150],"power":[152],"with":[153],"case":[155],"study,":[156],"outlines":[158],"future":[159],"work.":[160]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}