Formal verification of semi-algebraic sets and real analytic functions. - J. Tanner Slagel; Lauren M. White; Aaron Dutle (CPP, 2021)

Towards an implementation of differential dynamic logic in PVS. - J. Tanner Slagel; César A. Muñoz; Swee Balachandran; Mariano M. Moscato; Aaron Dutle; Paolo Masci 001; Lauren M. White (SOAP@PLDI, 2022)

Embedding Differential Dynamic Logic in PVS. - J. Tanner Slagel; Mariano M. Moscato; Lauren M. White; César A. Muñoz; Swee Balachandran; Aaron Dutle (LSFA/HCVS, 2023)

An Axisymmetric Problem for a Patch Loaded Material Surface Attached to the Boundary of an Elastic Semi-space. - Anna Y. Zemlyanova; Lauren M. White (SIAM J. Appl. Math., 2023)

A Temporal Differential Dynamic Logic Formal Embedding. - Lauren M. White; Laura Titolo; J. Tanner Slagel; César A. Muñoz (CPP, 2024)

A Formal Verification Framework for Runtime Assurance. - J. Tanner Slagel; Lauren M. White; Aaron Dutle; César A. Muñoz; Nicolas Crespo (NFM, 2024)