default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHandbook of Formal Methods in Human-Computer Interaction 2017
- Benjamin Weyers
, Judy Bowen, Alan J. Dix, Philippe A. Palanque:
The Handbook of Formal Methods in Human-Computer Interaction. Springer International Publishing 2017, ISBN 978-3-319-51837-4 - Raquel Oliveira Prates, Philippe A. Palanque, Benjamin Weyers, Judy Bowen, Alan J. Dix:
State of the Art on Formal Methods for Interactive Systems. 3-55 - Judy Bowen, Alan J. Dix, Philippe A. Palanque, Benjamin Weyers:
Topics of Formal Methods in HCI. 57-64 - Alan J. Dix, Benjamin Weyers, Judy Bowen, Philippe A. Palanque:
Trends and Gaps. 65-88 - Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan J. Dix, Philippe A. Palanque:
Case Studies. 89-121 - Benjamin Weyers:
Visual and Formal Modeling of Modularized and Executable User Interface Models. 125-160 - Judy Bowen, Steve Reeves:
Combining Models for Interactive System Modelling. 161-182 - Alan J. Dix:
Activity Modelling for Low-Intention Interaction. 183-210 - Paul Curzon, Rimvydas Ruksenas:
Modelling the User. 211-245 - Alan J. Dix, Masitah Ghazali:
Physigrams: Modelling Physical Device Characteristics Interaction. 247-271 - Benjamin Weyers:
Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models. 273-294 - Guillaume Maudoux, Charles Pecheur, Sébastien Combéfis:
Learning Safe Interactions and Full-Control. 297-317 - Judy Bowen, Annika Hinze:
Reasoning About Interactive Systems in Dynamic Situations of Use. 319-341 - Matthew L. Bolton, Ellen J. Bass:
Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems. 343-377 - Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon:
The Specification and Analysis of Use Properties of a Nuclear Control System. 379-403 - Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta:
Formal Analysis of Multiple Coordinated HMI Systems. 405-431 - Simon Van Mierlo, Yentl Van Tendeloo, Bart Meyers, Hans Vangheluwe:
Domain-Specific Modelling for Human-Computer Interaction. 435-463 - Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon:
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. 465-504 - Marco Manca, Fabio Paternò, Carmen Santoro:
A Public Tool Suite for Modelling Interactive Applications. 505-528 - Johannes Pfeffer, Leon Urbas:
Formal Modelling of App-Ensembles. 529-547 - Camille Fayollas, Philippe A. Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Déléris:
Dealing with Faults During Operations: Beyond Classical Use of Formal Methods. 549-575
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-30 00:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
