{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T01:21:35Z","timestamp":1775265695871,"version":"3.50.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030037680","type":"print"},{"value":"9783030037697","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03769-7_12","type":"book-chapter","created":{"date-parts":[[2018,11,7]],"date-time":"2018-11-07T07:09:20Z","timestamp":1541574560000},"page":"205-221","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Efficient Timed Diagnosis Using Automata with Timed Domains"],"prefix":"10.1007","author":[{"given":"Patricia","family":"Bouyer","sequence":"first","affiliation":[]},{"given":"Samy","family":"Jaziri","sequence":"additional","affiliation":[]},{"given":"Nicolas","family":"Markey","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,11,8]]},"reference":[{"issue":"2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Behrmann, G., et al.: Uppaal 4.0. In: Proceedings of the 3rd International Conference on Quantitative Evaluation of Systems (QEST 2006), pp. 125\u2013126. IEEE Computer Society Press, September 2006","DOI":"10.1109\/QEST.2006.59"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87\u2013124. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27755-2_3"},{"issue":"5","key":"12_CR4","doi-asserted-by":"publisher","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"48","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Fabre, \u00c9., Haar, S., Jard, C.: Diagnosis of asynchronous discrete event systems: a net-unfolding approach. IEEE Trans. Autom. Control. 48(5), 714\u2013727 (2003)","journal-title":"IEEE Trans. Autom. Control."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bertrand, N., Haddad, S., Lefaucheux, E.: Foundation of diagnosis and predictability in probabilistic systems. In: Raman, V., Suresh, S.P. (eds.) Proceedings of the 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014). Leibniz International Proceedings in Informatics, vol. 29, pp. 417\u2013429. Leibniz-Zentrum f\u00fcr Informatik, December 2014","DOI":"10.1007\/978-3-642-54830-7_2"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-31982-5_14","volume-title":"Foundations of Software Science and Computational Structures","author":"P Bouyer","year":"2005","unstructured":"Bouyer, P., Chevalier, F., D\u2019Souza, D.: Fault diagnosis using timed automata. In: Sassone, V. (ed.) FoSSaCS 2005. LNCS, vol. 3441, pp. 219\u2013233. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31982-5_14"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-319-65765-3_2","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"P Bouyer","year":"2017","unstructured":"Bouyer, P., Jaziri, S., Markey, N.: On the determinization of timed systems. In: Abate, A., Geeraerts, G. (eds.) FORMATS 2017. LNCS, vol. 10419, pp. 25\u201341. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65765-3_2"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Cassez, F.: A note on fault diagnosis algorithms. In: Proceedings of the 48th IEEE Conference on Decision and Control (CDC 2009), pp. 6941\u20136946. IEEE Computer Socirty Press, December 2009","DOI":"10.1109\/CDC.2009.5399968"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Chen, Y.-L., Provan, G.: Modeling and diagnosis of timed discrete event systems - a factory automation example. In: Proceedings of the 1997 American Control Conference (ACC 1997), pp. 31\u201336. IEEE Computer Society Press, June 1997","DOI":"10.1109\/ACC.1997.611749"},{"issue":"11","key":"12_CR10","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1592761.1592781","volume":"52","author":"EM Clarke","year":"2009","unstructured":"Clarke, E.M., Allen Emerson, E., Sifakis, J.: Model checking: algorithmic verification and debugging. Commun. ACM 52(11), 74\u201384 (2009)","journal-title":"Commun. ACM"},{"key":"12_CR11","volume-title":"Model Checking","author":"EM Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"12_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8","volume-title":"Handbook of Model Checking","author":"EM Clarke","year":"2018","unstructured":"Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R.: Handbook of Model Checking. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8"},{"issue":"5","key":"12_CR13","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-011-0211-0","volume":"13","author":"J-C Filli\u00e2tre","year":"2011","unstructured":"Filli\u00e2tre, J.-C.: Deductive software verification. Int. J. Softw. Tools Technol. Transf. 13(5), 397\u2013403 (2011)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/11867340_14","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"O Finkel","year":"2006","unstructured":"Finkel, O.: Undecidable problems about timed automata. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 187\u2013199. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11867340_14"},{"issue":"2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.automatica.2008.06.022","volume":"45","author":"S Genc","year":"2009","unstructured":"Genc, S., Lafortune, S.: Predictability of event occurrences in partially-observed discrete-event systems. Automatica 45(2), 301\u2013311 (2009)","journal-title":"Automatica"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11813040_1","volume-title":"FM 2006: Formal Methods","author":"TA Henzinger","year":"2006","unstructured":"Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 1\u201315. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11813040_1"},{"issue":"10","key":"12_CR17","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.arcontrol.2018.04.002","volume":"45","author":"S Lafortune","year":"2018","unstructured":"Lafortune, S., Lin, F., Hadjicostis, C.N.: On the history of diagnosability and opacity in discrete event systems. Annu. Rev. Control. 45, 257\u2013266 (2018)","journal-title":"Annu. Rev. Control."},{"issue":"5","key":"12_CR19","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Program."},{"issue":"4","key":"12_CR20","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1023\/A:1011273108731","volume":"11","author":"J Lunze","year":"2001","unstructured":"Lunze, J., Schr\u00f6der, J.: State observation and diagnosis of discrete-event systems described by stochastic automata. Discret. Event Dyn. Syst. 11(4), 319\u2013369 (2001)","journal-title":"Discret. Event Dyn. Syst."},{"issue":"3","key":"12_CR21","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1109\/TSMCA.2007.893487","volume":"37","author":"S Narasimhan","year":"2007","unstructured":"Narasimhan, S., Biswas, G.: Model-based diagnosis of hybrid systems. IEEE Trans. Syst., Man, Cybern. Part A Syst. Hum. 37(3), 348\u2013361 (2007)","journal-title":"IEEE Trans. Syst., Man, Cybern. Part A Syst. Hum."},{"issue":"7","key":"12_CR22","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1109\/9.701089","volume":"43","author":"M Sampath","year":"1998","unstructured":"Sampath, M., Lafortune, S., Teneketzis, D.: Active diagnosis of discrete-event systems. IEEE Trans. Autom. Control. 43(7), 908\u2013929 (1998)","journal-title":"IEEE Trans. Autom. Control."},{"issue":"9","key":"12_CR23","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. Autom. Control. 40(9), 1555\u20131575 (1995)","journal-title":"IEEE Trans. Autom. Control."},{"issue":"1","key":"12_CR24","first-page":"105","volume":"35","author":"M Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete-event models. IEEE Trans. Comput. 35(1), 105\u2013124 (1996)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"12_CR25","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Conformance testing with labelled transition systems: Implementation relations and test generation. Comput. Netw. ISDN Syst. 29(1), 49\u201379 (1996)","journal-title":"Comput. Netw. ISDN Syst."},{"key":"12_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/3-540-45828-X_10","volume-title":"Embedded Software","author":"S Tripakis","year":"2002","unstructured":"Tripakis, S.: Description and schedulability analysis of the software architecture of an automated vehicle control system. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 123\u2013137. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45828-X_10"},{"issue":"6","key":"12_CR27","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1016\/j.ipl.2006.04.015","volume":"99","author":"S Tripakis","year":"2006","unstructured":"Tripakis, S.: Folk theorems on the determinization and minimization of timed automata. Inf. Process. Lett. 99(6), 222\u2013226 (2006)","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"12_CR28","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","volume":"37","author":"J Zaytoon","year":"2013","unstructured":"Zaytoon, J., Lafortune, S.: Overview of fault diagnosis methods for discrete event systems. Annu. Rev. Control. 37(2), 308\u2013320 (2013)","journal-title":"Annu. Rev. Control."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03769-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T00:16:34Z","timestamp":1775261794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03769-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030037680","9783030037697"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03769-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"8 November 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rv2018.isp.uni-luebeck.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"49","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3 tool papers were also accepted and included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}