Publications

VyPR was first developed as a research project, so we still put some effort into publishing the research required to make it work.

Applications at CERN

• Joshua Heneage Dawes, Marta Han, Giles Reger, Giovanni Franzoni and Andreas Pfeiffer. 2019. Analysis Tools for the VyPR Performance Analysis Framework for Python. Proceedings of CHEP 2019.
• Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer and Giacomo Govi. 2019. VyPR2: A Framework for Runtime Verification of Python Web Services. Proceedings of TACAS 2019.

Initial Implementations

• Joshua Heneage Dawes and Giles Reger. 2019. Explaining Violations of Properties in Control-Flow Temporal Logic. Proceedings of RV 2019.

Theoretical Foundations

• Joshua Heneage Dawes and Giles Reger. 2019. Specification of Temporal Properties of Functions for Runtime Verification. Proceedings of SAC-SVT 2019.

Preprints

Theoretical Foundations

• Joshua Heneage Dawes and Giles Reger. 2018. Specification of State and Time Constraints for Runtime Verification of Functions. arXiv:1806.02621. PDF