169 | -- | 173 | Eric Mercer, Neha Rungta, Douglas J. Gillan. Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability |
174 | -- | 185 | Bassam Hasanain, Andrew D. Boyd, Matthew L. Bolton. Using Model Checking to Detect Simultaneous Masking in Medical Alarms |
186 | -- | 196 | Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Saez-Pons. Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study |
197 | -- | 208 | Songzheng Song, Jianye Hao, Yang Liu 0003, Jun Sun 0001, Ho-Fung Leung, Jie Zhang 0002. Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking |
209 | -- | 220 | Jason C. Ryan, Mary L. Cummings. A Systems Analysis of the Introduction of Unmanned Aircraft Into Aircraft Carrier Operations |
221 | -- | 230 | Joseph Krall, Tim Menzies, Misty Davies. Learning Mitigations for Pilot Issues When Landing Aircraft (via Multiobjective Optimization and Multiagent Simulations) |
231 | -- | 242 | Shawn Eastwood, Vlad P. Shmerko, Svetlana N. Yanushkevich, Martin Drahanský, Dmitry O. Gorodnichy. Biometric-Enabled Authentication Machines: A Survey of Open-Set Real-World Applications |
243 | -- | 254 | Célia Martinie, Philippe A. Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin. Task Model-Based Systematic Analysis of Both System Failures and Human Errors |
255 | -- | 266 | Rolf Klomp, Clark Borst, René van Paassen, Max Mulder. Expertise Level, Control Strategies, and Robustness in Future Air Traffic Control Decision Aiding |
267 | -- | 278 | Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur. Automatic Detection of Potential Automation Surprises for ADEPT Models |
279 | -- | 290 | Neda Eskandari, Guy A. Dumont, Z. Jane Wang. An Observer/Predictor-Based Model of the User for Attaining Situation Awareness |
291 | -- | 302 | Gerrit Niezen, Parisa Eslambolchilar. A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata |
303 | -- | 316 | José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison. Formal Verification of a Space System's User Interface With the IVY Workbench |
317 | -- | 323 | Daiki Ishii, Toshimitsu Ushio. A Bisimulation-Based Design of User Interface With Alerts Avoiding Automation Surprises |