{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:42:13Z","timestamp":1743010933201,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031124280"},{"type":"electronic","value":"9783031124297"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-12429-7_23","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T03:40:43Z","timestamp":1663990843000},"page":"317-332","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Probabilistic Model Checking Approach to\u00a0Self-adapting Machine Learning Systems"],"prefix":"10.1007","author":[{"given":"Maria","family":"Casimiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"C\u00e1mara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu\u00eds","family":"Rodrigues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Romano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,25]]},"reference":[{"key":"23_CR1","unstructured":"Alipourfard, O., et al.: Cherrypick: adaptively unearthing the best cloud configurations for big data analytics. In: Proceedings of NSDI (2017)"},{"key":"23_CR2","unstructured":"Apar\u00edcio, D., et al.: Arms: Automated rules management system for fraud detection. arXiv preprint. arXiv:2002.06075 (2020)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Bure\u0161, T.: Self-adaptation 2.0. In: Proceedings of SEAMS (2021)","DOI":"10.1109\/SEAMS51251.2021.00046"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.scico.2018.07.002","volume":"167","author":"J C\u00e1mara","year":"2018","unstructured":"C\u00e1mara, J., et al.: Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation. Sci. Comput. Program. 167, 51\u201369 (2018)","journal-title":"Sci. Comput. Program."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Cao, Y., Yang, J.: Towards making systems forget with machine unlearning. In: Proceedings of IEEE S & P (2015)","DOI":"10.1109\/SP.2015.35"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Casimiro, M., et al.: Lynceus: cost-efficient tuning and provisioning of data analytic jobs. In: Proceedings of ICDCS (2020)","DOI":"10.1109\/ICDCS47774.2020.00047"},{"key":"23_CR7","unstructured":"Casimiro, M., et al.: Self-adaptation for machine learning based systems. In: Proceedings of SAML. LNCS, Springer (2021)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Cito, J., Dillig, I., Kim, S., Murali, V., Chandra, S.: Explaining mispredictions of machine learning models using rule induction. In: Proceedings of ESEC\/FSE (2021)","DOI":"10.1145\/3468264.3468614"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., Moreno, G., Garlan, D.: Reasoning about human participation in self-adaptive systems. In: Proceedings of SEAMS (2015)","DOI":"10.21236\/ADA614218"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, M., et al.: On learning in collective self-adaptive systems: state of practice and a 3d framework. In: Proceedings of SEAMS (2019)","DOI":"10.1109\/SEAMS.2019.00012"},{"key":"23_CR11","unstructured":"Diethe, T., et al.: Continual learning in practice. Presented at the NeurIPS 2018 Workshop on Continual Learning (2019)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, M., et al.: Learning to learn in collective adaptive systems: mining design patterns for data-driven reasoning. In: Proceedings of ACSOS-C (2020)","DOI":"10.1109\/ACSOS-C51401.2020.00042"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Gheibi, O., Weyns, D., Quin, F.: Applying machine learning in self-adaptive systems: A systematic literature review. arXiv preprint. arXiv:2103.04112 (2021)","DOI":"10.1145\/3469440"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"47230","DOI":"10.1109\/ACCESS.2019.2909068","volume":"7","author":"T Gu","year":"2019","unstructured":"Gu, T., et al.: Badnets: evaluating backdooring attacks on deep neural networks. IEEE Access 7, 47230\u201347244 (2019)","journal-title":"IEEE Access"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Huang, L., et al.: Adversarial machine learning. In: Proceedings of AISec (2011)","DOI":"10.1145\/2046684.2046692"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Jamshidi, P., et al.: Transfer learning for improving model predictions in highly configurable software. In: Proceedings of SEAMS (2017)","DOI":"10.1109\/SEAMS.2017.11"},{"issue":"1","key":"23_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"23_CR18","unstructured":"Koh, P.W., et al.: Wilds: A benchmark of in-the-wild distribution shifts. In: Proceedings of ICML. PMLR (2021)"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"issue":"8","key":"23_CR20","doi-asserted-by":"publisher","first-page":"3633","DOI":"10.1109\/TNNLS.2020.3015858","volume":"32","author":"J Li","year":"2021","unstructured":"Li, J., Hu, M.: Continuous model adaptation using online meta-learning for smart grid application. IEEE Trans. Neural Netw. Learn. Syst. 32(8), 3633\u20133642 (2021)","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Li, N., Adepu, S., Kang, E., Garlan, D.: Explanations for human-on-the-loop: a probabilistic model checking approach. In: Proceedings of SEAMS (2020)","DOI":"10.1145\/3387939.3391592"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Li, N., C\u00e1mara, J., Garlan, D., Schmerl, B.: Reasoning about when to provide explanation for human-in-the-loop self-adaptive systems. In: Proceedings of ACSOS (2020)","DOI":"10.1109\/ACSOS49614.2020.00042"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Li, N., C\u00e1mara, J., Garlan, D., Schmerl, B., Jin, Z.: Hey! preparing humans to do tasks in self-adaptive systems. In: Proceedings of SEAMS (2021)","DOI":"10.1109\/SEAMS51251.2021.00017"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Liu, B.: Learning on the job: online lifelong and continual learning. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34 (2020)","DOI":"10.1609\/aaai.v34i09.7079"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Moreno, G.A., et al.: Proactive self-adaptation under uncertainty: a probabilistic model checking approach. In: Proceedings of ESEC\/FSE (2015)","DOI":"10.1145\/2786805.2786853"},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"Moreno, G.A., et al.: Uncertainty reduction in self-adaptive systems. In: Proceedings of SEAMS (2018)","DOI":"10.1145\/3194133.3194144"},{"issue":"10","key":"23_CR27","first-page":"1345","volume":"22","author":"SJ Pan","year":"2009","unstructured":"Pan, S.J., Yang, Q.: A survey on transfer learning. IEEE TKDE 22(10), 1345\u20131359 (2009)","journal-title":"IEEE TKDE"},{"key":"23_CR28","unstructured":"Pinto, F., et al.: Automatic model monitoring for data streams. arXiv preprint. arXiv:1908.04240 (2019)"},{"key":"23_CR29","volume-title":"Dataset Shift in Machine Learning","author":"J Quionero-Candela","year":"2009","unstructured":"Quionero-Candela, J., et al.: Dataset Shift in Machine Learning. The MIT Press, Cambridge (2009)"},{"key":"23_CR30","unstructured":"Silver, D.L., Yang, Q., Li, L.: Lifelong machine learning systems: beyond learning algorithms. In: 2013 AAAI spring symposium series (2013)"},{"issue":"3","key":"23_CR31","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1089\/big.2016.0051","volume":"5","author":"KR Varshney","year":"2017","unstructured":"Varshney, K.R., Alemzadeh, H.: On the safety of machine learning: cyber-physical systems, decision sciences, and data products. Big Data 5(3), 246\u2013255 (2017)","journal-title":"Big Data"},{"key":"23_CR32","unstructured":"Wu, Y., Dobriban, E., Davidson, S.: DeltaGrad: rapid retraining of machine learning models. In: Proceedings of ICML (2020)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-12429-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T03:45:12Z","timestamp":1663991112000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-12429-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031124280","9783031124297"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-12429-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"25 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/","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":"86","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":"22","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":"4","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":"26% - 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":"6.5","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)"}}]}}