"Framing Human-Automation Regulation: A New Modus Operandi From Cognitive Engineering", WeRobot 2017, 04/2017.
A Framework for Analysis of Attacker-Defender Interaction in Cyber Systems., : Sandia National Lab.(SNL-NM), Albuquerque, NM (United States), 2016.
"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 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.
"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.
"Formal Modeling and Analysis for Interactive Hybrid Systems", 4th International Workshop on Formal Methods for Interactive Systems, Limerick, Ireland, June, 2011.
"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.