| 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 | 218 | 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 | 136 | 2009 |
| 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 | 117 | 2019 |
| 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 | 94 | 2019 |
| Organising LTL monitors over distributed systems with a global clock C Colombo, Y Falcone Formal Methods in System Design 49, 109-158, 2016 | 80 | 2016 |
| Elarva: A monitoring tool for erlang C Colombo, A Francalanza, R Gatt Runtime Verification: Second International Conference, RV 2011, San …, 2012 | 46 | 2012 |
| Recovery within long-running transactions C Colombo, GJ Pace ACM Computing Surveys (CSUR) 45 (3), 1-35, 2013 | 44 | 2013 |
| 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 | 40 | 2012 |
| Contracts over smart contracts: Recovering from violations dynamically C Colombo, J Ellul, GJ Pace Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 34 | 2018 |
| Lessons learnt from using DSLs for automated software testing M Micallef, C Colombo 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015 | 32 | 2015 |
| Safer asynchronous runtime monitoring using compensations C Colombo, GJ Pace, P Abela Formal Methods in System Design 41, 269-294, 2012 | 31 | 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 | 30 | 2009 |
| Compensation-aware runtime monitoring C Colombo, GJ Pace, P Abela International Conference on Runtime Verification, 214-228, 2010 | 27 | 2010 |
| Towards incremental mutation testing MA Cachia, M Micallef, C Colombo Electronic Notes in Theoretical Computer Science 294, 2-11, 2013 | 22 | 2013 |
| Verifying web applications: from business level specifications to automated model-based testing C Colombo, M Micallef, M Scerri arXiv preprint arXiv:1403.7258, 2014 | 21 | 2014 |
| LarvaStat: Monitoring of statistical properties C Colombo, A Gauci, GJ Pace International Conference on Runtime Verification, 480-484, 2010 | 20 | 2010 |
| Fast-forward runtime monitoring—an industrial case study C Colombo, GJ Pace International Conference on Runtime Verification, 214-228, 2012 | 19 | 2012 |
| LARVA-a tool for runtime monitoring of Java programs C Colombo, GJ Pace, G Schneider Ieee computer society, 33-37, 2009 | 19 | 2009 |
| Industrial experiences with runtime verification of financial transaction systems: lessons learnt and standing challenges C Colombo, GJ Pace Lectures on Runtime Verification: Introductory and Advanced Topics, 211-232, 2018 | 18 | 2018 |
| A controlled natural language for tax fraud detection A Calafato, C Colombo, GJ Pace Controlled Natural Language: 5th International Workshop, CNL 2016, Aberdeen …, 2016 | 17 | 2016 |
Gordon J. PaceDepartment of Computer Science, University of MaltaVerified email at um.edu.mt
