{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:48Z","timestamp":1750306968473,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,5,28]],"date-time":"2013-05-28T00:00:00Z","timestamp":1369699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EUROCONTROL research network HALA! on Higher Automation Levels in Aviation"},{"name":"WPE project SPAD (System Performance under Automation Degradation)"},{"DOI":"10.13039\/501100002830","name":"Centre National d'Etudes Spatiales","doi-asserted-by":"publisher","award":["R-S08\/BS-0003-029"],"award-info":[{"award-number":["R-S08\/BS-0003-029"]}],"id":[{"id":"10.13039\/501100002830","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Aldabra","award":["ETS-CT-R&T_TTGA-196-CN"],"award-info":[{"award-number":["ETS-CT-R&T_TTGA-196-CN"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,5,28]]},"DOI":"10.1145\/2494493.2494502","type":"proceedings-article","created":{"date-parts":[[2013,8,13]],"date-time":"2013-08-13T12:31:21Z","timestamp":1376397081000},"page":"66-75","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Model-based dynamic distribution of user interfaces of critical interactive systems"],"prefix":"10.1145","author":[{"given":"David","family":"Navarre","sequence":"first","affiliation":[{"name":"University of Toulouse, Toulouse Cedex, France"}]},{"given":"C\u00e9lia","family":"Martinie","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse Cedex, France"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse Cedex, France"}]},{"given":"Alberto","family":"Pasquini","sequence":"additional","affiliation":[{"name":"DeepBlue, Roma, Italy"}]},{"given":"Martina","family":"Ragosta","sequence":"additional","affiliation":[{"name":"DeepBlue, Roma, Italy"}]}],"member":"320","published-online":{"date-parts":[[2013,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822043"},{"key":"e_1_3_2_1_2_1","article-title":"Bridging the Gap between a Behavioural Formal Description Technique and User Interface Description Language: Enhancing ICO with a Graphical User Interface Markup Language","volume":"78","author":"Barboni E","year":"2013","unstructured":"Barboni , E , Martinie C. , Navarre , D , Palanque , P , Winckler , M . Bridging the Gap between a Behavioural Formal Description Technique and User Interface Description Language: Enhancing ICO with a Graphical User Interface Markup Language . Journal of Science of Computer Programming Vol. 78 , 2013 . Barboni, E, Martinie C., Navarre, D, Palanque, P, Winckler, M. Bridging the Gap between a Behavioural Formal Description Technique and User Interface Description Language: Enhancing ICO with a Graphical User Interface Markup Language. Journal of Science of Computer Programming Vol. 78, 2013.","journal-title":"Journal of Science of Computer Programming"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Bastide R. Sy O. & Palanque P. A formal notation and tool for the engineering of CORBA systems. Concurrency - Practice and Experience 12(14): 1379--1403 (2000)  Bastide R. Sy O. & Palanque P. A formal notation and tool for the engineering of CORBA systems. Concurrency - Practice and Experience 12(14): 1379--1403 (2000)","DOI":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/274644.274682"},{"key":"e_1_3_2_1_5_1","volume-title":"A Unifying Reference Framework for multi-target user interfaces. Interacting with computers, 15(3), 1--1","author":"Calvary G.","year":"2003","unstructured":"Calvary , G. , Coutaz , J. , Th\u00e9venin , D. , Limbourg , Q. , Bouillon , L. , & Vanderdonckt , J. ( 2003 ). A Unifying Reference Framework for multi-target user interfaces. Interacting with computers, 15(3), 1--1 . Calvary, G., Coutaz, J., Th\u00e9venin, D., Limbourg, Q., Bouillon, L., & Vanderdonckt, J. (2003). A Unifying Reference Framework for multi-target user interfaces. Interacting with computers, 15(3), 1--1."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of Engineering Interactive Systems 2007","author":"Clerkx T.","year":"2007","unstructured":"Clerkx , T. , Vandervelpen , C. , Coninx , K. Task-based design and runtime support for multimodal user interface distribution . In Proceedings of Engineering Interactive Systems 2007 , EHCI-HCSE-DSVIS ( 2007 ). Clerkx, T., Vandervelpen, C., Coninx, K. Task-based design and runtime support for multimodal user interface distribution. In Proceedings of Engineering Interactive Systems 2007, EHCI-HCSE-DSVIS (2007)."},{"key":"e_1_3_2_1_7_1","volume-title":"ECSS-E-70C","author":"European Cooperation","year":"2008","unstructured":"European Cooperation for Space Standardization , Space Engineering, Ground Systems and Operations , ECSS-E-70C , 31 July 2008 . European Cooperation for Space Standardization, Space Engineering, Ground Systems and Operations, ECSS-E-70C, 31 July 2008."},{"key":"e_1_3_2_1_8_1","volume-title":"ECSS-E70-32A.","author":"European Cooperation","year":"2006","unstructured":"European Cooperation for Space Standardization , Space Engineering, Test and Operations Procedure Language , ECSS-E70-32A. 2006 . European Cooperation for Space Standardization, Space Engineering, Test and Operations Procedure Language, ECSS-E70-32A. 2006."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 17th Australia conference on Computer-Human Interaction: Citizens Online: Considerations for Today and the Future (OZCHI '05)","author":"Fang Chen H. C.","year":"2005","unstructured":"Fang Chen , Eric H. C. Choi , Natalie Ruiz, Yu Shi , and Ronnie Taib. 2005 . User interface design and evaluation for control room . In Proceedings of the 17th Australia conference on Computer-Human Interaction: Citizens Online: Considerations for Today and the Future (OZCHI '05) . Computer-Human Interaction Special Interest Group (CHISIG) of Australia, Narrabundah, Australia, Australia, 1--4. Fang Chen, Eric H. C. Choi, Natalie Ruiz, Yu Shi, and Ronnie Taib. 2005. User interface design and evaluation for control room. In Proceedings of the 17th Australia conference on Computer-Human Interaction: Citizens Online: Considerations for Today and the Future (OZCHI '05). Computer-Human Interaction Special Interest Group (CHISIG) of Australia, Narrabundah, Australia, Australia, 1--4."},{"key":"e_1_3_2_1_10_1","series-title":"Human-Computer Interaction Series","first-page":"1","volume-title":"J. A. Gallud et al. (eds), Distributed User Interfaces: Designing Interfaces for the Distributed Ecosystem","author":"Fr\u00f6berg A.","year":"2011","unstructured":"Fr\u00f6berg , A. , Eriksson , H. , Berglund , E. Developing a DUI Based Operator Control Station: A Case Study of the Marve Framework .. In J. A. Gallud et al. (eds), Distributed User Interfaces: Designing Interfaces for the Distributed Ecosystem , Human-Computer Interaction Series , pages 1 -- 12 , 2011 , Springer-Verlag , 2011. Fr\u00f6berg, A., Eriksson, H., Berglund, E. Developing a DUI Based Operator Control Station: A Case Study of the Marve Framework.. In J. A. Gallud et al. (eds), Distributed User Interfaces: Designing Interfaces for the Distributed Ecosystem, Human-Computer Interaction Series, pages 1--12, 2011, Springer-Verlag, 2011."},{"key":"e_1_3_2_1_11_1","first-page":"93","volume-title":"Proceedings of the Tenth safety-critical system symposium, Southampton. Springer.","author":"Harrison M.","year":"2002","unstructured":"Harrison , M. , Johnson , P. , and Wright , P . ( 2002 ). Automating functions in multi-agent control systems: supporting the decision process. In Redmill, F and Anderson, T. editors , Proceedings of the Tenth safety-critical system symposium, Southampton. Springer. pp. 93 -- 106 . Harrison, M., Johnson, P., and Wright, P. (2002). Automating functions in multi-agent control systems: supporting the decision process. In Redmill, F and Anderson, T. editors, Proceedings of the Tenth safety-critical system symposium, Southampton. Springer. pp. 93--106."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"e_1_3_2_1_13_1","volume-title":"C. Dynamically Reconfigurable Vision-Based User Interfaces. In 3rd International Conference on Vision Systems (ICVS'03)","author":"Kjeldsen R.","year":"2003","unstructured":"Kjeldsen , R. , Levas , A. , Pinhanez , C. Dynamically Reconfigurable Vision-Based User Interfaces. In 3rd International Conference on Vision Systems (ICVS'03) . Graz, Austria. April 2003 . Kjeldsen, R., Levas, A., Pinhanez, C. Dynamically Reconfigurable Vision-Based User Interfaces. In 3rd International Conference on Vision Systems (ICVS'03). Graz, Austria. April 2003."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.56851"},{"key":"e_1_3_2_1_15_1","series-title":"Human-Computer Interaction Series","first-page":"1","volume-title":"J. A. Gallud et al. (eds), Distributed User Interfaces: Designing Interfaces for the Distributed Ecosystem","author":"Manca M.","year":"2011","unstructured":"Manca , M. , Paterno , F. Extending MARIA to support Distributed User Interfaces . In J. A. Gallud et al. (eds), Distributed User Interfaces: Designing Interfaces for the Distributed Ecosystem , Human-Computer Interaction Series , pages 1 -- 12 , 2011 , Springer-Verlag , 2011. Manca, M., Paterno, F. Extending MARIA to support Distributed User Interfaces. In J. A. Gallud et al. (eds), Distributed User Interfaces: Designing Interfaces for the Distributed Ecosystem, Human-Computer Interaction Series, pages 1--12, 2011, Springer-Verlag, 2011."},{"volume-title":"IEEE SMC conference, IEEE explore","author":"Martinie C.","key":"e_1_3_2_1_16_1","unstructured":"Martinie C. , Palanque P. , Barboni E. & Ragosta M. Task-model based assessment of automation levels: Application to space ground segments . IEEE SMC conference, IEEE explore , 2011: 3267--3273 Martinie C., Palanque P., Barboni E. & Ragosta M. Task-model based assessment of automation levels: Application to space ground segments. IEEE SMC conference, IEEE explore, 2011: 3267--3273"},{"volume-title":"conf. on Human-computer interaction -","author":"Martinie C.","key":"e_1_3_2_1_17_1","unstructured":"Martinie C. , Palanque P. , and Winckler M . Structuring and composition mechanisms to address scalability issues in task models. IFIP TC 13 int . conf. on Human-computer interaction - Volume Part III (INTERACT'11), Vol. Part III. Springer-Verlag, Berlin, Heidelberg, 589--609. Martinie C., Palanque P., and Winckler M. Structuring and composition mechanisms to address scalability issues in task models. IFIP TC 13 int. conf. on Human-computer interaction - Volume Part III (INTERACT'11), Vol. Part III. Springer-Verlag, Berlin, Heidelberg, 589--609."},{"key":"e_1_3_2_1_18_1","volume-title":"A Tool-Supported Training Framework for Improving Operator\u015b Dependability Confronted with Faults and Errors. Probabilistic Safety Assessment (PSAM11 & ESREL","author":"Martinie C","year":"2012","unstructured":"Martinie , C , Palanque , P , Navarre , D , Barboni , E. A Tool-Supported Training Framework for Improving Operator\u015b Dependability Confronted with Faults and Errors. Probabilistic Safety Assessment (PSAM11 & ESREL 2012 ), Helsinki, Finland, June 25-29 2012, Taylor & Francis Group . Martinie, C, Palanque, P, Navarre, D, Barboni, E. A Tool-Supported Training Framework for Improving Operator\u015b Dependability Confronted with Faults and Errors. Probabilistic Safety Assessment (PSAM11 & ESREL 2012), Helsinki, Finland, June 25-29 2012, Taylor & Francis Group."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996495"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34347-6_5"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1570433.1570449"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996488"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_31"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70569-7_20"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1614390.1614393"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1240624.1240819"},{"key":"e_1_3_2_1_27_1","volume-title":"The design of everyday things","author":"Norman D.","year":"1998","unstructured":"Norman D. ( 1998 ). The design of everyday things . MIT press 1998. Norman D. (1998). The design of everyday things. MIT press 1998."},{"key":"e_1_3_2_1_28_1","volume-title":"Case Study of Two Automation Surprises. 8th International Symposium on Aviation Psychology","author":"Palmer E.","year":"1995","unstructured":"Palmer , E. \" Oops , it didn't arm.\" - A Case Study of Two Automation Surprises. 8th International Symposium on Aviation Psychology , Ohio State University , ( 1995 ). Palmer, E. \"Oops, it didn't arm.\" - A Case Study of Two Automation Surprises. 8th International Symposium on Aviation Psychology, Ohio State University, (1995)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/3468.844354"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139062367","volume-title":"Human Error","author":"Reason J.","year":"1990","unstructured":"Reason , J. ( 1990 ). Human Error , Cambridge University Press . Reason, J. (1990). Human Error, Cambridge University Press."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/800049.801778"},{"key":"e_1_3_2_1_32_1","volume-title":"Human factor review of nuclear power plant control room design (NP-309)","author":"Seminara J. L.","year":"1977","unstructured":"Seminara , J. L. , Gonzalez , W. R. , & Parsons , S. 0. ( 1977 ). Human factor review of nuclear power plant control room design (NP-309) . Palo Alto, CA : Electric Power Research Institute . Seminara, J. L., Gonzalez, W. R., & Parsons, S. 0. (1977). Human factor review of nuclear power plant control room design (NP-309). Palo Alto, CA: Electric Power Research Institute."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2011.28"},{"key":"e_1_3_2_1_34_1","volume-title":"Automatic Generation of a User Interface for Highly Interactive Business-Oriented Applications","author":"Vanderdonckt Jean","year":"1998","unstructured":"Vanderdonckt Jean , Automatic Generation of a User Interface for Highly Interactive Business-Oriented Applications , San Francisco : Morgan Kaufmann , 1998 , p. 516--520. Vanderdonckt Jean, Automatic Generation of a User Interface for Highly Interactive Business-Oriented Applications, San Francisco: Morgan Kaufmann, 1998, p. 516--520."},{"key":"e_1_3_2_1_35_1","first-page":"3","volume-title":"Proceedings of XIth Congreso Internacional de Interacci\u00f3n Persona-Ordenador Interacci\u00f3n'2010","author":"Vanderdonckt J.","year":"2010","unstructured":"Vanderdonckt , J. Distributed User Interfaces: How to Distribute User Interface Elements across Users, Platforms, and Environments . In Proceedings of XIth Congreso Internacional de Interacci\u00f3n Persona-Ordenador Interacci\u00f3n'2010 , AIPO, Valencia , 2010 , pp. 3 -- 14 , Keynote address. Vanderdonckt, J. Distributed User Interfaces: How to Distribute User Interface Elements across Users, Platforms, and Environments. In Proceedings of XIth Congreso Internacional de Interacci\u00f3n Persona-Ordenador Interacci\u00f3n'2010, AIPO, Valencia, 2010, pp. 3--14, Keynote address."}],"event":{"name":"ATACCS '13: International Conference on Application and Theory of Automation in Command and Control Systems","sponsor":["HALA! Higher Automation Levels in ATM","SESAR Single European Sky ATM Research Joint Undertaking","Working Group 13.5: Human Error, Safety, and System Development Working Group 13.5: Human Error, Safety, and System Development","The Boeing Company The Boeing Company","Eurocontrol Eurocontrol","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Naples Italy","acronym":"ATACCS '13"},"container-title":["Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2494493.2494502","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2494493.2494502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:22Z","timestamp":1750235962000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2494493.2494502"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,28]]},"references-count":35,"alternative-id":["10.1145\/2494493.2494502","10.1145\/2494493"],"URL":"https:\/\/doi.org\/10.1145\/2494493.2494502","relation":{},"subject":[],"published":{"date-parts":[[2013,5,28]]},"assertion":[{"value":"2013-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}