Joshua Heneage Dawes
Cited by
Cited by
Explaining violations of properties in control-flow temporal logic
JH Dawes, G Reger
International Conference on Runtime Verification, 202-220, 2019
VyPR2: a framework for runtime verification of Python web services
JH Dawes, G Reger, G Franzoni, A Pfeiffer, G Govi
25th International Conference on Tools and Algorithms for the Construction …, 2019
Specification of temporal properties of functions for runtime verification
JH Dawes, G Reger
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2206-2214, 2019
A Python object-oriented framework for the CMS alignment and calibration data
JH Dawes, CMS Collaboration
Journal of Physics: Conference Series 898 (4), 042059, 2017
PerfCI: a toolchain for automated performance testing during continuous integration of Python projects
O Javed, JH Dawes, M Han, G Franzoni, A Pfeiffer, G Reger, W Binder
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
Analysing the Performance of Python-Based Web Services with the VyPR Framework
JH Dawes, M Han, O Javed, G Reger, G Franzoni, A Pfeiffer
International Conference on Runtime Verification, 67-86, 2020
Specification of State and Time Constraints for Runtime Verification of Functions
JH Dawes, G Reger
arXiv preprint arXiv:1806.02621, 2018
Towards Automated Performance Analysis of Programs by Runtime Verification
JH Dawes
Manchester U., 2021
Analysis Tools for the VyPR Performance Analysis Framework for Python
JH Dawes, M Han, G Reger, G Franzoni, A Pfeiffer
EPJ Web of Conferences 245, 05013, 2020
The system can't perform the operation now. Try again later.
Articles 1–9