Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Propositional production systems for dialog description
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Symbolic model checking: an approach to the state explosion problem
Symbolic model checking: an approach to the state explosion problem
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Manuals as structured programs
HCI '94 Proceedings of the conference on People and computers IX
Discount dialogue modelling with action simulator
HCI '94 Proceedings of the conference on People and computers IX
Human-computer interaction
Event-response systems: a technique for specifying multi-threaded dialogues
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
A Tabular Interface for Automated Verification of Event-Based Dialogs
A Tabular Interface for Automated Verification of Event-Based Dialogs
Algorithms for automatic dialogue analysis using propositional production systems
Human-Computer Interaction
Automated verification of temporal dialogue properties
ACM SIGCHI Bulletin
Helping the automated validation process of user interfaces systems
Proceedings of the 20th international conference on Software engineering
Model Checking Interactor Specifications
Automated Software Engineering
Interactive System Safety and Usability Enforced with the Development Process
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Models of interactive systems: a case study on programmable user modelling
International Journal of Human-Computer Studies
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integrating model checking and HCI tools to help designers verify user interface properties
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Formal interactive systems analysis and usability inspection methods: two incompatible worlds?
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Verification of properties of human-computer dialogues with an infinite number of states
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
International Journal of Human-Computer Studies
Computational & Mathematical Organization Theory
| Hi-index | 0.00 |