Browsing by Author Rozier, Kristin Y.
Showing results 1 to 2 of 2
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Dureja, Rohit ; Baumgartner, Jason ; Kanzelman, Robert ; Williams, Mark ; Rozier, Kristin Y. ; Ivrii, Alexander ; Strichman, Ofer | Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration | Inproceedings   | 2020 |
 | Moosbrugger, Patrick ; Rozier, Kristin Y. ; Schumann, Johann | R2U2: monitoring and diagnosis of security threats for unmanned aerial systems | Article Artikel | 2017 |