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 | 158 | 2009 |
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 | 103 | 2008 |
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 | 64 | 2019 |
Organising LTL monitors over distributed systems with a global clock C Colombo, Y Falcone Formal Methods in System Design 49 (1), 109-158, 2016 | 42 | 2016 |
Recovery within long-running transactions C Colombo, GJ Pace ACM Computing Surveys (CSUR) 45 (3), 1-35, 2013 | 41 | 2013 |
Elarva: A monitoring tool for erlang C Colombo, A Francalanza, R Gatt International Conference on Runtime Verification, 370-374, 2011 | 33 | 2011 |
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 | 30 | 2012 |
Safe runtime verification of real-time properties C Colombo, GJ Pace, G Schneider International Conference on Formal Modeling and Analysis of Timed Systems …, 2009 | 26 | 2009 |
Compensation-aware runtime monitoring C Colombo, GJ Pace, P Abela International Conference on Runtime Verification, 214-228, 2010 | 24 | 2010 |
Safer asynchronous runtime monitoring using compensations C Colombo, GJ Pace, P Abela Formal Methods in System Design 41 (3), 269-294, 2012 | 23 | 2012 |
Lessons learnt from using DSLs for automated software testing M Micallef, C Colombo 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015 | 19 | 2015 |
Fast-forward runtime monitoring—an industrial case study C Colombo, GJ Pace International Conference on Runtime Verification, 214-228, 2012 | 19 | 2012 |
Verifying web applications: from business level specifications to automated model-based testing C Colombo, M Micallef, M Scerri arXiv preprint arXiv:1403.7258, 2014 | 17 | 2014 |
Larva-a tool for runtime monitoring of java programs C Colombo, GJ Pace, G Schneider IEEE Computer Society, 33-37, 2009 | 17 | 2009 |
LarvaStat: Monitoring of statistical properties C Colombo, A Gauci, GJ Pace International Conference on Runtime Verification, 480-484, 2010 | 16 | 2010 |
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 (3), 279-335, 2019 | 15 | 2019 |
Practical runtime monitoring with impact guarantees of java programs with real-time constraints C Colombo Master's thesis, University of Malta, 2008 | 15 | 2008 |
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-5983, 2011 | 13 | 2011 |
Contracts over smart contracts: Recovering from violations dynamically C Colombo, J Ellul, GJ Pace International Symposium on Leveraging Applications of Formal Methods, 300-315, 2018 | 11 | 2018 |
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 | 10 | 2016 |