J. Tanner Slagel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CPP | A Temporal Differential Dynamic Logic Formal Embedding. | Lauren M. White, Laura Titolo, J. Tanner Slagel, Csar A. Muoz |
| 2022 | PLDI | Towards an implementation of differential dynamic logic in PVS. | J. Tanner Slagel, Csar A. Muoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White |
| 2021 | CPP | Formal verification of semi-algebraic sets and real analytic functions. | J. Tanner Slagel, Lauren M. White, Aaron Dutle |