Petri net objects for the design, validation and prototyping of user-driven interfaces

Generating user interfaces from data models and dialogue net specifications

CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems

Early specification of user-interfaces: toward a formal approach

ICSE '97 Proceedings of the 19th international conference on Software engineering

A model-based tool for interactive prototyping of highly interactive applications

CHI '02 Extended Abstracts on Human Factors in Computing Systems

A Tool Suite for Integrating Task and System Models through Scenarios

DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers

An approach integrating two complementary model-based environments for the construction of multimodal interactive applications

Interacting with Computers

Literate specification: using design rationale to support formal methods in the development of human-machine interfaces

Human-Computer Interaction

Social network analysis and interactive device design analysis

Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems

ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability

ACM Transactions on Computer-Human Interaction (TOCHI)

A specification paradigm for the design and implementation of tangible user interfaces

ACM Transactions on Computer-Human Interaction (TOCHI)

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

Proceedings of the 2009 international conference on Multimodal interfaces

Verifying the behaviour of virtual environment world objects

DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems

Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification

Context sensitive user interfaces

FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface

Dialogue graphs: a formal and visual specification technique for dialogue modelling

FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface

Formal description of multi-touch interactions

Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems