{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T19:18:15Z","timestamp":1767035895850,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,28]]},"DOI":"10.1145\/3742875.3754681","type":"proceedings-article","created":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T18:13:02Z","timestamp":1767031982000},"page":"38-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Contract-based Component Selection Using Behaviors"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2585-9586","authenticated-orcid":false,"given":"Sheng-Jung","family":"Yu","sequence":"first","affiliation":[{"name":"University of California, Berkeley, Berkeley, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1298-8389","authenticated-orcid":false,"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, California, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,12,29]]},"reference":[{"issue":"9","key":"e_1_3_2_1_1_1","first-page":"1421","article-title":"Design automation of cyber-physical systems: Challenges, advances, and opportunities","volume":"36","author":"Seshia S. A.","year":"2017","unstructured":"S. A. Seshia, S. Hu, W. Li, and Q. Zhu, \"Design automation of cyber-physical systems: Challenges, advances, and opportunities,\" IEEE TCAD, vol. 36, no. 9, pp. 1421\u20131434, 2017.","journal-title":"IEEE TCAD"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"e_1_3_2_1_3_1","first-page":"121","volume-title":"A tale of platforms and contracts,\" in Proc. of ISPD","author":"Nuzzo P.","year":"2019","unstructured":"P. Nuzzo, \"From electronic design automation to cyber-physical system design automation: A tale of platforms and contracts,\" in Proc. of ISPD, pp. 117\u2013121, 2019."},{"key":"e_1_3_2_1_4_1","first-page":"6","volume-title":"Using contract-based component specifications for virtual integration testing and architecture design,\" in Proc. of DATE","author":"Damm W.","year":"2011","unstructured":"W. Damm, H. Hungar, B. Josko, T. Peikenkamp, and I. Stierand, \"Using contract-based component specifications for virtual integration testing and architecture design,\" in Proc. of DATE, pp. 1\u20136, 2011."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2020.3038679"},{"key":"e_1_3_2_1_7_1","first-page":"223","volume-title":"A mixed discrete-continuous optimization scheme for cyber-physical system architecture exploration,\" in Proc. of ICCAD","author":"Finn J.","year":"2015","unstructured":"J. Finn, P. Nuzzo, and A. Sangiovanni-Vincentelli, \"A mixed discrete-continuous optimization scheme for cyber-physical system architecture exploration,\" in Proc. of ICCAD, pp. 216\u2013223, IEEE, 2015."},{"key":"e_1_3_2_1_8_1","first-page":"1","article-title":"Archex: An extensible framework for the exploration of cyber-physical system architectures","author":"Kirov D.","year":"2017","unstructured":"D. Kirov, P. Nuzzo, R. Passerone, and A. Sangiovanni-Vincentelli, \"Archex: An extensible framework for the exploration of cyber-physical system architectures,\" in Proc. of DAC, pp. 1\u20136, 2017.","journal-title":"Proc. of DAC"},{"key":"e_1_3_2_1_9_1","first-page":"1","article-title":"Optimized selection of wireless network topologies and components via efficient pruning of feasible paths","author":"Kirov D.","year":"2018","unstructured":"D. Kirov, P. Nuzzo, R. Passerone, and A. Sangiovanni-Vincentelli, \"Optimized selection of wireless network topologies and components via efficient pruning of feasible paths,\" in Proc. of DAC, pp. 1\u20136, 2018.","journal-title":"Proc. of DAC"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746235"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563310"},{"key":"e_1_3_2_1_12_1","first-page":"110","volume-title":"Constrained synthesis from component libraries,\" in Formal Aspects of Component Software","author":"Iannopollo A.","year":"2017","unstructured":"A. Iannopollo, S. Tripakis, and A. Sangiovanni-Vincentelli, \"Constrained synthesis from component libraries,\" in Formal Aspects of Component Software, pp. 92\u2013110, 2017."},{"key":"e_1_3_2_1_13_1","first-page":"1579","volume-title":"Specification decomposition for synthesis from libraries of LTL assume\/guarantee contracts,\" in Proc. of DATE","author":"Iannopollo A.","year":"2018","unstructured":"A. Iannopollo, S. Tripakis, and A. Sangiovanni-Vincentelli, \"Specification decomposition for synthesis from libraries of LTL assume\/guarantee contracts,\" in Proc. of DATE, pp. 1574\u20131579, 2018."},{"key":"e_1_3_2_1_14_1","first-page":"9","volume-title":"Quantitative verification and design space exploration under uncertainty with parametric stochastic contracts,\" in Proc. of ICCAD","author":"Oh C.","year":"2022","unstructured":"C. Oh, M. Lora, and P. Nuzzo, \"Quantitative verification and design space exploration under uncertainty with parametric stochastic contracts,\" in Proc. of ICCAD, pp. 1\u20139, 2022."},{"key":"e_1_3_2_1_15_1","first-page":"1236","volume-title":"Microelectronic circuits","author":"Sedra A.","year":"2020","unstructured":"A. Sedra, K. Smith, T. C. Carusone, and V. Gaudet, \"Microelectronic circuits 8th edition,\" Chapter, vol. 14, pp. 1235\u20131236, 2020.","edition":"8"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_3_2_1_17_1","first-page":"225","volume-title":"Multiple viewpoint contract-based specification and design,\" in International Symposium on Formal Methods for Components and Objects","author":"Benveniste A.","year":"2007","unstructured":"A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone, and C. Sofronis, \"Multiple viewpoint contract-based specification and design,\" in International Symposium on Formal Methods for Components and Objects, pp. 200\u2013225, 2007."},{"key":"e_1_3_2_1_18_1","first-page":"190","volume-title":"Constraint-behavior contracts: A formalism for specifying physical systems,\" in Proc. of MEMOCODE","author":"Yu S.-J.","year":"2023","unstructured":"S.-J. Yu, I. Incer, and A. Sangiovanni-Vincentelli, \"Constraint-behavior contracts: A formalism for specifying physical systems,\" in Proc. of MEMOCODE, pp. 180\u2013190, 2023."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718768"},{"key":"e_1_3_2_1_22_1","first-page":"2546","article-title":"Algorithms for hyper-parameter optimization","author":"Bergstra J.","year":"2011","unstructured":"J. Bergstra, R. Bardenet, Y. Bengio, and B. K\u00e9gl, \"Algorithms for hyper-parameter optimization,\" Proc. of NeurIPS, pp. 2546\u20132554, 2011.","journal-title":"Proc. of NeurIPS"},{"key":"e_1_3_2_1_23_1","first-page":"340","volume-title":"Z3: An efficient smt solver,\" in Proc. of TACAS","author":"De Moura L.","year":"2008","unstructured":"L. De Moura and N. Bj\u00f8rner, \"Z3: An efficient smt solver,\" in Proc. of TACAS, pp. 337\u2013340, 2008."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3292500.3330701"},{"key":"e_1_3_2_1_25_1","first-page":"12","volume-title":"A flight dynamics model for exploring the distributed electrical evtol cyber physical design space,\" in Proc. of DESTION","author":"Walker J. D.","year":"2022","unstructured":"J. D. Walker, F. M. Heim, B. Surampudi, P. Bueno, A. Carpenter, S. Chocron, J. Cutshall, R. Lammons, T. Bapty, B. Swenson, and S. Whittington, \"A flight dynamics model for exploring the distributed electrical evtol cyber physical design space,\" in Proc. of DESTION, pp. 7\u201312, 2022."},{"key":"e_1_3_2_1_26_1","unstructured":"DARPA \"SDCPS Project.\" Available at https:\/\/www.darpa.mil\/program\/symbiotic-design-for-cyber-physical-systems."}],"event":{"name":"MEMOCODE '25: International Symposium on Formal Methods and Models for System Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","SIGBED ACM Special Interest Group on Embedded Systems","IEEE CAS","IEEE CEDA"],"location":"Taipei International Convention Center (TICC) Taipei Taiwan","acronym":"MEMOCODE '25"},"container-title":["Proceedings of the International Symposium on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3742875.3754681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T19:15:45Z","timestamp":1767035745000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3742875.3754681"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,28]]},"references-count":26,"alternative-id":["10.1145\/3742875.3754681","10.1145\/3742875"],"URL":"https:\/\/doi.org\/10.1145\/3742875.3754681","relation":{},"subject":[],"published":{"date-parts":[[2025,9,28]]},"assertion":[{"value":"2025-12-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}