{"id":"https://openalex.org/W2469855547","doi":"https://doi.org/10.1109/sies.2016.7509409","title":"Conformance checking for programmable logic controller programs and specifications","display_name":"Conformance checking for programmable logic controller programs and specifications","publication_year":2016,"publication_date":"2016-05-01","ids":{"openalex":"https://openalex.org/W2469855547","doi":"https://doi.org/10.1109/sies.2016.7509409","mag":"2469855547"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2016.7509409","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2016.7509409","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)","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/A5021645469","display_name":"D\u00e1niel Darvas","orcid":"https://orcid.org/0000-0002-4092-1694"},"institutions":[{"id":"https://openalex.org/I67311998","display_name":"European Organization for Nuclear Research","ror":"https://ror.org/01ggx4157","country_code":"CH","type":"facility","lineage":["https://openalex.org/I67311998"]},{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["CH","HU"],"is_corresponding":true,"raw_author_name":"Daniel Darvas","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","European Organization for Nuclear Research (CERN), Beams Department, Geneva, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"European Organization for Nuclear Research (CERN), Beams Department, Geneva, Switzerland","institution_ids":["https://openalex.org/I67311998"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022426737","display_name":"Istv\u00e1n Majzik","orcid":"https://orcid.org/0000-0002-1184-2882"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Istvan Majzik","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027550408","display_name":"Enrique Blanco Vi\u00f1uela","orcid":null},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Enrique Blanco Vinuela","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5021645469"],"corresponding_institution_ids":["https://openalex.org/I29770179","https://openalex.org/I67311998"],"apc_list":null,"apc_paid":null,"fwci":0.721,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75223267,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"17","issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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.9988999962806702,"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.7638111114501953},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.7030073404312134},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.7029382586479187},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6740294694900513},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6600632667541504},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5137091875076294},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4798949956893921},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4498139023780823},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4363098442554474},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.4264155924320221},{"id":"https://openalex.org/keywords/industrial-control-system","display_name":"Industrial control system","score":0.42574024200439453},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4245275557041168},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4127280116081238},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3569125533103943},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.28793787956237793},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.26754385232925415},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.14106783270835876},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.13511821627616882},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12686914205551147},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1067037582397461},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.09704756736755371},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0825628936290741}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7638111114501953},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.7030073404312134},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.7029382586479187},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6740294694900513},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6600632667541504},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5137091875076294},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4798949956893921},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4498139023780823},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4363098442554474},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.4264155924320221},{"id":"https://openalex.org/C40071531","wikidata":"https://www.wikidata.org/wiki/Q2513962","display_name":"Industrial control system","level":3,"score":0.42574024200439453},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4245275557041168},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4127280116081238},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3569125533103943},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.28793787956237793},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.26754385232925415},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.14106783270835876},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.13511821627616882},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12686914205551147},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1067037582397461},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.09704756736755371},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0825628936290741},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.0},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/sies.2016.7509409","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2016.7509409","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)","raw_type":"proceedings-article"},{"id":"pmh:oai:inspirehep.net:1665957","is_oa":false,"landing_page_url":"http://cds.cern.ch/record/2318769","pdf_url":null,"source":{"id":"https://openalex.org/S4306402194","display_name":"CERN Document Server (European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W6618575","https://openalex.org/W233122475","https://openalex.org/W1546220007","https://openalex.org/W1547562281","https://openalex.org/W1946688542","https://openalex.org/W1965792604","https://openalex.org/W2018690487","https://openalex.org/W2063314113","https://openalex.org/W2076964487","https://openalex.org/W2095175649","https://openalex.org/W2112640524","https://openalex.org/W2204507823","https://openalex.org/W2295310903","https://openalex.org/W2484989244","https://openalex.org/W2558699350","https://openalex.org/W6641684034","https://openalex.org/W6676883669","https://openalex.org/W6730338219"],"related_works":["https://openalex.org/W2361881307","https://openalex.org/W2929969821","https://openalex.org/W2911681873","https://openalex.org/W3120172095","https://openalex.org/W3155012083","https://openalex.org/W2392047570","https://openalex.org/W2899830690","https://openalex.org/W3023586562","https://openalex.org/W2294399487","https://openalex.org/W2792623478"],"abstract_inverted_index":{"Verification":[0],"of":[1,13,66,104,142],"industrial":[2,143],"control":[3,68,93,113,144],"systems'":[4],"software":[5],"is":[6,18],"an":[7],"important":[8],"task,":[9],"as":[10,78],"the":[11,26,47,50,61,112,117,122,140],"cost":[12],"failure":[14],"in":[15,64,71,81],"these":[16],"systems":[17,94],"typically":[19],"high.":[20],"Formal":[21],"verification":[22,74,141],"methods":[23],"can":[24,39,108],"complement":[25],"currently":[27],"used":[28,41],"testing":[29],"techniques,":[30],"especially":[31],"if":[32],"requirements":[33],"are":[34,54,76],"formally":[35],"specified.":[36],"Behavioural":[37],"specifications":[38],"be":[40,109],"to":[42,58,92,130],"perform":[43],"conformance":[44,52,89,134],"checking":[45,135],"against":[46],"implementation.":[48],"However,":[49],"typical":[51],"relations":[53,90,107,124],"often":[55],"more":[56],"sensitive":[57],"differences":[59],"than":[60],"controlled":[62],"processes":[63],"case":[65],"many":[67],"systems,":[69],"resulting":[70],"counterexamples":[72],"during":[73],"that":[75],"considered":[77],"false":[79],"positives":[80],"practice.":[82],"To":[83],"overcome":[84],"this":[85],"issue,":[86],"we":[87],"introduce":[88],"adapted":[91],"based":[95],"on":[96,116],"programmable":[97],"logic":[98],"controllers":[99],"(PLCs)":[100],"with":[101],"different":[102],"levels":[103],"permissibility.":[105],"The":[106],"selected":[110],"by":[111],"engineers,":[114],"depending":[115],"required":[118],"compliance":[119],"levels.":[120],"Defining":[121],"new":[123],"and":[125],"a":[126,136],"model":[127],"checking-based":[128],"method":[129],"check":[131],"them":[132],"makes":[133],"powerful":[137],"tool":[138],"for":[139],"systems.":[145]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}