Joshua Schneider

According to our database, Joshua Schneider authored at least 23 papers between 2015 and 2023.

Collaborative distances:

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

2023

Scalable and Trustworthy Monitoring.

Joshua Schneider

PhD thesis, 2023

Metric First-Order Temporal Logic with Complex Data Types.

Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Monitoring the Internet Computer.

David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan

Proceedings of the Formal Methods - 25th International Symposium, 2023

Correct and Efficient Policy Monitoring, a Retrospective.

David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Monitoring the Internet Computer (Artifact).

David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan

Dataset, November, 2022

Verified First-Order Monitoring with Recursive Rules.

Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Randomized First-Order Monitoring with Hashing.

Joshua Schneider

Proceedings of the Runtime Verification - 22nd International Conference, 2022

VeriMon: A Formally Verified Monitoring Tool.

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

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2020

Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows.

Lukas Heimes, Dmitriy Traytel, Joshua Schneider

Arch. Formal Proofs, 2020

Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations.

Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider, Dmitriy Traytel

Arch. Formal Proofs, 2020

A Benchmark Generator for Online First-Order Monitoring.

Srdan Krstic, Joshua Schneider

Proceedings of the Runtime Verification - 20th International Conference, 2020

Scalable Online Monitoring of Distributed Systems.

David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider

Proceedings of the Runtime Verification - 20th International Conference, 2020

Quotients of Bounded Natural Functors.

Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

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

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic.

Joshua Schneider, Dmitriy Traytel

Arch. Formal Proofs, 2019

A Formally Verified Monitor for Metric First-Order Temporal Logic.

Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel

Proceedings of the Runtime Verification - 19th International Conference, 2019

Adaptive Online First-Order Monitoring.

Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Bounded Natural Functors with Covariance and Contravariance.

Andreas Lochbihler, Joshua Schneider

Arch. Formal Proofs, 2018

Scalable Online First-Order Monitoring.

Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel

Proceedings of the Runtime Verification - 18th International Conference, 2018

Relational Parametricity and Quotient Preservation for Modular (Co)datatypes.

Andreas Lochbihler, Joshua Schneider

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Monad normalisation.

Joshua Schneider, Manuel Eberl, Andreas Lochbihler

Arch. Formal Proofs, 2017

2016

Equational Reasoning with Applicative Functors.

Andreas Lochbihler, Joshua Schneider

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015

Applicative Lifting.

Andreas Lochbihler, Joshua Schneider

Arch. Formal Proofs, 2015