{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T04:19:36Z","timestamp":1754194776971,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031606977"},{"type":"electronic","value":"9783031606984"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-60698-4_17","type":"book-chapter","created":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:01:51Z","timestamp":1716768111000},"page":"298-313","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Contract-Driven Runtime Adaptation"],"prefix":"10.1007","author":[{"given":"Eunsuk","family":"Kang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akila","family":"Ganlath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shatadal","family":"Mishra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florin","family":"Baiduc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nejib","family":"Ammar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,5,26]]},"reference":[{"issue":"2\u20133","key":"17_CR1","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1561\/1000000053","volume":"12","author":"A Benveniste","year":"2018","unstructured":"Benveniste, A., et al.: Contracts for system design. Found. Trends Electron. Des. Autom. 12(2\u20133), 124\u2013400 (2018)","journal-title":"Found. Trends Electron. Des. Autom."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T.A., Jobstmann, B.: Specification-centered robustness. In: International Symposium on Industrial Embedded Systems (SIES) (2011)","DOI":"10.1109\/SIES.2011.5953660"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Blundell, C., Giannakopoulou, D., Pasareanu, C.S.: Assume-guarantee testing. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006)","DOI":"10.1145\/1118537.1123060"},{"issue":"3","key":"17_CR4","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1109\/TSE.2010.92","volume":"37","author":"R Calinescu","year":"2011","unstructured":"Calinescu, R., Grunske, L., Kwiatkowska, M.Z., Mirandola, R., Tamburrelli, G.: Dynamic QoS management and optimization in service-based systems. IEEE Trans. Softw. Eng. 37(3), 387\u2013409 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"17_CR5","doi-asserted-by":"publisher","unstructured":"Camacho, E., Alba, C.: Model Predictive Control. Advanced Textbooks in Control and Signal Processing. Springer, London (2013). https:\/\/doi.org\/10.1007\/978-3-319-24853-0","DOI":"10.1007\/978-3-319-24853-0"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Chu, S., et al.: Runtime resolution of feature interactions through adaptive requirement weakening. In: IEEE\/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 115\u2013125. IEEE (2023)","DOI":"10.1109\/SEAMS59076.2023.00025"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: FORMATS (2010)","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"17_CR8","unstructured":"Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: CARLA: an open urban driving simulator. In: Annual Conference on Robot Learning (2017)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Ghasemi, K., Sadraddini, S., Belta, C.: Compositional synthesis via a convex parameterization of assume-guarantee contracts. In: HSCC (2020)","DOI":"10.1145\/3365365.3382212"},{"key":"17_CR10","unstructured":"Gonz\u00e1lez, O., Shrikumar, H., Stankovic, J.A., Ramamritham, K.: Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling. In: RTSS (1997)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Otop, J., Samanta, R.: Lipschitz robustness of finite-state transducers. In: FSTTCS (2014)","DOI":"10.1007\/978-3-662-49122-5_12"},{"issue":"1","key":"17_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/71.80192","volume":"2","author":"M Herlihy","year":"1991","unstructured":"Herlihy, M., Wing, J.M.: Specifying graceful degradation. IEEE Trans. Parallel Distrib. Syst. 2(1), 93\u2013104 (1991)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Iannopollo, A., Tripakis, S., Sangiovanni-Vincentelli, A.L.: Specification decomposition for synthesis from libraries of LTL assume\/guarantee contracts. In: DATE, pp. 1574\u20131579 (2018)","DOI":"10.23919\/DATE.2018.8342266"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Kesting, A., Treiber, M., Sch\u00f6nhof, M., Helbing, D.: Adaptive cruise control design for active congestion avoidance. Transp. Res. Part C: Emerg. Technol. 16(6), 668\u2013683 (2008)","DOI":"10.1016\/j.trc.2007.12.004"},{"key":"17_CR15","unstructured":"Kirk, D.: Optimal Control Theory: An Introduction. Dover Books on Electrical Engineering Series. Dover Publications, New York (2004)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Macenski, S., Foote, T., Gerkey, B., Lalancette, C., Woodall, W.: Robot operating system 2: design, architecture, and uses in the wild. Sci. Robot. 7(66) (2022)","DOI":"10.1126\/scirobotics.abm6074"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: FORMATS, pp. 152\u2013166 (2004)","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: Minizinc: towards a standard CP modelling language. In: International Conference on Principles and Practice of Constraint Programming (CP), pp. 529\u2013543 (2007)","DOI":"10.1007\/978-3-540-74970-7_38"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Nickovic, D., Yamaguchi, T.: RTAMT: Online robustness monitors from STL (2020). https:\/\/arxiv.org\/abs\/2005.11827","DOI":"10.1007\/978-3-030-59152-6_34"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Annual Symposium on Foundations of Computer Science (FOCS), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Raman, V., Donz\u00e9, A., Maasoumy, M., Murray, R.M., Sangiovanni-Vincentelli, A.L., Seshia, S.A.: Model predictive control with signal temporal logic specifications. In: IEEE Conference on Decision and Control (CDC) (2014)","DOI":"10.1109\/CDC.2014.7039363"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Rodrigues, A., Caldas, R.D., Rodrigues, G.N., Vogel, T., Pelliccione, P.: A learning approach to enhance assurances for real-time self-adaptive systems. In: SEAMS (2018)","DOI":"10.1145\/3194133.3194147"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Saoud, A., Girard, A., Fribourg, L.: On the composition of discrete and continuous-time assume-guarantee contracts for invariance. In: European Control Conference, ECC, pp. 435\u2013440 (2018)","DOI":"10.23919\/ECC.2018.8550622"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Sokolsky, O., Zhang, T., Lee, I., McDougall, M.: Monitoring assumptions in assume-guarantee contracts. In: PrePost@IFM (2016)","DOI":"10.4204\/EPTCS.208.4"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Sundstr\u00f6m, C., Frisk, E., Nielsen, L.: Diagnostic method combining the lookup tables and fault models applied on a hybrid electric vehicle. IEEE Trans. Control Syst. Technol. 24(3), 1109\u20131117 (2016)","DOI":"10.1109\/TCST.2015.2480008"},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"Tabuada, P., Balkan, A., Caliskan, S.Y., Shoukry, Y., Majumdar, R.: Input-output robustness for discrete systems. In: EMSOFT, pp. 217\u2013226 (2012)","DOI":"10.1145\/2380356.2380396"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Weyns, D.: An Introduction to Self-adaptive Systems: A Contemporary Software Engineering Perspective. Wiley-IEEE Computer Society, Hoboken (2020)","DOI":"10.1002\/9781119574910"},{"issue":"2","key":"17_CR28","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s00766-010-0101-0","volume":"15","author":"J Whittle","year":"2010","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.: RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15(2), 177\u2013196 (2010)","journal-title":"Requir. Eng."}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-60698-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:04:17Z","timestamp":1716768257000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-60698-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031606977","9783031606984"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-60698-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"26 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Moffett Field, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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":"4 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}