Export 14 results:
Filters: Author is Ma, Lanssie M. [Clear All Filters]
"An Analysis of Air Traffic Management Concepts of Operation Using Simulation and Formal Verification", Scitech, 2019.
"Analysis of Work Dynamics for Objective Function Allocation in Manned Spaceflight Operations", Improving Aviation Performance Through Applying Engineering Psychology, vol. 3: Advances in Aviation Psychology , 2018.
"Computational Methodology for the Allocation of Work and Interaction in Human-Robot Teams", Journal of Cognitive Engineering and Decision Making , Submitted.
"Detecting and Evaluating Fault Identification in Human-Robot Teaming Using Modeling and Simulation", IEEE Aerospace , 2018.
"Expanding Metrics for Human-Robot Team Design and Evaluation", ACM Transactions on Human-Robot Interaction, Submitted.
"A Formal Approach to Modeling and Analyzing Human Taskload in Simulated Air Traffic Scenarios", IEEE International Conference on Computer Science & Education, 11/2015.
"Human Robot Teaming: Concepts and Components for Design", Field and Service Robotics, Zurich, Germany, 2017.
"Human-Robot Teaming: Theory, Conceptual Framework and Methodology", ACM Transactions on Human-Robot Interaction, Submitted.
"Jumpstarting Systems Design through a Generalized XML Abstraction of Simulation Models and Scenarios Tools", Human Factors and Ergonomics Society , 2017.
"Modeling Human-Robot Interaction to Inform Function Allocation in Manned Spaceflight Operations", Robotics: Science and Systems, 2017.
"Shifting Role for Human Factors Engineers in an ‘Unmanned’ Era", Theoretical Issues in Ergonomics Science, 2017.
"Using Formal Methods to Reason About Taskload and Resource Conflicts in Simulated Air Traffic Scenario", Innovations Systems Software Engineering, 2017.
"Work Dynamics of Taskwork and Teamwork in Function Allocation for Manned Spaceflight Operations", International Symposium on Aviation Psychology, 2017.