{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:12:37Z","timestamp":1755997957155,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,11,2]],"date-time":"2009-11-02T00:00:00Z","timestamp":1257120000000},"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":[[2009,11,2]]},"DOI":"10.1145\/1647314.1647347","type":"proceedings-article","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T18:36:45Z","timestamp":1257878205000},"page":"185-192","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces"],"prefix":"10.1145","author":[{"given":"Jean-Fran\u00e7ois","family":"Ladry","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paul Sabatier Toulouse III, Toulouse, France"}]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paul Sabatier Toulouse III, Toulouse, France"}]},{"given":"philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paul Sabatier Toulouse III, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2009,11,2]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"25","volume-title":"Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Design Specification and Verification of Interactive Systems (DSV-IS","author":"Barboni E.","year":"2006","unstructured":"Barboni E. , Conversy S. , Navarre D. , Palanque P. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Design Specification and Verification of Interactive Systems (DSV-IS 2006 ), Dublin, Ireland , 26\/07\/06--28\/07\/06, Springer-Verlag , LNCS, pp. 25 -- 38 , 2006. Barboni E., Conversy S., Navarre D., Palanque P. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Design Specification and Verification of Interactive Systems (DSV-IS 2006), Dublin, Ireland, 26\/07\/06--28\/07\/06, Springer-Verlag, LNCS, pp. 25--38, 2006."},{"key":"e_1_3_2_1_2_1","unstructured":"Bass L. Pellegrino R. Reed S. Seacord R. Sheppard R. and Szezur M. R. The Arch model: Seeheim revisited. proceeding of the User Interface Developpers' workshop. 91.  Bass L. Pellegrino R. Reed S. Seacord R. Sheppard R. and Szezur M. R. The Arch model: Seeheim revisited. proceeding of the User Interface Developpers' workshop. 91."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1027933.1027974"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/506443.506457"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647402.725296"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1778331.1778378"},{"key":"e_1_3_2_1_7_1","volume-title":"April","author":"Bernhaupt R.","year":"2007","unstructured":"Bernhaupt R. , Navarre D. , Palanque P. , Winckler M. 2007. Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. In \"Maturing Usability: Quality in Software, Interaction and Quality\" Springer Verlag , April 2007 . Bernhaupt R., Navarre D., Palanque P., Winckler M. 2007. Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. In \"Maturing Usability: Quality in Software, Interaction and Quality\" Springer Verlag, April 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/965105.807503"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1027933.1027975"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/266180.266328"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-5041-2896-4_19"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the Interact'95 conference.","author":"Esteban O.","year":"1995","unstructured":"Esteban , O. , Chatty , S. & Palanque P , 1995 , Whizz'Ed: a visual environment for building highly interactive interfaces . Proceedings of the Interact'95 conference. 1995, p121--126. Esteban, O., Chatty, S.&Palanque P, 1995, Whizz'Ed: a visual environment for building highly interactive interfaces. Proceedings of the Interact'95 conference. 1995, p121--126."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/958432.958455"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-84524-6_1","volume-title":"High-Levels Petri Nets: Theory and Application","author":"Genrich H. J.","year":"1991","unstructured":"Genrich , H. J. 1991. Predicate \/Transitions Nets. In High-Levels Petri Nets: Theory and Application . K. Jensen and G. Rozenberg (Eds.)Berlin: Springer Verlag ( 1991 ) pp. 3 -- 43 . Genrich, H. J. 1991. Predicate\/Transitions Nets. In High-Levels Petri Nets: Theory and Application . K. Jensen and G. Rozenberg (Eds.)Berlin: Springer Verlag (1991) pp. 3--43."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/24054.24057"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_17_1","first-page":"311","volume-title":"Approach, Methodology, and an Algorithm.\" Human Factors: The Journal of the Human Factors and Ergonomics Society","author":"Heymann","unstructured":"Heymann , Michael and Degani, Asaf ., \" Formal Analysis and Automatic Generation of User Interfaces : Approach, Methodology, and an Algorithm.\" Human Factors: The Journal of the Human Factors and Ergonomics Society , Vol. 49 , pp. 311 -- 330 . Heymann, Michael and Degani, Asaf., \"Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm.\" Human Factors: The Journal of the Human Factors and Ergonomics Society, Vol. 49, pp. 311--330."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/288392.288572"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/310641.310642"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1351324904003572"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMI.2002.1167020"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/327164.327336"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1647314.1647343"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMI.2002.1167030"},{"key":"e_1_3_2_1_25_1","volume-title":"2002 Executable UML: A Foundation for Model-Driven Architectures","author":"Mellor S.","year":"2002","unstructured":"Mellor S. and Balcer M . 2002 Executable UML: A Foundation for Model-Driven Architectures . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 2002 . Mellor S. and Balcer M. 2002 Executable UML: A Foundation for Model-Driven Architectures. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11555261_17"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.3115\/1075434.1075499"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/223904.223917"},{"key":"e_1_3_2_1_29_1","first-page":"455","volume-title":"August","author":"Object Management Group","year":"2003","unstructured":"Object Management Group : Unified Modelling Language (UML) 2.0 Superstructure Specification , August 2003 . Ptc\/ 03-08-02, pp. 455 -- 510 Object Management Group: Unified Modelling Language (UML) 2.0 Superstructure Specification, August 2003. Ptc\/03-08-02, pp. 455--510"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/319382.319398"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02574-7_75"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/800195.805945"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1228175.1228257"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/645350.650732"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39929-2_5"}],"event":{"name":"ICMI-MLMI '09: INTERNATIONAL CONFERENCE ON MULTIMODAL INTERFACES\/WORKSHOP ON MACHINE LEARNING FOR MULTIMODAL INTERFACES","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Cambridge Massachusetts USA","acronym":"ICMI-MLMI '09"},"container-title":["Proceedings of the 2009 international conference on Multimodal interfaces"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1647314.1647347","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1647314.1647347","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:40:57Z","timestamp":1750250457000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1647314.1647347"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,2]]},"references-count":35,"alternative-id":["10.1145\/1647314.1647347","10.1145\/1647314"],"URL":"https:\/\/doi.org\/10.1145\/1647314.1647347","relation":{},"subject":[],"published":{"date-parts":[[2009,11,2]]},"assertion":[{"value":"2009-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}