Dr Christian Colombo

Dr Christian Colombo

Dr Christian Colombo

 B.Sc.IT(Hons),M.Sc.,Ph.D.

Senior Lecturer

Room 29 Block B Level 1
ICT Building
University of Malta
Msida
  +356 2340 2640
__Biography
  • 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.

__LecturingPortfolio
__Other

https://www.um.edu.mt/_templates/staffprofiles