{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T03:18:24Z","timestamp":1776827904355,"version":"3.51.2"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/etfa.2018.8502576","type":"proceedings-article","created":{"date-parts":[[2018,11,15]],"date-time":"2018-11-15T22:20:08Z","timestamp":1542320408000},"page":"27-34","source":"Crossref","is-referenced-by-count":6,"title":["A Generic Static Analysis Framework for Domain-specific Languages"],"prefix":"10.1109","author":[{"given":"Avijit","family":"Mandal","sequence":"first","affiliation":[]},{"given":"Devina","family":"Mohan","sequence":"additional","affiliation":[]},{"given":"Raoul","family":"Jetley","sequence":"additional","affiliation":[]},{"given":"Sreeja","family":"Nair","sequence":"additional","affiliation":[]},{"given":"Meenakshi","family":"D'Souza","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.039"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/800028.808479"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2489184"},{"key":"ref32","first-page":"517540","article-title":"Verification of PLC programs given as sequential function charts","author":"bauer","year":"2004","journal-title":"Integration of Software Specification Techniques for Applications in Eng"},{"key":"ref31","article-title":"Automated Formal Verification of PLC Programs Written in IL","author":"pavlovic","year":"2007","journal-title":"4th International Verification Workshop VERIFY Collocated with Conference on Automated Deduction CADE"},{"key":"ref30","year":"2013","journal-title":"Logi lint"},{"key":"ref37","article-title":"Automated formal verification of PLC programs written in IL","author":"pavlovic","year":"2007","journal-title":"Conference on Automated Deduction (CADE)"},{"key":"ref36","year":"0","journal-title":"CodeSonar"},{"key":"ref35","year":"0","journal-title":"Facebook Infer"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55844-6_142"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1016\/S0950-5849(98)00093-7","article-title":"Program analysis via graph reachability","volume":"40","author":"reps","year":"1998","journal-title":"Information and Software Technology"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICOSST.2015.7396422"},{"key":"ref11","article-title":"Widening operators for abstract interpretation","author":"cortesi","year":"2008","journal-title":"IEEE International Conference on Software Engineering and Formal Methods"},{"key":"ref12","year":"0","journal-title":"A C family front-end for LLVM"},{"key":"ref13","year":"0","journal-title":"Klocwork static code analysis"},{"key":"ref14","year":"0","journal-title":"Coverity"},{"key":"ref15","year":"0","journal-title":"LDRA"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55844-6_142"},{"key":"ref17","year":"2002","journal-title":"Language Reference Manual"},{"key":"ref18","author":"min\u00e9","year":"2004","journal-title":"Weakly relational numerical abstract domains"},{"key":"ref19","year":"0","journal-title":"Polyspace"},{"key":"ref28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-11164-3_20","article-title":"ROSRV: Runtime verification for robots","author":"huang","year":"2014","journal-title":"International Conference on Runtime Verification Springer"},{"key":"ref4","year":"0","journal-title":"Function Blocks (fb) for Process Control and Electronic Device Description Language (EDDL) Part 3 EDDL Syntax and Semantics"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1115\/1.3267343"},{"key":"ref3","year":"2014","journal-title":"Technical reference manual RAPID Instructions Functions and Data types"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2017.13"},{"key":"ref29","year":"2013","journal-title":"CoDeSys Static Analysis 3 5 2 0 CoDeSys Professional Developer Edition"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2015.7081856"},{"key":"ref8","author":"aho","year":"1986","journal-title":"Compilers Principles Techniques and Took"},{"key":"ref7","article-title":"Static Code Analysis for Device Description Language","author":"mohan","year":"2018","journal-title":"2nd Symposium on Application of Formal Methods for Safety & Security of Critical Systems (AFMSS)"},{"key":"ref2","year":"0","journal-title":"PLCopen The third edition of IEC 61131-3"},{"key":"ref9","author":"nielson","year":"2015","journal-title":"Principles of Program Analysis"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref20","year":"0"},{"key":"ref22","year":"0"},{"key":"ref21","year":"0"},{"key":"ref42","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MIE.2009.934799","article-title":"PLCopen","volume":"3","author":"van der wal","year":"2009","journal-title":"IEEE Industrial Electronics Magazine"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648062"},{"key":"ref41","author":"standard","year":"2000","journal-title":"Material data sheets for structural steel"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005254"},{"key":"ref26","article-title":"Utilizing static analysis for programmable logic controllers","author":"bornot","year":"2000","journal-title":"The 4th International Conference Automation of Mixed Process Hybrid Dynamic Systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.29"}],"event":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","location":"Turin","start":{"date-parts":[[2018,9,4]]},"end":{"date-parts":[[2018,9,7]]}},"container-title":["2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8488382\/8502441\/08502576.pdf?arnumber=8502576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T19:01:26Z","timestamp":1598209286000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8502576\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/etfa.2018.8502576","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}