{"id":"https://openalex.org/W2571842384","doi":"https://doi.org/10.1109/bibm.2016.7822737","title":"CyberCardia project: Modeling, verification and validation of implantable cardiac devices","display_name":"CyberCardia project: Modeling, verification and validation of implantable cardiac devices","publication_year":2016,"publication_date":"2016-12-01","ids":{"openalex":"https://openalex.org/W2571842384","doi":"https://doi.org/10.1109/bibm.2016.7822737","mag":"2571842384"},"language":"en","primary_location":{"id":"doi:10.1109/bibm.2016.7822737","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bibm.2016.7822737","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)","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/A5100781401","display_name":"Md. Ariful Islam","orcid":"https://orcid.org/0000-0001-8728-3266"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Md. Ariful Islam","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103355643","display_name":"Hyunkyung Lim","orcid":null},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hyunkyung Lim","raw_affiliation_strings":["Stony Brook University, United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stony Brook University, United States","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016140478","display_name":"Nicola Paoletti","orcid":"https://orcid.org/0000-0002-4723-5363"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nicola Paoletti","raw_affiliation_strings":["Stony Brook University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stony Brook University","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021880681","display_name":"Houssam Abbas","orcid":"https://orcid.org/0000-0002-8096-2618"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Houssam Abbas","raw_affiliation_strings":["University of Pennsylvania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania","institution_ids":["https://openalex.org/I36788626"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053473939","display_name":"Zhihao Jiang","orcid":"https://orcid.org/0000-0002-6730-6915"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhihao Jiang","raw_affiliation_strings":["University of Pennsylvania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania","institution_ids":["https://openalex.org/I36788626"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067266084","display_name":"Jacek Cyranka","orcid":"https://orcid.org/0000-0001-5719-0616"},"institutions":[{"id":"https://openalex.org/I4210096112","display_name":"Rutgers Sexual and Reproductive Health and Rights","ror":"https://ror.org/00rcvgx40","country_code":"NL","type":"other","lineage":["https://openalex.org/I4210096112"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jacek Cyranka","raw_affiliation_strings":["Rutgers University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rutgers University","institution_ids":["https://openalex.org/I4210096112"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016408902","display_name":"Rance Cleaveland","orcid":"https://orcid.org/0000-0002-4952-5380"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rance Cleaveland","raw_affiliation_strings":["University of Maryland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Maryland","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081085178","display_name":"Sicun Gao","orcid":"https://orcid.org/0000-0003-2524-4960"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sicun Gao","raw_affiliation_strings":["Massachusetts Institute of Technology, United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, United States","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105356861","display_name":"Edmund M. Clarke","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edmund Clarke","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034362557","display_name":"Radu Grosu","orcid":"https://orcid.org/0000-0001-5715-2142"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Radu Grosu","raw_affiliation_strings":["Vienna University of Technology, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vienna University of Technology, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009445756","display_name":"Rahul Mangharam","orcid":"https://orcid.org/0000-0002-3388-8283"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rahul Mangharam","raw_affiliation_strings":["University of Pennsylvania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania","institution_ids":["https://openalex.org/I36788626"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053674481","display_name":"Elizabeth M. Cherry","orcid":"https://orcid.org/0000-0001-5194-9572"},"institutions":[{"id":"https://openalex.org/I155173764","display_name":"Rochester Institute of Technology","ror":"https://ror.org/00v4yb702","country_code":"US","type":"education","lineage":["https://openalex.org/I155173764"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Elizabeth Cherry","raw_affiliation_strings":["Rochester Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rochester Institute of Technology","institution_ids":["https://openalex.org/I155173764"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067356938","display_name":"Flavio H. Fenton","orcid":"https://orcid.org/0000-0002-4089-8850"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Flavio Fenton","raw_affiliation_strings":["Georgia Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013310955","display_name":"Richard A. Gray","orcid":"https://orcid.org/0000-0003-2798-6378"},"institutions":[{"id":"https://openalex.org/I1320320070","display_name":"United States Food and Drug Administration","ror":"https://ror.org/034xvzb47","country_code":"US","type":"government","lineage":["https://openalex.org/I1299022934","https://openalex.org/I1320320070"]},{"id":"https://openalex.org/I4210149736","display_name":"Food and Drug Administration","ror":"https://ror.org/05hvrsg85","country_code":"TH","type":"government","lineage":["https://openalex.org/I4210149736"]}],"countries":["TH","US"],"is_corresponding":false,"raw_author_name":"Richard A. Gray","raw_affiliation_strings":["U.S. Food and Drug Administration"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"U.S. Food and Drug Administration","institution_ids":["https://openalex.org/I4210149736","https://openalex.org/I1320320070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038334215","display_name":"James Glimm","orcid":null},"institutions":[{"id":"https://openalex.org/I4210096112","display_name":"Rutgers Sexual and Reproductive Health and Rights","ror":"https://ror.org/00rcvgx40","country_code":"NL","type":"other","lineage":["https://openalex.org/I4210096112"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"James Glimm","raw_affiliation_strings":["Rutgers University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rutgers University","institution_ids":["https://openalex.org/I4210096112"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003166096","display_name":"Shan Lin","orcid":"https://orcid.org/0000-0001-6362-2972"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shan Lin","raw_affiliation_strings":["Stony Brook University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stony Brook University","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052617216","display_name":"Qinsi Wang","orcid":"https://orcid.org/0000-0002-5868-9686"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qinsi Wang","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039202410","display_name":"Scott A. Smolka","orcid":"https://orcid.org/0000-0002-7348-630X"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott A. Smolka","raw_affiliation_strings":["Stony Brook University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stony Brook University","institution_ids":["https://openalex.org/I59553526"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":18,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4583,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7334451,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"33","issue":null,"first_page":"1445","last_page":"1452"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10217","display_name":"Cardiac electrophysiology and arrhythmias","score":0.9955000281333923,"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"}},"topics":[{"id":"https://openalex.org/T10217","display_name":"Cardiac electrophysiology and arrhythmias","score":0.9955000281333923,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9930999875068665,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6188710927963257},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.49169546365737915},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41966331005096436},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.4167637228965759},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37291035056114197},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.3475421071052551},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2636502981185913}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6188710927963257},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.49169546365737915},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41966331005096436},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.4167637228965759},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37291035056114197},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.3475421071052551},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2636502981185913},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/bibm.2016.7822737","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bibm.2016.7822737","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6100000143051147,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W31892762","https://openalex.org/W197505684","https://openalex.org/W1496681274","https://openalex.org/W1599569911","https://openalex.org/W1599871786","https://openalex.org/W1805500150","https://openalex.org/W1933285794","https://openalex.org/W1974668957","https://openalex.org/W1984336411","https://openalex.org/W1985940938","https://openalex.org/W1986023817","https://openalex.org/W1991149613","https://openalex.org/W1991256549","https://openalex.org/W1994666309","https://openalex.org/W2004262141","https://openalex.org/W2008652195","https://openalex.org/W2009549127","https://openalex.org/W2020930837","https://openalex.org/W2023808162","https://openalex.org/W2034691810","https://openalex.org/W2045745761","https://openalex.org/W2049399166","https://openalex.org/W2053398545","https://openalex.org/W2065814524","https://openalex.org/W2072601067","https://openalex.org/W2077331262","https://openalex.org/W2077340130","https://openalex.org/W2078344772","https://openalex.org/W2080148075","https://openalex.org/W2085086411","https://openalex.org/W2087186149","https://openalex.org/W2094058963","https://openalex.org/W2112051716","https://openalex.org/W2113256684","https://openalex.org/W2115755118","https://openalex.org/W2130321115","https://openalex.org/W2134403574","https://openalex.org/W2145264435","https://openalex.org/W2161023180","https://openalex.org/W2164501776","https://openalex.org/W2171907703","https://openalex.org/W2272546316","https://openalex.org/W2283768367","https://openalex.org/W2301270528","https://openalex.org/W2487779201","https://openalex.org/W2512428383","https://openalex.org/W2532282002","https://openalex.org/W3105710497","https://openalex.org/W4251228600","https://openalex.org/W6635898184","https://openalex.org/W6679977381"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W138768472","https://openalex.org/W2806948274","https://openalex.org/W2367714496","https://openalex.org/W2538131842","https://openalex.org/W2351190957","https://openalex.org/W1597034473","https://openalex.org/W2103482891","https://openalex.org/W2018022661","https://openalex.org/W61995002"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"survey":[4],"recent":[5],"progress":[6],"in":[7,28,66,115],"CyberCardia":[8,21,124],"project,":[9],"a":[10,64,120],"CPS":[11],"Frontier":[12],"project":[13,22],"funded":[14],"by":[15],"the":[16,29,32,42,56,61,79,123,142],"National":[17],"Science":[18],"Foundation.":[19],"The":[20,52,113],"will":[23,126],"lead":[24],"to":[25,59,77,85,96],"significant":[26],"advances":[27],"state":[30],"of":[31,44,63,81,122,144],"art":[33],"for":[34,55,70],"system":[35],"verification":[36],"and":[37,47,50,84,95,130,137],"cardiac":[38],"therapies":[39],"based":[40],"on":[41,108],"use":[43],"formal":[45],"methods":[46],"closed-loop":[48],"control":[49],"verification.":[51],"animating":[53],"vision":[54],"work":[57],"is":[58],"enable":[60],"development":[62,80],"true":[65],"silico":[67],"design":[68],"methodology":[69],"medical":[71],"devices":[72,83],"that":[73,89,103],"can":[74,105],"be":[75,106],"used":[76,107],"speed":[78],"new":[82],"provide":[86],"greater":[87],"assurance":[88],"their":[90,111],"behavior":[91],"matches":[92],"designer":[93],"intentions,":[94],"pass":[97],"regulatory":[98],"muster":[99],"more":[100,146],"quickly":[101],"so":[102],"they":[104],"patients":[109],"needing":[110],"care.":[112],"acceleration":[114],"medical-device":[116],"innovation":[117],"achievable":[118],"as":[119,134],"result":[121],"research":[125],"also":[127],"have":[128],"long-term":[129],"sustained":[131],"societal":[132],"benefits,":[133],"better":[135],"diagnostic":[136],"therapeutic":[138],"technologies":[139],"enter":[140],"into":[141],"practice":[143],"medicine":[145],"quickly.":[147]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}