J. Tanner Slagel

According to our database, J. Tanner Slagel authored at least 9 papers between 2017 and 2025.

Collaborative distances:

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

2025

MAPT: A Near Real-Time Adaptive Multipath Modeling and Clustering Algorithm for GNSS Urban Positioning.

Julian Gutierrez, Russell Gilabert, J. Tanner Slagel, Evan Dill, Pau Closas

Proceedings of the IEEE/ION Position, Location and Navigation Symposium, 2025

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