own

Evaluation of the FRET and CoCoSim tools on the Ten Lockheed Martin Cyber-Physical Challenge Problems

Formal Verification of Control System Software

Guaranteed Simulation of Dynamical Systems with Integral Constraints & Application on Delayed Dynamical Systems

Improving the Numerical Accuracy of Parallel Programs by Data Mapping

Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems

Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs

Ensuring functional correctness of cyber-physical system controllers: from model to code analyses

Automatic Generation and Formal Verification of an Interior Point Method Algorithm

Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm