Josefine B. Graebener

Josefine B. Graebener is a Postdoctoral Scholar Research Associate in the Department of Computing & Mathematical Sciences at the California Institute of Technology (Caltech). Her research focuses on formal methods for test and evaluation of autonomous systems, including cyber-physical systems and reactive systems. She holds an office at the Annenberg IST Center (Mail Code 305-16) and can be reached at jgraeben@caltech.edu.

Her work emphasizes assume-guarantee contracts for compositional system analysis, automated test synthesis, and failure-tolerant design for applications like autonomous vehicles and spacecraft computers. Key contributions include the development of the Pacti framework for scalable system analysis and the study of thermal stabilization in space telescopes using phase change materials.

Josefine’s publications span topics such as reach-avoid specifications for autonomous systems, trade-off analysis in spacecraft computer design, and directive-response architectures for automated systems. While no formal awards are listed, her research demonstrates significant contributions to system reliability and formal verification methodologies.