The Semantics of Verilog Using Transition System Combinators. - Gordon J. Pace (FMCAD, 2000)

SPeeDI - A Verification Tool for Polygonal Hybrid Systems. - Eugene Asarin; Gordon J. Pace; Gerardo Schneider; Sergio Yovine (CAV, 2002)

An embedded language approach to teaching hardware compilation. - Koen Claessen; Gordon J. Pace (ACM SIGPLAN Notices, 2002)

Calculating-Confluence Compositionally. - Gordon J. Pace; Frédéric Lang; Radu Mateescu 001 (CAV, 2003)

Model Checking Polygonal Differential Inclusions Using Invariance Kernels. - Gordon J. Pace; Gerardo Schneider (VMCAI, 2004)

Counter-example generation in symbolic abstract model-checking. - Gordon J. Pace; Nicolas Halbwachs; Pascal Raymond (Int. J. Softw. Tools Technol. Transf., 2004)

Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. - Gordon J. Pace; Gerardo Schneider (FORMATS, 2006)

A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. - Gordon J. Pace; Gerardo Schneider (ICTAC, 2006)

Model Checking Contracts - A Case Study. - Gordon J. Pace; Cristian Prisacariu; Gerardo Schneider (ATVA, 2007)

Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (FMICS, 2008)

Relaxing Goodness Is Still Good. - Gordon J. Pace; Gerardo Schneider (ICTAC, 2008)

Computation and Visualisation of Phase Portraits for Model Checking SPDIs. - Gordon J. Pace; Gerardo Schneider (TACAS, 2008)

Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. - Eugene Asarin; Gordon J. Pace; Gerardo Schneider; Sergio Yovine (Theor. Comput. Sci., 2008)

CLAN: A Tool for Contract Analysis and Conflict Discovery. - Stephen Fenech; Gordon J. Pace; Gerardo Schneider (ATVA, 2009)

A Controlled Language for the Specification of Contracts. - Gordon J. Pace; Michael Rosner (CNL, 2009)

Safe Runtime Verification of Real-Time Properties. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (FORMATS, 2009)

Automatic Conflict Detection on Contracts. - Stephen Fenech; Gordon J. Pace; Gerardo Schneider (ICTAC, 2009)

Challenges in the Specification of Full Contracts. - Gordon J. Pace; Gerardo Schneider (IFM, 2009)

LARVA — Safer Monitoring of Real-Time Java Programs (Tool Paper). - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (SEFM, 2009)

On the Specification of Full Contracts. - Stephen Fenech; Gordon J. Pace; Joseph C. Okika; Anders P. Ravn; Gerardo Schneider (FESCA@ETAPS, 2009)

Controlled Natural Language in a Game for Legal Assistance. - John J. Camilleri; Gordon J. Pace; Michael Rosner (CNL, 2010)

Automatic Grammar Rule Extraction and Ranking for Definitions. - Claudia Borg; Mike Rosner; Gordon J. Pace (LREC, 2010)

LarvaStat: Monitoring of Statistical Properties. - Christian Colombo 001; Andrew Gauci; Gordon J. Pace (RV, 2010)

Compensation-Aware Runtime Monitoring. - Christian Colombo 001; Gordon J. Pace; Patrick Abela (RV, 2010)

Permissions in Contracts, a Logical Insight. - Gordon J. Pace; Fernando Schapachnik (JURIX, 2011)

Distributed System Contract Monitoring - Adrian Francalanza; Andrew Gauci; Gordon J. Pace (FLACOS, 2011)

Guest Editors' Foreword. - Gordon J. Pace; Gerardo Schneider (J. Log. Algebraic Methods Program., 2011)

Mathematics of Discrete Structures for Computer Science. - Gordon J. Pace (Springer, 2012)

Thesaurus Project: Design of New Autonomous Underwater Vehicles for Documentation and Protection of Underwater Archaeological Sites. - Benedetto Allotta; S. Bargagliotti; L. Botarelli; Andrea Caiti; Vincenzo Calabrò; G. Casa; Michele Cocco; Sara Colantonio; Carlo Colombo; S. Costa; Marco Fanfani; L. Franchi; et al. (EuroMed, 2012)

A Unified Approach for Static and Runtime Verification: Framework and Applications. - Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (ISoLA (1), 2012)

Types of Rights in Two-Party Systems: A Formal Analysis. - Gordon J. Pace; Fernando Schapachnik (JURIX, 2012)

Combining Testing and Runtime Verification Techniques. - Kevin Falzon; Gordon J. Pace (MOMPES, 2012)

Fast-Forward Runtime Monitoring - An Industrial Case Study. - Christian Colombo 001; Gordon J. Pace (RV, 2012)

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. - Christian Colombo 001; Adrian Francalanza; Ruth Mizzi; Gordon J. Pace (SEFM, 2012)

Contracts for Interacting Two-Party Systems - Gordon J. Pace; Fernando Schapachnik (FLACOS, 2012)

Safer asynchronous runtime monitoring using compensations. - Christian Colombo 001; Gordon J. Pace; Patrick Abela (Formal Methods Syst. Des., 2012)

Synthesising implicit contracts. - Gordon J. Pace; Fernando Schapachnik (ICAIL, 2013)

SMock - A Test Platform for Monitoring Tools. - Christian Colombo 001; Ruth Mizzi; Gordon J. Pace (RV, 2013)

Extensible Technology-Agnostic Runtime Verification - Christian Colombo 001; Adrian Francalanza; Ruth Mizzi; Gordon J. Pace (FESCA, 2013)

Recovery within long-running transactions. - Christian Colombo 001; Gordon J. Pace (ACM Comput. Surv., 2013)

Monitor-Oriented Compensation Programming Through Compensating Automata. - Christian Colombo 001; Gordon J. Pace (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Explaining Violation Traces with Finite State Natural Language Generation Models. - Gordon J. Pace; Michael Rosner (CNL, 2014)

Contract Automata with Reparations. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik (JURIX, 2014)

Comprehensive Monitor-Oriented Compensation Programming. - Christian Colombo 001; Gordon J. Pace (FESCA, 2014)

A Framework for the Generation of Computer System Diagnostics in Natural Language using Finite State Methods. - Rachel Farrell; Gordon J. Pace; Mike Rosner (ENLG, 2015)

A Specification Language for Static and Runtime Verification of Data and Control Properties. - Wolfgang Ahrendt; Jesús Mauricio Chimento; Gordon J. Pace; Gerardo Schneider (FM, 2015)

Conditional Permissions in Contracts. - Gordon J. Pace; Fernando Schapachnik; Gerardo Schneider (JURIX, 2015)

A Controlled Natural Language for Business Intelligence Monitoring. - Christian Colombo 001; Jean-Paul Grech; Gordon J. Pace (NLDB, 2015)

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. - Jesús Mauricio Chimento; Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (RV, 2015)

A Controlled Natural Language for Tax Fraud Detection. - Aaron Calafato; Christian Colombo 001; Gordon J. Pace (CNL, 2016)

Using gherkin to extract tests and monitors for safer medical device interaction design. - Abigail Cauchi; Christian Colombo 001; Adrian Francalanza; Mark Micallef; Gordon J. Pace (EICS, 2016)

Using testing techniques to classify user interface designs. - Abigail Cauchi; Gordon J. Pace (EICS, 2016)

StaRVOOrS - Episode II - Strengthen and Distribute the Force. - Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (ISoLA (1), 2016)

A Model-Based Approach to Combining Static and Dynamic Verification Techniques. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (ISoLA (1), 2016)

Runtime Verification for Stream Processing Applications. - Christian Colombo 001; Gordon J. Pace; Luke Camilleri; Claire Dimech; Reuben A. Farrugia; Jean-Paul Grech; Alessio Magro; Andrew C. Sammut; Kristian Zarb Adami (ISoLA (2), 2016)

On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. - Gordon J. Pace; Raúl Pardo; Gerardo Schneider (ISoLA (2), 2016)

Reasoning About Partial Contracts. - Shaun Azzopardi; Albert Gatt; Gordon J. Pace (JURIX, 2016)

An Automata-Based Approach to Evolving Privacy Policies for Social Networks. - Raúl Pardo; Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (RV, 2016)

Compliance Checking in the Open Payments Ecosystem. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace; Brian Vella (SEFM, 2016)

Contract automata - An operational view of contracts between interactive parties. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik; Gerardo Schneider (Artif. Intell. Law, 2016)

Device-Centric Monitoring for Mobile Device Management. - Luke Chircop; Christian Colombo 001; Gordon J. Pace (FESCA@ETAPS, 2016)

An Embedded DSL Framework for Distributed Embedded Systems: Doctoral Symposium. - Adrian Mizzi; Joshua Ellul; Gordon J. Pace (DEBS, 2017)

Timed Contract Compliance Under Event Timing Uncertainty. - María-Emilia Cambronero; Luis Llana; Gordon J. Pace (JURIX, 2017)

Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming. - Aaron John Buhagiar; Gordon J. Pace; Jean-Paul Ebejer (QRS, 2017)

Runtime Verification using VALOUR. - Shaun Azzopardi; Christian Colombo 001; Jean-Paul Ebejer; Edward Mallia; Gordon J. Pace (RV-CuBES, 2017)

Runtime Verification using LARVA. - Christian Colombo 001; Gordon J. Pace (RV-CuBES, 2017)

A Calculus Supporting Contract Reasoning and Monitoring. - María-Emilia Cambronero; Luis Llana; Gordon J. Pace (IEEE Access, 2017)

Control-Flow Residual Analysis for Symbolic Automata. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (PrePost@iFM, 2017)

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. - Wolfgang Ahrendt; Jesús Mauricio Chimento; Gordon J. Pace; Gerardo Schneider (Formal Methods Syst. Des., 2017)

Smart Contracts: A Killer Application for Deductive Source Code Verification. - Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (Principled Software Development, 2018)

D'Artagnan: An Embedded DSL Framework for Distributed Embedded Systems. - Adrian Mizzi; Joshua Ellul; Gordon J. Pace (RWDSL@CGO, 2018)

A Controlled Natural Language for Financial Services Compliance Checking. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (CNL, 2018)

Runtime Verification of Ethereum Smart Contracts. - Joshua Ellul; Gordon J. Pace (EDCC, 2018)

Contracts over Smart Contracts: Recovering from Violations Dynamically. - Christian Colombo 001; Joshua Ellul; Gordon J. Pace (ISoLA (4), 2018)

Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. - Christian Colombo 001; Gordon J. Pace (ISoLA (4), 2018)

Migrating Monitors + ABE: A Suitable Combination for Secure IoT? - Gordon J. Pace; Pablo Picazo-Sanchez; Gerardo Schneider (ISoLA (4), 2018)

Macroprogramming the Blockchain of Things. - Adrian Mizzi; Joshua Ellul; Gordon J. Pace (iThings/GreenCom/CPSCom/SmartData, 2018)

On Observing Contracts: Deontic Contracts Meet Smart Contracts. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik (JURIX, 2018)

AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things. - Joshua Ellul; Gordon J. Pace (NTMS, 2018)

Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. - Shaun Azzopardi; Joshua Ellul; Gordon J. Pace (RV, 2018)

Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. - Christian Colombo 001; Gordon J. Pace (Lectures on Runtime Verification, 2018)

Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. - Wolfgang Ahrendt; Richard Bubel; Joshua Ellul; Gordon J. Pace; Raúl Pardo; Vincent Rebiscoul; Gerardo Schneider (FSEN, 2019)

Porthos: Macroprogramming Blockchain Systems. - Adrian Mizzi; Joshua Ellul; Gordon J. Pace (NTMS, 2019)

Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems. - Joshua Ellul; Gordon J. Pace (SRDS Workshops, 2019)

Blockchain and the Common Good Reimagined. - Joshua Ellul; Gordon J. Pace (CoRR, 2019)

A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Reliable Smart Contracts. - Gordon J. Pace; César Sánchez 001; Gerardo Schneider (ISoLA (3), 2020)

A General Theory of Contract Conflicts with Environmental Constraints. - Gordon J. Pace (JURIX, 2020)

A Technique for Automata-based Verification with Residual Reasoning. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (MODELSWARD, 2020)

CLARVA: Model-based Residual Verification of Java Programs. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (MODELSWARD, 2020)

Model-Based Static and Runtime Verification for Ethereum Smart Contracts. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (MODELSWARD (Revised Selected Papers), 2020)

Themulus: A Timed Contract-calculus. - Alberto Aranda García; María-Emilia Cambronero; Christian Colombo 001; Luis Llana; Gordon J. Pace (MODELSWARD, 2020)

Runtime Verification of Contracts with Themulus. - Alberto Aranda García; María-Emilia Cambronero; Christian Colombo 001; Luis Llana; Gordon J. Pace (SEFM, 2020)

Runtime Verification: Passing on the Baton. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (Formal Methods in Outer Space, 2021)

Runtime Monitoring Processes Across Blockchains. - Shaun Azzopardi; Joshua Ellul; Gordon J. Pace (FSEN, 2021)

Regulating artificial intelligence: a technology regulator's perspective. - Joshua Ellul; Gordon J. Pace; Stephen McCarthy; Trevor Sammut; Juanita Brockdorff; Matthew Scerri (ICAIL, 2021)

Optional monitoring for long-lived transactions. - Joshua Ellul; Gordon J. Pace (VORTEX@ISSTA, 2021)

On the Specification and Monitoring of Timed Normative Systems. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik; Gerardo Schneider (RV, 2021)

A Pragmatic Approach to Regulating Artificial Intelligence: A Technology Regulator's Perspective. - Joshua Ellul; Stephen McCarthy; Trevor Sammut; Juanita Brockdorff; Matthew Scerri; Gordon J. Pace (CoRR, 2021)

Towards External Calls for Blockchain and Distributed Ledger Technology. - Joshua Ellul; Gordon J. Pace (CoRR, 2021)

Runtime Verification - A Hands-On Approach in Java - Christian Colombo 001; Gordon J. Pace (Springer, 2022)

Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries. - Joshua Ellul; Gordon J. Pace (DPM/CBT@ESORICS, 2022)

Selective Presumed Benevolence in Multi-party System Verification. - Wolfgang Ahrendt; Gordon J. Pace (ISoLA (1), 2022)

An Automata-Based Formalism for Normative Documents with Real-Time. - Stefan Chircop; Gordon J. Pace; Gerardo Schneider (JURIX, 2022)

Tainting in Smart Contracts: Combining Static and Runtime Verification. - Shaun Azzopardi; Joshua Ellul; Ryan Falzon; Gordon J. Pace (RV, 2022)

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. - Shaun Azzopardi; Joshua Ellul; Ryan Falzon; Gordon J. Pace (RV, 2022)

Active External Calls for Blockchain and Distributed Ledger Technologies: Debunking cited inability of Blockchain and DLT to make external calls. - Joshua Ellul; Gordon J. Pace (CoRR, 2023)

Interest Beyond Violation: On Points-of-Interest in Runtime Verification. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (ISoLA (3), 2024)

Conflict Analysis for Timed Contract Automata. - Shaun Azzopardi; Gordon J. Pace (JURIX, 2024)

Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges. - Christian Colombo 001; Gordon J. Pace; Dylan Seychell (AISoLA, 2024)

Bottling Up Trust: A Review of Blockchain Adoption in Wine Supply Chain Traceability. - Gowher Majeed Parry; Ioannis Revolidis; Joshua Ellul; Gordon J. Pace (IEEE Access, 2024)

Sound Conflict Analysis for Timed Contract Automata. - Shaun Azzopardi; Gordon J. Pace (CoRR, 2024)