Author of the publication

A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.

, , and . SAFECOMP, volume 5219 of Lecture Notes in Computer Science, page 373-386. Springer, (2008)

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 Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661., , , and . SIES, page 250-257. IEEE, (2007)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)Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?, , , , , and . CHI Extended Abstracts, page 2133-2136. ACM, (2007)A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems., , and . SAFECOMP, volume 5219 of Lecture Notes in Computer Science, page 373-386. Springer, (2008)Multidisciplinary perspective on accident investigation., , and . Reliab. Eng. Syst. Saf., 91 (12): 1502-1520 (2006)Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours., and . Human Error, Safety and Systems Development, volume 152 of IFIP, page 109-130. Kluwer/Springer, (2004)Future Challenges of Model-Based Design., , , , , , and . DSV-IS, volume 3941 of Lecture Notes in Computer Science, page 261. Springer, (2005)Error Patterns: Systematic Investigation of Deviations in Task Models., and . TAMODIA, volume 4385 of Lecture Notes in Computer Science, page 109-121. Springer, (2006)Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare., , and . USAB, volume 4799 of Lecture Notes in Computer Science, page 21-40. Springer, (2007)Extending the Boundaries of Model-Based Development to Account for Errors., , and . MDDAUI@MoDELS, volume 159 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)