{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:31:20Z","timestamp":1755999080848,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/memcod.2016.7797763","type":"proceedings-article","created":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T21:54:22Z","timestamp":1483048462000},"page":"184-193","source":"Crossref","is-referenced-by-count":12,"title":["An efficient algorithm for monitoring practical TPTL specifications"],"prefix":"10.1109","author":[{"given":"Adel","family":"Dokhanchi","sequence":"first","affiliation":[]},{"given":"Bardh","family":"Hoxha","sequence":"additional","affiliation":[]},{"given":"Cumhur Erkan","family":"Tuncali","sequence":"additional","affiliation":[]},{"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/ACC.2012.6315384"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/978-3-319-21500-6_26"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-0-387-34892-6_1"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/s10009-003-0107-8"},{"key":"ref14","article-title":"Benchmarks for temporal logic requirements for automotive systems","author":"hoxha","year":"2014","journal-title":"Proc of Applied Verification for Continuous and Hybrid Systems"},{"key":"ref15","article-title":"Towards formal specification visualization for testing and monitoring of cyber-physical systems","author":"hoxha","year":"2014","journal-title":"Int'l Workshop on Design and Implementation of Formal Tools and Systems"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/BF01995674"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1016\/S1571-0661(04)81050-8"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.tcs.2006.01.019"},{"year":"0","journal-title":"MathWorks Modeling an automatic transmission controller","key":"ref19"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/j.ic.2009.10.004"},{"key":"ref3","first-page":"254","article-title":"S-TaLiRo: A tool for temporal logic falsification for hybrid systems","volume":"6605","author":"annapureddy","year":"2011","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/978-3-319-21668-3_14"},{"key":"ref5","first-page":"61","article-title":"A rewriting based monitoring algorithm for TPTL","author":"chai","year":"2013","journal-title":"Proceedings of the 22nd International Workshop on Concurrency Specification and Programming"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","volume":"6174","author":"donze","year":"2010","journal-title":"Computer Aided Verification"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/174644.174651"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/0304-3975(94)00202-T"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/j.tcs.2009.06.021"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/978-3-540-85778-5_1"},{"key":"ref22","article-title":"Synthesizing dynamic programming algorithms from linear temporal logic formulae","author":"rosu","year":"2001","journal-title":"Technical report Research Institute for Advanced Computer Science (RIACS)"},{"year":"1999","author":"raskin","journal-title":"Logics Automata and Classical Theories for Deciding Real Time","key":"ref21"}],"event":{"name":"2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2016,11,18]]},"location":"Kanpur, India","end":{"date-parts":[[2016,11,20]]}},"container-title":["2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786794\/7797738\/07797763.pdf?arnumber=7797763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T02:15:38Z","timestamp":1568686538000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7797763\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/memcod.2016.7797763","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}