{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:05Z","timestamp":1750307465121,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T00:00:00Z","timestamp":1284940800000},"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":[[2010,9,20]]},"DOI":"10.1145\/1858996.1859060","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T12:04:33Z","timestamp":1285157073000},"page":"317-320","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Integrating model verification and self-adaptation"],"prefix":"10.1145","author":[{"given":"Rafael V.","family":"Borges","sequence":"first","affiliation":[{"name":"City University London, London, United Kingdom"}]},{"given":"Artur","family":"d'Avila Garcez","sequence":"additional","affiliation":[{"name":"City University London, London, United Kingdom"}]},{"given":"Luis C.","family":"Lamb","sequence":"additional","affiliation":[{"name":"Federal University of Rio Grande do Sul, Porto Alegre - RS, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2010,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070527"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-7051(96)81920-4"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1296691.1296695"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_14"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(01)00109-5"},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","volume-title":"VMCAI'02","author":"Cimatti A.","year":"2002","unstructured":"}} A. Cimatti , M. Pistore , M. Roveri , and R. Sebastiani . Improving the Encoding of LTL Model Checking into SAT . In VMCAI'02 , volume 2294 of LNCS . Springer , 2002 . }}A. Cimatti, M. Pistore, M. Roveri, and R. Sebastiani. Improving the Encoding of LTL Model Checking into SAT. In VMCAI'02, volume 2294 of LNCS. Springer, 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592781"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0211-3","volume-title":"Neural-Symbolic Learning Systems: Foundations and Applications. Perspectives in Neural Computing","author":"Avila Garcez A. S.","year":"2002","unstructured":"}} A. S. d' Avila Garcez , K. Broda , and D. M. Gabbay . Neural-Symbolic Learning Systems: Foundations and Applications. Perspectives in Neural Computing . Springer-Verlag , 2002 . }}A. S. d'Avila Garcez, K. Broda, and D. M. Gabbay. Neural-Symbolic Learning Systems: Foundations and Applications. Perspectives in Neural Computing. Springer-Verlag, 2002."},{"key":"e_1_3_2_1_10_1","volume-title":"Neural-Symbolic Cognitive Reasoning. Cognitive Technologies","author":"Avila Garcez A. S.","year":"2009","unstructured":"}} A. S. d' Avila Garcez , L. C. Lamb , and D. M. Gabbay . Neural-Symbolic Cognitive Reasoning. Cognitive Technologies . Springer , 2009 . }}A. S. d'Avila Garcez, L. C. Lamb, and D. M. Gabbay. Neural-Symbolic Cognitive Reasoning. Cognitive Technologies. Springer, 2009."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872527"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008328630915"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.14"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186778.1186782"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.14"},{"key":"e_1_3_2_1_16_1","volume-title":"Handbook of temporal reasoning in artificial intelligence","author":"Fisher M.","year":"2005","unstructured":"}} M. Fisher , D. Gabbay , and L. Vila , editors . Handbook of temporal reasoning in artificial intelligence . Elsevier , 2005 . }}M. Fisher, D. Gabbay, and L. Vila, editors. Handbook of temporal reasoning in artificial intelligence. Elsevier, 2005."},{"key":"e_1_3_2_1_17_1","volume-title":"Neural Networks: A Compreensive Foundation","author":"Haykin S.","year":"1999","unstructured":"}} S. Haykin . Neural Networks: A Compreensive Foundation . Prentice Hall , 2 nd edition, 1999 . }}S. Haykin. Neural Networks: A Compreensive Foundation. Prentice Hall, 2nd edition, 1999.","edition":"2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2004.03.002"},{"key":"e_1_3_2_1_19_1","first-page":"827","volume-title":"Proc. of 22nd AAAI Conf. on Artificial Intelligence","author":"Lamb L. C.","year":"2007","unstructured":"}} L. C. Lamb , R. V. Borges , and A. S. d' Avila Garcez . A connectionist cognitive model for temporal synchronization and learning . In Proc. of 22nd AAAI Conf. on Artificial Intelligence , pages 827 -- 832 , 2007 . }}L. C. Lamb, R. V. Borges, and A. S. d'Avila Garcez. A connectionist cognitive model for temporal synchronization and learning. In Proc. of 22nd AAAI Conf. on Artificial Intelligence, pages 827--832, 2007."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.22"},{"issue":"2","key":"e_1_3_2_1_21_1","first-page":"225","article-title":"Black box checking","volume":"7","author":"Peled D.","year":"2001","unstructured":"}} D. Peled , M. Y. Vardi , and M. Yannakakis . Black box checking . J. of Automata Languages and Combinatorics , 7 ( 2 ): 225 -- 246 , 2001 . }}D. Peled, M. Y. Vardi, and M. Yannakakis. Black box checking. J. of Automata Languages and Combinatorics, 7(2):225--246, 2001.","journal-title":"J. of Automata Languages and Combinatorics"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/602382.602410"}],"event":{"name":"ASE10: IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Antwerp Belgium","acronym":"ASE10"},"container-title":["Proceedings of the IEEE\/ACM international conference on Automated software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1858996.1859060","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1858996.1859060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:31Z","timestamp":1750248511000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1858996.1859060"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,20]]},"references-count":23,"alternative-id":["10.1145\/1858996.1859060","10.1145\/1858996"],"URL":"https:\/\/doi.org\/10.1145\/1858996.1859060","relation":{},"subject":[],"published":{"date-parts":[[2010,9,20]]},"assertion":[{"value":"2010-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}