"Function Allocation Between Human and Automation and Air and Ground", Encyclopedia of Aerospace Engineering: Handbook on Unmanned Aircraft Systems, Eds. A. Tsourdos, A. Ollero and E. Atkins: Wiley, 2016.
"A Formal Approach to Modeling and Analyzing Human Taskload in Simulated Air Traffic Scenarios", IEEE International Conference on Computer Science & Education, 11/2015.
"Formal Modeling and Analysis for Interactive Hybrid Systems", 4th International Workshop on Formal Methods for Interactive Systems, Limerick, Ireland, June, 2011.
"Framing Human-Automation Regulation: A New Modus Operandi From Cognitive Engineering", WeRobot 2017, 04/2017.
"Formal Analysis of Safety-Critical System Simulations", ATACCS 2nd International Conference on Application and Theory of Automation in Command and Control Systems, Imperial College, London, UK, May, 2012.
"A fuel optimal and reduced controller workload optimization model for conflict resolution", Digital Avionics Systems Conference, 2009. DASC '09. IEEE/AIAA 28th, 23-29, 2009.
"Formulation of Reduced-Taskload Optimization Models for Conflict Resolution", IEEE Transactions On Systems, Man, And Cybernetics—Part A: Systems And Humans, vol. 42, pp. 1552-1561, 2012.
A Framework for Analysis of Attacker-Defender Interaction in Cyber Systems., : Sandia National Lab.(SNL-NM), Albuquerque, NM (United States), 2016.