Gordon J. Pace

Gordon J. Pace

University of Malta - Msida / Malta
Engineering & Technology / Computer Science
AD Scientific Index ID: 2005748
Università ta’ Malta
person_outline Gordon J. Pace's MOST POPULAR ARTICLES
1-) LARVA---safer monitoring of real-time java programs (Tool Paper) 2009 seventh ieee international conference on software engineering and …, 2009
2-) Dynamic event-based runtime monitoring of real-time and contextual properties International Workshop on Formal Methods for Industrial Critical Systems …, 2008
3-) A survey of challenges for runtime verification from advanced application domains (beyond software) Formal Methods in System Design 54, 279-335, 2019
4-) Runtime verification of ethereum smart contracts 2018 14th European Dependable Computing Conference (EDCC), 158-163, 2018
5-) Automatic conflict detection on contracts International colloquium on theoretical aspects of computing, 200-214, 2009