{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:48:16Z","timestamp":1750308496611,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,9]],"date-time":"2022-05-09T00:00:00Z","timestamp":1652054400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSERC","award":["RGPIN-2017-05700"],"award-info":[{"award-number":["RGPIN-2017-05700"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,9]]},"DOI":"10.1145\/3526071.3527516","type":"proceedings-article","created":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T23:31:22Z","timestamp":1675380682000},"page":"47-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated extraction and checking of property models from source code for robot swarms"],"prefix":"10.1145","author":[{"given":"Ettore","family":"Merlo","sequence":"first","affiliation":[{"name":"Polytechnique Montreal, Montreal, QC, Canada, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Pinciroli","sequence":"additional","affiliation":[{"name":"Worcester Polytechnic Institute"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacopo","family":"Panerati","sequence":"additional","affiliation":[{"name":"Polytechnique Montreal, Montr\u00e9al, QC, Canada, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michalis","family":"Famelis","sequence":"additional","affiliation":[{"name":"University of Montreal, Montr\u00e9al, QC, Canada, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Beltrame","sequence":"additional","affiliation":[{"name":"Polytechnique Montreal, Montr\u00e9al, QC, Canada, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,2,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/IBCAST.2017.7868084"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9586-5"},{"key":"e_1_3_2_1_3_1","volume-title":"Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on. IEEE, 125--126","author":"Behrmann Gerd","year":"2006","unstructured":"Gerd Behrmann , Alexandre David , Kim Guldstrand Larsen , John Hakansson , Paul Petterson , Wang Yi , and Martijn Hendriks . 2006 . UPPAAL 4.0 . In Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on. IEEE, 125--126 . Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Hakansson, Paul Petterson, Wang Yi, and Martijn Hendriks. 2006. UPPAAL 4.0. In Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on. IEEE, 125--126."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-012-0075-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734431"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.685256"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2019.00027"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055022"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2012.03.003"},{"key":"e_1_3_2_1_10_1","volume-title":"Koord: a language for programming and verifying distributed robotics application. 4","author":"Ghosh Ritwika","year":"2020","unstructured":"Ritwika Ghosh , Chiao Hsieh , Sasa Misailovic , and Sayan Mitra . 2020. Koord: a language for programming and verifying distributed robotics application. 4 ( 2020 ), 1--30. Issue OOPSLA. Publisher : ACM New York, NY, USA. Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, and Sayan Mitra. 2020. Koord: a language for programming and verifying distributed robotics application. 4 (2020), 1--30. Issue OOPSLA. Publisher: ACM New York, NY, USA."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_7"},{"key":"e_1_3_2_1_12_1","volume-title":"Insurgents hack US drones. Wall Street Journal (December","author":"Gorman Siobhan","year":"2009","unstructured":"Siobhan Gorman , Yochi J Dreazen , and August Cole . 2009. Insurgents hack US drones. Wall Street Journal (December 2009 ). Siobhan Gorman, Yochi J Dreazen, and August Cole. 2009. Insurgents hack US drones. Wall Street Journal (December 2009)."},{"key":"e_1_3_2_1_13_1","first-page":"288","article-title":"Threats to the Swarm: Security Considerations for Swarm Robotics","volume":"2","author":"Higgins Fiona","year":"2009","unstructured":"Fiona Higgins , Allan Tomlinson , and Keith M. Martin . 2009 . Threats to the Swarm: Security Considerations for Swarm Robotics . International Journal on Advances in Security 2 , 2&3 (2009), 288 -- 297 . Fiona Higgins, Allan Tomlinson, and Keith M. Martin. 2009. Threats to the Swarm: Security Considerations for Swarm Robotics. International Journal on Advances in Security 2, 2&3 (2009), 288 -- 297.","journal-title":"International Journal on Advances in Security"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAS.2009.62"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2011.10.005"},{"volume-title":"Computer aided verification","author":"Kwiatkowska Marta","key":"e_1_3_2_1_16_1","unstructured":"Marta Kwiatkowska , Gethin Norman , and David Parker . 2011. PRISM 4.0 : Verification of probabilistic real-time systems . In Computer aided verification . Springer , 585--591. Marta Kwiatkowska, Gethin Norman, and David Parker. 2011. PRISM 4.0: Verification of probabilistic real-time systems. In Computer aided verification. Springer, 585--591."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884625"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2009.32"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2016.95"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2016.376"},{"key":"e_1_3_2_1_22_1","volume-title":"Buzz: An Extensible Programming Language for Self-Organizing Heterogeneous Robot Swarms. ArXiv abs\/1507.05946","author":"Pinciroli Carlo","year":"2015","unstructured":"Carlo Pinciroli , Adam Lee-Brown , and G. Beltrame . 2015 . Buzz: An Extensible Programming Language for Self-Organizing Heterogeneous Robot Swarms. ArXiv abs\/1507.05946 (2015). Carlo Pinciroli, Adam Lee-Brown, and G. Beltrame. 2015. Buzz: An Extensible Programming Language for Self-Organizing Heterogeneous Robot Swarms. ArXiv abs\/1507.05946 (2015)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.4108\/eai.3-12-2015.2262503"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-012-0072-5"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2016.05.461"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747942"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2010.5546247"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74089-6_3"},{"key":"e_1_3_2_1_29_1","volume-title":"Computer virus hits US drone fleet. CNN.com","author":"Shachtman Noah","year":"2011","unstructured":"Noah Shachtman . 2011. Computer virus hits US drone fleet. CNN.com ( 2011 ). Noah Shachtman. 2011. Computer virus hits US drone fleet. CNN.com (2011)."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCNT.2015.7395213"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5772\/5769"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Pittsburgh Pennsylvania","acronym":"ICSE '22"},"container-title":["Proceedings of the 4th International Workshop on Robotics Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3526071.3527516","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3526071.3527516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:43:46Z","timestamp":1750272226000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3526071.3527516"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,9]]},"references-count":30,"alternative-id":["10.1145\/3526071.3527516","10.1145\/3526071"],"URL":"https:\/\/doi.org\/10.1145\/3526071.3527516","relation":{},"subject":[],"published":{"date-parts":[[2022,5,9]]},"assertion":[{"value":"2023-02-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}