{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:52:22Z","timestamp":1730281942065,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,13]]},"DOI":"10.1109\/memocode57689.2022.9954599","type":"proceedings-article","created":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T20:22:51Z","timestamp":1669666971000},"page":"1-11","source":"Crossref","is-referenced-by-count":0,"title":["A novel approach to Real-time contract based reasoning for Hybrid Systems"],"prefix":"10.1109","author":[{"given":"Surinder","family":"Sood","sequence":"first","affiliation":[{"name":"University of Auckland,Dept. of Electrical and Computer eng.,Auckland,NewZealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avinash","family":"Malik","sequence":"additional","affiliation":[{"name":"University of Auckland,Dept. of Electrical and Computer eng.,Auckland,NewZealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha","family":"Roop","sequence":"additional","affiliation":[{"name":"University of Auckland,Dept. of Electrical and Computer eng.,Auckland,NewZealand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1631\/jzus.C1200263"},{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.3390\/s20185154","article-title":"Formal verification of control modules in cyber-physical systems","volume":"20","author":"grobelna","year":"2020","journal-title":"SENSORS"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0033565"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3359986.3361198"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-40914-2_7"},{"key":"ref34","article-title":"Formal verification of intelligent cyber-physical systems with the interactive theorem prover keymaera x","author":"herber","year":"2021","journal-title":"Software Engineering (Satellite Events)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.06.011"},{"journal-title":"Practical Verification of Stateful Embedded C Code using Finite State Machines and VCC","year":"2020","author":"lindgren","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.033"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2015.27"},{"key":"ref14","article-title":"Contracts for real-time, safety critical systems","author":"nandi","year":"2014","journal-title":"Tech Rep"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref16","article-title":"Pret-c: A new language for programming precision timed architectures","author":"andalam","year":"2009","journal-title":"Ph D dissertation INRIA"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2012.6378622"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737955"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_3"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3362098"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75454-1_12"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763167"},{"key":"ref29","first-page":"307","article-title":"An introduction to hybrid system modeling, analysis, and control","author":"lygeros","year":"1999","journal-title":"Preprints first Nonlinear Contr Network Pedagogical School"},{"key":"ref5","article-title":"Contracts for system design","author":"benveniste","year":"2012","journal-title":"Ph D dissertation INRIA"},{"key":"ref8","article-title":"A generic model of contracts for embedded systems","author":"benveniste","year":"2007","journal-title":"ArXiv Preprint"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2008.28"},{"key":"ref2","first-page":"88","author":"a?tef?noaei","year":"2016","journal-title":"A Compositional Approach to the Verification of Hybrid Systems"},{"key":"ref9","first-page":"200","article-title":"Multiple viewpoint contract-based specification and design","author":"benveniste","year":"2007","journal-title":"International Symposium on Formal Methods for Components and Objects"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-40914-2_7"},{"key":"ref20","article-title":"Compositional design of cyber-physical systems using contracts","author":"nuzzo","year":"2015","journal-title":"Ph D dissertation UC Berkeley"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342122"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-018-09509-5"},{"key":"ref23","first-page":"1","article-title":"Contract-based design of control protocols for safety-critical cyber-physical systems","author":"nuzzo","year":"0","journal-title":"2014 Design Automation and Test in Europe Conference and Exhibition"},{"article-title":"train gate controller code","year":"2022","author":"sood","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98047-8_8"}],"event":{"name":"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2022,10,13]]},"location":"Shanghai, China","end":{"date-parts":[[2022,10,14]]}},"container-title":["2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9954458\/9954381\/09954599.pdf?arnumber=9954599","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T20:08:57Z","timestamp":1671480537000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9954599\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,13]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/memocode57689.2022.9954599","relation":{},"subject":[],"published":{"date-parts":[[2022,10,13]]}}}