Name Card

Full name Familienname, Vorname
Rozier, Kristin Y.
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
108_Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.pdf.jpgDureja, Rohit ; Baumgartner, Jason ; Kanzelman, Robert ; Williams, Mark ; Rozier, Kristin Y. Accelerating Parallel Verification via Complementary Property Partitioning and Strategy ExplorationKonferenzbeitrag Inproceedings 2020
2Moosbrugger Patrick - 2017 - R2U2 monitoring and diagnosis of security threats...pdf.jpgMoosbrugger, Patrick ; Rozier, Kristin Y. ; Schumann, Johann R2U2: monitoring and diagnosis of security threats for unmanned aerial systemsArticle Artikel 2017
3Schumann, Johann ; Moosbrugger, Patrick ; Rozier, Kristin Y. Runtime Analysis with R2U2: A Tool Exhibition ReportKonferenzbeitrag Inproceedings2016
4Schumann, Johann ; Moosbrugger, Patrick ; Rozier, Kristin Y. R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial SystemsKonferenzbeitrag Inproceedings2015