Joshua Schneider

25 papers B 10C 1Journal 9Unranked 4

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Correct and Efficient Policy Monitoring, a Retrospective. ATVA (1) David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel
2023	B	`conf`	Metric First-Order Temporal Logic with Complex Data Types. RV Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider
2023	B	`conf`	Monitoring the Internet Computer. FM David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan
2023	—	`—`	Scalable and Trustworthy Monitoring. Joshua Schneider
2022	J	`jnl`	Quotients of Bounded Natural Functors. Log. Methods Comput. Sci. Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
2022	B	`conf`	Randomized First-Order Monitoring with Hashing. RV Joshua Schneider
2022	C	`conf`	VeriMon: A Formally Verified Monitoring Tool. ICTAC 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
2022	—	`conf`	Verified First-Order Monitoring with Recursive Rules. TACAS (2) Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
2021	J	`jnl`	Quotients of Bounded Natural Functors. CoRR Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
2021	J	`jnl`	Scalable online first-order monitoring. Int. J. Softw. Tools Technol. Transf. Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
2020	B	`conf`	A Benchmark Generator for Online First-Order Monitoring. RV Srdan Krstic, Joshua Schneider
2020	—	`conf`	A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. IJCAR (1) David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
2020	J	`jnl`	Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows. Arch. Formal Proofs Lukas Heimes, Dmitriy Traytel, Joshua Schneider
2020	J	`jnl`	Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. Arch. Formal Proofs Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
2020	—	`conf`	Quotients of Bounded Natural Functors. IJCAR (2) Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
2020	B	`conf`	Scalable Online Monitoring of Distributed Systems. RV David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider
2019	B	`conf`	A Formally Verified Monitor for Metric First-Order Temporal Logic. RV Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel
2019	B	`conf`	Adaptive Online First-Order Monitoring. ATVA Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
2019	J	`jnl`	Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic. Arch. Formal Proofs Joshua Schneider, Dmitriy Traytel
2018	J	`jnl`	Bounded Natural Functors with Covariance and Contravariance. Arch. Formal Proofs Andreas Lochbihler, Joshua Schneider
2018	B	`conf`	Relational Parametricity and Quotient Preservation for Modular (Co)datatypes. ITP Andreas Lochbihler, Joshua Schneider
2018	B	`conf`	Scalable Online First-Order Monitoring. RV Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
2017	J	`jnl`	Monad normalisation. Arch. Formal Proofs Joshua Schneider, Manuel Eberl, Andreas Lochbihler
2016	B	`conf`	Equational Reasoning with Applicative Functors. ITP Andreas Lochbihler, Joshua Schneider
2015	J	`jnl`	Applicative Lifting. Arch. Formal Proofs Andreas Lochbihler, Joshua Schneider