Dr Christian Colombo

Dr Christian Colombo

Dr Christian Colombo


Senior Lecturer

Room 29 Block B Level 1
ICT Building
University of Malta
  +356 2340 2640
  • Runtime Verification
  • Security
  • Model-Based Testing
  • Compensating Transactions

COLOMBO, C. and PACE, G.J., 2018. Industrial experiences with runtime verification of financial transaction systems: Lessons learnt and standing challenges. Lectures on Runtime Verification. Springer, Cham, pp. 211-232.

AZZOPARDI, S., COLOMBO, C., EBEJER, J.P., MALLIA, E. and PACE, G.J., 2017. Runtime Verification using Valour.

AZZOPARDI, S., COLOMBO, C. and PACE, G.J., 2017. Control-flow residual analysis for symbolic automata.

CHIRCOP, L., COLOMBO, C. and MICALLEF, M., 2017. Exploring the Link Between Test Suite Quality and Automatic Specification Inference.

AZZOPARDI, S., COLOMBO, C. and PACE, G., 2016. A model-based approach to combining static and dynamic verification techniques, International Symposium on Leveraging Applications of Formal Methods 2016, Springer, Cham, pp. 416-430.

BUTTIGIEG, J., COLOMBO, C. and VELLA, M., 2015. BYOD for Android - Just add Java, International Conference on Trust & Trustworthy Computing (TRUST) 2015, pp. 20.

  • CPS1002 - Mathematics of Discrete Structures
  • CPS3233 - Verification Techniques
  • CPS3239 - Computability and Complexity
  • CPS5120 - Runtime Verification
  • CPS5130 - Research Topics in Computer Science