{"acknowledgement":"This work was partially supported by the EC projects IST-2001-33520 CC (Control and Computation), IST-2001-35302 AMETIST (Advanced Methods for Timed Systems) and IST-2003-507219 PROSYD (Property-Based System Design).","status":"public","type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"page":"152 - 166","author":[{"first_name":"Oded","last_name":"Maler","full_name":"Maler, Oded"},{"first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","last_name":"Nickovic","full_name":"Nickovic, Dejan"}],"extern":"1","language":[{"iso":"eng"}],"_id":"4372","publisher":"Springer","day":"14","doi":"10.1007/978-3-540-30206-3_12","alternative_title":["LNCS"],"oa_version":"None","date_created":"2018-12-11T12:08:31Z","article_processing_charge":"No","quality_controlled":"1","citation":{"mla":"Maler, Oded, and Dejan Nickovic. <i>Monitoring Temporal Properties of Continuous Signals</i>. Springer, 2004, pp. 152–66, doi:<a href=\"https://doi.org/10.1007/978-3-540-30206-3_12\">10.1007/978-3-540-30206-3_12</a>.","apa":"Maler, O., &#38; Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. <a href=\"https://doi.org/10.1007/978-3-540-30206-3_12\">https://doi.org/10.1007/978-3-540-30206-3_12</a>","ista":"Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.","chicago":"Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,” 152–66. Springer, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30206-3_12\">https://doi.org/10.1007/978-3-540-30206-3_12</a>.","ieee":"O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.","ama":"Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals. In: Springer; 2004:152-166. doi:<a href=\"https://doi.org/10.1007/978-3-540-30206-3_12\">10.1007/978-3-540-30206-3_12</a>","short":"O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166."},"year":"2004","publication_status":"published","month":"12","date_updated":"2025-06-26T09:05:17Z","scopus_import":"1","title":"Monitoring Temporal Properties of Continuous Signals","date_published":"2004-12-14T00:00:00Z","publist_id":"1088"}