Kristin Y. Rozier
Scholar

Kristin Y. Rozier

Google Scholar ID: sguZhFMAAAAJ
NASA
formal verification of safety-critical systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,632
 
H-index
22
 
i10-index
42
 
Publications
20
 
Co-authors
30
list available
Publications
1 items
Formalizing MLTL Formula Progression in Isabelle/HOL
arXiv.org · 2024
Cited
0
Co-authors
9 total
Moshe Y. Vardi
Moshe Y. Vardi
Rice University
Johann Schumann
Johann Schumann
SGT, Inc. NASA Ames
Jianwen Li
Jianwen Li
East China Normal University
Geguang Pu
Geguang Pu
Professor of Computer Science, East China Normal University
Stefano Tonetta
Stefano Tonetta
Fondazione Bruno Kessler
Alessandro Cimatti
Alessandro Cimatti
Fondazione Bruno Kessler
Michael Fisher
Michael Fisher
Professor of Computer Science, University of Manchester
Neil Yorke-Smith
Neil Yorke-Smith
Delft University of Technology