Lauren M. White

According to our database, Lauren M. White authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A Formal Verification Framework for Runtime Assurance.

J. Tanner Slagel, Lauren M. White, Aaron Dutle, César A. Muñoz, Nicolas Crespo

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

A Temporal Differential Dynamic Logic Formal Embedding.

Lauren M. White, Laura Titolo, J. Tanner Slagel, César A. Muñoz

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

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., April, 2023

Embedding Differential Dynamic Logic in PVS.

J. Tanner Slagel, Mariano M. Moscato, Lauren M. White, César A. Muñoz, Swee Balachandran, Aaron Dutle

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

2022

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, Lauren M. White

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

Formal verification of semi-algebraic sets and real analytic functions.

J. Tanner Slagel, Lauren M. White, Aaron Dutle

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021