{"id":"https://openalex.org/W2892436040","doi":"https://doi.org/10.1109/indin.2018.8472025","title":"Counterexample visualization and explanation for function block diagrams","display_name":"Counterexample visualization and explanation for function block diagrams","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2892436040","doi":"https://doi.org/10.1109/indin.2018.8472025","mag":"2892436040"},"language":"en","primary_location":{"id":"doi:10.1109/indin.2018.8472025","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2018.8472025","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 16th International Conference on Industrial Informatics (INDIN)","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/A5080086202","display_name":"Antti Pakonen","orcid":"https://orcid.org/0000-0002-6803-2303"},"institutions":[{"id":"https://openalex.org/I87653560","display_name":"VTT Technical Research Centre of Finland","ror":"https://ror.org/04b181w54","country_code":"FI","type":"nonprofit","lineage":["https://openalex.org/I4210089493","https://openalex.org/I87653560"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Antti Pakonen","raw_affiliation_strings":["VTT Technical Research Centre of Finland Ltd., Espoo, Finland"],"affiliations":[{"raw_affiliation_string":"VTT Technical Research Centre of Finland Ltd., Espoo, Finland","institution_ids":["https://openalex.org/I87653560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005110425","display_name":"Igor Buzhinsky","orcid":"https://orcid.org/0000-0003-3713-6051"},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Igor Buzhinsky","raw_affiliation_strings":["Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008070913","display_name":"Valeriy Vyatkin","orcid":null},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Valeriy Vyatkin","raw_affiliation_strings":["Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland","institution_ids":["https://openalex.org/I9927081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5080086202"],"corresponding_institution_ids":["https://openalex.org/I87653560"],"apc_list":null,"apc_paid":null,"fwci":1.8173,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.87308029,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"747","last_page":"753"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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.9995999932289124,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"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/counterexample","display_name":"Counterexample","score":0.9035851955413818},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7367976903915405},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.7224529981613159},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.5919365882873535},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5825577974319458},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.5658531188964844},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5647584795951843},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5426422357559204},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5215204358100891},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5094161629676819},{"id":"https://openalex.org/keywords/animation","display_name":"Animation","score":0.4754980504512787},{"id":"https://openalex.org/keywords/block-diagram","display_name":"Block diagram","score":0.4190469980239868},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38339757919311523},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.35767948627471924},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1553502082824707},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13351985812187195},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.10332062840461731},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.10021209716796875}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.9035851955413818},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7367976903915405},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.7224529981613159},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.5919365882873535},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5825577974319458},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.5658531188964844},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5647584795951843},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5426422357559204},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5215204358100891},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5094161629676819},{"id":"https://openalex.org/C502989409","wikidata":"https://www.wikidata.org/wiki/Q11425","display_name":"Animation","level":2,"score":0.4754980504512787},{"id":"https://openalex.org/C149227320","wikidata":"https://www.wikidata.org/wiki/Q884718","display_name":"Block diagram","level":2,"score":0.4190469980239868},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38339757919311523},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35767948627471924},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1553502082824707},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13351985812187195},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.10332062840461731},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.10021209716796875},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/indin.2018.8472025","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2018.8472025","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 16th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W233122475","https://openalex.org/W1489391022","https://openalex.org/W1511405608","https://openalex.org/W1539772286","https://openalex.org/W1642772123","https://openalex.org/W1805536084","https://openalex.org/W2014012503","https://openalex.org/W2029825845","https://openalex.org/W2035438947","https://openalex.org/W2065086898","https://openalex.org/W2095240936","https://openalex.org/W2099276158","https://openalex.org/W2133706088","https://openalex.org/W2141105070","https://openalex.org/W2142853014","https://openalex.org/W2144320318","https://openalex.org/W2153358481","https://openalex.org/W2158395308","https://openalex.org/W2159433799","https://openalex.org/W2160668141","https://openalex.org/W2168366350","https://openalex.org/W2556057931","https://openalex.org/W2602300369","https://openalex.org/W2623845871","https://openalex.org/W2913459036","https://openalex.org/W2918617641","https://openalex.org/W4239884176","https://openalex.org/W4285719527","https://openalex.org/W6609061849","https://openalex.org/W6638190208","https://openalex.org/W6674784705","https://openalex.org/W6681128896","https://openalex.org/W6682627432","https://openalex.org/W6683354071","https://openalex.org/W6760239681","https://openalex.org/W7019896772"],"related_works":["https://openalex.org/W4308502799","https://openalex.org/W4361986567","https://openalex.org/W2006786376","https://openalex.org/W2949974473","https://openalex.org/W1967993207","https://openalex.org/W2953113086","https://openalex.org/W1552191998","https://openalex.org/W2056825861","https://openalex.org/W4226455345","https://openalex.org/W2765989158"],"abstract_inverted_index":{"Model":[0],"checking":[1],"is":[2,31,50,54,59],"a":[3,16,26,37,74,110],"proven,":[4],"effective":[5],"method":[6,75],"for":[7,113],"verifying":[8],"instrumentation":[9],"and":[10,89,119,146],"control":[11],"system":[12,20],"application":[13],"logics.":[14],"If":[15],"model":[17,53,88,95],"of":[18,41,82,96,121,142],"the":[19,28,34,42,48,52,57,67,80,83,87,90,94,97,104,143],"being":[21],"verified":[22],"does":[23],"not":[24],"satisfy":[25],"specification,":[27,91],"failure":[29,84],"scenario":[30],"presented":[32],"to":[33],"user":[35],"as":[36,101,103],"counterexample":[38,43],"trace.":[39],"Analysis":[40],"can":[44],"be":[45],"time-consuming":[46],"if":[47],"trace":[49],"long,":[51],"large,":[55],"or":[56],"specification":[58],"complex.":[60],"Spurious":[61],"counterexamples":[62],"(\u201cfalse":[63],"negatives\u201d)":[64],"often":[65],"exacerbate":[66],"problem.":[68],"In":[69],"this":[70],"paper,":[71],"we":[72,138],"present":[73],"that":[76],"assists":[77],"in":[78,85,133],"identifying":[79],"root":[81],"both":[86],"by":[92,117],"animating":[93],"function":[98],"block":[99],"diagram":[100],"well":[102],"LTL":[105,115],"property.":[106],"We":[107],"also":[108],"introduce":[109],"practical":[111,134],"tool":[112],"visualizing":[114],"properties":[116],"animation":[118],"highlighting":[120],"important":[122],"values":[123],"based":[124],"on":[125],"causality.":[126],"Using":[127],"43":[128],"actual":[129],"design":[130],"issues":[131],"identified":[132],"nuclear":[135],"industry":[136],"projects,":[137],"then":[139],"evaluate":[140],"usefulness":[141],"property":[144],"visualization":[145],"explanation":[147],"features.":[148]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}