Toward Detection of Abnormal Behaviors in Timing and Security Requirements. - Danielle Gaither; Hyunsook Do; Barrett R. Bryant (APSEC, 2017)

Verification of Non-functional Requirements Using Formal Semantics. - Danielle Gaither (MoDELS (Satellite Events), 2017)

Automated Identification of Component State Transition Model Elements from Requirements. - Kaushik Madala; Danielle Gaither; Rodney Nielsen; Hyunsook Do (RE Workshops, 2017)

VeriCCM: improving the syntax and semantics of requirements models. - Danielle Gaither; Kaushik Madala; Hyunsook Do; Barrett R. Bryant (SAC, 2019)