Root
File name
Size
Last changed
..
Bolton and Bass. EOFM Book Chapter
Bolton, M. L. & Bass, E. J. (2013). Generating erroneous human behavior from strategic knowledge in task models and evaluating its impact on system safety with model checking. IEEE Transactions on Systems, Man and Cybernetics: Systems.
Bolton, M. L., Jimenez, N., van Paassen, M. M., & Trujillo, M. (2013). Automatically generating specification properties from task models for the formal verification of human-automation interaction. IEEE Transactions on Human-Machine Systems.
Bolton, M. L., Jimenez, N., van Paassen, M. M., & Trujillo, M. (2013). Formally verifying human-automation interaction with specification properties generated from task analytic models. In Proceedings of the Sixth IAASS Conference.
Bolton, M. L.C, Houser, A., & Molinaro, K. (ND). A formal method for assessing the impact of task-based erroneous human behavior on system safety. Under review in the Reliability Engineering and System Safety. 13 pages.
Hasanain, B., Boyd, A. D., & Bolton, M. L. (ND). Using model checking to detect simultaneous masking in medical alarms. In Preparation. Submitted to IEEE Transactions on Human-Machine Systems. Under review.
Hasanain, B., Boyd, A.D., & Bolton, M. L. (2014). An Approach to Model Checking the Perceptual Interactions of Medical Alarms. Submitted to the 2014 HFES Annual Meeting. Chicago: Human Factors and Ergonomics Society. Under Review.
Probabilistic EOFM
Mobile view
| Page loaded in 0.84 ms |
Encode Explorer