 | 2011 |
|---|
| 9 |       | Matthew L. Bolton,
Ellen J. Bass:
Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking.
SMC 2011: 1788-1794 |
| 8 | | Ellen J. Bass,
Matthew L. Bolton,
Karen M. Feigh,
Dennis Griffith,
Elsa L. Gunter,
William Mansky,
John M. Rushby:
Toward a multi-method approach to formalizing human-automation interaction and human-human communications.
SMC 2011: 1817-1824 |
| 7 | | Matthew L. Bolton,
Radu I. Siminiceanu,
Ellen J. Bass:
A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(5): 961-976 (2011) |
| 2010 |
|---|
| 6 | | Matthew L. Bolton,
Ellen J. Bass:
Using task analytic models to visualize model checker counterexamples.
SMC 2010: 2069-2074 |
| 5 | | Matthew L. Bolton,
Ellen J. Bass:
Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs.
ISSE 6(3): 219-231 (2010) |
| 2009 |
|---|
| 4 | | Matthew L. Bolton,
Ellen J. Bass:
Enhanced Operator Function Model: A Generic Human Task Behavior Modeling Language.
SMC 2009: 2904-2911 |
| 2007 |
|---|
| 3 | | Matthew L. Bolton,
Ellen J. Bass:
Spatial awareness: Comparing judgment-based and subjective measures.
SMC 2007: 2582-2587 |
| 2 | | Matthew L. Bolton,
Ellen J. Bass,
James Raymond Comstock:
Spatial Awareness in Synthetic Vision Systems: Using Spatial and Temporal Judgments to Evaluate Texture and Field of View.
Human Factors 49(6): 961-974 (2007) |
| 2004 |
|---|
| 1 | | Sinem Göknur,
Matthew L. Bolton,
Ellen J. Bass:
Adding a motor control component to the operator function model expert system to investigate air traffic management concepts using simulation.
SMC (1) 2004: 886-892 |
Data released under the ODC-BY 1.0 license — See also our legal information page