{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:22:39Z","timestamp":1779074559147,"version":"3.51.4"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"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":[[2018,9]]},"DOI":"10.1109\/emsoft.2018.8537203","type":"proceedings-article","created":{"date-parts":[[2018,11,20]],"date-time":"2018-11-20T01:50:22Z","timestamp":1542678622000},"page":"1-10","source":"Crossref","is-referenced-by-count":12,"title":["Keynote: The First-Order Logic of Signals"],"prefix":"10.1109","author":[{"given":"Alexey","family":"Bakhirkin","sequence":"first","affiliation":[{"name":"CNRS, Grenoble INP, VERIMAG, Univ. Grenoble Alpes, Grenoble, 38000, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Ferrere","sequence":"additional","affiliation":[{"name":"ISTAustria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[{"name":"ISTAustria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deian","family":"Nickovicl","sequence":"additional","affiliation":[{"name":"AIT Austrian Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10512-3_3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2585083"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_20"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-319-75632-5_5","article-title":"Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications","author":"bartocci","year":"2018","journal-title":"Lectures on Runtime Verification - Introductory and Advanced Topics"},{"key":"ref15","author":"minsky","year":"1967","journal-title":"Computation Finite and Infinite Machines"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1_5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/0204006"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.5.450"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/506147.506151"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65765-3_11"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref6","first-page":"264","article-title":"Efficient robust monitoring for STL","author":"donz\u00e9","year":"2013","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","article-title":"Robust satisfaction of temporal logic over real-valued signals","author":"donz\u00e9","year":"2010","journal-title":"Formal Modeling and Analysis of Times Systems (FORMATS)"},{"key":"ref8","first-page":"136","article-title":"Querying parametric temporal logic properties on embedded systems","author":"yang","year":"0","journal-title":"IFIP International Conference on Testing Software and Systems"},{"key":"ref7","first-page":"147","article-title":"Parametric identification of temporal properties","author":"asarin","year":"2011","journal-title":"Runtime Verification"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178132"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems (FORMA TS\/FTRTFT)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-07407-4_17"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-005-0061-1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1452-8.50131-7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.01.012"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89439-1_18"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/978-3-319-10512-3_16","article-title":"Timed pattern matching","author":"ulus","year":"2014","journal-title":"Formal Modeling and Analysis of Times Systems (FORMATS)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/174644.174651"}],"event":{"name":"2018 International Conference on Embedded Software (EMSOFT)","location":"Turin, Italy","start":{"date-parts":[[2018,9,30]]},"end":{"date-parts":[[2018,10,5]]}},"container-title":["2018 International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8520558\/8537184\/08537203.pdf?arnumber=8537203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,27]],"date-time":"2022-05-27T22:01:03Z","timestamp":1653688863000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8537203\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2018.8537203","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}