Christian Colombo
Christian Colombo
Verified email at um.edu.mt - Homepage
Title
Cited by
Cited by
Year
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
1452009
Dynamic event-based runtime monitoring of real-time and contextual properties
C Colombo, GJ Pace, G Schneider
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
912008
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 (1), 31-70, 2019
542019
Organising LTL monitors over distributed systems with a global clock
C Colombo, Y Falcone
Formal Methods in System Design 49 (1-2), 109-158, 2016
362016
Recovery within long-running transactions
C Colombo, GJ Pace
ACM Computing Surveys (CSUR) 45 (3), 1-35, 2013
362013
Elarva: A monitoring tool for erlang
C Colombo, A Francalanza, R Gatt
International Conference on Runtime Verification, 370-374, 2011
322011
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries
C Colombo, A Francalanza, R Mizzi, GJ Pace
International Conference on Software Engineering and Formal Methods, 218-232, 2012
262012
Safer asynchronous runtime monitoring using compensations
C Colombo, GJ Pace, P Abela
Formal Methods in System Design 41 (3), 269-294, 2012
252012
Safe runtime verification of real-time properties
C Colombo, GJ Pace, G Schneider
International Conference on Formal Modeling and Analysis of Timed Systems …, 2009
252009
Compensation-aware runtime monitoring
C Colombo, GJ Pace, P Abela
International Conference on Runtime Verification, 214-228, 2010
242010
Fast-forward runtime monitoring—an industrial case study
C Colombo, GJ Pace
International Conference on Runtime Verification, 214-228, 2012
182012
LARVA-a tool for runtime monitoring of Java programs
C Colombo, GJ Pace, G Schneider
IEEE Computer Society, 33-37, 2009
162009
Verifying web applications: from business level specifications to automated model-based testing
C Colombo, M Micallef, M Scerri
arXiv preprint arXiv:1403.7258, 2014
152014
LarvaStat: Monitoring of statistical properties
C Colombo, A Gauci, GJ Pace
International Conference on Runtime Verification, 480-484, 2010
152010
Practical runtime monitoring with impact guarantees of java programs with real-time constraints
C Colombo
Master's thesis, University of Malta, 2008
152008
Lessons learnt from using DSLs for automated software testing
M Micallef, C Colombo
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
132015
Assimilating entrepreneurial orientation and market orientation dimensions in the context of women-owned small and medium sized businesses
MHM Osman, FS Ahmad, MA Rashid, G Hussain
African Journal of Business Management 5 (14), 5974, 2011
102011
First international summer school on runtime verification
C Colombo, Y Falcone
International Conference on Runtime Verification, 17-20, 2016
92016
A controlled natural language for tax fraud detection
A Calafato, C Colombo, GJ Pace
International Workshop on Controlled Natural Language, 1-12, 2016
92016
A model-based approach to combining static and dynamic verification techniques
S Azzopardi, C Colombo, G Pace
International Symposium on Leveraging Applications of Formal Methods, 416-430, 2016
82016
The system can't perform the operation now. Try again later.
Articles 1–20