CCI Home  |  Drexel Home

Publications

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Citation indices can be found here.

Edited Journals
Bass, E. J. ed. (2016). IEEE Transactions on Human-machine Systems: Year in Review for 2015, IEEE Transactions on Human-machine Systems, 46(1), 1-8.


Bass, E. J. ed. (2015). IEEE Transactions on Human-machine Systems: Year in Review for 2014, IEEE Transactions on Human-machine Systems, 46(1), 1-8.


Bass, E. J. ed. (2014). IEEE Transactions on Human-machine Systems: Year in Review for 2013, IEEE Transactions on Human-machine Systems, 46(1), 1-8.


Bass, E. J. ed. (2013). IEEE Systems, Man, and Cybernetics Society's continuing legacy in human-machine systems, IEEE Transactions on Human-machine Systems, 46(1), 1-8.

Special Journal Issues Edited
Bisantz, A. M., Bass, E.J. and Ockerman, J.J. eds. (2012). Editors' introduction to the special issue on innovations in cognitive engineering and decision making, Part I, Journal of Cognitive Engineering and Decision Making, 6(1), 3-4.


Bisantz, A. M., Bass, E.J. and Ockerman, J.J. eds. (2012). Editors' introduction to the special issue on innovations in cognitive engineering and decision making, Part II, Journal of Cognitive Engineering and Decision Making, 6(2), 139-140.

Book Chapters
Bolton, M. L. & Bass, E. J. (2017). Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems. In Weyers, B., Bowen, J., Dix, A., & Palanque, P. (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 343-377). Gewerbestrasse: Springer International.


Smith, P. J. & Bass, E. J. (2017). Distributed work in the National Airspace System: Traffic flow management and airline operations control. In S. Landry (Ed.) Handbook of Human Factors in Air Transportation Systems. CRC Press. (pp. 107-114)


Bolton, M. L., & Bass, E. J. (2011). Comparing perceptual judgment and subjective measures of spatial awareness. In E. Salas & A. S. Dietz (Eds.), Situational Awareness: Critical Essays on Human Factors in Aviation (pp. 211-221). Surrey: Ashgate. Reprint of Bolton, M. L. & Bass, E. J. (2009). Comparing perceptual judgment and subjective measures of spatial awareness. Applied Ergonomics, 40, 597-607.

Peer-reviewed Journal Articles
Bolton, M.L., Goknur, S., & Bass, E.J. (2014). Framework to support scenario development for human-centered alerting system evaluation. IEEE Transactions on Human-machine Systems, 43(6), 595-606.


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, 43(6), 1314-1327.


Bolton, M. L., Bass, E. J., & Siminiceanu, R. I. (2013). Using formal verification to evaluate human-automation interaction in safety critical systems, a review. IEEE Transactions on Systems, Man and Cybernetics: Systems, 43(3), 488-503.


Bolton, M. L., Bass, E. J., & Siminiceanu, R. I. (2012). Generating phenotypical erroneous human behavior to evaluatehuman–automation interaction using model checking. International Journal of Human-Computer Studies, 70(11), 888-906.


Bolton, M. L., & Bass, E. J (2012). Using model checking to explore checklist-guided pilot behavior. International Journal of Aviation Psychology. 22 (4), 343-366.


Bolton, M. L., Siminiceanu, R. I., & Bass, E. J. (2011). A systematic approach to model checking human-automation interaction using task analytic models. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 41(5), 961-976.


Bolton, M. L., & Bass, E. J. (2010). Formally verifying human-automation interaction as part of a system model: Limitations and tradeoffs. Innovations in Systems and Software Engineering: A NASA Journal, 6(3), 219-231.


Bolton, M. L. & Bass, E. J. (2009). Comparing perceptual judgment and subjective measures of spatial awareness. Applied Ergonomics, 40, 597-607.


Bolton, M. L. & Bass, E. J. (2008). Using relative position and temporal judgments to identify biases in spatial awareness for synthetic vision systems. International Journal of Aviation Psychology, 18(2), 183-206.


Bolton, M. L., Bass, E. J., & Comstock, J. R. (2007). Spatial awareness in synthetic vision systems: Using spatial and temporal judgments to evaluate texture and field of view. Human Factors, 49, 961-974.

Peer-reviewed Conference Papers
Bass, E. J., Brantley, K., Perez, T., Bolton, M. L., Helms, A., Bartel, L. (2013). Information, data entry, and reporting requirements for a resident handoff of care support tool. In Proceedings of the IEEE International Conference on Systems Man and Cybernetics (pp. 675-680). Piscataway: IEEE.


Bolton, M. L., & Bass, E. J. (2013). Evaluating human-human communication protocols with miscommunication generation and model checking. In Proceedings of the Fifth NASA Formal Methods Symposium. Moffett Field: NASA Ames Research Center (pp. 48-62). Moffett Field: NASA Ames Research Center.


Bass, E. J., Bolton, M. L., Feigh, K., Griffith, D., Gunter, E., Mansky, W., & Rushby, J. (2011). Toward a multi-method approach to formalizing human-automation interaction and human-human communications. In Proceedings of the IEEE International Conference on Systems Man and Cybernetics (pp. 1817-1824). Piscataway: IEEE.


Bolton, M. L. & Bass, E. J. (2011). Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking In Proceedings of the IEEE International Conference on Systems Man and Cybernetics (pp. 1788-1794). Piscataway: IEEE.

    Winner of the Franklin V. Taylor Memorial Award for the Best Conference Paper (out of 612 accepted papers).

Bolton, M. L., & Bass, E. J. (2010). Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking. In Proceedings of the 54th Annual Meeting of the Human Factors and Ergonomics Society (pp. 992-996). Santa Monica: Human Factors and Ergonomics Society.


Bolton, M. L., & Bass, E. J. (2010). Using task analytic models to visualize model checker counterexamples. In Proceedings of the IEEE International Conference on Systems Man and Cybernetics (pp. 2069-2074). Piscataway: IEEE.


Bolton, M. L., & Bass, E. J. (2009). A method for the formal verification of human interactive systems. In Proceedings of the 53rd Annual Meeting of the Human Factors and Ergonomics Society (pp. 764-768). Santa Monica: Human Factors and Ergonomics Society.


Bolton, M. L., & Bass, E. J. (2009). Enhanced operator function model: A generic human task behavior modeling language. In Proceedings of the IEEE International Conference on Systems Man and Cybernetics (pp. 2983-2990). Piscataway: IEEE.


Bolton, M. L., & Bass, E. J. (2009). Building a formal model of a human-interactive system: Insights into the integration of formal methods and human factors engineering. In Proceedings of the First NASA Formal Methods Symposium (pp. 6-15). Moffett Field: NASA Ames Research Center.

    One of the 7 best papers (out of 22 accepted papers) invited to submit an extended manuscript as a journal article.

Bolton, M. L. & Bass, E. J. (2007). Spatial awareness: Comparing judgment-based and subjective measures. In Proceedings of IEEE the International Conference on Systems Man and Cybernetics (pp. 2582-2587). Piscataway: IEEE.


Bolton, M. L., Bass, E. J., & Comstock, J. R. (2006). Using relative position and temporal judgments to assess the effects of texture and field of view on spatial awareness in synthetic vision systems displays. In Proceedings of the 50th Annual Meeting of the Human Factors and Ergonomics Society (pp. 961-974). Santa Monica: Human Factors and Ergonomics Society.


Bolton, M. L., Bass, E. J., & Comstock, J. R. (2006). Using videos derived from simulations to support the analysis of spatial awareness in synthetic vision displays. In Proceedings of the IEEE International Conference on Systems Man and Cybernetics (pp. 2582-2587). Piscataway: IEEE.

Bolton, M. L. & Bass, E. J. (2005). Cognitive Systems Engineering Educational Software (CSEES): Educational software addressing quantitative models of performance. In Proceedings of the IEEE International Conference on Systems Man and Cybernetics (pp. 3380-3386). Piscataway: IEEE.


Goknur, S., Bolton, M. L., & Bass, E. J. (2004). Adding a motor control component to the Operator Function Model Expert System to investigate air traffic management concepts using simulation. In Proceedings of the IEEE International Conference on Systems Man and Cybernetics (pp. 886-892). Piscataway: IEEE.

Other Conference Papers
Bolton, M. L., Bass, E. J., Siminiceanu, R. I. (2008). Using formal methods to predict human error and system failures. In Proceedings of the Second International Conference on Applied Human Factors and Ergonomics (CD-ROM). Las Vegas: Applied Human Factors and Ergonomics International.


Bolton, M. L. & Bass, E. J. (2007). Spatial awareness biases in synthetic vision systems displays. In Proceedings of the 14th International Symposium on Aviation Psychology (pp. 63-69). Dayton: Association for Aviation Psychology.


Bolton, M. L., Bass, E. J., & Comstock, J. R. (2006). A toolset to support the development of spatial and temporal judgment experiments for synthetic vision systems. In Proceedings of the IEEE Systems and Information Engineering Design Symposium (pp. 55-60). Piscataway: IEEE.

Bolton, M. L., Hagan, T., Kustu, D., LaChance, L., Li, S., & Bass, E. J. (2006). Assessment and enhancement of synthetic vision systems experimentation software. In Proceedings of the IEEE Systems and Information Engineering Design Symposium (pp. 61-66). Piscataway: IEEE.

    Winner of the best paper award for the Human Computer Interface track.

Peer-reviewed Abstracts
Bass, E. J., Bolton, M. L., Feigh, K. M., Gunter, E. L., & Rushby, J. (2012). Toward an integrated model checking, theorem proving and simulation framework for analyzing authority and autonomy. In Proceeding of the Workshop on Formal Methods in Human-Machine Interaction (Formal H) (CD-ROM). London: England.

Bolton, M. L. & Bass, E. J. (2012). Model checking human-automation interaction with enhanced operator function model. In Proceeding of the Workshop on Formal Methods in Human-Machine Interaction (Formal H) (CD-ROM). London: England.

Bolton, M. L., & Bass, E. J. (2008). Formal modeling of erroneous human behavior and its implications for model checking. In Proceedings of the Sixth NASA Langley Formal Methods Workshop (pp. 62-64). Hampton: NASA Langley Research Center.