STRATAN, C., DAWES, J., & BIANCULLI, D. (In press). Diagnosing Violations of Time-based Properties Captured in iCFTL. In FormaliSE '24: International Conference on Formal Methods in Software Engineering Proceedings. New York, United States - New York: ACM. 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 |
Hadadi, F., DAWES, J., Shin, D., BIANCULLI, D., & BRIAND, L. (2023). Systematic Evaluation of Deep Learning Models for Failure Prediction. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57615. |
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 |