Author of the publication

Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.

, , and . ICMI, page 185-192. ACM, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Formal Specification of the CORBA Event Service., , , and . FMOODS, volume 177 of IFIP Conference Proceedings, page 371-395. Kluwer, (2000)Proposta de um framework para visualização de dados agregados por similaridade para auxiliar consultas durante a navegação na web., , , , , , and . IHC, page 148-157. Brazilian Computer Society / ACM, (2013)Task-Based Assessment of Web Navigation Design., , , and . TAMODIA, page 161-169. INFOREC Publishing House Bucharest, (2002)Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism., and . BCS HCI, page 213-231. Cambridge University Press, (1995)An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces., , , and . DSV-IS, volume 5136 of Lecture Notes in Computer Science, page 208-224. Springer, (2008)Model-Based Interactive Prototyping of Highly Interactive Applications., , and . CADUI, page 205-216. Kluwer, (2002)Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs., , , , and . IHM, page 141-150. ACM, (2009)Un processus de développement outillé pour l'exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches., , , , and . Ergo'IHM, page 81. ACM, (2012)Beyond modelling: an integrated environment supporting co-execution of tasks and systems models., , , , and . EICS, page 165-174. ACM, (2010)Model-based training: an approach supporting operability of critical interactive systems., , , , and . EICS, page 53-62. ACM, (2011)