Follow
Joshua Heneage Dawes
Title
Cited by
Cited by
Year
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
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
182020
Explaining violations of properties in control-flow temporal logic
JH Dawes, G Reger
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
122019
VyPR2: A Framework for Runtime Verification of Python Web Services
JH Dawes, G Reger, G Franzoni, A Pfeiffer, G Govi
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
112019
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
92019
Analysing the Performance of Python-Based Web Services with the VyPR Framework
JH Dawes, M Han, O Javed, G Reger, G Franzoni, A Pfeiffer
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
72020
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
72017
Specifying properties over inter-procedural, source code level behaviour of programs
JH Dawes, D Bianculli
Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021
32021
Towards automated performance analysis of programs by runtime verification
JH Dawes
PQDT-UK & Ireland, 2021
32021
Specifying source code and signal-based behaviour of cyber-physical system components
JH Dawes, D Bianculli
International Conference on Formal Aspects of Component Software, 20-38, 2022
22022
Specification of State and Time Constraints for Runtime Verification of Functions
JH Dawes, G Reger
arXiv preprint arXiv:1806.02621, 2018
22018
Diagnosing Violations of Time-based Properties Captured in iCFTL
C Stratan, J DAWES, D Bianculli
FormaliSE'24: International Conference on Formal Methods in Software Engineering, 2024
2024
Towards Log Slicing
JH Dawes, D Shin, D Bianculli
International Conference on Fundamental Approaches to Software Engineering …, 2023
2023
Systematic Evaluation of Deep Learning Models for Failure Prediction
F Hadadi, JH Dawes, D Shin, D Bianculli, L Briand
arXiv preprint arXiv:2303.07230, 2023
2023
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
2020
submitter: Specification of temporal properties of functions for runtime verification
JH Dawes, G Reger
2019
The system can't perform the operation now. Try again later.
Articles 1–15