{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:47:29Z","timestamp":1756993649232,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3731406.3734976","type":"proceedings-article","created":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T11:43:38Z","timestamp":1750419818000},"page":"27-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards Formalisation of 3D User Interaction: Making Spatial Interaction Verifiable"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7623-882X","authenticated-orcid":false,"given":"Jessica","family":"Turner","sequence":"first","affiliation":[{"name":"University of Waikato, Tauranga, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4785-708X","authenticated-orcid":false,"given":"Benjamin","family":"Weyers","sequence":"additional","affiliation":[{"name":"Trier University, Trier, Germany"}]}],"member":"320","published-online":{"date-parts":[[2025,6,22]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"crossref","unstructured":"Elodie Bouzekri Alexandre Canny Camille Fayollas C\u00e9lia Martinie Philippe Palanque Eric Barboni Yannick Deleris and Christine Gris. 2019. Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits. International Journal of Human-Computer Studies 121 (2019) 122\u2013141.","DOI":"10.1016\/j.ijhcs.2018.05.001"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Judy Bowen Anke Dittmar and Benjamin Weyers. 2021. Task modelling for interactive system design: A survey of historical trends gaps and future needs. Proceedings of the ACM on Human-Computer Interaction 5 EICS (2021) 1\u201322.","DOI":"10.1145\/3461736"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Judy Bowen and Steve Reeves. 2017. Generating obligations assertions and tests from UI models. Proceedings of the ACM on Human-Computer Interaction 1 EICS (2017) 1\u201318.","DOI":"10.1145\/3095807"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"Doug\u00a0A Bowman and Larry\u00a0F Hodges. 1999. Formalizing the design evaluation and application of interaction techniques for immersive virtual environments. Journal of Visual Languages & Computing 10 1 (1999) 37\u201353.","DOI":"10.1006\/jvlc.1998.0111"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"crossref","unstructured":"Dina Burkolter Benjamin Weyers Annette Kluge and Wolfram Luther. 2014. Customization of user interfaces to reduce errors and enhance user acceptance. Applied ergonomics 45 2 (2014) 346\u2013353.","DOI":"10.1016\/j.apergo.2013.04.017"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"crossref","unstructured":"Heni Cherni Natacha M\u00e9tayer and Nicolas Souliman. 2020. Literature review of locomotion techniques in virtual reality. International Journal of Virtual Reality (2020).","DOI":"10.20870\/IJVR.2020.20.1.3183"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"crossref","unstructured":"John Hatcliff Gary\u00a0T Leavens K\u00a0Rustan\u00a0M Leino Peter M\u00fcller and Matthew Parkinson. 2012. Behavioral interface specification languages. ACM Computing Surveys (CSUR) 44 3 (2012) 1\u201358.","DOI":"10.1145\/2187671.2187678"},{"key":"e_1_3_3_2_9_2","volume-title":"The way of Z: practical programming with formal methods","author":"Jacky Jonathan","year":"1997","unstructured":"Jonathan Jacky. 1997. The way of Z: practical programming with formal methods. Cambridge University Press."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3102113.3102125"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2015.7298990"},{"key":"e_1_3_3_2_12_2","volume-title":"3D user interfaces: theory and practice","author":"LaViola\u00a0Jr Joseph\u00a0J","year":"2017","unstructured":"Joseph\u00a0J LaViola\u00a0Jr, Ernst Kruijff, Ryan\u00a0P McMahan, Doug Bowman, and Ivan\u00a0P Poupyrev. 2017. 3D user interfaces: theory and practice. Addison-Wesley Professional."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3102113.3102121"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Yuen\u00a0C Law Wilken Wehrt Sabine Sonnentag and Benjamin Weyers. 2023. Obtaining semi-formal models from qualitative data: From interviews into bpmn models in user-centered design processes. International Journal of Human\u2013Computer Interaction 39 3 (2023) 476\u2013493.","DOI":"10.1080\/10447318.2022.2041899"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Alexander\u00a0KC Leung and Kam\u00a0Lun Hon. 2019. Motion sickness: an overview. Drugs in context 8 (2019).","DOI":"10.7573\/dic.2019-9-4"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Xiao Li Wen Yi Hung-Lin Chi Xiangyu Wang and Albert\u00a0PC Chan. 2018. A critical review of virtual and augmented reality (VR\/AR) applications in construction safety. Automation in construction 86 (2018) 150\u2013162.","DOI":"10.1016\/j.autcon.2017.11.003"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/11555261_17"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/2851581.2856686"},{"key":"e_1_3_3_2_19_2","unstructured":"Fabio Patern\u00f2. 2004. ConcurTaskTrees: an engineered notation for task models. The handbook of task analysis for human-computer interaction (2004) 483\u2013503."},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"crossref","unstructured":"Jessica Turner Judy Bowen and Steve Reeves. 2020. Model-based testing of interactive systems using interaction sequences. Proceedings of the ACM on Human-Computer Interaction 4 EICS (2020) 1\u201337.","DOI":"10.1145\/3397873"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"crossref","unstructured":"Benjamin Weyers Judy Bowen Alan Dix and Philippe Palanque. 2017. The handbook of formal methods in human-computer interaction.","DOI":"10.1007\/978-3-319-51838-1"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/1122591.1122611"}],"event":{"name":"EICS '25: The 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","location":"Trier Germany","acronym":"EICS Companion '25","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems"],"original-title":[],"deposited":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T11:43:51Z","timestamp":1750419831000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731406.3734976"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":21,"alternative-id":["10.1145\/3731406.3734976","10.1145\/3731406"],"URL":"https:\/\/doi.org\/10.1145\/3731406.3734976","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]},"assertion":[{"value":"2025-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}