{"id":"https://openalex.org/W2616192869","doi":"https://doi.org/10.1109/dtis.2017.7930158","title":"Model checking of security properties: A case study on Human-Robot Interaction processes","display_name":"Model checking of security properties: A case study on Human-Robot Interaction processes","publication_year":2017,"publication_date":"2017-04-01","ids":{"openalex":"https://openalex.org/W2616192869","doi":"https://doi.org/10.1109/dtis.2017.7930158","mag":"2616192869"},"language":"en","primary_location":{"id":"doi:10.1109/dtis.2017.7930158","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dtis.2017.7930158","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)","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/A5005337520","display_name":"Giuseppe Air\u00f3 Farulla","orcid":null},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Giuseppe Airo Farulla","raw_affiliation_strings":["CINI CyberSecurity National Lab & DAUIN, Politecnico di Torino, Italy"],"affiliations":[{"raw_affiliation_string":"CINI CyberSecurity National Lab & DAUIN, Politecnico di Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046061598","display_name":"Anna-Lena Lamprecht","orcid":null},"institutions":[{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Anna-Lena Lamprecht","raw_affiliation_strings":["Lero-The Irish Software Research Centre University of Limerick, Limerick, Ireland"],"affiliations":[{"raw_affiliation_string":"Lero-The Irish Software Research Centre University of Limerick, Limerick, Ireland","institution_ids":["https://openalex.org/I230495080"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005337520"],"corresponding_institution_ids":["https://openalex.org/I177477856"],"apc_list":null,"apc_paid":null,"fwci":0.9247,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.75678241,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"51","issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9973999857902527,"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"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9973999857902527,"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"}},{"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9905999898910522,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6893007159233093},{"id":"https://openalex.org/keywords/human\u2013robot-interaction","display_name":"Human\u2013robot interaction","score":0.5410176515579224},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5170074701309204},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3903861939907074},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2706153392791748}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6893007159233093},{"id":"https://openalex.org/C145460709","wikidata":"https://www.wikidata.org/wiki/Q859951","display_name":"Human\u2013robot interaction","level":3,"score":0.5410176515579224},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5170074701309204},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3903861939907074},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2706153392791748}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dtis.2017.7930158","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dtis.2017.7930158","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W64495454","https://openalex.org/W1509343160","https://openalex.org/W1934513401","https://openalex.org/W2008442672","https://openalex.org/W2014087257","https://openalex.org/W2054026445","https://openalex.org/W2059973553","https://openalex.org/W2067329703","https://openalex.org/W2112561088","https://openalex.org/W2117189826","https://openalex.org/W2133385231","https://openalex.org/W2134354173","https://openalex.org/W2145466465","https://openalex.org/W2409887271","https://openalex.org/W2485562114","https://openalex.org/W2561171208","https://openalex.org/W2612267306","https://openalex.org/W2614462048","https://openalex.org/W2913631158","https://openalex.org/W6730545098"],"related_works":["https://openalex.org/W2978665606","https://openalex.org/W3205513966","https://openalex.org/W189465620","https://openalex.org/W3120459843","https://openalex.org/W4366547574","https://openalex.org/W3200191727","https://openalex.org/W4366818884","https://openalex.org/W2248308732","https://openalex.org/W3042490037","https://openalex.org/W4380487215"],"abstract_inverted_index":{"In":[0,33,139],"Model-Driven":[1],"Security":[2],"(MDS)":[3],"approaches,":[4],"model":[5,171],"checking":[6],"is":[7,57,76,92],"a":[8,17,93,126,129,144,151],"natural":[9],"way":[10],"of":[11,47,128],"assuring":[12],"security":[13,41,56,148],"properties.":[14],"It":[15],"offers":[16],"powerful":[18],"complement":[19],"to":[20,39,52],"more":[21,102],"traditional":[22],"approaches":[23],"like":[24],"testing,":[25],"and":[26,64,73,90,110,161],"can":[27,165],"reduce":[28],"the":[29,37,44,78,118,134,169],"overall":[30],"development":[31],"costs.":[32],"fact,":[34],"it":[35],"forces":[36],"developers":[38,109],"tackle":[40],"issues":[42],"from":[43],"very":[45],"beginning":[46],"their":[48],"projects,":[49],"in":[50,70,104,159],"contrast":[51],"common":[53],"practice":[54],"where":[55],"often":[58],"considered":[59],"just":[60],"as":[61],"an":[62,67,122],"afterthought,":[63],"indeed":[65],"quite":[66],"expensive":[68],"one,":[69],"many":[71,108],"projects":[72],"applications.":[74],"This":[75],"especially":[77],"case":[79],"when":[80],"interesting,":[81],"potentially":[82],"disruptive,":[83],"realms":[84],"are":[85],"investigated.":[86],"Human-Robot":[87],"Interaction":[88],"(HRI)":[89],"co-working":[91],"hot":[94],"topic":[95],"today,":[96],"with":[97,168],"robots":[98],"becoming":[99],"every":[100],"day":[101],"pervasive":[103],"our":[105],"lives.":[106],"Nevertheless,":[107],"researchers":[111],"do":[112],"not":[113],"pay":[114],"enough":[115],"attention":[116],"on":[117,124],"incredible":[119],"consequences":[120],"that":[121],"attack":[123],"or":[125,137],"failure":[127],"robot":[130],"may":[131],"pose":[132],"for":[133,150],"human":[135],"companion":[136],"co-worker.":[138],"this":[140],"paper,":[141],"we":[142],"take":[143],"closer":[145],"look":[146],"at":[147],"properties":[149],"typical":[152],"HRI":[153],"process":[154],"which":[155],"has":[156],"been":[157],"modeled":[158],"DIME,":[160],"show":[162],"how":[163],"they":[164],"be":[166],"verified":[167],"GEAR":[170],"checker.":[172]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}