Joshua Schneider
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
7
Active years
2016–2023
Best venue rank
B
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ATVA | Correct and Efficient Policy Monitoring, a Retrospective. | David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel |
| 2023 | FM | Monitoring the Internet Computer. | David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan |
| 2023 | RV | Metric First-Order Temporal Logic with Complex Data Types. | Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider |
| 2022 | ICTAC | VeriMon: A Formally Verified Monitoring Tool. | David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julin Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg |
| 2022 | RV | Randomized First-Order Monitoring with Hashing. | Joshua Schneider |
| 2022 | TACAS | Verified First-Order Monitoring with Recursive Rules. | Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel |
| 2020 | CADE | A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. | David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel |
| 2020 | CADE | Quotients of Bounded Natural Functors. | Basil Frer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel |
| 2020 | RV | Scalable Online Monitoring of Distributed Systems. | David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider |
| 2020 | RV | A Benchmark Generator for Online First-Order Monitoring. | Srdan Krstic, Joshua Schneider |
| 2019 | ATVA | Adaptive Online First-Order Monitoring. | Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
| 2019 | RV | A Formally Verified Monitor for Metric First-Order Temporal Logic. | Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2018 | ITP | Relational Parametricity and Quotient Preservation for Modular (Co)datatypes. | Andreas Lochbihler, Joshua Schneider |
| 2018 | RV | Scalable Online First-Order Monitoring. | Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
| 2016 | ITP | Equational Reasoning with Applicative Functors. | Andreas Lochbihler, Joshua Schneider |