Back
  1. Home
  2. Profile of Joshua DAWES (Unilu)
Profil

DAWES Joshua

Main Referenced Co-authors
BIANCULLI, Domenico  (6)
Shin, Donghwan (2)
BRIAND, Lionel  (1)
Hadadi, Fatemeh (1)
STRATAN, Cristina  (1)
Main Referenced Keywords
Runtime Verification (2); Computer Science - Software Engineering (1); cyber-physical systems (1); Diagnostics (1); dynamic analysis (1);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation (4)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) (2)
Main Referenced Disciplines
Computer science (6)

Publications (total 6)

The most downloaded
256 downloads
DAWES, J., & BIANCULLI, D. (2021). Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs. In Proceedings of the 21st International Conference on Runtime Verification. Cham, Switzerland: Springer. doi:10.1007/978-3-030-88494-9_2 https://hdl.handle.net/10993/47852

The most cited

4 citations (WOS)

DAWES, J., & BIANCULLI, D. (2021). Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs. In Proceedings of the 21st International Conference on Runtime Verification. Cham, Switzerland: Springer. doi:10.1007/978-3-030-88494-9_2 https://hdl.handle.net/10993/47852

DAWES, J., & BIANCULLI, D. (2024). Checking Complex Source Code-Level Constraints using Runtime Verification. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE Companion ’24) (pp. 255-265). ACM. doi:10.1145/3663529.3663845
Peer reviewed

Hadadi, F., DAWES, J., Shin, D., BIANCULLI, D., & BRIAND, L. (20 June 2024). Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction. Empirical Software Engineering, 29, 105:1-105:53. doi:10.1007/s10664-024-10501-4
Peer Reviewed verified by ORBi

STRATAN, C., DAWES, J., & BIANCULLI, D. (2024). Diagnosing Violations of Time-based Properties Captured in iCFTL. In FormaliSE '24: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)) (pp. 33--43). New York, United States - New York: ACM. doi:10.1145/3644033.3644375
Peer reviewed

DAWES, J., Shin, D., & BIANCULLI, D. (2023). Towards Log Slicing. In Fundamental Approaches to Software Engineering (FASE 2023) Proceedings. Cham, Switzerland: Springer. doi:10.1007/978-3-031-30826-0_14
Peer reviewed

DAWES, J., & BIANCULLI, D. (2022). Specifying Source Code and Signal-based Behaviour of CPS Components. In Proceedings of the 18th International Conference on Formal Aspects of Component Software. Springer.
Peer reviewed

DAWES, J., & BIANCULLI, D. (2021). Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs. In Proceedings of the 21st International Conference on Runtime Verification. Cham, Switzerland: Springer. doi:10.1007/978-3-030-88494-9_2
Peer reviewed

Contact ORBilu