{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:29:54Z","timestamp":1725460194253},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642341878"},{"type":"electronic","value":"9783642341885"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34188-5_23","type":"book-chapter","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T10:04:33Z","timestamp":1349949873000},"page":"254-256","source":"Crossref","is-referenced-by-count":0,"title":["On-Line Detection and Prediction of Temporal Patterns"],"prefix":"10.1007","author":[{"given":"Shlomi","family":"Dolev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Goldfeld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rami","family":"Puzis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Abarbanel, Y., Beer, I., Glushovsky, L., Keidar, S., Wolfsthal, Y.: FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. In: Conference on Computer Aided Verification, pp. 538\u2013542 (2000)","DOI":"10.1007\/10722167_40"},{"issue":"1","key":"23_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real-Time. Information and Computation\u00a0104(1), 2\u201334 (1993)","journal-title":"Information and Computation"},{"issue":"2","key":"23_CR3","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model checking: 1020 States and beyond. Information and Computation\u00a098(2), 142\u2013170 (1992)","journal-title":"Information and Computation"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"2315","DOI":"10.1016\/j.jss.2008.04.028","volume":"81","author":"O. Brukman","year":"2008","unstructured":"Brukman, O., Dolev, S., Kolodner, E.: Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. Journal of Systems and Software\u00a081, 2315\u20132327 (2008)","journal-title":"Journal of Systems and Software"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Boul\u2019e, M., Zilic, Z.: Efficient automata-based assertion-checker synthesis of PSL properties. In: Proceedings of the IEEE International High Level Design Validation and TestWorkshop (HLDVT), pp. 69\u201376 (2006)","DOI":"10.1109\/HLDVT.2006.319966"},{"key":"23_CR6","series-title":"LNCS","first-page":"44","volume-title":"MFCS 1988","author":"M. Crochemore","year":"1988","unstructured":"Crochemore, M.: String Matching with Constraints. In: Chytil, M.P., Janiga, L., Koubek, V. (eds.) MFCS 1988. LNCS, vol.\u00a0324, pp. 44\u201358. Springer, Heidelberg (1988)"},{"key":"23_CR7","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal Constraint Networks. Artificial Intelligence\u00a049, 61\u201395 (1991)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"23_CR9","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s00446-003-0089-5","volume":"16","author":"S. Dolev","year":"2003","unstructured":"Dolev, S., Stomp, F.: Safety Assurance via On-Line Monitoring. Distributed Computing\u00a016(4), 269\u2013277 (2003)","journal-title":"Distributed Computing"},{"key":"23_CR10","unstructured":"Goldfeld, J.: Efficient On-line Detection of Temporal Patterns, MSc Thesis, BGU-CS (2011)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Laroussinie, F., Markey, N., Schnoebelen, P.: Efficient Timed Model Checking for Discrete-Time Systems. Theor. Comput. Sci.\u00a0353(1), 249\u2013271","DOI":"10.1016\/j.tcs.2005.11.020"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34188-5_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:47:33Z","timestamp":1620118053000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34188-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341878","9783642341885"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34188-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}