{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T03:25:53Z","timestamp":1777519553361,"version":"3.51.4"},"publisher-location":"Cham","reference-count":68,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031787492","type":"print"},{"value":"9783031787508","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-78750-8_1","type":"book-chapter","created":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T12:15:56Z","timestamp":1739276156000},"page":"3-27","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Configuration Monitor Synthesis"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2551-2814","authenticated-orcid":false,"given":"Maximilian A.","family":"K\u00f6hl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5718-8276","authenticated-orcid":false,"given":"Clemens","family":"Dubslaff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2766-9615","authenticated-orcid":false,"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,12]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Acar, A.N., Schmidt, K.W.: Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs. In: IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, August 24-28, 2015, pp. 825\u2013830. IEEE (2015). https:\/\/doi.org\/10.1109\/CoASE.2015.7294183","DOI":"10.1109\/CoASE.2015.7294183"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-54830-7_15","volume-title":"Foundations of Software Science and Computation Structures","author":"S Almagor","year":"2014","unstructured":"Almagor, S., Kupferman, O.: Latticed-LTL synthesis in the presence of noisy inputs. In: Muscholl, A. (ed.) Foundations of Software Science and Computation Structures, pp. 226\u2013241. Springer, Berlin Heidelberg, Berlin, Heidelberg (2014)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Apel, S., Batory, D.S., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines - Concepts and Implementation. Springer (2013)","DOI":"10.1007\/978-3-642-37521-7"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings. Lecture Notes in Computer Science, vol.\u00a02937, pp. 44\u201357. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-24622-0_5","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Lecture Notes in Computer Science, vol.\u00a04337, pp. 260\u2013272. Springer (2006). https:\/\/doi.org\/10.1007\/11944836_25","DOI":"10.1007\/11944836_25"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: The good, the bad, and the ugly, but how ugly is ugly? In: Sokolsky, O., Tasiran, S. (eds.) Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers. Lecture Notes in Computer Science, vol.\u00a04839, pp. 126\u2013138. Springer (2007). https:\/\/doi.org\/10.1007\/978-3-540-77395-5_11","DOI":"10.1007\/978-3-540-77395-5_11"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14:1\u201314:64 (2011). https:\/\/doi.org\/10.1145\/2000799.2000800","DOI":"10.1145\/2000799.2000800"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Baumeister, J., Finkbeiner, B., Schirmer, S., Schwenger, M., Torens, C.: Rtlola cleared for take-off: Monitoring autonomous aircraft. In: Lahiri, S.K., Wang, C. (eds.) Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Lecture Notes in Computer Science, vol. 12225, pp. 28\u201339. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_3","DOI":"10.1007\/978-3-030-53291-8_3"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s10664-020-09930-8","volume":"27","author":"MH ter Beek","year":"2021","unstructured":"ter Beek, M.H., Damiani, F., Lienhardt, M., Mazzanti, F., Paolini, L.: Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. 27(1), 10 (2021). https:\/\/doi.org\/10.1007\/s10664-020-09930-8","journal-title":"Empir. Softw. Eng."},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Beek, M.H.t., Damiani, F., Lienhardt, M., Mazzanti, F., Paolini, L.: Static analysis of featured transition systems. In: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A, pp. 39\u201351. SPLC \u201919, Association for Computing Machinery, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3336294.3336295","DOI":"10.1145\/3336294.3336295"},{"issue":"4","key":"1_CR11","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/12.919277","volume":"50","author":"G Bernat","year":"2001","unstructured":"Bernat, G., Burns, A., Llamos\u00ed, A.: Weakly hard real-time systems. IEEE Trans. Comput. 50(4), 308\u2013321 (2001). https:\/\/doi.org\/10.1109\/12.919277","journal-title":"IEEE Trans. Comput."},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"Boden, M., Koegst, M., Bad\u00eda, J.L.T., R\u00fclke, S.: Cost-efficient implementation of adaptive finite state machines. In: 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August - 3 September 2004, Rennes, France, pp. 144\u2013151. IEEE Computer Society (2004). https:\/\/doi.org\/10.1109\/DSD.2004.1333270","DOI":"10.1109\/DSD.2004.1333270"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","volume-title":"Comput. Aided Verification","author":"G Bruns","year":"1999","unstructured":"Bruns, G., Godefroid, P.: Model checking partial state spaces with 3-valued temporal logics. In: Halbwachs, N., Peled, D. (eds.) Comput. Aided Verification, pp. 274\u2013287. Springer, Berlin Heidelberg, Berlin, Heidelberg (1999)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-27836-8_26","volume-title":"Automata, Lang. Program.","author":"G Bruns","year":"2004","unstructured":"Bruns, G., Godefroid, P.: Model checking with multi-valued logics. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) Automata, Lang. Program., pp. 281\u2013293. Springer, Berlin Heidelberg, Berlin, Heidelberg (2004)"},{"issue":"8","key":"1_CR15","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677\u2013691 (1986). https:\/\/doi.org\/10.1109\/TC.1986.1676819","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/j.automatica.2012.09.017","volume":"49","author":"LK Carvalho","year":"2013","unstructured":"Carvalho, L.K., Moreira, M.V., Basilio, J.C., Lafortune, S.: Robust diagnosis of discrete-event systems against permanent loss of observations. Autom. 49(1), 223\u2013231 (2013). https:\/\/doi.org\/10.1016\/j.automatica.2012.09.017","journal-title":"Autom."},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Castro, M., Costa, M., Martin, J.: Better bug reporting with better privacy. In: Eggers, S.J., Larus, J.R. (eds.) Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2008, Seattle, WA, USA, March 1-5, 2008, pp. 319\u2013328. ACM (2008). https:\/\/doi.org\/10.1145\/1346281.1346322","DOI":"10.1145\/1346281.1346322"},{"key":"1_CR18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","author":"BF Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal logic - an introduction. Camb. Univ. Press (1980). https:\/\/doi.org\/10.1017\/CBO9780511621192","journal-title":"Camb. Univ. Press"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Cimatti, A., Tian, C., Tonetta, S.: Assumption-based runtime verification with partial observability and resets. In: Finkbeiner, B., Mariani, L. (eds.) Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11757, pp. 165\u2013184. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-32079-9_10","DOI":"10.1007\/978-3-030-32079-9_10"},{"issue":"4","key":"1_CR20","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"EM Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626\u2013643 (1996). https:\/\/doi.org\/10.1145\/242223.242257","journal-title":"ACM Comput. Surv."},{"key":"1_CR21","unstructured":"Classen, A.: Modelling with FTS: a Collection of Illustrative Examples. Tech. Rep. P-CS-TR SPLMC-00000001, PReCISE Research Center, University of Namur, Namur, Belgium (2010). https:\/\/projects.info.unamur.be\/fts\/publications\/"},{"issue":"8","key":"1_CR22","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1109\/TSE.2012.86","volume":"39","author":"A Classen","year":"2013","unstructured":"Classen, A., Cordy, M., Schobbens, P., Heymans, P., Legay, A., Raskin, J.: Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking. IEEE Trans. Software Eng. 39(8), 1069\u20131089 (2013). https:\/\/doi.org\/10.1109\/TSE.2012.86","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Dynamic event-based runtime monitoring of real-time and contextual properties. In: Cofer, D.D., Fantechi, A. (eds.) Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L\u2019Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Lecture Notes in Computer Science, vol.\u00a05596, pp. 135\u2013149. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-642-03240-0_13","DOI":"10.1007\/978-3-642-03240-0_13"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Convent, L., Hungerecker, S., Leucker, M., Scheffel, T., Schmitz, M., Thoma, D.: Tessla: Temporal stream-based specification language. In: Massoni, T., Mousavi, M.R. (eds.) Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11254, pp. 144\u2013162. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-03044-5_10","DOI":"10.1007\/978-3-030-03044-5_10"},{"key":"1_CR25","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. ACM Press\/Addison-Wesley Publishing Co. (2000)"},{"key":"1_CR26","doi-asserted-by":"publisher","unstructured":"D\u2019Angelo, B., et al.: LOLA: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA, pp. 166\u2013174. IEEE Computer Society (2005). https:\/\/doi.org\/10.1109\/TIME.2005.26","DOI":"10.1109\/TIME.2005.26"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Devroey, X.: Behavioural model-based testing of software product lines. Ph.D. thesis, University of Namur (2017). https:\/\/doi.org\/10.5281\/zenodo.4105899","DOI":"10.5281\/zenodo.4105899"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Di\u00a0Natale, M., Zeng, H., Giusto, P., Ghosal, A.: Understanding and using the controller area network communication protocol: theory and practice. Springer Science & Business Media (2012)","DOI":"10.1007\/978-1-4614-0314-2"},{"key":"1_CR29","doi-asserted-by":"publisher","unstructured":"Dubslaff, C., K\u00f6hl, M.A.: Configurable-by-construction runtime monitoring. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I. Lecture Notes in Computer Science, vol. 13701, pp. 220\u2013241. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19849-6_14","DOI":"10.1007\/978-3-031-19849-6_14"},{"issue":"5","key":"1_CR30","doi-asserted-by":"publisher","first-page":"1977","DOI":"10.1002\/j.1538-7305.1963.tb00955.x","volume":"42","author":"EO Elliott","year":"1963","unstructured":"Elliott, E.O.: Estimates of error rates for codes on burst-noise channels. Bell Syst. Tech. J. 42(5), 1977\u20131997 (1963). https:\/\/doi.org\/10.1002\/j.1538-7305.1963.tb00955.x","journal-title":"Bell Syst. Tech. J."},{"issue":"3","key":"1_CR31","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10009-011-0196-8","volume":"14","author":"Y Falcone","year":"2012","unstructured":"Falcone, Y., Fernandez, J., Mounier, L.: What can you verify and enforce at runtime? Int. J. Softw. Tools Technol. Transf. 14(3), 349\u2013382 (2012). https:\/\/doi.org\/10.1007\/s10009-011-0196-8","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"6","key":"1_CR32","doi-asserted-by":"publisher","first-page":"1118","DOI":"10.1109\/JPROC.2005.849720","volume":"93","author":"M Felser","year":"2005","unstructured":"Felser, M.: Real-time ethernet-industry prospective. Proc. IEEE 93(6), 1118\u20131129 (2005)","journal-title":"Proc. IEEE"},{"issue":"1","key":"1_CR33","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/s10703-022-00395-7","volume":"59","author":"A Ferrando","year":"2021","unstructured":"Ferrando, A., et al.: Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59(1), 44\u201376 (2021). https:\/\/doi.org\/10.1007\/s10703-022-00395-7","journal-title":"Formal Methods Syst. Des."},{"issue":"5","key":"1_CR34","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.1002\/j.1538-7305.1960.tb03959.x","volume":"39","author":"EN Gilbert","year":"1960","unstructured":"Gilbert, E.N.: Capacity of a burst-noise channel. Bell Syst. Tech. J. 39(5), 1253\u20131265 (1960). https:\/\/doi.org\/10.1002\/j.1538-7305.1960.tb03959.x","journal-title":"Bell Syst. Tech. J."},{"key":"1_CR35","doi-asserted-by":"publisher","unstructured":"Gonen, H., Kupferman, O.: Inherent vacuity in lattice automata. In: Beklemishev, L.D., Blass, A., Dershowitz, N., Finkbeiner, B., Schulte, W. (eds.) Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Lecture Notes in Computer Science, vol.\u00a09300, pp. 174\u2013192. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-23534-9_10","DOI":"10.1007\/978-3-319-23534-9_10"},{"key":"1_CR36","doi-asserted-by":"publisher","unstructured":"Gorostiaga, F., S\u00e1nchez, C.: Striver: stream runtime verification for real-time event-streams. In: Colombo, C., Leucker, M. (eds.) Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11237, pp. 282\u2013298. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_16","DOI":"10.1007\/978-3-030-03769-7_16"},{"key":"1_CR37","doi-asserted-by":"publisher","unstructured":"Halamish, S., Kupferman, O.: Minimizing deterministic lattice automata. In: Hofmann, M. (ed.) Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr\u00fccken, Germany, March 26-April 3, 2011. Proceedings. Lecture Notes in Computer Science, vol.\u00a06604, pp. 199\u2013213. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-19805-2_14","DOI":"10.1007\/978-3-642-19805-2_14"},{"key":"1_CR38","doi-asserted-by":"publisher","unstructured":"Halamish, S., Kupferman, O.: Approximating deterministic lattice automata. In: Chakraborty, S., Mukund, M. (eds.) Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Lecture Notes in Computer Science, vol.\u00a07561, pp. 27\u201341. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-33386-6_4","DOI":"10.1007\/978-3-642-33386-6_4"},{"key":"1_CR39","doi-asserted-by":"publisher","unstructured":"Hopcroft, J.: An n log n algorithm for minimizing states in a finite automaton. In: Kohavi, Z., Paz, A. (eds.) Theory of Machines and Computations, pp. 189\u2013196. Academic Press (1971). https:\/\/doi.org\/10.1016\/B978-0-12-417750-5.50022-1, https:\/\/www.sciencedirect.com\/science\/article\/pii\/B9780124177505500221","DOI":"10.1016\/B978-0-12-417750-5.50022-1"},{"key":"1_CR40","doi-asserted-by":"publisher","unstructured":"Huang, J., et al.: ROSRV: runtime verification for robots. In: Bonakdarpour, B., Smolka, S.A. (eds.) Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Lecture Notes in Computer Science, vol.\u00a08734, pp. 247\u2013254. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-11164-3_20","DOI":"10.1007\/978-3-319-11164-3_20"},{"key":"1_CR41","doi-asserted-by":"publisher","unstructured":"Kallwies, H., Leucker, M., Schmitz, M., Schulz, A., Thoma, D., Weiss, A.: TeSSla - an ecosystem for runtime verification. In: Dang, T., Stolz, V. (eds.) Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13498, pp. 314\u2013324. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-17196-3_20","DOI":"10.1007\/978-3-031-17196-3_20"},{"key":"1_CR42","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785","volume-title":"Feature-oriented domain analysis (FODA) feasibility study","author":"KC Kang","year":"1990","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Carnegie-Mellon University Software Engineering Institute, Tech. rep. (1990)"},{"key":"1_CR43","doi-asserted-by":"publisher","unstructured":"Kesten, Y., Pnueli, A., Raviv, L.: Algorithmic verification of linear temporal logic specifications. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) Automata, Languages and Programming, 25th International Colloquium, ICALP\u201998, Aalborg, Denmark, July 13-17, 1998, Proceedings. Lecture Notes in Computer Science, vol.\u00a01443, pp. 1\u201316. Springer (1998). https:\/\/doi.org\/10.1007\/BFB0055036","DOI":"10.1007\/BFB0055036"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Kim, C.H.P., Bodden, E., Batory, D., Khurshid, S.: Reducing configurations to monitor in a software product line. In: Proceedings of the 10th International Conference on Runtime Verification (RV\u201910), pp. 285\u2013299. Springer, Berlin, Heidelberg (2010)","DOI":"10.1007\/978-3-642-16612-9_22"},{"key":"1_CR45","doi-asserted-by":"publisher","unstructured":"K\u00f6hl, M.A., Dubslaff, C., Hermanns, H.: ATVA\u201924 Artifact: Configuration Monitor Synthesis (2024). https:\/\/doi.org\/10.5281\/zenodo.12583622","DOI":"10.5281\/zenodo.12583622"},{"issue":"2","key":"1_CR46","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1561\/0400000083","volume":"15","author":"O Kupferman","year":"2022","unstructured":"Kupferman, O.: Multi-valued reasoning about reactive systems. Found. Trends Theor. Comput. Sci. 15(2), 126\u2013228 (2022). https:\/\/doi.org\/10.1561\/0400000083","journal-title":"Found. Trends Theor. Comput. Sci."},{"key":"1_CR47","doi-asserted-by":"publisher","unstructured":"Kupferman, O., Lustig, Y.: Lattice automata. In: Cook, B., Podelski, A. (eds.) Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. Lecture Notes in Computer Science, vol.\u00a04349, pp. 199\u2013213. Springer (2007). https:\/\/doi.org\/10.1007\/978-3-540-69738-1_14","DOI":"10.1007\/978-3-540-69738-1_14"},{"issue":"5","key":"1_CR48","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., Schallhart, C.: A brief account of runtime verification. J. Log. Algebraic Methods Program. 78(5), 293\u2013303 (2009). https:\/\/doi.org\/10.1016\/j.jlap.2008.08.004","journal-title":"J. Log. Algebraic Methods Program."},{"key":"1_CR49","doi-asserted-by":"publisher","unstructured":"Mhamdi, L., Njima, C.B., Dhouibi, H., Messaoud, H.: Using timed automata and fuzzy logic for diagnosis of multiple faults in DES. In: International Conference on Control, Automation and Diagnosis, ICCAD 2017, Hammamet, Tunisia, January 19-21, 2017, pp. 457\u2013463. IEEE (2017). https:\/\/doi.org\/10.1109\/CADIAG.2017.8075702","DOI":"10.1109\/CADIAG.2017.8075702"},{"key":"1_CR50","unstructured":"Morin-Allory, K., Borrione, D.: On-line monitoring of properties built on regular expressions. In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 249\u2013255. ECSI (2006), http:\/\/www.ecsi-association.org\/ecsi\/main.asp?l1=library&fn=def &id=366"},{"key":"1_CR51","first-page":"112","volume":"57","author":"J Myhill","year":"1957","unstructured":"Myhill, J.: Finite automata and the representation of events. WADD Tech. Rep. 57, 112\u2013137 (1957)","journal-title":"WADD Tech. Rep."},{"key":"1_CR52","doi-asserted-by":"crossref","unstructured":"Nerode, A.: Linear automaton transformations. Proc. Am. Math. Soc. 9(4), 541\u2013544 (1958). http:\/\/www.jstor.org\/stable\/2033204","DOI":"10.1090\/S0002-9939-1958-0135681-9"},{"key":"1_CR53","doi-asserted-by":"publisher","unstructured":"Pazzaglia, P., Maggio, M.: Characterizing the effect of deadline misses on time-triggered task chains. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11), 3957\u20133968 (2022). https:\/\/doi.org\/10.1109\/TCAD.2022.3199146","DOI":"10.1109\/TCAD.2022.3199146"},{"key":"1_CR54","doi-asserted-by":"publisher","unstructured":"Peldszus, S., Str\u00fcber, D., J\u00fcrjens, J.: Model-based security analysis of feature-oriented software product lines. In: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, pp. 93\u2013106. GPCE 2018, Association for Computing Machinery, New York, NY, USA (2018). https:\/\/doi.org\/10.1145\/3278122.3278126","DOI":"10.1145\/3278122.3278126"},{"key":"1_CR55","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/j.jss.2017.06.060","volume":"132","author":"S Pinisetty","year":"2017","unstructured":"Pinisetty, S., J\u00e9ron, T., Tripakis, S., Falcone, Y., Marchand, H., Preoteasa, V.: Predictive runtime verification of timed properties. J. Syst. Softw. 132, 353\u2013365 (2017). https:\/\/doi.org\/10.1016\/j.jss.2017.06.060","journal-title":"J. Syst. Softw."},{"key":"1_CR56","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977, pp. 46\u201357. IEEE Computer Society (1977). https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"issue":"2","key":"1_CR57","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"MO Rabin","year":"1959","unstructured":"Rabin, M.O., Scott, D.S.: Finite automata and their decision problems. IBM J. Res. Dev. 3(2), 114\u2013125 (1959). https:\/\/doi.org\/10.1147\/rd.32.0114","journal-title":"IBM J. Res. Dev."},{"issue":"1\u20132","key":"1_CR58","doi-asserted-by":"publisher","first-page":"189","DOI":"10.3233\/JCS-2002-101-209","volume":"10","author":"CR Ramakrishnan","year":"2002","unstructured":"Ramakrishnan, C.R., Sekar, R.: Model-based analysis of configuration vulnerabilities. J. Comput. Secur. 10(1\u20132), 189\u2013209 (2002). https:\/\/doi.org\/10.3233\/JCS-2002-101-209","journal-title":"J. Comput. Secur."},{"key":"1_CR59","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29\u201362 (2015). https:\/\/doi.org\/10.1016\/j.cosrev.2015.03.001","journal-title":"Comput. Sci. Rev."},{"issue":"9","key":"1_CR60","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). https:\/\/doi.org\/10.1109\/9.412626","journal-title":"IEEE Trans. Autom. Control"},{"issue":"2","key":"1_CR61","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete-event models. IEEE Trans. Control Syst. Technol. 4(2), 105\u2013124 (1996). https:\/\/doi.org\/10.1109\/87.486338","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"1_CR62","volume-title":"CUDD: CU Decision Diagram Package","author":"F Somenzi","year":"2015","unstructured":"Somenzi, F.: CUDD: CU Decision Diagram Package. University of Colorado at Boulder, Tech. rep. (2015)"},{"key":"1_CR63","doi-asserted-by":"publisher","unstructured":"Tindell, K., Hanssmon, H., Wellings, A.J.: Analysing real-time communications: Controller area network (CAN). In: Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS \u201994), San Juan, Puerto Rico, December 7-9, 1994, pp. 259\u2013263. IEEE Computer Society (1994). https:\/\/doi.org\/10.1109\/REAL.1994.342710","DOI":"10.1109\/REAL.1994.342710"},{"issue":"6","key":"1_CR64","doi-asserted-by":"publisher","first-page":"1241","DOI":"10.1109\/41.808018","volume":"46","author":"E Tovar","year":"1999","unstructured":"Tovar, E., Vasques, F.: Real-time fieldbus communications using profibus networks. IEEE Trans. Ind. Electron. 46(6), 1241\u20131251 (1999). https:\/\/doi.org\/10.1109\/41.808018","journal-title":"IEEE Trans. Ind. Electron."},{"key":"1_CR65","doi-asserted-by":"publisher","unstructured":"Valmari, A., Lehtinen, P.: Efficient Minimization of DFAs with Partial Transition. In: Albers, S., Weil, P. (eds.) 25th International Symposium on Theoretical Aspects of Computer Science. Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a01, pp. 645\u2013656. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2008). https:\/\/doi.org\/10.4230\/LIPIcs.STACS.2008.1328, http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2008\/1328","DOI":"10.4230\/LIPIcs.STACS.2008.1328"},{"key":"1_CR66","unstructured":"Wotawa, F., Friedrich, G., Andrzejak, A.: Software configuration diagnosis? A survey of existing methods and open challenges (2018). http:\/\/confws.ist.tugraz.at, 20th International Workshop on Configuration, ConfWS ; Conference date: 27-09-2018 Through 28-09-2018"},{"key":"1_CR67","doi-asserted-by":"publisher","unstructured":"Zhang, P., Zhang, S., Li, S., Zhang, J., Liu, S., Bu, Y.: FRA-FPGA: fast reconfigurable automata processing on FPGAS. In: 32nd International Conference on Field-Programmable Logic and Applications, FPL 2022, Belfast, United Kingdom, August 29 - Sept. 2, 2022, pp. 313\u2013321. IEEE (2022). https:\/\/doi.org\/10.1109\/FPL57034.2022.00055","DOI":"10.1109\/FPL57034.2022.00055"},{"key":"1_CR68","doi-asserted-by":"publisher","unstructured":"Zhang, X., Leucker, M., Dong, W.: Runtime verification with predictive semantics. In: Goodloe, A., Person, S. (eds.) NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Lecture Notes in Computer Science, vol.\u00a07226, pp. 418\u2013432. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-28891-3_37","DOI":"10.1007\/978-3-642-28891-3_37"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-78750-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T10:08:25Z","timestamp":1769681305000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-78750-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031787492","9783031787508"],"references-count":68,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-78750-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"12 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ATVA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Automated Technology for Verification and Analysis","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kyoto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atva2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}