{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T21:38:50Z","timestamp":1773524330427,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T00:00:00Z","timestamp":1527465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,28]]},"DOI":"10.1145\/3194133.3194147","type":"proceedings-article","created":{"date-parts":[[2018,7,23]],"date-time":"2018-07-23T13:02:25Z","timestamp":1532350945000},"page":"206-216","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["A learning approach to enhance assurances for real-time self-adaptive systems"],"prefix":"10.1145","author":[{"given":"Arthur","family":"Rodrigues","sequence":"first","affiliation":[{"name":"University of Bras\u00edlia, Bras\u00edlia, DF, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo Diniz","family":"Caldas","sequence":"additional","affiliation":[{"name":"University of Bras\u00edlia, Bras\u00edlia, DF, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gena\u00edna Nunes","family":"Rodrigues","sequence":"additional","affiliation":[{"name":"University of Bras\u00edlia, Bras\u00edlia, DF, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Vogel","sequence":"additional","affiliation":[{"name":"Humboldt-Universit\u00e4t zu Berlin Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[{"name":"University of Gothenburg, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0110-z"},{"key":"e_1_3_2_1_2_1","volume-title":"Introduction to Machine Learning","author":"Alpaydin E.","unstructured":"E. Alpaydin . 2014. Introduction to Machine Learning . MIT Press . E. Alpaydin. 2014. Introduction to Machine Learning. MIT Press."},{"key":"e_1_3_2_1_3_1","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"Baier Christel","unstructured":"Christel Baier and Joost-Pieter Katoen . 2008. Principles of Model Checking (Representation and Mind Series) . The MIT Press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (Representation and Mind Series). The MIT Press."},{"key":"e_1_3_2_1_4_1","volume-title":"Larsen","author":"Behrmann Gerd","year":"2006","unstructured":"Gerd Behrmann , Alexandre David , and Kim G . Larsen . 2006 . A Tutorial on Uppaal 4.0. (2006). Gerd Behrmann, Alexandre David, and Kim G. Larsen. 2006. A Tutorial on Uppaal 4.0. (2006)."},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of Workshop on Verification and Control of Hybrid Systems III (Lecture Notes in Computer Science). Springer-Verlag, 232--243","author":"Bengtsson Johan","year":"1995","unstructured":"Johan Bengtsson , Kim G. Larsen , Fredrik Larsson , Paul Pettersson , and Wang Yi . 1995 . U<scp>ppaal<\/scp> --- a Tool Suite for Automatic Verification of Real-Time Systems . In Proc. of Workshop on Verification and Control of Hybrid Systems III (Lecture Notes in Computer Science). Springer-Verlag, 232--243 . Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1995. U<scp>ppaal<\/scp> --- a Tool Suite for Automatic Verification of Real-Time Systems. In Proc. of Workshop on Verification and Control of Hybrid Systems III (Lecture Notes in Computer Science). Springer-Verlag, 232--243."},{"key":"e_1_3_2_1_6_1","volume-title":"https:\/\/github.com\/se-research\/OpenDaVINCI","author":"Berger Christian","year":"2017","unstructured":"Christian Berger . 2017. OpenDa VINCI. ( 2017 ). https:\/\/github.com\/se-research\/OpenDaVINCI Christian Berger. 2017. OpenDaVINCI. (2017). https:\/\/github.com\/se-research\/OpenDaVINCI"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3182540"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2666795.2666805"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568310"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/3091622.3091637"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. 83--92","author":"Didac","unstructured":"Didac Gil de la Iglesia and Danny Weyns. 2013. Guaranteeing robustness in a mobile learning application using formally verified MAPE loops . In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. 83--92 . Didac Gil de la Iglesia and Danny Weyns. 2013. Guaranteeing robustness in a mobile learning application using formally verified MAPE loops. In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. 83--92."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2724719"},{"key":"e_1_3_2_1_13_1","volume-title":"Holger Giese, Jesper Andersson, Marin Litoiu, Bradley Schmerl, and Danny Weyns et al.","author":"de Lemos Rog\u00e9rio","year":"2017","unstructured":"Rog\u00e9rio de Lemos , David Garlan , Carlo Ghezzi , Holger Giese, Jesper Andersson, Marin Litoiu, Bradley Schmerl, and Danny Weyns et al. 2017 . Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. In Software Engineering for Self-Adaptive Systems III, Rog\u00e9rio de Lemos, David Garlan, Carlo Ghezzi, and Holger Giese (Eds.). Vol. 9640 . Springer . Rog\u00e9rio de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley Schmerl, and Danny Weyns et al. 2017. Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. In Software Engineering for Self-Adaptive Systems III, Rog\u00e9rio de Lemos, David Garlan, Carlo Ghezzi, and Holger Giese (Eds.). Vol. 9640. Springer."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Holger Giese and Wilhelm Sch\u00e4fer. 2013. Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML. In Assurances for Self-Adaptive Systems - Principles Models and Techniques. 152--186.  Holger Giese and Wilhelm Sch\u00e4fer. 2013. Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML. In Assurances for Self-Adaptive Systems - Principles Models and Techniques . 152--186.","DOI":"10.1007\/978-3-642-36249-1_6"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.11"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.10.001"},{"key":"e_1_3_2_1_18_1","volume-title":"RV (Lecture Notes in Computer Science)","author":"Legay Axel","unstructured":"Axel Legay , Beno\u00eet Delahaye , and Saddek Bensalem . 2010. Statistical Model Checking: An Overview . In RV (Lecture Notes in Computer Science) , Vol. 6418 . Springer , 122--135. Axel Legay, Beno\u00eet Delahaye, and Saddek Bensalem. 2010. Statistical Model Checking: An Overview. In RV (Lecture Notes in Computer Science), Vol. 6418. Springer, 122--135."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2009.191"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.02.002"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-015-0227-1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1987.0321"},{"key":"e_1_3_2_1_23_1","volume-title":"7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. 99--108","author":"Ramirez Andres J.","unstructured":"Andres J. Ramirez , Adam C. Jensen , and Betty H. C. Cheng . 2012. A taxonomy of uncertainty for dynamically adaptive systems . In 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. 99--108 . Andres J. Ramirez, Adam C. Jensen, and Betty H. C. Cheng. 2012. A taxonomy of uncertainty for dynamically adaptive systems. In 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. 99--108."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.20"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897053.2897058"},{"key":"e_1_3_2_1_26_1","volume-title":"Goal Question Metric (GQM) Approach","author":"van Solingen Rini","unstructured":"Rini van Solingen , Vic Basili , Gianluigi Caldiera , and H. Dieter Rombach . 2002. Goal Question Metric (GQM) Approach . John Wiley & Sons, Inc. Rini van Solingen, Vic Basili, Gianluigi Caldiera, and H. Dieter Rombach. 2002. Goal Question Metric (GQM) Approach. John Wiley & Sons, Inc."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2422518.2422520"},{"key":"e_1_3_2_1_28_1","unstructured":"Y. Wang and I. H. Witten. 1997. Induction of model trees for predicting continuous classes. In Poster papers of the 9th European Conference on Machine Learning. Springer.  Y. Wang and I. H. Witten. 1997. Induction of model trees for predicting continuous classes. In Poster papers of the 9th European Conference on Machine Learning. Springer."},{"key":"e_1_3_2_1_29_1","volume-title":"Vincenzo M Grassi, Lars Grunske, Paola Inverardi, Jean-Marc J\u00e9z\u00e9quel, Sam Malek, Raffaela Mirandola, Marco Mori, and Giordano Tamburrelli.","author":"Weyns Danny","year":"2016","unstructured":"Danny Weyns , Nelly Bencomo , Radu Calinescu , Javier C\u00e1mara , Carlo Ghezzi , Vincenzo M Grassi, Lars Grunske, Paola Inverardi, Jean-Marc J\u00e9z\u00e9quel, Sam Malek, Raffaela Mirandola, Marco Mori, and Giordano Tamburrelli. 2016 . Perpetual Assurances for Self-Adaptive Systems . Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier C\u00e1mara, Carlo Ghezzi, Vincenzo M Grassi, Lars Grunske, Paola Inverardi, Jean-Marc J\u00e9z\u00e9quel, Sam Malek, Raffaela Mirandola, Marco Mori, and Giordano Tamburrelli. 2016. Perpetual Assurances for Self-Adaptive Systems."},{"key":"e_1_3_2_1_30_1","volume-title":"Model-Based Simulation at Runtime for Self-Adaptive Systems","author":"Weyns Danny","unstructured":"Danny Weyns and M. Usman Iftikhar . 2016. Model-Based Simulation at Runtime for Self-Adaptive Systems . In ICAC. IEEE Computer Society , 364--373. Danny Weyns and M. Usman Iftikhar. 2016. Model-Based Simulation at Runtime for Self-Adaptive Systems. In ICAC. IEEE Computer Society, 364--373."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.05.002"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/2666795.2666808"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3194133.3194147","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3194133.3194147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:09Z","timestamp":1750210749000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3194133.3194147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,28]]},"references-count":32,"alternative-id":["10.1145\/3194133.3194147","10.1145\/3194133"],"URL":"https:\/\/doi.org\/10.1145\/3194133.3194147","relation":{},"subject":[],"published":{"date-parts":[[2018,5,28]]},"assertion":[{"value":"2018-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}