Christian Colombo
Christian Colombo
Verified email at - Homepage
Cited by
Cited by
Larva---safer monitoring of real-time java programs (tool paper)
C Colombo, GJ Pace, G Schneider
2009 seventh ieee international conference on software engineering and …, 2009
Dynamic event-based runtime monitoring of real-time and contextual properties
C Colombo, GJ Pace, G Schneider
Formal Methods for Industrial Critical Systems: 13th International Workshop …, 2009
First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014
E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ...
International journal on software tools for technology transfer 21, 31-70, 2019
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design 54, 279-335, 2019
Organising LTL monitors over distributed systems with a global clock
C Colombo, Y Falcone
Formal Methods in System Design 49, 109-158, 2016
Recovery within long-running transactions
C Colombo, GJ Pace
ACM Computing Surveys (CSUR) 45 (3), 1-35, 2013
Elarva: A monitoring tool for erlang
C Colombo, A Francalanza, R Gatt
Runtime Verification: Second International Conference, RV 2011, San …, 2012
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries
C Colombo, A Francalanza, R Mizzi, GJ Pace
Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012
Safe runtime verification of real-time properties
C Colombo, GJ Pace, G Schneider
Formal Modeling and Analysis of Timed Systems: 7th International Conference …, 2009
Lessons learnt from using DSLs for automated software testing
M Micallef, C Colombo
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
Safer asynchronous runtime monitoring using compensations
C Colombo, GJ Pace, P Abela
Formal Methods in System Design 41, 269-294, 2012
Compensation-aware runtime monitoring
C Colombo, GJ Pace, P Abela
Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010
Contracts over smart contracts: Recovering from violations dynamically
C Colombo, J Ellul, GJ Pace
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
Verifying web applications: from business level specifications to automated model-based testing
C Colombo, M Micallef, M Scerri
arXiv preprint arXiv:1403.7258, 2014
Fast-forward runtime monitoring—an industrial case study
C Colombo, GJ Pace
Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013
LARVA-a tool for runtime monitoring of Java programs
C Colombo, GJ Pace, G Schneider
IEEE Computer Society, 33-37, 2009
Towards incremental mutation testing
MA Cachia, M Micallef, C Colombo
Electronic Notes in Theoretical Computer Science 294, 2-11, 2013
LarvaStat: Monitoring of Statistical Properties.
C Colombo, A Gauci, GJ Pace
RV, 480-484, 2010
Practical runtime monitoring with impact guarantees of java programs with real-time constraints
C Colombo
Master's thesis, University of Malta, 2008
A model-based approach to combining static and dynamic verification techniques
S Azzopardi, C Colombo, G Pace
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
The system can't perform the operation now. Try again later.
Articles 1–20