Joshua Schneider

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 23

Top Topics

Mazurkiewicz Traces

Student Progress

Complex Data Types

Top Venues

Arch. Formal Proofs

Publications

Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider
Metric First-Order Temporal Logic with Complex Data Types. RV (2023)
David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan
Monitoring the Internet Computer. FM (2023)
David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel
Correct and Efficient Policy Monitoring, a Retrospective. ATVA (1) (2023)
Joshua Schneider
Randomized First-Order Monitoring with Hashing. RV (2022)
Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
Verified First-Order Monitoring with Recursive Rules. TACAS (2) (2022)
David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg
VeriMon: A Formally Verified Monitoring Tool. ICTAC (2022)
Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
Quotients of Bounded Natural Functors. Log. Methods Comput. Sci. 18 (1) (2022)
Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
Quotients of Bounded Natural Functors. CoRR (2021)
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Scalable online first-order monitoring. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. IJCAR (1) (2020)
Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
Quotients of Bounded Natural Functors. IJCAR (2) (2020)
Lukas Heimes, Dmitriy Traytel, Joshua Schneider
Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows. Arch. Formal Proofs 2020 (2020)
Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. Arch. Formal Proofs 2020 (2020)
Srdan Krstic, Joshua Schneider
A Benchmark Generator for Online First-Order Monitoring. RV (2020)
David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider
Scalable Online Monitoring of Distributed Systems. RV (2020)
Joshua Schneider, Dmitriy Traytel
Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic. Arch. Formal Proofs 2019 (2019)
Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel
A Formally Verified Monitor for Metric First-Order Temporal Logic. RV (2019)
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Adaptive Online First-Order Monitoring. ATVA (2019)
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Scalable Online First-Order Monitoring. RV (2018)
Andreas Lochbihler, Joshua Schneider
Relational Parametricity and Quotient Preservation for Modular (Co)datatypes. ITP (2018)
Andreas Lochbihler, Joshua Schneider
Bounded Natural Functors with Covariance and Contravariance. Arch. Formal Proofs 2018 (2018)
Joshua Schneider, Manuel Eberl, Andreas Lochbihler
Monad normalisation. Arch. Formal Proofs 2017 (2017)
Andreas Lochbihler, Joshua Schneider
Equational Reasoning with Applicative Functors. ITP (2016)
Andreas Lochbihler, Joshua Schneider
Applicative Lifting. Arch. Formal Proofs 2015 (2015)