{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:42:24Z","timestamp":1730299344661,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1109\/syscon.2018.8369520","type":"proceedings-article","created":{"date-parts":[[2018,5,31]],"date-time":"2018-05-31T22:25:57Z","timestamp":1527805557000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Formal verification of a domain specific language for run-time adaptation"],"prefix":"10.1109","author":[{"given":"Shahid","family":"Khan","sequence":"first","affiliation":[]},{"given":"Faiq","family":"Khalid","sequence":"additional","affiliation":[]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[]},{"given":"Joao M.P.","family":"Cardoso","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EUC.2011.4"},{"journal-title":"DSL Engineering Designing Implementing and Using Domain-Specific Languages","year":"2013","author":"voelter","key":"ref11"},{"key":"ref12","first-page":"7162","article-title":"Formal verification methods","author":"hasan","year":"2015","journal-title":"Encyclopedia of Information Science and Technology IGI global"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.54"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI-C.2011.28"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12814-1_10"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89439-1_15"},{"key":"ref17","first-page":"334","article-title":"The nuxmv symbolic model checker","author":"cavada","year":"2014","journal-title":"Computer Aided Verification"},{"key":"ref18","first-page":"825","article-title":"Satisfiability modulo theories","volume":"185","author":"barrett","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0065-2458(03)58003-2","article-title":"Bounded model checking","volume":"58","author":"biere","year":"2003","journal-title":"Advances in Computers"},{"journal-title":"DSLs in Action","year":"2010","author":"ghosh","key":"ref4"},{"journal-title":"A DSL for Specifying Run-time Adaptations for Embedded Systems","year":"2014","author":"santos","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-1573-8_1"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/352029.352035","article-title":"Domain-specific languages: An annotated bibliography","volume":"35","author":"van deursen","year":"2000","journal-title":"SIGPlan Notices"},{"key":"ref8","first-page":"23","article-title":"A Domain Specific Language for Railway Control Systems","author":"haxthausen","year":"2002","journal-title":"Proceedings of the Sixth Biennial World Conference on Integrated Design and Process Technology (IDPT2002)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1449814.1449858"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370181"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1996.563572"},{"key":"ref9","article-title":"Domain Specific Language Architecture for Automation Systems: An Industrial Case Study","author":"preschern","year":"2012","journal-title":"ECMFA12 Proceedings"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/3-540-61474-5_93","article-title":"Symbolic model checking","author":"clarke","year":"1996","journal-title":"Computer Aided Verification"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-014-1192-z"},{"key":"ref21","first-page":"449","article-title":"Scheduling for reduced cpu energy","author":"weiser","year":"1994","journal-title":"Mobile Comp"},{"journal-title":"Formal Verification of DSL for Run-time Adaptation","year":"2017","author":"khan","key":"ref23"}],"event":{"name":"2018 Annual IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2018,4,23]]},"location":"Vancouver, BC","end":{"date-parts":[[2018,4,26]]}},"container-title":["2018 Annual IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8365669\/8369483\/08369520.pdf?arnumber=8369520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T05:48:44Z","timestamp":1643176124000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8369520\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/syscon.2018.8369520","relation":{},"subject":[],"published":{"date-parts":[[2018,4]]}}}