EasyChair Smart SlideUser guide
Author: Kristin Yvonne Rozier

This page shows all presentations of this author published in EasyChair Smart Slide.

On Time and Space (of Humans)

On Time and Space (of Humans)

Kristin Yvonne Rozier

Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration

Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration

Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams and Kristin Yvonne Rozier

On Teaching Applied Formal Methods in Aerospace Engineering

On Teaching Applied Formal Methods in Aerospace Engineering

Kristin Yvonne Rozier

SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability

SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability

Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier and Moshe Vardi

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair