Kristin Yvonne Rozier

Available identifiers

zbMath Open rozier.kristin-yvonneMaRDI QIDQ1996029

List of research outcomes

Publication	Date of Publication	Type
Formalizing Coppersmith's method in Isabelle/HOL	2024-12-04	Paper
Maximum satisfiability of mission-time linear temporal logic	2024-05-03	Paper
Model predictive runtime verification for cyber-physical systems with real-time deadlines	2024-05-03	Paper
Satisfiability checking for mission-time LTL	2024-02-16	Paper
Satisfiability checking for mission-time \textsf{LTL} (MLTL)	2022-12-08	Paper
Incremental design-space model checking via reusable reachable state approximations	2022-06-27	Paper
SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking	2021-08-16	Paper
Embedding online runtime verification for fault disambiguation on Robonaut2	2021-03-02	Paper
More scalable LTL model checking via discovering design-space dependencies \((D^3)\)	2019-09-16	Paper
Linear temporal logic symbolic model checking	2014-10-24	Paper
Optimized temporal monitors for SystemcC	2014-03-28	Paper

Research outcomes over time

This page was built for person: Kristin Yvonne Rozier