{"id":"https://openalex.org/W1979406391","doi":"https://doi.org/10.1109/bibe.2012.6399700","title":"Medical guidelines reconciling medical software and electronic devices: Imatinib case-study","display_name":"Medical guidelines reconciling medical software and electronic devices: Imatinib case-study","publication_year":2012,"publication_date":"2012-11-01","ids":{"openalex":"https://openalex.org/W1979406391","doi":"https://doi.org/10.1109/bibe.2012.6399700","mag":"1979406391"},"language":"en","primary_location":{"id":"doi:10.1109/bibe.2012.6399700","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bibe.2012.6399700","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/181598","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091652975","display_name":"Alena Simalatsar","orcid":"https://orcid.org/0000-0001-9047-1305"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Alena Simalatsar","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Switzerland","Ecole Polytechnique Federale de Lausanne  (Switzerland)"],"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Ecole Polytechnique Federale de Lausanne  (Switzerland)","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072927296","display_name":"Giovanni De Micheli","orcid":"https://orcid.org/0000-0002-7827-3215"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Giovanni De Micheli","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Switzerland","Ecole Polytechnique Federale de Lausanne  (Switzerland)"],"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Ecole Polytechnique Federale de Lausanne  (Switzerland)","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5091652975"],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":0.6922,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.69772884,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"107","issue":null,"first_page":"19","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.9984999895095825,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9728000164031982,"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"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.942799985408783,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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.8136560916900635},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5738629102706909},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5701525211334229},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.5653179287910461},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5559523105621338},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4719635248184204},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.4272242784500122},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3564049005508423},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2994067966938019}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8136560916900635},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5738629102706909},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5701525211334229},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.5653179287910461},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5559523105621338},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4719635248184204},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.4272242784500122},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3564049005508423},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2994067966938019},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/bibe.2012.6399700","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bibe.2012.6399700","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.369.7036","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:infoscience.epfl.ch:181598","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/181598","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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:infoscience.epfl.ch:181598","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/181598","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":[{"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W159914391","https://openalex.org/W1490156864","https://openalex.org/W1491731293","https://openalex.org/W1498969322","https://openalex.org/W1501062661","https://openalex.org/W1519647549","https://openalex.org/W1544394089","https://openalex.org/W1600054053","https://openalex.org/W1701219554","https://openalex.org/W1919955641","https://openalex.org/W1962072139","https://openalex.org/W1981458531","https://openalex.org/W2035708897","https://openalex.org/W2045675771","https://openalex.org/W2045766845","https://openalex.org/W2098230708","https://openalex.org/W2101508170","https://openalex.org/W2109377833","https://openalex.org/W2110889851","https://openalex.org/W2127200569","https://openalex.org/W2133120422","https://openalex.org/W2148109661","https://openalex.org/W2187900911","https://openalex.org/W2420880088","https://openalex.org/W2473024367","https://openalex.org/W6629128083","https://openalex.org/W6636049372","https://openalex.org/W6637550442","https://openalex.org/W6640105444","https://openalex.org/W6640868803","https://openalex.org/W6681657837","https://openalex.org/W6717674961","https://openalex.org/W6720800735"],"related_works":["https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449","https://openalex.org/W4312733571","https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W4315606162","https://openalex.org/W161255303","https://openalex.org/W2037121848"],"abstract_inverted_index":{"Nowadays":[0],"medical":[1,7,31,42,150],"software":[2,36],"is":[3,106],"tightly":[4],"coupled":[5],"with":[6,145,163],"devices":[8],"that":[9,33],"perform":[10],"patient":[11],"state":[12],"monitoring":[13],"and":[14,37,53,67],"lately":[15],"even":[16],"some":[17,80],"basic":[18],"treatment":[19],"procedures.":[20],"Medical":[21],"guidelines":[22],"(GLs)":[23],"can":[24],"be":[25],"seen":[26],"as":[27,49],"specification":[28],"of":[29,57,63,81,124,129,166],"a":[30,101,137],"system":[32],"includes":[34],"both":[35],"electronic":[38],"devices.":[39],"However,":[40,99],"often":[41],"GLs":[43,58,64,71],"suffer":[44],"from":[45],"structural":[46],"problems,":[47],"such":[48],"incompleteness,":[50],"inconsistencies,":[51],"ambiguity":[52],"redundancy.":[54],"Formal":[55],"representation":[56,73,153],"would":[59],"enable":[60,83],"the":[61,94,111,116,122,149,155,160,164,167],"validation":[62],"structural,":[65],"real-time":[66],"life-cycle":[68],"properties.":[69],"Several":[70],"formal":[72,85,152],"methods":[74],"have":[75],"been":[76],"presented":[77],"recently.":[78],"Only":[79],"them":[82],"automatic":[84],"verification":[86,161],"by":[87],"introducing":[88],"an":[89],"additional":[90],"translation":[91],"path":[92],"to":[93,108,114],"existing":[95],"model":[96],"checking":[97],"environments.":[98],"if":[100],"verified":[102],"property":[103],"fails":[104],"it":[105],"difficult":[107],"trace":[109],"back":[110],"result":[112],"needed":[113],"change":[115],"model.":[117],"Moreover,":[118],"these":[119],"formalisms":[120],"provide":[121],"notion":[123],"time":[125],"mostly":[126],"in":[127],"terms":[128],"actions":[130],"order.":[131],"In":[132],"this":[133],"paper":[134],"we":[135],"preset":[136],"novel":[138],"approach":[139],"based":[140],"on":[141],"Timed":[142],"Automata":[143],"extended":[144],"Tasks":[146],"(TAT)":[147],"for":[148],"protocol":[151],"using":[154],"TIMES":[156],"toolbox.":[157],"We":[158],"discuss":[159],"issues":[162],"help":[165],"Imatinib":[168],"case":[169],"study.":[170]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}