{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:52:23Z","timestamp":1725529943396},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/coase.2017.8256284","type":"proceedings-article","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T18:11:01Z","timestamp":1516212661000},"page":"1320-1325","source":"Crossref","is-referenced-by-count":0,"title":["Simulation of hybrid systems from natural-language requirements"],"prefix":"10.1109","author":[{"given":"Bruno","family":"Oliveira","sequence":"first","affiliation":[]},{"given":"Gustavo","family":"Carvalho","sequence":"additional","affiliation":[]},{"given":"Mohammad Reza","family":"Mousavi","sequence":"additional","affiliation":[]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0387-x"},{"journal-title":"Simulation of hybrid systems from natural language requirements","year":"2016","author":"oliveira","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.06.007"},{"journal-title":"User's Guide","article-title":"Mathworks. Simulink","year":"1995","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"ref15","first-page":"254","article-title":"S-taliro: A tool for temporal logic falsification for hybrid systems","author":"annpureddy","year":"2011","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054087"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0928-4869(99)00018-X"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22969-0_20"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47063-4_11"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25150-9_32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2011.5936768"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_28"},{"key":"ref9","first-page":"1","article-title":"The Case for Case","author":"fillmore","year":"1968","journal-title":"Universals in Linguistic Theory"}],"event":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017)","start":{"date-parts":[[2017,8,20]]},"location":"Xi'an","end":{"date-parts":[[2017,8,23]]}},"container-title":["2017 13th IEEE Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8244402\/8256062\/08256284.pdf?arnumber=8256284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,22]],"date-time":"2018-02-22T16:27:44Z","timestamp":1519316864000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8256284\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/coase.2017.8256284","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}