{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T05:57:35Z","timestamp":1730267855366,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/indin.2017.8104843","type":"proceedings-article","created":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T16:34:58Z","timestamp":1511886898000},"page":"621-627","source":"Crossref","is-referenced-by-count":5,"title":["Scalable cloud based semantic code analysis to support continuous integration of industrial PLC code"],"prefix":"10.1109","author":[{"given":"Safa","family":"Bougouffa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Diehm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Schwarz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2016.7745037"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005254"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648092"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3182\/20130619-3-RU-3018.00259"},{"key":"ref14","first-page":"757","article-title":"Analysis of IEC 61131-3 Compliance through PLCopen XML interface","author":"esteves","year":"2009","journal-title":"7th IEEE Int Conf on Industrial Informatics (INDIN 2009)"},{"key":"ref15","article-title":"Foundations of Semantic Web Technologies","author":"hitzler","year":"2010","journal-title":"Boca Raton"},{"journal-title":"Resource Description Framework (RDF) Model and Syntax Specification","year":"1998","author":"lassila","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.21236\/ADA449067"},{"key":"ref18","first-page":"5","article-title":"A comparative study of industrial static analysis tools. Electronic Notes in Theoretical Computer Science","volume":"217","author":"emanuelsson","year":"2008","journal-title":"Proceedings of the 3rd International Workshop on Systems Software Verification (SSV 2008)"},{"key":"ref19","first-page":"24","article-title":"Static and Dynamic Analysis: Synergy and Duality","author":"ernst","year":"2003","journal-title":"ICSE Workshop on Dynamic Analysis (WODA)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.38"},{"journal-title":"Continuous Integration","year":"2013","author":"duvall","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.039"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.130"},{"key":"ref5","article-title":"Lint, a C Program Checker","author":"johnson","year":"1978","journal-title":"Bell Laboratories Tech Rep"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2016.2604760"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09970-5_32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzw042"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034944"},{"key":"ref1","first-page":"107","article-title":"Evolution of software in automated production systems: Challenges and Research Directions","author":"vogel-heuser","year":"2016","journal-title":"Software Engineering (SE 2016)"},{"journal-title":"Testen in der Automatisierungstechnik vom Gerät bis zur Anlage","year":"2015","author":"vogel-heuser","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721667"},{"journal-title":"International Organization for Standardization","article-title":"IEC 25010: Systems and software engineering -–Systems and software Quality Requirements and Evaluation (SQuaRE) – - System and software quality models","year":"2011","key":"ref21"},{"key":"ref24","article-title":"Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema","author":"broekstra","year":"2002","journal-title":"ISWC"},{"key":"ref23","article-title":"Efficient RDF Storage and Retrieval in Jena2","author":"wilkinson","year":"2003","journal-title":"SWDB (in conjunction with VLDB)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.05.051"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_38"}],"event":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2017,7,24]]},"location":"Emden","end":{"date-parts":[[2017,7,26]]}},"container-title":["2017 IEEE 15th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8095148\/8104734\/08104843.pdf?arnumber=8104843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T15:42:03Z","timestamp":1513266123000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8104843\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/indin.2017.8104843","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}