Projects

Graceful Degradation of Architecture

Decomposing STL for Safe Planning

Formalization and Automation of STPA with Robustness (FASR)

FairSense: Long-term Fairness Analysis of ML-Enabled Systems

A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Mental Model Finite State Machines

Recomposition: A New Technique for Efficient Compositional Verification

Design-Time Computation of the Recoverability of a System

AlloyMax - Bringing Maximum Satisfaction to Relational Specifications

Improving Formal Methods Visualizations

Behavioral Robustness of Software System Designs

Transition-Based Robustness for Distributed and Cyber-Physical Systems