International Journal of Distributed Sensor Networks - Sensor Networks, Ubiquitous and Trustworthy Computing
Systematic Analysis of Control Panel Interfaces Using Formal Tools
Interactive Systems. Design, Specification, and Verification
A bisimulation-based approach to the analysis of human-computer interaction
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Using visual analytics to develop situation awareness in astrophysics
Information Visualization
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic detection of interaction vulnerabilities in an executable specification
EPCE'07 Proceedings of the 7th international conference on Engineering psychology and cognitive ergonomics
Selective modeling to support task migratability of interactive artifacts
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
Learning system abstractions for human operators
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
Model checking real time java using java pathfinder
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Automated driving aids: modeling, analysis, and interface design considerations
Proceedings of the 5th International Conference on Automotive User Interfaces and Interactive Vehicular Applications
Software health management: a necessity for safety critical systems
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |