{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:37:23Z","timestamp":1756993043954,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T00:00:00Z","timestamp":1608508800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000005","name":"U.S. Department of Defense","doi-asserted-by":"publisher","award":["FA8702-15-D-0002"],"award-info":[{"award-number":["FA8702-15-D-0002"]}],"id":[{"id":"10.13039\/100000005","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,12,21]]},"DOI":"10.1145\/3324884.3416630","type":"proceedings-article","created":{"date-parts":[[2021,1,27]],"date-time":"2021-01-27T23:39:02Z","timestamp":1611790742000},"page":"1090-1102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Synthesis-based resolution of feature interactions in cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Benjamin","family":"Gafford","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Tobias","family":"D\u00fcrschmid","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Gabriel A.","family":"Moreno","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Eunsuk","family":"Kang","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]}],"member":"320","published-online":{"date-parts":[[2021,1,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"RV 2017, Seattle, WA, USA, September 13--16, 2017, Proceedings. 68--84","author":"Andersson Bj\u00f6rn","year":"2017","unstructured":"Bj\u00f6rn Andersson, Sagar Chaki, and Dionisio de Niz. 2017. Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. In Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13--16, 2017, Proceedings. 68--84."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2016.012"},{"key":"e_1_3_2_1_3_1","volume-title":"Detecting Dependences and Interactions in Feature-Oriented Design. In IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010","author":"Apel Sven","year":"2010","unstructured":"Sven Apel, Wolfgang Scholz, Christian Lengauer, and Christian K\u00e4stner. 2010. Detecting Dependences and Interactions in Feature-Oriented Design. In IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1--4 November 2010. 161--170."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.02.025"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606594"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2015.11"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1080\/19345747.2011.578707"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635927"},{"key":"e_1_3_2_1_10_1","volume-title":"Cristina Gacek, Holger Giese, Holger Kienle, Marin Litoiu, Hausi M\u00fcller, Mauro Pezz\u00e8, and Mary Shaw.","author":"Brun Yuriy","year":"2009","unstructured":"Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger Kienle, Marin Litoiu, Hausi M\u00fcller, Mauro Pezz\u00e8, and Mary Shaw. 2009. Engineering self-adaptive systems through feedback loops. In Software engineering for self-adaptive systems. Springer, 48--70."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_12_1","first-page":"3","article-title":"Resolving Feature Interaction with Precedence Lists in the Feature Language Extensions. In Feature Interactions in Software and Communication Systems IX, International Co nference on Feature Interactions in Software and Communication Systems","volume":"2007","author":"Chavan A.","year":"2007","unstructured":"A. Chavan, L. Yang, K. Ramachandran, and W. H. Leung. 2007. Resolving Feature Interaction with Precedence Lists in the Feature Language Extensions. In Feature Interactions in Software and Communication Systems IX, International Co nference on Feature Interactions in Software and Communication Systems, ICFI 2007, 3--5 September 2007, Grenoble, France. 114--128.","journal-title":"ICFI"},{"key":"e_1_3_2_1_13_1","volume-title":"Feature Interactions in Telecommunications Networks IV, June 17--19","author":"Chen Yi-Liang","year":"1997","unstructured":"Yi-Liang Chen, St\u00e9phane Lafortune, and Feng Lin. 1997. Resolving Feature Interactions Using Modular Supervisory Control with Priorities. In Feature Interactions in Telecommunications Networks IV, June 17--19, 1997, Montr\u00e9al, Canada. 108--122."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Betty H. C. Cheng Rog\u00e9rio de Lemos Holger Giese Paola Inverardi Jeff Magee Jesper Andersson Basil Becker Nelly Bencomo Yuriy Brun Bojan Cukic Giovanna Di Marzo Serugendo Schahram Dustdar Anthony Finkelstein Cristina Gacek Kurt Geihs Vincenzo Grassi Gabor Karsai Holger M. Kienle Jeff Kramer Marin Litoiu Sam Malek Raffaela Mirandola Hausi A. M\u00fcller Sooyong Park Mary Shaw Matthias Tichy Massimo Tivoli Danny Weyns and Jon Whittle. 2009. Software Engineering for Self-Adaptive Systems: A Research Roadmap. In Dagstuhl Seminar Report. 1--26.","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","unstructured":"Jacob Cohen. 1977. Academic Press. 10.1016\/B978-0-12-179060-8.50011-6","DOI":"10.1016\/B978-0-12-179060-8.50011-6"},{"volume-title":"Reproduced in part in Research in Organizations: Issues and Controversies","author":"Cook Thomas D","key":"e_1_3_2_1_17_1","unstructured":"Thomas D Cook and Donald T Campbell. 1979. The design and conduct of true experiments and quasi-experiments in field settings. In Reproduced in part in Research in Organizations: Issues and Controversies. Goodyear Publishing Company."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"volume-title":"RV 2014, Toronto, ON, Canada, September 22--25, 2014. Proceedings. 231--246","author":"Dokhanchi Adel","key":"e_1_3_2_1_19_1","unstructured":"Adel Dokhanchi, Bardh Hoxha, and Georgios E. Fainekos. 2014. On-Line Monitoring for Temporal Logic Robustness. In Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22--25, 2014. Proceedings. 231--246."},{"volume-title":"International Workshop on Modeling in Software Engineering (MiSE). 45--50","author":"Juarez Dominguez Alma L.","key":"e_1_3_2_1_20_1","unstructured":"Alma L. Juarez Dominguez, Nancy A. Day, and Jeffrey J. Joyce. 2008. Modelling feature interactions in the automotive domain. In International Workshop on Modeling in Software Engineering (MiSE). 45--50."},{"key":"e_1_3_2_1_21_1","volume-title":"CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings. 264--279","author":"Donz\u00e9 Alexandre","year":"2013","unstructured":"Alexandre Donz\u00e9, Thomas Ferr\u00e8re, and Oded Maler. 2013. Efficient Robust Monitoring for STL. In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings. 264--279."},{"key":"e_1_3_2_1_22_1","volume-title":"FORMATS 2010, Klosterneuburg, Austria, September 8--10, 2010. Proceedings. 92--106","author":"Donz\u00e9 Alexandre","year":"2010","unstructured":"Alexandre Donz\u00e9 and Oded Maler. 2010. Robust Satisfaction of Temporal Logic over Real-Valued Signals. In Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8--10, 2010. Proceedings. 92--106."},{"key":"e_1_3_2_1_23_1","unstructured":"Dronecode Project. 2020. PX4 autopilot. https:\/\/px4.io."},{"key":"e_1_3_2_1_24_1","volume-title":"First Combined International Workshops, FATES 2006 and RV 2006","author":"Georgios","year":"2006","unstructured":"Georgios E. Fainekos and George J. Pappas. 2006. Robustness of Temporal Logic Specifications. In Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15--16, 2006, Revised Selected Papers. 178--192."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0114-4"},{"key":"e_1_3_2_1_26_1","volume-title":"Griffeth and Hugo Velthuijsen","author":"Nancy","year":"1994","unstructured":"Nancy D. Griffeth and Hugo Velthuijsen. 1994. The negotiating agents approach to runtime feature interaction resolution. In Feature Interactions in Telecommunications Systems, May 8--10, 1994, Amsterdam, The Netherlands. 217--235."},{"key":"e_1_3_2_1_27_1","volume-title":"ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego","author":"Jonathan","year":"2000","unstructured":"Jonathan D. Hay and Joanne M. Atlee. 2000. Composing features and resolving interactions. In ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6--10, 2000, Proceedings. 110--119."},{"volume-title":"Optimal Control Theory: An Introduction","author":"Kirk D.E.","key":"e_1_3_2_1_28_1","unstructured":"D.E. Kirk. 2004. Optimal Control Theory: An Introduction. Dover Publications. https:\/\/books.google.com\/books?id=fCh2SAtWIdwC"},{"key":"e_1_3_2_1_29_1","volume-title":"Specifying real-time properties with metric temporal logic. Real-time systems 2, 4","author":"Koymans Ron","year":"1990","unstructured":"Ron Koymans. 1990. Specifying real-time properties with metric temporal logic. Real-time systems 2, 4 (1990), 255--299."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2014.09.009"},{"volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","key":"e_1_3_2_1_31_1","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Springer Berlin Heidelberg, 152--166."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2004.03.002"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"volume-title":"Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System","author":"Nakamura Masahide","key":"e_1_3_2_1_34_1","unstructured":"Masahide Nakamura, Hiroshi Igaki, Yuhei Yoshimura, and Kousuke Ikegami. 2009. Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System. In ICFI. IOS Press, 191--206."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.2201\/NiiPi.2008.5.8"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.769885"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092282.3092291"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_39_1","volume-title":"RV 2018, Limassol, Cyprus, November 10--13, 2018, Proceedings. 316--333","author":"Raghavan Santhana Gopalan","year":"2018","unstructured":"Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, and Shinichi Shiraishi. 2018. Property-Driven Runtime Resolution of Feature Interactions. In Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10--13, 2018, Proceedings. 316--333."},{"key":"e_1_3_2_1_40_1","volume-title":"Self-adaptive software: Landscape and research challenges. TAAS 4, 2","author":"Salehie Mazeiar","year":"2009","unstructured":"Mazeiar Salehie and Ladan Tahvildari. 2009. Self-adaptive software: Landscape and research challenges. TAAS 4, 2 (2009), 14:1--14:42."},{"key":"e_1_3_2_1_41_1","volume-title":"SPLC 2011, Munich, Germany, August 22--26, 2011. Workshop Proceedings (Volume 2). 7.","author":"Scholz Wolfgang","year":"2011","unstructured":"Wolfgang Scholz, Thomas Th\u00fcm, Sven Apel, and Christian Lengauer. 2011. Automatic detection of feature interactions using the Java modeling language: an experience report. In Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22--26, 2011. Workshop Proceedings (Volume 2). 7."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337243"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.01.029"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1037\/h0044319"},{"key":"e_1_3_2_1_45_1","volume-title":"ABS ECU Programming","author":"US NHTSA.","year":"2010","unstructured":"US NHTSA. 2010. ABS ECU Programming, 2010 Toyota Prius Recalls. https:\/\/www.nhtsa.gov\/vehicle\/2010\/TOYOTA\/PRIUS\/4%252520DR\/FWD#recalls."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3072957"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025617"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.223539"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106302"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.03.025"}],"event":{"name":"ASE '20: 35th 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":"Virtual Event Australia","acronym":"ASE '20"},"container-title":["Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416630","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3416630","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3416630","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:22Z","timestamp":1750193242000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416630"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,21]]},"references-count":50,"alternative-id":["10.1145\/3324884.3416630","10.1145\/3324884"],"URL":"https:\/\/doi.org\/10.1145\/3324884.3416630","relation":{},"subject":[],"published":{"date-parts":[[2020,12,21]]},"assertion":[{"value":"2021-01-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}