| 2025 | SETTA | FLARE - Monitoring for the Regulatory Requirements of a Drone Case Study. | Sean Fenech, Christian Colombo, Gordon J. Pace, Axel Curmi |
| 2024 | ISoLA | Interest Beyond Violation: On Points-of-Interest in Runtime Verification. | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2024 | JURIX | Conflict Analysis for Timed Contract Automata. | Shaun Azzopardi, Gordon J. Pace |
| 2024 | VECoS | Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges. | Christian Colombo, Gordon J. Pace, Dylan Seychell |
| 2022 | ESORICS | Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries. | Joshua Ellul, Gordon J. Pace |
| 2022 | ISoLA | Selective Presumed Benevolence in Multi-party System Verification. | Wolfgang Ahrendt, Gordon J. Pace |
| 2022 | JURIX | An Automata-Based Formalism for Normative Documents with Real-Time. | Stefan Chircop, Gordon J. Pace, Gerardo Schneider |
| 2022 | RV | Tainting in Smart Contracts: Combining Static and Runtime Verification. | Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace |
| 2022 | RV | AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. | Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace |
| 2021 | ICAIL | Regulating artificial intelligence: a technology regulator's perspective. | Joshua Ellul, Gordon J. Pace, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri |
| 2021 | ISSTA | Optional monitoring for long-lived transactions. | Joshua Ellul, Gordon J. Pace |
| 2021 | RV | On the Specification and Monitoring of Timed Normative Systems. | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider |
| 2020 | ISoLA | Reliable Smart Contracts. | Gordon J. Pace, Csar Snchez, Gerardo Schneider |
| 2020 | JURIX | A General Theory of Contract Conflicts with Environmental Constraints. | Gordon J. Pace |
| 2020 | MODELSWARD | A Technique for Automata-based Verification with Residual Reasoning. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | MODELSWARD | CLARVA: Model-based Residual Verification of Java Programs. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | MODELSWARD | Model-Based Static and Runtime Verification for Ethereum Smart Contracts. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | MODELSWARD | Themulus: A Timed Contract-calculus. | Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace |
| 2020 | SEFM | Runtime Verification of Contracts with Themulus. | Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace |
| 2019 | SRDS | Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems. | Joshua Ellul, Gordon J. Pace |
| 2018 | CGO | D'Artagnan: An Embedded DSL Framework for Distributed Embedded Systems. | Adrian Mizzi, Joshua Ellul, Gordon J. Pace |
| 2018 | EDCC | Runtime Verification of Ethereum Smart Contracts. | Joshua Ellul, Gordon J. Pace |
| 2018 | ISoLA | Contracts over Smart Contracts: Recovering from Violations Dynamically. | Christian Colombo, Joshua Ellul, Gordon J. Pace |
| 2018 | ISoLA | Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. | Christian Colombo, Gordon J. Pace |
| 2018 | ISoLA | Migrating Monitors + ABE: A Suitable Combination for Secure IoT? | Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider |
| 2018 | JURIX | On Observing Contracts: Deontic Contracts Meet Smart Contracts. | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik |
| 2018 | RV | Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. | Shaun Azzopardi, Joshua Ellul, Gordon J. Pace |
| 2017 | JURIX | Timed Contract Compliance Under Event Timing Uncertainty. | Mara-Emilia Cambronero, Luis Llana, Gordon J. Pace |
| 2017 | QRS | Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming. | Aaron John Buhagiar, Gordon J. Pace, Jean-Paul Ebejer |
| 2017 | RV | Runtime Verification using VALOUR. | Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace |
| 2017 | RV | Runtime Verification using LARVA. | Christian Colombo, Gordon J. Pace |
| 2016 | EICS | Using gherkin to extract tests and monitors for safer medical device interaction design. | Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace |
| 2016 | EICS | Using testing techniques to classify user interface designs. | Abigail Cauchi, Gordon J. Pace |
| 2016 | ISoLA | StaRVOOrS - Episode II - Strengthen and Distribute the Force. | Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2016 | ISoLA | A Model-Based Approach to Combining Static and Dynamic Verification Techniques. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2016 | ISoLA | Runtime Verification for Stream Processing Applications. | Christian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami |
| 2016 | ISoLA | On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. | Gordon J. Pace, Ral Pardo, Gerardo Schneider |
| 2016 | JURIX | Reasoning About Partial Contracts. | Shaun Azzopardi, Albert Gatt, Gordon J. Pace |
| 2016 | RV | An Automata-Based Approach to Evolving Privacy Policies for Social Networks. | Ral Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2016 | SEFM | Compliance Checking in the Open Payments Ecosystem. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella |
| 2015 | FM | A Specification Language for Static and Runtime Verification of Data and Control Properties. | Wolfgang Ahrendt, Jess Mauricio Chimento, Gordon J. Pace, Gerardo Schneider |
| 2015 | JURIX | Conditional Permissions in Contracts. | Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider |
| 2015 | NLDB | A Controlled Natural Language for Business Intelligence Monitoring. | Christian Colombo, Jean-Paul Grech, Gordon J. Pace |
| 2015 | RV | StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. | Jess Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2014 | JURIX | Contract Automata with Reparations. | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik |
| 2013 | ICAIL | Synthesising implicit contracts. | Gordon J. Pace, Fernando Schapachnik |
| 2013 | RV | SMock - A Test Platform for Monitoring Tools. | Christian Colombo, Ruth Mizzi, Gordon J. Pace |
| 2012 | ISoLA | A Unified Approach for Static and Runtime Verification: Framework and Applications. | Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2012 | JURIX | Types of Rights in Two-Party Systems: A Formal Analysis. | Gordon J. Pace, Fernando Schapachnik |
| 2012 | RV | Fast-Forward Runtime Monitoring - An Industrial Case Study. | Christian Colombo, Gordon J. Pace |
| 2012 | SEFM | polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. | Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace |
| 2011 | JURIX | Permissions in Contracts, a Logical Insight. | Gordon J. Pace, Fernando Schapachnik |
| 2010 | LREC | Automatic Grammar Rule Extraction and Ranking for Definitions. | Claudia Borg, Mike Rosner, Gordon J. Pace |
| 2010 | RV | LarvaStat: Monitoring of Statistical Properties. | Christian Colombo, Andrew Gauci, Gordon J. Pace |
| 2010 | RV | Compensation-Aware Runtime Monitoring. | Christian Colombo, Gordon J. Pace, Patrick Abela |
| 2009 | ATVA | CLAN: A Tool for Contract Analysis and Conflict Discovery. | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
| 2009 | ICTAC | Automatic Conflict Detection on Contracts. | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
| 2009 | IFM | Challenges in the Specification of Full Contracts. | Gordon J. Pace, Gerardo Schneider |
| 2009 | SEFM | LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2008 | FMICS | Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2008 | ICTAC | Relaxing Goodness Is Still Good. | Gordon J. Pace, Gerardo Schneider |
| 2008 | TACAS | Computation and Visualisation of Phase Portraits for Model Checking SPDIs. | Gordon J. Pace, Gerardo Schneider |
| 2007 | ATVA | Model Checking Contracts - A Case Study. | Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider |
| 2006 | ICTAC | A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. | Gordon J. Pace, Gerardo Schneider |
| 2004 | VMCAI | Model Checking Polygonal Differential Inclusions Using Invariance Kernels. | Gordon J. Pace, Gerardo Schneider |
| 2003 | CAV | Calculating-Confluence Compositionally. | Gordon J. Pace, Frdric Lang, Radu Mateescu |
| 2002 | CAV | SPeeDI - A Verification Tool for Polygonal Hybrid Systems. | Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine |
| 2000 | FMCAD | The Semantics of Verilog Using Transition System Combinators. | Gordon J. Pace |