Matthew L Bolton

Matthew L Bolton

University at Buffalo - Buffalo / United States
Engineering & Technology / Industrial & Manufacturing Engineering
AD Scientific Index ID: 1700920
person_outline Matthew L Bolton's MOST POPULAR ARTICLES
1-) Using formal verification to evaluate human-automation interaction: A reviewML Bolton, EJ Bass, RI SiminiceanuIEEE Transactions on Systems, Man, and Cybernetics: Systems 43 (3), 488-503, 20132002013
2-) A systematic approach to model checking human–automation interaction using task analytic modelsML Bolton, RI Siminiceanu, EJ BassIEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 20111322011
3-) Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checkingML Bolton, EJ Bass, RI SiminiceanuInternational Journal of Human-Computer Studies 70 (11), 888-906, 2012772012
4-) Formally verifying human–automation interaction as part of a system model: limitations and tradeoffsML Bolton, EJ BassInnovations in systems and software engineering 6, 219-231, 2010752010
5-) Generating erroneous human behavior from strategic knowledge in task models and evaluating its impact on system safety with model checkingML Bolton, EJ BassIEEE Transactions on Systems, Man, and Cybernetics: Systems 43 (6), 1314-1327, 2013532013