| 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 | 233 | 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 (3), 279-335, 2019 | 152 | 2019 |
| 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 | 136 | 2008 |
| Runtime verification of ethereum smart contracts J Ellul, GJ Pace 2018 14th European Dependable Computing Conference (EDCC), 158-163, 2018 | 111 | 2018 |
| Regulating Blockchain, DLT and Smart Contracts: a technology regulator’s perspective J Ellul, J Galea, M Ganado, S Mccarthy, GJ Pace ERA forum 21 (2), 209-220, 2020 | 87 | 2020 |
| Automatic conflict detection on contracts S Fenech, GJ Pace, G Schneider International colloquium on theoretical aspects of computing, 200-214, 2009 | 86 | 2009 |
| Monitoring smart contracts: Contractlarva and open challenges beyond S Azzopardi, J Ellul, GJ Pace International Conference on Runtime Verification, 113-137, 2018 | 85 | 2018 |
| Alkylvm: A virtual machine for smart contract blockchain connected internet of things J Ellul, GJ Pace 2018 9th IFIP international conference on new technologies, mobility and …, 2018 | 66 | 2018 |
| Clan: A tool for contract analysis and conflict discovery S Fenech, GJ Pace, G Schneider International Symposium on Automated Technology for Verification and …, 2009 | 55 | 2009 |
| Evolutionary algorithms for definition extraction C Borg, M Rosner, G Pace Proceedings of the 1st Workshop on Definition Extraction, 26-32, 2009 | 53 | 2009 |
| Calculating τ-Confluence Compositionally GJ Pace, F Lang, R Mateescu International Conference on Computer Aided Verification, 446-459, 2003 | 53 | 2003 |
| Recovery within long-running transactions C Colombo, GJ Pace ACM Computing Surveys (CSUR) 45 (3), 1-35, 2013 | 47 | 2013 |
| Distributed system contract monitoring A Francalanza, A Gauci, GJ Pace The Journal of Logic and Algebraic Programming 82 (5-7), 186-215, 2013 | 47 | 2013 |
| Verifying data-and control-oriented properties combining static and runtime verification: theory and tools W Ahrendt, JM Chimento, GJ Pace, G Schneider Formal Methods in System Design 51 (1), 200-265, 2017 | 46 | 2017 |
| Model checking contracts–a case study G Pace, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2007 | 45 | 2007 |
| Verification of smart contract business logic: exploiting a Java source code verifier W Ahrendt, R Bubel, J Ellul, GJ Pace, R Pardo, V Rebiscoul, G Schneider International Conference on Fundamentals of Software Engineering, 228-243, 2019 | 44 | 2019 |
| StaRVOOrS : A Tool for Combined Static and Runtime Verification of Java JM Chimento, W Ahrendt, GJ Pace, G Schneider Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 41 | 2015 |
| A specification language for static and runtime verification of data and control properties W Ahrendt, JM Chimento, GJ Pace, G Schneider International Symposium on Formal Methods, 108-125, 2015 | 41 | 2015 |
| 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 | 40 | 2012 |
| Regulating artificial intelligence: a technology regulator's perspective J Ellul, G Pace, S McCarthy, T Sammut, J Brockdorff, M Scerri Proceedings of the eighteenth international conference on artificial …, 2021 | 39 | 2021 |
Christian ColomboUniversity of MaltaVerified email at um.edu.mt
