Applicative Lifting. - Andreas Lochbihler; Joshua Schneider 001 (Arch. Formal Proofs, 2015)

Equational Reasoning with Applicative Functors. - Andreas Lochbihler; Joshua Schneider 001 (ITP, 2016)

Monad normalisation. - Joshua Schneider 001; Manuel Eberl; Andreas Lochbihler (Arch. Formal Proofs, 2017)

Relational Parametricity and Quotient Preservation for Modular (Co)datatypes. - Andreas Lochbihler; Joshua Schneider 001 (ITP, 2018)

Bounded Natural Functors with Covariance and Contravariance. - Andreas Lochbihler; Joshua Schneider 001 (Arch. Formal Proofs, 2018)

Adaptive Online First-Order Monitoring. - Joshua Schneider 001; David A. Basin; Frederik Brix; Srdan Krstic; Dmitriy Traytel (ATVA, 2019)

A Formally Verified Monitor for Metric First-Order Temporal Logic. - Joshua Schneider 001; David A. Basin; Srdan Krstic; Dmitriy Traytel (RV, 2019)

Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic. - Joshua Schneider 001; Dmitriy Traytel (Arch. Formal Proofs, 2019)

A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. - David A. Basin; Thibault Dardinier; Lukas Heimes; Srdan Krstic; Martin Raszyk; Joshua Schneider 001; Dmitriy Traytel (IJCAR (1), 2020)

Scalable Online Monitoring of Distributed Systems. - David A. Basin; Matthieu Gras; Srdan Krstic; Joshua Schneider 001 (RV, 2020)

A Benchmark Generator for Online First-Order Monitoring. - Srdan Krstic; Joshua Schneider 001 (RV, 2020)

Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. - Thibault Dardinier; Lukas Heimes; Martin Raszyk; Joshua Schneider 001; Dmitriy Traytel (Arch. Formal Proofs, 2020)

Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows. - Lukas Heimes; Dmitriy Traytel; Joshua Schneider 001 (Arch. Formal Proofs, 2020)

Scalable online first-order monitoring. - Joshua Schneider 001; David A. Basin; Frederik Brix; Srdan Krstic; Dmitriy Traytel (Int. J. Softw. Tools Technol. Transf., 2021)

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 001; Dawit Legesse Tirore; Dmitriy Traytel; et al. (ICTAC, 2022)

Randomized First-Order Monitoring with Hashing. - Joshua Schneider 001 (RV, 2022)

Verified First-Order Monitoring with Recursive Rules. - Sheila Zingg; Srdan Krstic; Martin Raszyk; Joshua Schneider 001; Dmitriy Traytel (TACAS (2), 2022)

Quotients of Bounded Natural Functors. - Basil Fürer; Andreas Lochbihler; Joshua Schneider 001; Dmitriy Traytel (Log. Methods Comput. Sci., 2022)

Monitoring the Internet Computer (Artifact). - David A. Basin; Daniel Stefan Dietiker; Srdan Krstic; Yvonne-Anne Pignolet; Martin Raszyk; Joshua Schneider 001; Arshavir Ter-Gabrielyan (Zenodo, 2022)

Correct and Efficient Policy Monitoring, a Retrospective. - David A. Basin; Srdan Krstic; Joshua Schneider 001; Dmitriy Traytel (ATVA (1), 2023)

Monitoring the Internet Computer. - David A. Basin; Daniel Stefan Dietiker; Srdan Krstic; Yvonne-Anne Pignolet; Martin Raszyk; Joshua Schneider 001; Arshavir Ter-Gabrielyan (FM, 2023)

Metric First-Order Temporal Logic with Complex Data Types. - Jeniffer Lima Graf; Srdan Krstic; Joshua Schneider 001 (RV, 2023)

Scalable and Trustworthy Monitoring. - Joshua Schneider 001 (2023)