Author:Kristin Yvonne Rozier

Publications
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier EasyChair Preprint 1429
Scalable Verification of Designs with Multiple Properties Rohit Dureja and Kristin Yvonne Rozier EasyChair Preprint 1411
From One To Many: Checking A Set Of Models Rohit Dureja and Kristin Yvonne Rozier EasyChair Preprint 1402
On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems Kristin Yvonne Rozier In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
R2U2: Tool Overview Kristin Yvonne Rozier and Johann Schumann In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

Keyphrases

Clustering, cyber-physical system verification², design space, Design Space Exploration, formal verification², Functional Verification, Grouping, hardware verification, incremental verification, Localization, model checking³, model sets, multi-property, Multiple Properties, partitioning, runtime benchmarks, runtime verification², System Health Management, temporal logic².