{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:55:59Z","timestamp":1760586959091,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,23]],"date-time":"2019-09-23T00:00:00Z","timestamp":1569196800000},"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":[[2019,9,23]]},"DOI":"10.1145\/3350768.3351798","type":"proceedings-article","created":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T13:37:23Z","timestamp":1568986643000},"page":"377-386","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Runtime Monitoring of Behavioral Properties in Dynamically Adaptive Systems"],"prefix":"10.1145","author":[{"given":"Erick Barros","family":"dos Santos","sequence":"first","affiliation":[{"name":"Federal University of Cear\u00e1, Fortaleza, Cear\u00e1"}]},{"given":"Rossana Maria","family":"de Castro Andrade","sequence":"additional","affiliation":[{"name":"Federal University of Cear\u00e1, Fortaleza, Cear\u00e1"}]},{"given":"Ismayle","family":"de Sousa Santos","sequence":"additional","affiliation":[{"name":"Federal University of Cear\u00e1, Fortaleza, Cear\u00e1"}]}],"member":"320","published-online":{"date-parts":[[2019,9,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Vander Alves Daniel Schneider Martin Becker Nelly Bencomo and Paul Grace. 2009. Comparitive study of variability management in software product lines and runtime adaptable systems. (2009).  Vander Alves Daniel Schneider Martin Becker Nelly Bencomo and Paul Grace. 2009. Comparitive study of variability management in software product lines and runtime adaptable systems. (2009)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.18"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556624.2556627"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025203"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2009.13"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.24"},{"volume-title":"TestDAS - Testing Method for Dynamically Adaptive Systems,. Thesis","author":"de Sousa Santos Ismayle","key":"e_1_3_2_1_7_1","unstructured":"Ismayle de Sousa Santos . 2017. TestDAS - Testing Method for Dynamically Adaptive Systems,. Thesis . Federal University of Cear\u00e1 . Ismayle de Sousa Santos. 2017. TestDAS - Testing Method for Dynamically Adaptive Systems,. Thesis. Federal University of Cear\u00e1."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.03.008"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593937"},{"key":"e_1_3_2_1_10_1","volume-title":"ActivFORMS: A Runtime Environment for Architecture-Based Adaptation with Guarantees. In 2017 IEEE International Conference on Software Architecture Workshops (ICSAW). IEEE, 278--281","author":"Usman Iftikhar M","year":"2017","unstructured":"M Usman Iftikhar and Danny Weyns . 2017 . ActivFORMS: A Runtime Environment for Architecture-Based Adaptation with Guarantees. In 2017 IEEE International Conference on Software Architecture Workshops (ICSAW). IEEE, 278--281 . M Usman Iftikhar and Danny Weyns. 2017. ActivFORMS: A Runtime Environment for Architecture-Based Adaptation with Guarantees. In 2017 IEEE International Conference on Software Architecture Workshops (ICSAW). IEEE, 278--281."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"volume-title":"Aspect-oriented programming with Aspect J","author":"Kiselev Ivan","key":"e_1_3_2_1_13_1","unstructured":"Ivan Kiselev . 2002. Aspect-oriented programming with Aspect J . Sams , Indianapolis, IN, USA . Ivan Kiselev. 2002. Aspect-oriented programming with Aspect J. Sams, Indianapolis, IN, USA."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.02.002"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_1_16_1","volume-title":"Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. In 2015 IEEE 39th Annual Computer Software and Applications Conference","volume":"2","author":"Lim Yoo Jin","year":"2015","unstructured":"Yoo Jin Lim , Eunkyoung Jee , Donghwan Shin , and Doo-Hwan Bae . 2015 . Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. In 2015 IEEE 39th Annual Computer Software and Applications Conference , Vol. 2 . IEEE, 216--221. Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, and Doo-Hwan Bae. 2015. Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. In 2015 IEEE 39th Annual Computer Software and Applications Conference, Vol. 2. IEEE, 216--221."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.04.009"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.05.048"},{"key":"e_1_3_2_1_19_1","volume-title":"Zaid Al Mahmoud, Salwa Alzahmi, and Aziz Salah.","author":"Mizouni Rabeb","year":"2014","unstructured":"Rabeb Mizouni , Mohammad Abu Matar , Zaid Al Mahmoud, Salwa Alzahmi, and Aziz Salah. 2014 . A framework for context-aware self-adaptive mobile applications SPL. Expert Systems with applications 41, 16 (2014), 7549--7564. Rabeb Mizouni, Mohammad Abu Matar, Zaid Al Mahmoud, Salwa Alzahmi, and Aziz Salah. 2014. A framework for context-aware self-adaptive mobile applications SPL. Expert Systems with applications 41, 16 (2014), 7549--7564."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.04.032"},{"key":"e_1_3_2_1_21_1","volume-title":"Artificial table testing dynamically adaptive systems. arXiv preprint arXiv:0903.0914","author":"Munoz Freddy","year":"2009","unstructured":"Freddy Munoz and Benoit Baudry . 2009. Artificial table testing dynamically adaptive systems. arXiv preprint arXiv:0903.0914 ( 2009 ). Freddy Munoz and Benoit Baudry. 2009. Artificial table testing dynamically adaptive systems. arXiv preprint arXiv:0903.0914 (2009)."},{"key":"e_1_3_2_1_22_1","first-page":"88","article-title":"Testing self-adaptive software: requirement analysis and solution scheme. International Journal on Advances in Software","volume":"2628","author":"P\u00fcschel Georg","year":"2014","unstructured":"Georg P\u00fcschel , Sebastian G\u00f6tz , Claas Wilke , Christian Piechnick , and Uwe A\u00dfmann . 2014 . Testing self-adaptive software: requirement analysis and solution scheme. International Journal on Advances in Software , ISSN 2628 (2014), 88 -- 100 . Georg P\u00fcschel, Sebastian G\u00f6tz, Claas Wilke, Christian Piechnick, and Uwe A\u00dfmann. 2014. Testing self-adaptive software: requirement analysis and solution scheme. International Journal on Advances in Software, ISSN 2628 (2014), 88--100.","journal-title":"ISSN"},{"key":"e_1_3_2_1_23_1","volume-title":"Test Modeling for Context-aware Ubiquitous Applications with Feature Petri Nets. In Modiquitous Workshop.","author":"P\u00fcschel Georg","year":"2012","unstructured":"Georg P\u00fcschel , Ronny Seiger , and Thomas Schlegel . 2012 . Test Modeling for Context-aware Ubiquitous Applications with Feature Petri Nets. In Modiquitous Workshop. Georg P\u00fcschel, Ronny Seiger, and Thomas Schlegel. 2012. Test Modeling for Context-aware Ubiquitous Applications with Feature Petri Nets. In Modiquitous Workshop."},{"volume-title":"Proceedings of the 5th International Workshop on Exception Handling (WEH '12)","author":"Lincoln","key":"e_1_3_2_1_24_1","unstructured":"Lincoln S. Rocha and Rossana M. C. Andrade. 2012. Towards a Formal Model to Reason About Context-aware Exception Handling . In Proceedings of the 5th International Workshop on Exception Handling (WEH '12) . IEEE Press, Piscataway, NJ, USA, 27--33. Lincoln S. Rocha and Rossana M. C. Andrade. 2012. Towards a Formal Model to Reason About Context-aware Exception Handling. In Proceedings of the 5th International Workshop on Exception Handling (WEH '12). IEEE Press, Piscataway, NJ, USA, 27--33."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2500716"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.35"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5753\/sbsi.2019.7439"},{"key":"e_1_3_2_1_28_1","volume-title":"CONTroL: Context-Based Reconfiguration Testing Tool. In Brazilian Conference on Software: Tools Session. ACM, 6.","author":"de Sousa Santos Ismayle","year":"2018","unstructured":"Ismayle de Sousa Santos , Erick Barros dos Santos , Rossana Maria de Castro Andrade , and Pedro de Alc\u00e2ntara dos Santos Neto . 2018 . CONTroL: Context-Based Reconfiguration Testing Tool. In Brazilian Conference on Software: Tools Session. ACM, 6. Ismayle de Sousa Santos, Erick Barros dos Santos, Rossana Maria de Castro Andrade, and Pedro de Alc\u00e2ntara dos Santos Neto. 2018. CONTroL: Context-Based Reconfiguration Testing Tool. In Brazilian Conference on Software: Tools Session. ACM, 6."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.4121205"},{"volume-title":"Proceedings of the 30th Brazilian Symposium on Software Engineering (SBES '16)","author":"Santos Ismayle S.","key":"e_1_3_2_1_30_1","unstructured":"Ismayle S. Santos , Lincoln S. Rocha , Pedro A. Santos Neto , and Rossana M. C. Andrade . 2016. Model Verification of Dynamic Software Product Lines . In Proceedings of the 30th Brazilian Symposium on Software Engineering (SBES '16) . ACM, New York, NY, USA, 113--122. Ismayle S. Santos, Lincoln S. Rocha, Pedro A. Santos Neto, and Rossana M. C. Andrade. 2016. Model Verification of Dynamic Software Product Lines. In Proceedings of the 30th Brazilian Symposium on Software Engineering (SBES '16). ACM, New York, NY, USA, 113--122."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993288.2993294"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3275245.3275257"},{"key":"e_1_3_2_1_33_1","volume-title":"Basil Becker, Gabor Karsai, Serge Mankovskii, Mauro Pezz\u00e8, Wilhelm Sch\u00e4fer, Ladan Tahvildari, et al.","author":"Tamura Gabriel","year":"2013","unstructured":"Gabriel Tamura , Norha M Villegas , Hausi A M\u00fcller , Jo\u00e3o Pedro Sousa , Basil Becker, Gabor Karsai, Serge Mankovskii, Mauro Pezz\u00e8, Wilhelm Sch\u00e4fer, Ladan Tahvildari, et al. 2013 . Towards practical runtime verification and validation of self-adaptive software systems. In Software Engineering for Self-Adaptive Systems II. Springer , 108--132. Gabriel Tamura, Norha M Villegas, Hausi A M\u00fcller, Jo\u00e3o Pedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovskii, Mauro Pezz\u00e8, Wilhelm Sch\u00e4fer, Ladan Tahvildari, et al. 2013. Towards practical runtime verification and validation of self-adaptive software systems. In Software Engineering for Self-Adaptive Systems II. Springer, 108--132."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.79"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.04.078"}],"event":{"name":"SBES 2019: XXXIII Brazilian Symposium on Software Engineering","sponsor":["SBC Sociedade Brasileira de Computa\u00e7\u00e3o"],"location":"Salvador Brazil","acronym":"SBES 2019"},"container-title":["Proceedings of the XXXIII Brazilian Symposium on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3350768.3351798","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3350768.3351798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:21Z","timestamp":1750200081000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3350768.3351798"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,23]]},"references-count":34,"alternative-id":["10.1145\/3350768.3351798","10.1145\/3350768"],"URL":"https:\/\/doi.org\/10.1145\/3350768.3351798","relation":{},"subject":[],"published":{"date-parts":[[2019,9,23]]},"assertion":[{"value":"2019-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}