{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:50Z","timestamp":1750220510565,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,3,22]],"date-time":"2021-03-22T00:00:00Z","timestamp":1616371200000},"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":[[2021,3,22]]},"DOI":"10.1145\/3412841.3442017","type":"proceedings-article","created":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T05:09:42Z","timestamp":1619154582000},"page":"1419-1428","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A temporal configuration logic for dynamic reconfigurable systems"],"prefix":"10.1145","author":[{"given":"Antoine","family":"El-Hokayem","sequence":"first","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1115028"},{"key":"e_1_3_2_1_2_1","volume-title":"FACS 2018, Proceedings (LNCS), Kyungmin Bae and Peter Csaba \u00d6lveczky (Eds.)","volume":"11222","author":"Ballouli Rim El","year":"2018","unstructured":"Rim El Ballouli, Saddek Bensalem, Marius Bozga, and Joseph Sifakis. 2018. Programming Dynamic Reconfigurable Systems. In Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings (LNCS), Kyungmin Bae and Peter Csaba \u00d6lveczky (Eds.), Vol. 11222. Springer, 118--136."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"e_1_3_2_1_4_1","volume-title":"Galeotti","author":"Bucchiarone Antonio","year":"2008","unstructured":"Antonio Bucchiarone and Juan P. Galeotti. 2008. Dynamic Software Architectures Verification using DynAlloy. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)."},{"key":"e_1_3_2_1_5_1","volume-title":"FACS","volume":"6921","author":"Dormoy Julien","year":"2010","unstructured":"Julien Dormoy, Olga Kouchnarenko, and Arnaud Lanoix. 2010. Using Temporal Logic for Dynamic Reconfigurations of Components. In Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Revised Selected Papers (LNCS), Lu\u00eds Soares Barbosa and Markus Lumpe (Eds.), Vol. 6921. Springer, 200--217."},{"key":"e_1_3_2_1_6_1","volume-title":"SEFM 2020, Proceedings (LNCS), Frank S. de Boer and Antonio Cerone (Eds.)","volume":"12310","author":"El-Hokayem Antoine","year":"2020","unstructured":"Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, and Joseph Sifakis. 2020. A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. In Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings (LNCS), Frank S. de Boer and Antonio Cerone (Eds.), Vol. 12310. Springer, 284--302."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/3115971.3116162"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/582128.582135"},{"volume-title":"Software Architecture, TC2 First Working IFIP Conference on Software Architecture (WICSA1) (IFIP Conference Proceedings)","author":"Hirsch Dan","key":"e_1_3_2_1_9_1","unstructured":"Dan Hirsch, Paola Inverardi, and Ugo Montanari. 1999. Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving. In Software Architecture, TC2 First Working IFIP Conference on Software Architecture (WICSA1) (IFIP Conference Proceedings), Patrick Donohoe (Ed.), Vol. 140. Kluwer, 127--144."},{"key":"e_1_3_2_1_10_1","volume-title":"University of L\u00fcbeck","author":"Institute for Software Engineering and Programming Languages","year":"2020","unstructured":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck. 2020. LamaConv - Logics and Automata Converter Library. https:\/\/www.isp.uni-luebeck.de\/lamaconv."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.01.049"},{"volume-title":"10th International Workshop on Satisfiability Modulo Theories, SMT 2012 (EPiC Series in Computing)","author":"Kov\u00e1sznai Gergely","key":"e_1_3_2_1_13_1","unstructured":"Gergely Kov\u00e1sznai, Andreas Fr\u00f6hlich, and Armin Biere. 2012. On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width. In 10th International Workshop on Satisfiability Modulo Theories, SMT 2012 (EPiC Series in Computing), Pascal Fontaine and Amit Goel (Eds.), Vol. 20. EasyChair, 44--56."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-015-9653-1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.11.011"},{"key":"e_1_3_2_1_16_1","first-page":"187","article-title":"On Activation, Connection, and Behavior in Dynamic","volume":"26","author":"Marmsoler Diego","year":"2016","unstructured":"Diego Marmsoler and Mario Gleirscher. 2016. On Activation, Connection, and Behavior in Dynamic Architectures. Sci. Ann. Comput. Sci. 26, 2 (2016), 187--248.","journal-title":"Architectures. Sci. Ann. Comput. Sci."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2016.05.002"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.708567"},{"key":"e_1_3_2_1_19_1","volume-title":"COORDINATION 2020, Proceedings (LNCS), Simon Bliudze and Laura Bocchi (Eds.)","volume":"12134","author":"Pittou Maria","year":"2020","unstructured":"Maria Pittou and George Rahonis. 2020. Architecture Modelling of Parametric Component-Based Systems. In Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Proceedings (LNCS), Simon Bliudze and Laura Bocchi (Eds.), Vol. 12134. Springer, 281--300."},{"key":"e_1_3_2_1_20_1","volume-title":"The Temporal Logic of Programs. In 18th Annual Symposium on Foundations of Computer Science","author":"Pnueli Amir","year":"1977","unstructured":"Amir Pnueli. 1977. The Temporal Logic of Programs. In 18th Annual Symposium on Foundations of Computer Science, 1977. IEEE Computer Society, 46--57."},{"volume-title":"FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Proceedings (LNCS)","author":"Pnueli Amir","key":"e_1_3_2_1_21_1","unstructured":"Amir Pnueli and Aleksandr Zaks. 2006. PSL Model Checking and Run-Time Verification Via Testers. In FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Proceedings (LNCS), Jayadev Misra, Tobias Nipkow, and Emil Sekerinski (Eds.), Vol. 4085. Springer, 573--586."},{"key":"e_1_3_2_1_22_1","volume-title":"Extending Dynamic Software Product Lines with Temporal Constraints. In 12th IEEE\/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE","author":"Sousa Gustavo","year":"2017","unstructured":"Gustavo Sousa, Walter Rudametkin, and Laurence Duchien. 2017. Extending Dynamic Software Product Lines with Temporal Constraints. In 12th IEEE\/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2017. IEEE Computer Society, 129--139."},{"volume-title":"The Object Constraint Language: Precise Modeling With UML","author":"Warmer Jos","key":"e_1_3_2_1_23_1","unstructured":"Jos Warmer and Anneke Kleppe. 1998. The Object Constraint Language: Precise Modeling With UML. Addison-Wesley."}],"event":{"name":"SAC '21: The 36th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Virtual Event Republic of Korea","acronym":"SAC '21"},"container-title":["Proceedings of the 36th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442017","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412841.3442017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:25Z","timestamp":1750195465000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442017"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,22]]},"references-count":23,"alternative-id":["10.1145\/3412841.3442017","10.1145\/3412841"],"URL":"https:\/\/doi.org\/10.1145\/3412841.3442017","relation":{},"subject":[],"published":{"date-parts":[[2021,3,22]]},"assertion":[{"value":"2021-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}