Mixing Formal Methods, Machine Learning, and Human Interaction Through an Autonomics Framework. - Braulio Coronado; Eric Gustafson; John Reeder; Douglas S. Lange (AAAI Fall Symposia, 2016)

Tracking Provenance in Decision Making Between the Human and Autonomy. - Crisrael Lucero; Braulio Coronado; Eric Gustafson; Douglas S. Lange (HCI (6), 2018)

Towards Self-Adaptive Cyber Deception for Defense. - Jason Landsborough; Luke Carpenter; Braulio Coronado; Sunny Fugate; Kimberly Ferguson-Walter; Dirk Van Bruggen (HICSS, 2021)