{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:57:20Z","timestamp":1760043440570,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":83,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"NSF","award":["CCF-1750116"],"award-info":[{"award-number":["CCF-1750116"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-2148301"],"award-info":[{"award-number":["CNS-2148301"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,12]]},"DOI":"10.1145\/3597503.3639206","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T16:43:26Z","timestamp":1712940206000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8612-1767","authenticated-orcid":false,"given":"Tobias","family":"D\u00fcrschmid","sequence":"first","affiliation":[{"name":"School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9785-324X","authenticated-orcid":false,"given":"Christopher Steven","family":"Timperley","sequence":"additional","affiliation":[{"name":"School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6735-8301","authenticated-orcid":false,"given":"David","family":"Garlan","sequence":"additional","affiliation":[{"name":"School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3931-060X","authenticated-orcid":false,"given":"Claire","family":"Le Goues","sequence":"additional","affiliation":[{"name":"School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00020"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.08.039"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24741-8_9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3542945"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.3390\/jsan10030048"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11786160_10"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.03.066"},{"key":"e_1_3_2_1_8_1","volume-title":"Small Satellite Conference number Advanced Technologies II, 328","author":"Bocchino Robert","year":"2018","unstructured":"Robert Bocchino, Timothy Canham, Garth Watney, Leonard Reder, and Jeffrey Levison. 2018. F Prime: An Open-Source Framework for Small-Scale Flight Software Systems. In Small Satellite Conference number Advanced Technologies II, 328. https:\/\/digitalcommons.usu.edu\/smallsat\/2018\/all2018\/328\/."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxq024"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2005.1545523"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.94"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2015.2452201"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68951-5_8"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3526071.3527521"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2008.4493304"},{"volume-title":"Documenting Software Architectures: Views and Beyond","author":"Clements Paul","key":"e_1_3_2_1_16_1","unstructured":"Paul Clements, Felix Bachmann, Len Bass, David Garlan, James Ivers, Judith Stafford, Reed Little, and Robert Nord. 2003. Documenting Software Architectures: Views and Beyond. Addison-Wesley Professional."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2019.00091"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2011.8"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2017.07.107"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2020.101021"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/STEP.1999.798481"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100123"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI-C.2010.32"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00067"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2018.2876958"},{"volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"Gomes Adriano","key":"e_1_3_2_1_26_1","unstructured":"Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, and Julio Buzzi. 2010. Systematic model-based safety assessment via probabilistic model checking. In Leveraging Applications of Formal Methods, Verification, and Validation. Springer, 625--639."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","unstructured":"Raju Halder Jos\u00e9 Proen\u00e7a Nuno Macedo and Andr\u00e9 Santos. 2017. Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. (2017). 10.1109\/FormaliSE.2017.9","DOI":"10.1109\/FormaliSE.2017.9"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225032"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpa.2020.100019"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1080\/01691864.2019.1636714"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183534"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2019.00059"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.07.019"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468601"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.techfore.2020.120202"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5652394"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","unstructured":"Sayali Kate Michael Chinn Hongjun Choi Xiangyu Zhang and Sebastian Elbaum. 2021. PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems. In Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE '21). ACM 45--56. 10.1145\/3468264.3468608","DOI":"10.1145\/3468264.3468608"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","unstructured":"Sayali Kate John-Paul Ore Xiangyu Zhang Sebastian Elbaum and Zhaogui Xu. 2018. Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection. In Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE '18). ACM 563--573. 10.1145\/3236024.3236035","DOI":"10.1145\/3236024.3236035"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2015.133"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2009.78"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME46990.2020.00048"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561191"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2009.07.007"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-006-9013-8"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635890"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03466-4_2"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1002\/ajim.23470"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.71"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342355"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","unstructured":"Steven Macenski Tully Foote Brian Gerkey Chris Lalancette and William Woodall. 2022. Robot Operating System 2: Design Architecture and Uses In The Wild. Science Robotics 7 66 eabm6074. 10.1126\/scirobotics.abm6074","DOI":"10.1126\/scirobotics.abm6074"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1999.792498"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC51365.2020.00018"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70732"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2004.1281402"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2001.914978"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2001.921714"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43652-3_3"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642988"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092722"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/RoSE52553.2021.00012"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143086"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106476"},{"key":"e_1_3_2_1_66_1","volume-title":"International Conference on Robotics and Automation Workshop on Open Source Software. http:\/\/lars.mec.ua.pt\/public\/LAR%20Projects\/BinPicking\/2016_RodrigoSalgueiro\/LIB\/ROS\/icraoss09-ROS.pdf.","author":"Quigley Morgan","year":"2009","unstructured":"Morgan Quigley. 2009. ROS: an open-source Robot Operating System. In International Conference on Robotics and Automation Workshop on Open Source Software. http:\/\/lars.mec.ua.pt\/public\/LAR%20Projects\/BinPicking\/2016_RodrigoSalgueiro\/LIB\/ROS\/icraoss09-ROS.pdf."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2019.00018"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206237"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759661"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.66"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1991.130626"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/GUCON.2018.8675050"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412841.3442124"},{"key":"e_1_3_2_1_74_1","volume-title":"Architecture-Based Performance Analysis. In Conference on Software Engineering and Knowledge Engineering (SEKE '98)","author":"Spitznagel Bridget","year":"1998","unstructured":"Bridget Spitznagel and David Garlan. 1998. Architecture-Based Performance Analysis. In Conference on Software Engineering and Knowledge Engineering (SEKE '98). (June 1998). http:\/\/www.cs.cmu.edu\/afs\/cs\/project\/able\/ftp\/perform-seke98\/perform-seke98.pdf."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.36288\/ROSCon2019-900898"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA53651.2022.00019"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2188286.2188326"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6630576"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2018.02.009"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22306-8_11"},{"key":"e_1_3_2_1_81_1","volume-title":"Fetch & Freight: Standard Platforms for Service Robot Applications. In Workshop on autonomous mobile service robots. http:\/\/docs.fetch3staging.wpengine.com\/FetchAndFreight2016","author":"Wise Melonee","year":"2016","unstructured":"Melonee Wise, Michael Ferguson, Derek King, Eric Diehr, and David Dymesich. 2016. Fetch & Freight: Standard Platforms for Service Robot Applications. In Workshop on autonomous mobile service robots. http:\/\/docs.fetch3staging.wpengine.com\/FetchAndFreight2016.pdf."},{"key":"e_1_3_2_1_82_1","volume-title":"Checking Consistency of Robot Software Architectures in ROS. In International Workshop on Robotics Software Engineering (RoSE '18)","author":"Witte Thomas","year":"2018","unstructured":"Thomas Witte and Matthias Tichy. 2018. Checking Consistency of Robot Software Architectures in ROS. In International Workshop on Robotics Software Engineering (RoSE '18). IEEE, 1--8. https:\/\/ieeexplore.ieee.org\/document\/8445812."},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00916-8"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"],"location":"Lisbon Portugal","acronym":"ICSE '24"},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639206","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639206","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639206","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:13Z","timestamp":1750286953000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639206"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":83,"alternative-id":["10.1145\/3597503.3639206","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639206","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}