J. Tanner Slagel

According to our database, J. Tanner Slagel authored at least 8 papers between 2017 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

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

2019

Sampled Limited Memory Methods for Massive Linear Inverse Problems.

Julianne Chung, Matthias Chung, J. Tanner Slagel, Luis Tenorio

CoRR, 2019

Iterative Sampled Methods for Massive and Separable Nonlinear Inverse Problems.

Julianne Chung, Matthias Chung, J. Tanner Slagel

Proceedings of the Scale Space and Variational Methods in Computer Vision, 2019

2017

Stochastic Newton and Quasi-Newton Methods for Large Linear Least-squares Problems.

Julianne Chung, Matthias Chung, J. Tanner Slagel, Luis Tenorio

CoRR, 2017