{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:39Z","timestamp":1750221159390,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T00:00:00Z","timestamp":1527465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1718040"],"award-info":[{"award-number":["CCF-1718040"]}],"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":[[2018,5,28]]},"DOI":"10.1145\/3196558.3196566","type":"proceedings-article","created":{"date-parts":[[2018,6,29]],"date-time":"2018-06-29T15:14:53Z","timestamp":1530285293000},"page":"40-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards code-aware robotic simulation"],"prefix":"10.1145","author":[{"given":"John-Paul","family":"Ore","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carrick","family":"Detweiler","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Elbaum","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2368997"},{"key":"e_1_3_2_1_2_1","volume-title":"Predictable Results: Methods and Examples","author":"Balakirsky S.","year":"2009","unstructured":"S. Balakirsky , S. Carpin , G. Dimitoglou , and B. Balaguer . 2009 . From Simulation to Real Robots with Predictable Results: Methods and Examples . Springer US , Boston, MA , 113--137. S. Balakirsky, S. Carpin, G. Dimitoglou, and B. Balaguer. 2009. From Simulation to Real Robots with Predictable Results: Methods and Examples. Springer US, Boston, MA, 113--137."},{"key":"e_1_3_2_1_3_1","volume-title":"Mataric","author":"Brooks Rodney A.","year":"1993","unstructured":"Rodney A. Brooks and Maja J . Mataric . 1993 . Real Robots, Real Learning Problems. Springer US , Boston, MA, 193--213. Rodney A. Brooks and Maja J. Mataric. 1993. Real Robots, Real Learning Problems. Springer US, Boston, MA, 193--213."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/rob.20132"},{"key":"e_1_3_2_1_5_1","unstructured":"Open Source Robotics Foundation. 2016. SDFormat a description language for Scientific Robotic Simulation. (2016). http:\/\/sdformat.org\/spec http:\/\/sdformat.org\/spec.  Open Source Robotics Foundation. 2016. SDFormat a description language for Scientific Robotic Simulation. (2016). http:\/\/sdformat.org\/spec http:\/\/sdformat.org\/spec."},{"key":"e_1_3_2_1_6_1","unstructured":"Open Source Robotics Foundation. 2018. ROS Common messages. (2018). http:\/\/wiki.ros.org\/common_msgs http:\/\/wiki.ros.org\/common_msgs.  Open Source Robotics Foundation. 2018. ROS Common messages. (2018). http:\/\/wiki.ros.org\/common_msgs http:\/\/wiki.ros.org\/common_msgs."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_4"},{"key":"e_1_3_2_1_8_1","volume-title":"CEFP 2009","author":"Kennedy Andrew","year":"2009","unstructured":"Andrew Kennedy . 2009 . Types for Units-of-Measure: Theory and Practice. In Central European Functional Programming School - Third Summer School , CEFP 2009 , Budapest, Hungary , May 21-23, 2009 and Kom\u00e1rno, Slovakia, May 25-30, 2009, Revised Selected Lectures. 268--305. Andrew Kennedy. 2009. Types for Units-of-Measure: Theory and Practice. In Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom\u00e1rno, Slovakia, May 25-30, 2009, Revised Selected Lectures. 268--305."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2008.01.005"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21578"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092722"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098219"},{"key":"e_1_3_2_1_13_1","volume-title":"ICRA workshop on open source software","volume":"3","author":"Quigley Morgan","year":"2009","unstructured":"Morgan Quigley , Ken Conley , Brian Gerkey , Josh Faust , Tully Foote , Jeremy Leibs , Rob Wheeler , and Andrew Y Ng . 2009 . ROS: an open-source Robot Operating System . In ICRA workshop on open source software , Vol. 3 .2. Kobe, Japan, 5. Morgan Quigley, Ken Conley, Brian Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Y Ng. 2009. ROS: an open-source Robot Operating System. In ICRA workshop on open source software, Vol. 3.2. Kobe, Japan, 5."},{"volume-title":"2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems. 1321--1326","author":"Rohmer E.","key":"e_1_3_2_1_14_1","unstructured":"E. Rohmer , S.P.N. Singh , and M. Freese . 2013. V-REP: A versatile and scalable robot simulation framework . In 2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems. 1321--1326 . E. Rohmer, S.P.N. Singh, and M. Freese. 2013. V-REP: A versatile and scalable robot simulation framework. In 2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems. 1321--1326."},{"key":"e_1_3_2_1_15_1","volume-title":"Second NASA Formal Methods Symposium - NFM","author":"Roy Pritam","year":"2010","unstructured":"Pritam Roy and Natarajan Shankar . 2010. SimCheck: An Expressive Type System for Simulink . In Second NASA Formal Methods Symposium - NFM 2010 , Washington D.C., USA , April 13-15, 2010. Proceedings (NASA Conference Proceedings), C\u00e9sar A. Mu\u00f1oz (Ed .), Vol. NASA\/CP-2010- 216215 . 149--160. Pritam Roy and Natarajan Shankar. 2010. SimCheck: An Expressive Type System for Simulink. In Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings (NASA Conference Proceedings), C\u00e9sar A. Mu\u00f1oz (Ed.), Vol. NASA\/CP-2010-216215. 149--160."},{"volume-title":"2014 IEEE International Conference on Robotics and Automation (ICRA). 2087--2087","author":"Tedrake R.","key":"e_1_3_2_1_16_1","unstructured":"R. Tedrake , M. Fallon , S. Karumanchi , S. Kuindersma , M. Antone , T. Schneider , T. Howard , M. Walter , H. Dai , R. Deits , M. Fleder , D. Fourie , R. Hammoud , S. Hemachandra , P. Ilardi , C. Perez-D'Arpino , S. Pillai , A. Valenzuela , C. Cantu , C. Dolan , I. Evans , S. Jorgensen , J. Kristeller , J. A. Shah , K. Iagnemma , and S. Teller . 2014. A summary of team MIT's approach to the virtual robotics challenge . In 2014 IEEE International Conference on Robotics and Automation (ICRA). 2087--2087 . R. Tedrake, M. Fallon, S. Karumanchi, S. Kuindersma, M. Antone, T. Schneider, T. Howard, M. Walter, H. Dai, R. Deits, M. Fleder, D. Fourie, R. Hammoud, S. Hemachandra, P. Ilardi, C. Perez-D'Arpino, S. Pillai, A. Valenzuela, C. Cantu, C. Dolan, I. Evans, S. Jorgensen, J. Kristeller, J. A. Shah, K. Iagnemma, and S. Teller. 2014. A summary of team MIT's approach to the virtual robotics challenge. In 2014 IEEE International Conference on Robotics and Automation (ICRA). 2087--2087."},{"volume-title":"2012 IEEE\/RSJ International Conference on Intelligent Robots and Systems. 5026--5033","author":"Todorov E.","key":"e_1_3_2_1_17_1","unstructured":"E. Todorov , T. Erez , and Y. Tassa . 2012. MuJoCo: A physics engine for model-based control . In 2012 IEEE\/RSJ International Conference on Intelligent Robots and Systems. 5026--5033 . E. Todorov, T. Erez, and Y. Tassa. 2012. MuJoCo: A physics engine for model-based control. In 2012 IEEE\/RSJ International Conference on Intelligent Robots and Systems. 5026--5033."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom.2008.02.017"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24255-2_34"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 1st International Workshop on Robotics Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196558.3196566","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3196558.3196566","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3196558.3196566","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:39Z","timestamp":1750208919000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196558.3196566"}},"subtitle":["vision paper"],"short-title":[],"issued":{"date-parts":[[2018,5,28]]},"references-count":19,"alternative-id":["10.1145\/3196558.3196566","10.1145\/3196558"],"URL":"https:\/\/doi.org\/10.1145\/3196558.3196566","relation":{},"subject":[],"published":{"date-parts":[[2018,5,28]]},"assertion":[{"value":"2018-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}