Analysis Tools for the VyPR Performance Analysis Framework for Python - CHEP 2019 - Adelaide, Australia - Speaker: Joshua Heneage Dawes. PDF
VyPR2: A Framework for Runtime Verification of Python Web Services - CERN Computing Seminar 2019 - Geneva, Switzerland - Speaker: Joshua Heneage Dawes. Recording
VyPR2: A Framework for Runtime Verification of Python Web Services - TACAS 2019 - Prague, Czech Republic - Speaker: Joshua Heneage Dawes. PDF
Towards Automated Performance Analysis of Python Programs - University of Manchester Formal Methods Seminar 2019 - Manchester, UK - Speaker: Joshua Heneage Dawes. PDF
Initial Implementations
Explaining Violations of Properties in Control-Flow Temporal Logic - RV 2019 - Porto, Portugal - Speaker: Joshua Heneage Dawes. PDF
Theoretical Foundations
Specification of Temporal Properties of Functions for Runtime Verification - SAC-SVT 2019 - Limassol, Cyprus - Speaker: Giles Reger. PDF