{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:34Z","timestamp":1750221274919,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,8]],"date-time":"2017-11-08T00:00:00Z","timestamp":1510099200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,11,8]]},"DOI":"10.1145\/3137133.3141443","type":"proceedings-article","created":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T12:31:17Z","timestamp":1523449877000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["DejaVu"],"prefix":"10.1145","author":[{"given":"Fergus","family":"Leahy","sequence":"first","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Naranker","family":"Dulay","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]}],"member":"320","published-online":{"date-parts":[[2017,11,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2368997"},{"volume-title":"Robotics and Automation, 2007 IEEE International Conference on. 1400--1405","author":"Carpin S.","key":"e_1_3_2_1_2_1","unstructured":"S. Carpin , M. Lewis , Jijun Wang , S. Balakirsky , and C. Scrapper . 2007. USARSim: a robot simulator for research and education . In Robotics and Automation, 2007 IEEE International Conference on. 1400--1405 . S. Carpin, M. Lewis, Jijun Wang, S. Balakirsky, and C. Scrapper. 2007. USARSim: a robot simulator for research and education. In Robotics and Automation, 2007 IEEE International Conference on. 1400--1405."},{"key":"e_1_3_2_1_3_1","first-page":"443","article-title":"BOSS: Building Operating System Services","volume":"13","author":"Dawson-Haggerty Stephen","year":"2013","unstructured":"Stephen Dawson-Haggerty , Andrew Krioukov , Jay Taneja , Sagar Karandikar , Gabe Fierro , Nikita Kitaev , and David E Culler . 2013 . BOSS: Building Operating System Services .. In NSDI , Vol. 13. 443 -- 458 . Stephen Dawson-Haggerty, Andrew Krioukov, Jay Taneja, Sagar Karandikar, Gabe Fierro, Nikita Kitaev, and David E Culler. 2013. BOSS: Building Operating System Services.. In NSDI, Vol. 13. 443--458.","journal-title":"NSDI"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968498"},{"key":"e_1_3_2_1_5_1","volume-title":"2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566)","volume":"3","author":"Koenig N.","unstructured":"N. Koenig and A. Howard . 2004. Design and use paradigms for Gazebo, an open-source multi-robot simulator . In 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566) , Vol. 3 . 2149--2154 vol.3. N. Koenig and A. Howard. 2004. Design and use paradigms for Gazebo, an open-source multi-robot simulator. In 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), Vol. 3. 2149--2154 vol.3."},{"key":"e_1_3_2_1_6_1","volume-title":"Ard\u00e1n: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper). In Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy","author":"Leahy Fergus","year":"2017","unstructured":"Fergus Leahy and Naranker Dulay . 2017 . Ard\u00e1n: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper). In Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA , USA, October 6, 2016. Springer International Publishing , 61--70. Fergus Leahy and Naranker Dulay. 2017. Ard\u00e1n: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper). In Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016. Springer International Publishing, 61--70."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/958491.958506"},{"key":"e_1_3_2_1_8_1","volume-title":"Design Automation Conference (ASP-DAC)","author":"Mueller W.","year":"2012","unstructured":"W. Mueller , M. Becker , A. Elfeky , and A. DiPasquale . 2012. Virtual prototyping of Cyber-Physical Systems . In Design Automation Conference (ASP-DAC) , 2012 17th Asia and South Pacific. 219--226. W. Mueller, M. Becker, A. Elfeky, and A. DiPasquale. 2012. Virtual prototyping of Cyber-Physical Systems. In Design Automation Conference (ASP-DAC), 2012 17th Asia and South Pacific. 219--226."},{"volume-title":"Proceedings 2006 31st IEEE Conference on. 641--648","author":"\u00d6sterlind F.","key":"e_1_3_2_1_9_1","unstructured":"F. \u00d6sterlind , A. Dunkels , J. Eriksson , N. Finne , and T. Voigt . 2006. Cross-Level Sensor Network Simulation with COOJA. In Local Computer Networks , Proceedings 2006 31st IEEE Conference on. 641--648 . F. \u00d6sterlind, A. Dunkels, J. Eriksson, N. Finne, and T. Voigt. 2006. Cross-Level Sensor Network Simulation with COOJA. In Local Computer Networks, Proceedings 2006 31st IEEE Conference on. 641--648."}],"event":{"name":"BuildSys '17: The 4th ACM International Conference on Systems for Energy-Efficient Built Environments","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems","SIGBED ACM Special Interest Group on Embedded Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Delft Netherlands","acronym":"BuildSys '17"},"container-title":["Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3137133.3141443","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3137133.3141443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:10Z","timestamp":1750212670000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3137133.3141443"}},"subtitle":["visual diffing of cyber physical systems"],"short-title":[],"issued":{"date-parts":[[2017,11,8]]},"references-count":9,"alternative-id":["10.1145\/3137133.3141443","10.1145\/3137133"],"URL":"https:\/\/doi.org\/10.1145\/3137133.3141443","relation":{},"subject":[],"published":{"date-parts":[[2017,11,8]]},"assertion":[{"value":"2017-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}