Author of the publication

A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces.

, , and . Model-Driven Development of Advanced User Interfaces, volume 340 of Studies in Computational Intelligence, (2011)

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

Contextual Help for Free with Formal Dialogue Design., , and . HCI (2), page 615-620. Elsevier, (1993)0-444-89540-X.Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques., , , , , and . PRDC, page 164-173. IEEE Computer Society, (2011)An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules., and . HCI (1), page 1038-1042. Lawrence Erlbaum, (1999)Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts., and . FutureMobileUI@MobiSys, page 5-7. ACM, (2015)Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO., , , and . DSV-IS, page 162-187. Springer, (1996)A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications., , and . BCS HCI, page 155-173. Springer, (1997)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)A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments., , , and . HCSE, volume 7623 of Lecture Notes in Computer Science, page 72-93. Springer, (2012)V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog., , and . HCI (1), volume 8004 of Lecture Notes in Computer Science, page 290-299. Springer, (2013)A Cooperative Petri Net Editor., , and . Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, page 534-535. Springer, (2001)