Gordon J. Pace

ORCID

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 63

Top Venues

JURIX

CoRR

ISoLA (4)

Publications

Joshua Ellul, Gordon J. Pace
Active External Calls for Blockchain and Distributed Ledger Technologies: Debunking cited inability of Blockchain and DLT to make external calls. CoRR (2023)
Stefan Chircop, Gordon J. Pace, Gerardo Schneider
An Automata-Based Formalism for Normative Documents with Real-Time. JURIX (2022)
Wolfgang Ahrendt, Gordon J. Pace
Selective Presumed Benevolence in Multi-party System Verification. ISoLA (1) (2022)
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Tainting in Smart Contracts: Combining Static and Runtime Verification. RV (2022)
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. RV (2022)
Joshua Ellul, Gordon J. Pace
Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries. DPM/CBT@ESORICS (2022)
Shaun Azzopardi, Joshua Ellul, Gordon J. Pace
Runtime Monitoring Processes Across Blockchains. FSEN (2021)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
On the Specification and Monitoring of Timed Normative Systems. RV (2021)
Joshua Ellul, Gordon J. Pace
Optional monitoring for long-lived transactions. VORTEX@ISSTA (2021)
Christian Colombo, Gordon J. Pace, Gerardo Schneider
Runtime Verification: Passing on the Baton. Formal Methods in Outer Space (2021)
Joshua Ellul, Gordon J. Pace
Towards External Calls for Blockchain and Distributed Ledger Technology. CoRR (2021)
Joshua Ellul, Gordon J. Pace, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri
Regulating artificial intelligence: a technology regulator's perspective. ICAIL (2021)
Joshua Ellul, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri, Gordon J. Pace
A Pragmatic Approach to Regulating Artificial Intelligence: A Technology Regulator's Perspective. CoRR (2021)
Gordon J. Pace
A General Theory of Contract Conflicts with Environmental Constraints. JURIX (2020)
Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
Runtime Verification of Contracts with Themulus. SEFM (2020)
Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
Themulus: A Timed Contract-calculus. MODELSWARD (2020)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
CLARVA: Model-based Residual Verification of Java Programs. MODELSWARD (2020)
Gordon J. Pace, César Sánchez, Gerardo Schneider
Reliable Smart Contracts. ISoLA (3) (2020)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
Model-Based Static and Runtime Verification for Ethereum Smart Contracts. MODELSWARD (Revised Selected Papers) (2020)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A Technique for Automata-based Verification with Residual Reasoning. MODELSWARD (2020)
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
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54 (3) (2019)
Joshua Ellul, Gordon J. Pace
Blockchain and the Common Good Reimagined. CoRR (2019)
Joshua Ellul, Gordon J. Pace
Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems. SRDS Workshops (2019)
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. FSEN (2019)
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
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55 (1) (2019)
Adrian Mizzi, Joshua Ellul, Gordon J. Pace
Porthos: Macroprogramming Blockchain Systems. NTMS (2019)
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
Smart Contracts: A Killer Application for Deductive Source Code Verification. Principled Software Development (2018)
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
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR (2018)
Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider
Migrating Monitors + ABE: A Suitable Combination for Secure IoT? ISoLA (4) (2018)
Joshua Ellul, Gordon J. Pace
AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things. NTMS (2018)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A Controlled Natural Language for Financial Services Compliance Checking. CNL (2018)
Christian Colombo, Joshua Ellul, Gordon J. Pace
Contracts over Smart Contracts: Recovering from Violations Dynamically. ISoLA (4) (2018)
Shaun Azzopardi, Joshua Ellul, Gordon J. Pace
Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. RV (2018)
Adrian Mizzi, Joshua Ellul, Gordon J. Pace
D'Artagnan: An Embedded DSL Framework for Distributed Embedded Systems. RWDSL@CGO (2018)
Adrian Mizzi, Joshua Ellul, Gordon J. Pace
Macroprogramming the Blockchain of Things. iThings/GreenCom/CPSCom/SmartData (2018)
Christian Colombo, Gordon J. Pace
Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. ISoLA (4) (2018)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik
On Observing Contracts: Deontic Contracts Meet Smart Contracts. JURIX (2018)
Joshua Ellul, Gordon J. Pace
Runtime Verification of Ethereum Smart Contracts. EDCC (2018)
Christian Colombo, Gordon J. Pace
Runtime Verification using LARVA. RV-CuBES (2017)
Aaron John Buhagiar, Gordon J. Pace, Jean-Paul Ebejer
Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming. QRS (2017)
Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace
Runtime Verification using VALOUR. RV-CuBES (2017)
Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Formal Methods Syst. Des. 51 (1) (2017)
María-Emilia Cambronero, Luis Llana, Gordon J. Pace
A Calculus Supporting Contract Reasoning and Monitoring. IEEE Access 5 (2017)
Adrian Mizzi, Joshua Ellul, Gordon J. Pace
An Embedded DSL Framework for Distributed Embedded Systems: Doctoral Symposium. DEBS (2017)
María-Emilia Cambronero, Luis Llana, Gordon J. Pace
Timed Contract Compliance Under Event Timing Uncertainty. JURIX (2017)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
Control-Flow Residual Analysis for Symbolic Automata. PrePost@iFM (2017)
Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace
Using gherkin to extract tests and monitors for safer medical device interaction design. EICS (2016)
Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider
An Automata-Based Approach to Evolving Privacy Policies for Social Networks. RV (2016)
Abigail Cauchi, Gordon J. Pace
Using testing techniques to classify user interface designs. EICS (2016)
Luke Chircop, Christian Colombo, Gordon J. Pace
Device-Centric Monitoring for Mobile Device Management. FESCA@ETAPS (2016)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Contract automata - An operational view of contracts between interactive parties. Artif. Intell. Law 24 (3) (2016)
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
StaRVOOrS - Episode II - Strengthen and Distribute the Force. ISoLA (1) (2016)
Christian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami
Runtime Verification for Stream Processing Applications. ISoLA (2) (2016)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
Compliance Checking in the Open Payments Ecosystem. SEFM (2016)
Aaron Calafato, Christian Colombo, Gordon J. Pace
A Controlled Natural Language for Tax Fraud Detection. CNL (2016)
Shaun Azzopardi, Albert Gatt, Gordon J. Pace
Reasoning About Partial Contracts. JURIX (2016)
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A Model-Based Approach to Combining Static and Dynamic Verification Techniques. ISoLA (1) (2016)
Gordon J. Pace, Raúl Pardo, Gerardo Schneider
On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. ISoLA (2) (2016)
Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. RV (2015)
Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
A Specification Language for Static and Runtime Verification of Data and Control Properties. FM (2015)
Christian Colombo, Jean-Paul Grech, Gordon J. Pace
A Controlled Natural Language for Business Intelligence Monitoring. NLDB (2015)
Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Conditional Permissions in Contracts. JURIX (2015)
Rachel Farrell, Gordon J. Pace, Mike Rosner
A Framework for the Generation of Computer System Diagnostics in Natural Language using Finite State Methods. ENLG (2015)
Gordon J. Pace, Michael Rosner
Explaining Violation Traces with Finite State Natural Language Generation Models. CNL (2014)
Christian Colombo, Gordon J. Pace
Comprehensive Monitor-Oriented Compensation Programming. FESCA (2014)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik
Contract Automata with Reparations. JURIX (2014)
Gordon J. Pace, Michael Rosner
Explaining Violation Traces with Finite State Natural Language Generation Models. CoRR (2014)
Christian Colombo, Ruth Mizzi, Gordon J. Pace
SMock - A Test Platform for Monitoring Tools. RV (2013)
Christian Colombo, Gordon J. Pace
Recovery within long-running transactions. ACM Comput. Surv. 45 (3) (2013)
Adrian Francalanza, Andrew Gauci, Gordon J. Pace
Distributed system contract monitoring. J. Log. Algebraic Methods Program. 82 (5-7) (2013)
Gordon J. Pace, Fernando Schapachnik
Synthesising implicit contracts. ICAIL (2013)
Christian Colombo, Gordon J. Pace
Monitor-Oriented Compensation Programming Through Compensating Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
Extensible Technology-Agnostic Runtime Verification FESCA (2013)
Christian Colombo, Gordon J. Pace, Patrick Abela
Safer asynchronous runtime monitoring using compensations. Formal Methods Syst. Des. 41 (3) (2012)
Kevin Falzon, Gordon J. Pace
Combining Testing and Runtime Verification Techniques. MOMPES (2012)
Christian Colombo, Gordon J. Pace
Fast-Forward Runtime Monitoring - An Industrial Case Study. RV (2012)
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
A Unified Approach for Static and Runtime Verification: Framework and Applications. ISoLA (1) (2012)
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
Thesaurus Project: Design of New Autonomous Underwater Vehicles for Documentation and Protection of Underwater Archaeological Sites. EuroMed (2012)
Gordon J. Pace, Fernando Schapachnik
Types of Rights in Two-Party Systems: A Formal Analysis. JURIX (2012)
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM (2012)
Gordon J. Pace, Fernando Schapachnik
Contracts for Interacting Two-Party Systems FLACOS (2012)
Adrian Francalanza, Andrew Gauci, Gordon J. Pace
Distributed System Contract Monitoring FLACOS (2011)
Gordon J. Pace, Gerardo Schneider
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 80 (1) (2011)
Gordon J. Pace, Fernando Schapachnik
Permissions in Contracts, a Logical Insight. JURIX (2011)
Gordon J. Pace, Gerardo Schneider
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 80 (3-5) (2011)
John J. Camilleri, Gordon J. Pace, Michael Rosner
Controlled Natural Language in a Game for Legal Assistance. CNL (2010)
Claudia Borg, Mike Rosner, Gordon J. Pace
Automatic Grammar Rule Extraction and Ranking for Definitions. LREC (2010)
Christian Colombo, Andrew Gauci, Gordon J. Pace
LarvaStat: Monitoring of Statistical Properties. RV (2010)
Christian Colombo, Gordon J. Pace, Patrick Abela
Compensation-Aware Runtime Monitoring. RV (2010)
Gordon J. Pace, Michael Rosner
A Controlled Language for the Specification of Contracts. CNL (Pre-Proceedings) (2009)
Gordon J. Pace, Gerardo Schneider
Challenges in the Specification of Full Contracts. IFM (2009)
Christian Colombo, Gordon J. Pace, Gerardo Schneider
Safe Runtime Verification of Real-Time Properties. FORMATS (2009)
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
Automatic Conflict Detection on Contracts. ICTAC (2009)
Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider
On the Specification of Full Contracts. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
CLAN: A Tool for Contract Analysis and Conflict Discovery. ATVA (2009)
Christian Colombo, Gordon J. Pace, Gerardo Schneider
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). SEFM (2009)
Gordon J. Pace, Michael Rosner
A Controlled Language for the Specification of Contracts. CNL (2009)
Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Theor. Comput. Sci. 390 (1) (2008)
Gordon J. Pace, Gerardo Schneider
Relaxing Goodness Is Still Good. ICTAC (2008)
Christian Colombo, Gordon J. Pace, Gerardo Schneider
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS (2008)

Gordon J. Pace.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gordon J. Pace