Gordon J. Pace

According to our database, Gordon J. Pace authored at least 109 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Interest Beyond Violation: On Points-of-Interest in Runtime Verification.

Christian Colombo, Gordon J. Pace, Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2023

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

2022

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification.

Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Tainting in Smart Contracts: Combining Static and Runtime Verification.

Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace

Proceedings of the Runtime Verification - 22nd International Conference, 2022

An Automata-Based Formalism for Normative Documents with Real-Time.

Stefan Chircop, Gordon J. Pace, Gerardo Schneider

Proceedings of the Legal Knowledge and Information Systems, 2022

Selective Presumed Benevolence in Multi-party System Verification.

Wolfgang Ahrendt, Gordon J. Pace

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries.

Joshua Ellul, Gordon J. Pace

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2022

Runtime Verification - A Hands-On Approach in Java

Christian Colombo, Gordon J. Pace

Springer, ISBN: 978-3-031-09268-8, 2022

2021

Towards External Calls for Blockchain and Distributed Ledger Technology.

Joshua Ellul, Gordon J. Pace

CoRR, 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

On the Specification and Monitoring of Timed Normative Systems.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider

Proceedings of the Runtime Verification - 21st International Conference, 2021

Optional monitoring for long-lived transactions.

Joshua Ellul, Gordon J. Pace

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

Regulating artificial intelligence: a technology regulator's perspective.

Joshua Ellul, Gordon J. Pace, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri

Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

Runtime Monitoring Processes Across Blockchains.

Shaun Azzopardi, Joshua Ellul, Gordon J. Pace

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

Runtime Verification: Passing on the Baton.

Christian Colombo, Gordon J. Pace, Gerardo Schneider

Proceedings of the Formal Methods in Outer Space, 2021

2020

Runtime Verification of Contracts with Themulus.

Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Themulus: A Timed Contract-calculus.

Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Model-Based Static and Runtime Verification for Ethereum Smart Contracts.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the Model-Driven Engineering and Software Development, 2020

CLARVA: Model-based Residual Verification of Java Programs.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

A Technique for Automata-based Verification with Residual Reasoning.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

A General Theory of Contract Conflicts with Environmental Constraints.

Gordon J. Pace

Proceedings of the Legal Knowledge and Information Systems, 2020

Reliable Smart Contracts.

Gordon J. Pace, César Sánchez, Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss

Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss

Formal Methods Syst. Des., 2019

Blockchain and the Common Good Reimagined.

Joshua Ellul, Gordon J. Pace

CoRR, 2019

Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems.

Joshua Ellul, Gordon J. Pace

Proceedings of the 38th International Symposium on Reliable Distributed Systems Workshops, 2019

Porthos: Macroprogramming Blockchain Systems.

Adrian Mizzi, Joshua Ellul, Gordon J. Pace

Proceedings of the 10th IFIP International Conference on New Technologies, 2019

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

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018

Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.

Christian Colombo, Gordon J. Pace

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond.

Shaun Azzopardi, Joshua Ellul, Gordon J. Pace

Proceedings of the Runtime Verification - 18th International Conference, 2018

AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things.

Joshua Ellul, Gordon J. Pace

Proceedings of the 9th IFIP International Conference on New Technologies, 2018

On Observing Contracts: Deontic Contracts Meet Smart Contracts.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2018

Macroprogramming the Blockchain of Things.

Adrian Mizzi, Joshua Ellul, Gordon J. Pace

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

Migrating Monitors + ABE: A Suitable Combination for Secure IoT?

Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design.

Christian Colombo, Gordon J. Pace

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Contracts over Smart Contracts: Recovering from Violations Dynamically.

Christian Colombo, Joshua Ellul, Gordon J. Pace

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Runtime Verification of Ethereum Smart Contracts.

Joshua Ellul, Gordon J. Pace

Proceedings of the 14th European Dependable Computing Conference, 2018

A Controlled Natural Language for Financial Services Compliance Checking.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the Controlled Natural Language, 2018

D'Artagnan: An Embedded DSL Framework for Distributed Embedded Systems.

Adrian Mizzi, Joshua Ellul, Gordon J. Pace

Proceedings of the Real World Domain Specific Languages Workshop, 2018

Smart Contracts: A Killer Application for Deductive Source Code Verification.

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Proceedings of the Principled Software Development, 2018

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

Control-Flow Residual Analysis for Symbolic Automata.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

A Calculus Supporting Contract Reasoning and Monitoring.

María-Emilia Cambronero, Luis Llana, Gordon J. Pace

IEEE Access, 2017

Runtime Verification using LARVA.

Christian Colombo, Gordon J. Pace

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Runtime Verification using VALOUR.

Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming.

Aaron John Buhagiar, Gordon J. Pace, Jean-Paul Ebejer

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Timed Contract Compliance Under Event Timing Uncertainty.

María-Emilia Cambronero, Luis Llana, Gordon J. Pace

Proceedings of the Legal Knowledge and Information Systems, 2017

An Embedded DSL Framework for Distributed Embedded Systems: Doctoral Symposium.

Adrian Mizzi, Joshua Ellul, Gordon J. Pace

Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017

2016

Device-Centric Monitoring for Mobile Device Management.

Luke Chircop, Christian Colombo, Gordon J. Pace

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2016

Contract automata - An operational view of contracts between interactive parties.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider

Artif. Intell. Law, 2016

Compliance Checking in the Open Payments Ecosystem.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

An Automata-Based Approach to Evolving Privacy Policies for Social Networks.

Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider

Proceedings of the Runtime Verification - 16th International Conference, 2016

Reasoning About Partial Contracts.

Shaun Azzopardi, Albert Gatt, Gordon J. Pace

Proceedings of the Legal Knowledge and Information Systems, 2016

On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks.

Gordon J. Pace, Raúl Pardo, Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

A Model-Based Approach to Combining Static and Dynamic Verification Techniques.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

StaRVOOrS - Episode II - Strengthen and Distribute the Force.

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Using testing techniques to classify user interface designs.

Abigail Cauchi, Gordon J. Pace

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Using gherkin to extract tests and monitors for safer medical device interaction design.

Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

A Controlled Natural Language for Tax Fraud Detection.

Aaron Calafato, Christian Colombo, Gordon J. Pace

Proceedings of the Controlled Natural Language - 5th International Workshop, 2016

2015

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java.

Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Proceedings of the Runtime Verification - 6th International Conference, 2015

A Controlled Natural Language for Business Intelligence Monitoring.

Christian Colombo, Jean-Paul Grech, Gordon J. Pace

Proceedings of the Natural Language Processing and Information Systems, 2015

Conditional Permissions in Contracts.

Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider

Proceedings of the Legal Knowledge and Information Systems, 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

Proceedings of the FM 2015: Formal Methods, 2015

A Framework for the Generation of Computer System Diagnostics in Natural Language using Finite State Methods.

Rachel Farrell, Gordon J. Pace, Mike Rosner

Proceedings of the ENLG 2015, 2015

2014

Comprehensive Monitor-Oriented Compensation Programming.

Christian Colombo, Gordon J. Pace

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

Contract Automata with Reparations.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2014

Explaining Violation Traces with Finite State Natural Language Generation Models.

Gordon J. Pace, Michael Rosner

Proceedings of the Controlled Natural Language - 4th International Workshop, 2014

2013

Monitor-Oriented Compensation Programming Through Compensating Automata.

Christian Colombo, Gordon J. Pace

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Recovery within long-running transactions.

Christian Colombo, Gordon J. Pace

ACM Comput. Surv., 2013

Extensible Technology-Agnostic Runtime Verification

Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace

Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013

SMock - A Test Platform for Monitoring Tools.

Christian Colombo, Ruth Mizzi, Gordon J. Pace

Proceedings of the Runtime Verification - 4th International Conference, 2013

Synthesising implicit contracts.

Gordon J. Pace, Fernando Schapachnik

Proceedings of the International Conference on Artificial Intelligence and Law, 2013

2012

Safer asynchronous runtime monitoring using compensations.

Christian Colombo, Gordon J. Pace, Patrick Abela

Formal Methods Syst. Des., 2012

Contracts for Interacting Two-Party Systems

Gordon J. Pace, Fernando Schapachnik

Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries.

Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Fast-Forward Runtime Monitoring - An Industrial Case Study.

Christian Colombo, Gordon J. Pace

Proceedings of the Runtime Verification, Third International Conference, 2012

Combining Testing and Runtime Verification Techniques.

Kevin Falzon, Gordon J. Pace

Proceedings of the Model-Based Methodologies for Pervasive and Embedded Software, 2012

Types of Rights in Two-Party Systems: A Formal Analysis.

Gordon J. Pace, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2012

A Unified Approach for Static and Runtime Verification: Framework and Applications.

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 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, P. Gambogi, Lavinio Gualdesi, Denise La Monica, Massimo Magrini, Massimo Martinelli, Davide Moroni, Andrea Munafò, Gordon J. Pace, C. Papa, Maria Antonietta Pascali, Gabriele Pieri, Marco Reggiannini, Marco Righi, Ovidio Salvetti, Marco Tampucci

Proceedings of the Progress in Cultural Heritage Preservation, 2012

Mathematics of Discrete Structures for Computer Science.

Gordon J. Pace

Springer, ISBN: 978-3-642-29839-4, 2012

2011

Guest Editors' Foreword.

Gordon J. Pace, Gerardo Schneider

J. Log. Algebraic Methods Program., 2011

Distributed System Contract Monitoring

Adrian Francalanza, Andrew Gauci, Gordon J. Pace

Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

Permissions in Contracts, a Logical Insight.

Gordon J. Pace, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2011

2010

Compensation-Aware Runtime Monitoring.

Christian Colombo, Gordon J. Pace, Patrick Abela

Proceedings of the Runtime Verification - First International Conference, 2010

LarvaStat: Monitoring of Statistical Properties.

Christian Colombo, Andrew Gauci, Gordon J. Pace

Proceedings of the Runtime Verification - First International Conference, 2010

Automatic Grammar Rule Extraction and Ranking for Definitions.

Claudia Borg, Mike Rosner, Gordon J. Pace

Proceedings of the International Conference on Language Resources and Evaluation, 2010

Controlled Natural Language in a Game for Legal Assistance.

John J. Camilleri, Gordon J. Pace, Michael Rosner

Proceedings of the Controlled Natural Language - Second International Workshop, 2010

2009

On the Specification of Full Contracts.

Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper).

Christian Colombo, Gordon J. Pace, Gerardo Schneider

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Challenges in the Specification of Full Contracts.

Gordon J. Pace, Gerardo Schneider

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Automatic Conflict Detection on Contracts.

Stephen Fenech, Gordon J. Pace, Gerardo Schneider

Proceedings of the Theoretical Aspects of Computing, 2009

Safe Runtime Verification of Real-Time Properties.

Christian Colombo, Gordon J. Pace, Gerardo Schneider

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

A Controlled Language for the Specification of Contracts.

Gordon J. Pace, Michael Rosner

Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009

CLAN: A Tool for Contract Analysis and Conflict Discovery.

Stephen Fenech, Gordon J. Pace, Gerardo Schneider

Proceedings of the Automated Technology for Verification and Analysis, 2009

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

Computation and Visualisation of Phase Portraits for Model Checking SPDIs.

Gordon J. Pace, Gerardo Schneider

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Relaxing Goodness Is Still Good.

Gordon J. Pace, Gerardo Schneider

Proceedings of the Theoretical Aspects of Computing, 2008

Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.

Christian Colombo, Gordon J. Pace, Gerardo Schneider

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Model Checking Contracts - A Case Study.

Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.

Gordon J. Pace, Gerardo Schneider

Proceedings of the Theoretical Aspects of Computing, 2006

Static Analysis for State-Space Reduction of Polygonal Hybrid Systems.

Gordon J. Pace, Gerardo Schneider

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2004

Counter-example generation in symbolic abstract model-checking.

Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond

Int. J. Softw. Tools Technol. Transf., 2004

Model Checking Polygonal Differential Inclusions Using Invariance Kernels.

Gordon J. Pace, Gerardo Schneider

Proceedings of the Verification, 2004

2003

Calculating-Confluence Compositionally.

Gordon J. Pace, Frédéric Lang, Radu Mateescu

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

An embedded language approach to teaching hardware compilation.

Koen Claessen, Gordon J. Pace

ACM SIGPLAN Notices, 2002

SPeeDI - A Verification Tool for Polygonal Hybrid Systems.

Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2000

The Semantics of Verilog Using Transition System Combinators.

Gordon J. Pace

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000