Danielle Gaither
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2017–2019
Best venue rank
Multiconference
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SAC | VeriCCM: improving the syntax and semantics of requirements models. | Danielle Gaither, Kaushik Madala, Hyunsook Do, Barrett R. Bryant |
| 2017 | APSEC | Toward Detection of Abnormal Behaviors in Timing and Security Requirements. | Danielle Gaither, Hyunsook Do, Barrett R. Bryant |
| 2017 | MODELS | Verification of Non-functional Requirements Using Formal Semantics. | Danielle Gaither |
| 2017 | RE | Automated Identification of Component State Transition Model Elements from Requirements. | Kaushik Madala, Danielle Gaither, Rodney Nielsen, Hyunsook Do |