{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T17:05:29Z","timestamp":1761930329527,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031477041"},{"type":"electronic","value":"9783031477058"}],"license":[{"start":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T00:00:00Z","timestamp":1699228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T00:00:00Z","timestamp":1699228800000},"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-47705-8_18","type":"book-chapter","created":{"date-parts":[[2023,11,10]],"date-time":"2023-11-10T09:02:24Z","timestamp":1699606944000},"page":"343-363","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Modelling and\u00a0Analysis of\u00a0a\u00a0Self-Adaptive Robotic System"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8515-1809","authenticated-orcid":false,"given":"Juliane","family":"P\u00e4\u00dfler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2930-6367","authenticated-orcid":false,"given":"Maurice H.","family":"ter Beek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9948-2748","authenticated-orcid":false,"given":"Silvia Lizeth","family":"Tapia Tarifa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5382-3949","authenticated-orcid":false,"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,11,6]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","unstructured":"Araujo, H., Mousavi, M.R., Varshosaz, M.: Testing, validation, and verification of robotic and autonomous systems: a systematic review. ACM Trans. Softw. Eng. Methodol. 32(2), 51:1\u201351:61 (2023). https:\/\/doi.org\/10.1145\/3542945","DOI":"10.1145\/3542945"},{"key":"18_CR2","unstructured":"Bencomo, N., Sawyer, P., Blair, G.S., Grace, P.: Dynamically adaptive systems are product lines too: using model-driven techniques to capture dynamic variability of adaptive systems. In: Thiel, S., Pohl, K. (eds.) Proceedings of the 12th International Conference on Software Product Lines (SPLC 2008). vol. 2, pp. 23\u201332. University of Limerick, Lero (2008)"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-66494-7_1","volume-title":"Software Engineering for Robotics","author":"D Brugali","year":"2021","unstructured":"Brugali, D.: Software product line engineering for robotics. In: Cavalcanti, A., Dongol, B., Hierons, R., Timmis, J., Woodcock, J. (eds.) Software Engineering for Robotics, pp. 1\u201328. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-66494-7_1"},{"issue":"12","key":"18_CR4","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/MC.2015.354","volume":"48","author":"D Brugali","year":"2015","unstructured":"Brugali, D., Capilla, R., Hinchey, M.: Dynamic variability meets robotics. IEEE Comput. 48(12), 94\u201397 (2015). https:\/\/doi.org\/10.1109\/MC.2015.354","journal-title":"IEEE Comput."},{"key":"18_CR5","doi-asserted-by":"publisher","unstructured":"Brugali, D., Hochgeschwender, N.: Managing the functional variability of robotic perception systems. In: Proceedings of the 1st International Conference on Robotic Computing (IRC 2017), pp. 277\u2013283. IEEE (2017). https:\/\/doi.org\/10.1109\/IRC.2017.20","DOI":"10.1109\/IRC.2017.20"},{"key":"18_CR6","doi-asserted-by":"publisher","unstructured":"Chrszon, P., Baier, C., Dubslaff, C., Kl\u00fcppelholz, S.: From features to roles. In: Proceedings of the 24th International Systems and Software Product Line Conference (SPLC 2020), pp. 19:1\u201319:11. ACM (2020). https:\/\/doi.org\/10.1145\/3382025.3414962","DOI":"10.1145\/3382025.3414962"},{"key":"18_CR7","doi-asserted-by":"publisher","unstructured":"Chrszon, P., Baier, C., Dubslaff, C., Kl\u00fcppelholz, S.: Interaction detection in configurable systems - a formal approach featuring roles. J. Syst. Softw. 196 (2023). https:\/\/doi.org\/10.1016\/j.jss.2022.111556","DOI":"10.1016\/j.jss.2022.111556"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s00165-017-0432-4","volume":"30","author":"P Chrszon","year":"2018","unstructured":"Chrszon, P., Dubslaff, C., Kl\u00fcppelholz, S., Baier, C.: ProFeat: feature-oriented engineering for family-based probabilistic model checking. Formal Aspects Comput. 30(1), 45\u201375 (2018). https:\/\/doi.org\/10.1007\/s00165-017-0432-4","journal-title":"Formal Aspects Comput."},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002)","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., et al.: NuSMV 2: an OpenSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002). LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_29"},{"key":"18_CR10","doi-asserted-by":"publisher","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), pp. 335\u2013344. ACM (2010). https:\/\/doi.org\/10.1145\/1806799.1806850","DOI":"10.1145\/1806799.1806850"},{"key":"18_CR11","series-title":"IFIP \u2013 The International Federation for Information Processing, ITIFIP","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-0-387-73947-2_19","volume-title":"Situational Method Engineering: Fundamentals and Experiences. ME 2007","author":"D Dhungana","year":"2007","unstructured":"Dhungana, D., Gr\u00fcnbacher, P., Rabiser, R.: Domain-specific adaptations of product line variability modeling. In: Ralyt\u00e9, J., Brinkkemper, S., Henderson-Sellers, B. (eds.) Situational Method Engineering: Fundamentals and Experiences. ME 2007. IFIP \u2013 The International Federation for Information Processing, ITIFIP, vol. 244, pp. 238\u2013251. Springer, Boston, MA (2007). https:\/\/doi.org\/10.1007\/978-0-387-73947-2_19"},{"key":"18_CR12","doi-asserted-by":"publisher","unstructured":"Gherardi, L., Brugali, D.: Modeling and reusing robotic software architectures: the HyperFlex toolchain. In: Proceedings of the International Conference on Robotics and Automation (ICRA 2014), pp. 6414\u20136420. IEEE (2014). https:\/\/doi.org\/10.1109\/ICRA.2014.6907806","DOI":"10.1109\/ICRA.2014.6907806"},{"key":"18_CR13","doi-asserted-by":"publisher","unstructured":"Hallsteinsen, S., Hinchey, M., Park, S., Schmid, K.: Dynamic software product lines. In: Capilla, R., Bosch, J., Kang, K.C. (eds.) Systems and Software Variability Management: Concepts, Tools and Experiences, pp. 253\u2013260. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36583-6_16","DOI":"10.1007\/978-3-642-36583-6_16"},{"key":"18_CR14","doi-asserted-by":"publisher","unstructured":"Hallsteinsen, S., Stav, E., Solberg, A., Floch, J.: Using product line techniques to build adaptive systems. In: Proceedings of the 10th International Software Product Line Conference (SPLC 2006), pp. 141\u2013150. IEEE (2006). https:\/\/doi.org\/10.1109\/SPLINE.2006.1691586","DOI":"10.1109\/SPLINE.2006.1691586"},{"key":"18_CR15","doi-asserted-by":"publisher","unstructured":"Hezavehi, S.M., Weyns, D., Avgeriou, P., Calinescu, R., Mirandola, R., Perez-Palacin, D.: Uncertainty in self-adaptive systems: a research community perspective. ACM Trans. Auton. Adapt. Syst. 15(4), 10:1\u201310:36 (2021). https:\/\/doi.org\/10.1145\/3487921","DOI":"10.1145\/3487921"},{"issue":"10","key":"18_CR16","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2012.332","volume":"45","author":"M Hinchey","year":"2012","unstructured":"Hinchey, M., Park, S., Schmid, K.: Building dynamic software product lines. IEEE Comput. 45(10), 22\u201326 (2012). https:\/\/doi.org\/10.1109\/MC.2012.332","journal-title":"IEEE Comput."},{"key":"18_CR17","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston (2004)"},{"issue":"1","key":"18_CR18","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. IEEE Comput. 36(1), 41\u201350 (2003). https:\/\/doi.org\/10.1109\/MC.2003.1160055","journal-title":"IEEE Comput."},{"key":"18_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":"Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011)","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.) Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011). LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"18_CR20","doi-asserted-by":"publisher","unstructured":"Luckcuck, M., Farrell, M., Dennis, L.A., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems: a survey. ACM Comput. Surv. 52(5), 100:1\u2013100:41 (2019). https:\/\/doi.org\/10.1145\/3342355","DOI":"10.1145\/3342355"},{"key":"18_CR21","doi-asserted-by":"publisher","unstructured":"P\u00e4\u00dfler, J., ter Beek, M.H., Damiani, F., Tapia Tarifa, S.L., Johnsen, E.B.: Formal modelling and analysis of a self-adaptive robotic system (Artifact) (2023). https:\/\/doi.org\/10.5281\/zenodo.8275533","DOI":"10.5281\/zenodo.8275533"},{"key":"18_CR22","doi-asserted-by":"publisher","unstructured":"Rezende Silva, G., et al.: SUAVE: an exemplar for self-adaptive underwater vehicles. In: Proceedings of the 18th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2023), pp. 181\u2013187. IEEE (2023). https:\/\/doi.org\/10.1109\/SEAMS59076.2023.00031","DOI":"10.1109\/SEAMS59076.2023.00031"},{"key":"18_CR23","doi-asserted-by":"publisher","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. 47(1), 6:1\u20136:45 (2014). https:\/\/doi.org\/10.1145\/2580950","DOI":"10.1145\/2580950"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-319-95582-7_19","volume-title":"Proceedings of the 22nd International Symposium on Formal Methods (FM 2018)","author":"A Vandin","year":"2018","unstructured":"Vandin, A., ter Beek, M.H., Legay, A., Lluch Lafuente, A.: QFLan: a tool for the quantitative analysis of highly reconfigurable systems. In: Havelund, K., Peleska, J., Roscoe, B., de Vink, E. (eds.) Proceedings of the 22nd International Symposium on Formal Methods (FM 2018). LNCS, vol. 10951, pp. 329\u2013337. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95582-7_19"},{"key":"18_CR25","volume-title":"An Introduction to Self-Adaptive Systems: A Contemporary Software Engineering Perspective","author":"D Weyns","year":"2020","unstructured":"Weyns, D.: An Introduction to Self-Adaptive Systems: A Contemporary Software Engineering Perspective. John Wiley & Sons, Hoboken (2020)"},{"key":"18_CR26","doi-asserted-by":"publisher","unstructured":"Weyns, D., Iftikhar, M.U., de la Iglesia, D.G., Ahmad, T.: A survey of formal methods in self-adaptive systems. In: Proceedings of the 5th International C$$^*$$ Conference on Computer Science and Software Engineering (C3S2E 2012), pp. 67\u201379. ACM (2012). https:\/\/doi.org\/10.1145\/2347583.2347592","DOI":"10.1145\/2347583.2347592"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47705-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T14:51:02Z","timestamp":1713451862000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47705-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,6]]},"ISBN":["9783031477041","9783031477058"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47705-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,11,6]]},"assertion":[{"value":"6 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"iFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Leiden","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 November 2023","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":"ifm2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/liacs.leidenuniv.nl\/~bonsanguemm\/ifm23\/index.html","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":"51","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":"16","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":"2","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":"31% - 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":"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)"}}]}}