Best Paper Awards
2017 Best Transition in Systems Engineering Research - Best Paper Award at 15th Annual Conference on Systems Engineering Research (CSER)
Giammarco, Kristin and Kathleen Giles. "Verification and validation of behavior models using lightweight formal methods." In Disciplinary convergence in systems engineering research, pp. 431-447. Springer, Cham, 2018.