Danielle Gaither

According to our database, Danielle Gaither authored at least 4 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

VeriCCM: improving the syntax and semantics of requirements models.

Danielle Gaither, Kaushik Madala, Hyunsook Do, Barrett R. Bryant

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2017

Automated Identification of Component State Transition Model Elements from Requirements.

Kaushik Madala, Danielle Gaither, Rodney Nielsen, Hyunsook Do

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Verification of Non-functional Requirements Using Formal Semantics.

Danielle Gaither

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Toward Detection of Abnormal Behaviors in Timing and Security Requirements.

Danielle Gaither, Hyunsook Do, Barrett R. Bryant

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017