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 | 18 | 2020 |
Explaining violations of properties in control-flow temporal logic JH Dawes, G Reger Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 12 | 2019 |
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 | 11 | 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 | 10 | 2019 |
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 | 8 | 2020 |
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 | 7 | 2017 |
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 | 4 | 2021 |
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 | 3 | 2022 |
Towards automated performance analysis of programs by runtime verification JH Dawes PQDT-UK & Ireland, 2021 | 3 | 2021 |
Specification of State and Time Constraints for Runtime Verification of Functions JH Dawes, G Reger arXiv preprint arXiv:1806.02621, 2018 | 2 | 2018 |
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 | 1 | 2024 |
Checking Complex Source Code-Level Constraints using Runtime Verification J DAWES, D Bianculli 32nd ACM International Conference on the Foundations of 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 |