{"article_processing_charge":"No","year":"2008","month":"03","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"11","publisher":"Springer","publication_identifier":{"isbn":["9783540781264"]},"title":"Checking Temporal Properties of Discrete, Timed and Continuous Behaviors","quality_controlled":"1","citation":{"chicago":"Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” In <i>Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday</i>, 475–505. Springer, 2008. <a href=\"https://doi.org/10.1007/978-3-540-78127-1_26\">https://doi.org/10.1007/978-3-540-78127-1_26</a>.","ista":"Maler O, Nickovic D, Pnueli A. 2008.Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In: Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. LNCS, , 475–505.","apa":"Maler, O., Nickovic, D., &#38; Pnueli, A. (2008). Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In <i>Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday</i> (pp. 475–505). Springer. <a href=\"https://doi.org/10.1007/978-3-540-78127-1_26\">https://doi.org/10.1007/978-3-540-78127-1_26</a>","short":"O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.","mla":"Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” <i>Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday</i>, Springer, 2008, pp. 475–505, doi:<a href=\"https://doi.org/10.1007/978-3-540-78127-1_26\">10.1007/978-3-540-78127-1_26</a>.","ieee":"O. Maler, D. Nickovic, and A. Pnueli, “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors,” in <i>Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday</i>, Springer, 2008, pp. 475–505.","ama":"Maler O, Nickovic D, Pnueli A. Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In: <i>Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday</i>. Springer; 2008:475-505. doi:<a href=\"https://doi.org/10.1007/978-3-540-78127-1_26\">10.1007/978-3-540-78127-1_26</a>"},"extern":"1","date_published":"2008-03-11T00:00:00Z","type":"book_chapter","page":"475 - 505","doi":"10.1007/978-3-540-78127-1_26","scopus_import":"1","_id":"4371","language":[{"iso":"eng"}],"publication":"Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday","publication_status":"published","author":[{"first_name":"Oded","last_name":"Maler","full_name":"Maler, Oded"},{"last_name":"Nickovic","first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","full_name":"Nickovic, Dejan"},{"full_name":"Pnueli, Amir","first_name":"Amir","last_name":"Pnueli"}],"date_created":"2018-12-11T12:08:30Z","status":"public","date_updated":"2023-02-14T10:42:38Z","publist_id":"1087","abstract":[{"lang":"eng","text":"We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropriate temporal logic and describe two such monitoring algorithms for the real-time logic MITL."}],"alternative_title":["LNCS"],"oa_version":"None"}