| 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 | 25 | 2020 |
| Explaining violations of properties in control-flow temporal logic JH Dawes, G Reger Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 16 | 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 |
| 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 | 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 | 5 | 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 | 4 | 2022 |
| Towards log slicing JH Dawes, D Shin, D Bianculli International conference on fundamental approaches to software engineering …, 2023 | 3 | 2023 |
| 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 | 3 | 2018 |
| Diagnosing Violations of Time-based Properties Captured in iCFTL C Stratan, JH Dawes, D Bianculli Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal …, 2024 | 2 | 2024 |
| Systematic evaluation of deep learning models for log-based failure prediction F Hadadi, JH Dawes, D Shin, D Bianculli, L Briand Empirical Software Engineering 29 (5), 105, 2024 | 1 | 2024 |
| Checking Complex Source Code-Level Constraints using Runtime Verification JH Dawes, D Bianculli Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | 1 | 2024 |
| Systematic Evaluation of Deep Learning Models for Failure Prediction F Hadadi, JH Dawes, D Shin, D Bianculli, L Briand arXiv e-prints, arXiv: 2303.07230, 2023 | | 2023 |
| Specifying Source Code and Signal-based Behaviour of Cyber-Physical System JH Dawes Formal Aspects of Component Software: 18th International Conference, FACS …, 2022 | | 2022 |
| 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 |
| Message from the Special Session Chairs F Hadadi, JH Dawes, D Shin, D Bianculli | | |
| FormaliSE 2024 A Weigl, J Bachmeier, E Mahe, B Bannour, O Zeyen, M Cordy, C Stratan, ... | | |
