{"id":"https://openalex.org/W2044502606","doi":"https://doi.org/10.1145/1868321.1868324","title":"Detection of high-level execution patterns in reactive behavior of control programs","display_name":"Detection of high-level execution patterns in reactive behavior of control programs","publication_year":2010,"publication_date":"2010-07-12","ids":{"openalex":"https://openalex.org/W2044502606","doi":"https://doi.org/10.1145/1868321.1868324","mag":"2044502606"},"language":"en","primary_location":{"id":"doi:10.1145/1868321.1868324","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1868321.1868324","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighth International Workshop on Dynamic Analysis","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/A5011251497","display_name":"Herbert Pr\u00e4hofer","orcid":"https://orcid.org/0000-0002-0139-8044"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Herbert Pr\u00e4hofer","raw_affiliation_strings":["Johannes Kepler University, Linz/Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University, Linz/Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043840658","display_name":"Roland Schatz","orcid":"https://orcid.org/0009-0006-3100-8816"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Roland Schatz","raw_affiliation_strings":["Johannes Kepler University, Linz/Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University, Linz/Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101561068","display_name":"Christian Wirth","orcid":"https://orcid.org/0000-0002-3980-4511"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Christian Wirth","raw_affiliation_strings":["Johannes Kepler University, Linz/Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University, Linz/Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"14","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9990000128746033,"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/T10260","display_name":"Software Engineering Research","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/debugger","display_name":"Debugger","score":0.9665437340736389},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.9277588129043579},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8413458466529846},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5382916927337646},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.531367301940918},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.46076416969299316},{"id":"https://openalex.org/keywords/algorithmic-program-debugging","display_name":"Algorithmic program debugging","score":0.4448796510696411},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4164561629295349},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4158127009868622},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3816194236278534},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3241656422615051}],"concepts":[{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.9665437340736389},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9277588129043579},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8413458466529846},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5382916927337646},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.531367301940918},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.46076416969299316},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.4448796510696411},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4164561629295349},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4158127009868622},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3816194236278534},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3241656422615051},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1868321.1868324","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1868321.1868324","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighth International Workshop on Dynamic Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323591","display_name":"Christian Doppler Forschungsgesellschaft","ror":"https://ror.org/00mv8h305"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1559171143","https://openalex.org/W1607081849","https://openalex.org/W1849742319","https://openalex.org/W1966283741","https://openalex.org/W1997877967","https://openalex.org/W2024291102","https://openalex.org/W2066792529","https://openalex.org/W2079140599","https://openalex.org/W2097816970","https://openalex.org/W2103806799","https://openalex.org/W2105686649","https://openalex.org/W2155988490","https://openalex.org/W2561675875","https://openalex.org/W3003570873"],"related_works":["https://openalex.org/W4387146963","https://openalex.org/W2801084903","https://openalex.org/W1569638199","https://openalex.org/W2899875271","https://openalex.org/W4320152591","https://openalex.org/W4384377074","https://openalex.org/W564953056","https://openalex.org/W645308258","https://openalex.org/W1606209748","https://openalex.org/W2117261969"],"abstract_inverted_index":{"This":[0],"paper":[1,125],"presents":[2],"an":[3,31,128,162],"approach":[4,129],"to":[5,57,85,95,130,142,168],"extract":[6],"high-level":[7,154],"patterns":[8,156],"from":[9],"traces":[10],"of":[11,99,105,135,147,164],"programmable":[12],"logic":[13],"control":[14,107],"(PLC)":[15],"programs":[16],"recorded":[17,132],"with":[18,36,64],"a":[19,47,59,79,109,115,140,148],"deterministic":[20,25],"replay":[21,26,75],"debugging":[22,27],"tool.":[23],"Our":[24],"works":[28],"by":[29],"recording":[30],"application":[32,51,69,166],"run":[33,89,150],"in":[34,54,78,118,157],"real-time":[35],"minimal":[37],"overhead":[38],"so":[39],"that":[40],"it":[41],"can":[42,74],"be":[43],"reproduced":[44],"afterwards.":[45],"In":[46,123],"subsequent":[48],"phase,":[49],"the":[50,68,76,87,96,102,120,144],"is":[52,112],"replayed":[53],"offline":[55],"mode":[56],"produce":[58],"more":[60],"detailed":[61],"trace":[62],"log":[63],"additional":[65],"information":[66],"about":[67],"run.":[70],"A":[71],"software":[72],"developer":[73],"program":[77,88,121,133,149,170],"debugger":[80,83,111],"and":[81,90,101,151,173],"use":[82],"features":[84],"analyze":[86,131],"locate":[91],"errors.":[92],"However,":[93],"due":[94],"vast":[97],"amount":[98],"data":[100],"complex":[103],"behavior":[104,146],"reactive":[106,145],"programs,":[108],"normal":[110],"usually":[113],"only":[114],"poor":[116],"support":[117,169],"comprehending":[119],"behavior.":[122],"this":[124],"we":[126],"present":[127,139],"runs":[134],"PLC":[136],"applications.":[137,159],"We":[138,160],"technology":[141],"visualize":[143],"find":[152],"recurring":[153],"execution":[155],"long-running":[158],"give":[161],"overview":[163],"possible":[165],"scenarios":[167],"comprehension,":[171],"testing,":[172],"debugging.":[174]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}