{"id":"https://openalex.org/W4379115516","doi":"https://doi.org/10.1109/ddecs57882.2023.10139574","title":"Verifying Bio-Electronic Systems","display_name":"Verifying Bio-Electronic Systems","publication_year":2023,"publication_date":"2023-05-03","ids":{"openalex":"https://openalex.org/W4379115516","doi":"https://doi.org/10.1109/ddecs57882.2023.10139574"},"language":"en","primary_location":{"id":"doi:10.1109/ddecs57882.2023.10139574","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ddecs57882.2023.10139574","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5040819694","display_name":"Joseline Heuer","orcid":null},"institutions":[{"id":"https://openalex.org/I4210088033","display_name":"Hamm-Lippstadt University of Applied Sciences","ror":"https://ror.org/001rdde17","country_code":"DE","type":"education","lineage":["https://openalex.org/I4210088033"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Joseline Heuer","raw_affiliation_strings":["Hochschule Hamm-Lippstadt,Hamm,Germany","Hochschule Hamm-Lippstadt, Hamm, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hochschule Hamm-Lippstadt,Hamm,Germany","institution_ids":["https://openalex.org/I4210088033"]},{"raw_affiliation_string":"Hochschule Hamm-Lippstadt, Hamm, Germany","institution_ids":["https://openalex.org/I4210088033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051458416","display_name":"Ren\u00e9 Krenz-B\u00e5\u00e5th","orcid":null},"institutions":[{"id":"https://openalex.org/I4210088033","display_name":"Hamm-Lippstadt University of Applied Sciences","ror":"https://ror.org/001rdde17","country_code":"DE","type":"education","lineage":["https://openalex.org/I4210088033"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ren\u00e9 Krenz-B\u00e5\u00e5th","raw_affiliation_strings":["Hochschule Hamm-Lippstadt,Hamm,Germany","Hochschule Hamm-Lippstadt, Hamm, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hochschule Hamm-Lippstadt,Hamm,Germany","institution_ids":["https://openalex.org/I4210088033"]},{"raw_affiliation_string":"Hochschule Hamm-Lippstadt, Hamm, Germany","institution_ids":["https://openalex.org/I4210088033"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007015294","display_name":"Roman Obermaisser","orcid":"https://orcid.org/0009-0002-4483-1503"},"institutions":[{"id":"https://openalex.org/I206895457","display_name":"University of Siegen","ror":"https://ror.org/02azyry73","country_code":"DE","type":"education","lineage":["https://openalex.org/I206895457"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Roman Obermaisser","raw_affiliation_strings":["Institute for Embedded Systems University of Siegen,Siegen,Germany","Institute for Embedded Systems University of Siegen, Siegen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Embedded Systems University of Siegen,Siegen,Germany","institution_ids":["https://openalex.org/I206895457"]},{"raw_affiliation_string":"Institute for Embedded Systems University of Siegen, Siegen, Germany","institution_ids":["https://openalex.org/I206895457"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"161","last_page":"166"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10217","display_name":"Cardiac electrophysiology and arrhythmias","score":0.9952999949455261,"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.9952999949455261,"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/T10142","display_name":"Formal Methods in Verification","score":0.9940000176429749,"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/T12495","display_name":"Electrostatic Discharge in Electronics","score":0.9940000176429749,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.856529951095581},{"id":"https://openalex.org/keywords/electronic-systems","display_name":"Electronic systems","score":0.6283172369003296},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6255017518997192},{"id":"https://openalex.org/keywords/hazard","display_name":"Hazard","score":0.4551747143268585},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.41679060459136963},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22674384713172913},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.17757409811019897},{"id":"https://openalex.org/keywords/electronic-engineering","display_name":"Electronic engineering","score":0.1358262598514557},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.12658879160881042},{"id":"https://openalex.org/keywords/mechanical-engineering","display_name":"Mechanical engineering","score":0.11130005121231079}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.856529951095581},{"id":"https://openalex.org/C2983266536","wikidata":"https://www.wikidata.org/wiki/Q3509543","display_name":"Electronic systems","level":2,"score":0.6283172369003296},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6255017518997192},{"id":"https://openalex.org/C49261128","wikidata":"https://www.wikidata.org/wiki/Q1132455","display_name":"Hazard","level":2,"score":0.4551747143268585},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.41679060459136963},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22674384713172913},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.17757409811019897},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.1358262598514557},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.12658879160881042},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.11130005121231079},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ddecs57882.2023.10139574","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ddecs57882.2023.10139574","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1988666133","https://openalex.org/W2053398545","https://openalex.org/W2087066075","https://openalex.org/W2120207491","https://openalex.org/W2128835097","https://openalex.org/W2166423024","https://openalex.org/W2883045357","https://openalex.org/W2885341929","https://openalex.org/W3003720832","https://openalex.org/W3005497886","https://openalex.org/W3041207908","https://openalex.org/W3090844251","https://openalex.org/W3142117681","https://openalex.org/W3169972646","https://openalex.org/W3197110578","https://openalex.org/W4230572347","https://openalex.org/W4281926013"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2067910792","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W2889071233","https://openalex.org/W4321471459","https://openalex.org/W4221156924"],"abstract_inverted_index":{"The":[0,32,51],"functional":[1],"safety":[2],"of":[3,8,40,65,72,96],"implanted":[4,42],"medical":[5,23],"devices":[6],"is":[7,34,54],"high":[9],"importance.":[10],"This":[11],"works":[12],"presents":[13],"a":[14,37],"novel":[15],"concept":[16,33],"to":[17,36,58,78,86],"verify":[18,88],"bio-electronic":[19,74,89],"systems":[20,90],"modeling":[21],"the":[22,28,48,63,70,73,84,97],"device":[24],"in":[25],"connection":[26],"with":[27,56],"interacting":[29,46,98],"biological":[30,99],"system.":[31,75,100],"applied":[35],"setup":[38],"consisting":[39],"an":[41,45],"pacemaker":[43],"and":[44,93],"organ,":[47],"human":[49],"heart.":[50],"resulting":[52],"model":[53],"verified":[55],"respect":[57],"relevant":[59,92],"properties":[60],"such":[61],"as":[62],"reachability":[64],"hazard-related":[66],"states":[67],"appearing":[68],"through":[69],"interaction":[71],"In":[76],"contrast":[77],"previous":[79],"contributions":[80],"this":[81],"work":[82],"demonstrates":[83],"ability":[85],"deterministicly":[87],"containing":[91],"detailed":[94],"models":[95]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}