Gordon J. Pace

123 papers A* 2A 1B 22C 21Misc 3Journal 23Unranked 45

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Formal Semantics and Implementation of Ethereum Smart Contracts for Blockchain-Based Supply Chain Attestation Flows: A Viticulture Case Study. IEEE Access Joshua Ellul, Gordon J. Pace, Ryan Falzon, Matthew Scerri
2024	J	`jnl`	Bottling Up Trust: A Review of Blockchain Adoption in Wine Supply Chain Traceability. IEEE Access Gowher Majeed Parry, Ioannis Revolidis, Joshua Ellul, Gordon J. Pace
2024	C	`conf`	Conflict Analysis for Timed Contract Automata. JURIX Shaun Azzopardi, Gordon J. Pace
2024	—	`conf`	Interest Beyond Violation: On Points-of-Interest in Runtime Verification. ISoLA (3) Christian Colombo, Gordon J. Pace, Gerardo Schneider
2024	—	`conf`	Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges. AISoLA Christian Colombo, Gordon J. Pace, Dylan Seychell
2024	J	`jnl`	Sound Conflict Analysis for Timed Contract Automata. CoRR Shaun Azzopardi, Gordon J. Pace
2023	J	`jnl`	Active External Calls for Blockchain and Distributed Ledger Technologies: Debunking cited inability of Blockchain and DLT to make external calls. CoRR Joshua Ellul, Gordon J. Pace
2022	C	`conf`	An Automata-Based Formalism for Normative Documents with Real-Time. JURIX Stefan Chircop, Gordon J. Pace, Gerardo Schneider
2022	B	`conf`	AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. RV Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
2022	—	`book`	Runtime Verification - A Hands-On Approach in Java Christian Colombo, Gordon J. Pace
2022	—	`conf`	Selective Presumed Benevolence in Multi-party System Verification. ISoLA (1) Wolfgang Ahrendt, Gordon J. Pace
2022	B	`conf`	Tainting in Smart Contracts: Combining Static and Runtime Verification. RV Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
2022	—	`conf`	Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries. DPM/CBT@ESORICS Joshua Ellul, Gordon J. Pace
2021	J	`jnl`	A Pragmatic Approach to Regulating Artificial Intelligence: A Technology Regulator's Perspective. CoRR Joshua Ellul, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri, Gordon J. Pace
2021	B	`conf`	On the Specification and Monitoring of Timed Normative Systems. RV Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
2021	—	`conf`	Optional monitoring for long-lived transactions. VORTEX@ISSTA Joshua Ellul, Gordon J. Pace
2021	C	`conf`	Regulating artificial intelligence: a technology regulator's perspective. ICAIL Joshua Ellul, Gordon J. Pace, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri
2021	—	`conf`	Runtime Monitoring Processes Across Blockchains. FSEN Shaun Azzopardi, Joshua Ellul, Gordon J. Pace
2021	—	`conf`	Runtime Verification: Passing on the Baton. Formal Methods in Outer Space Christian Colombo, Gordon J. Pace, Gerardo Schneider
2021	J	`jnl`	Towards External Calls for Blockchain and Distributed Ledger Technology. CoRR Joshua Ellul, Gordon J. Pace
2020	C	`conf`	A General Theory of Contract Conflicts with Environmental Constraints. JURIX Gordon J. Pace
2020	C	`conf`	A Technique for Automata-based Verification with Residual Reasoning. MODELSWARD Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2020	C	`conf`	CLARVA: Model-based Residual Verification of Java Programs. MODELSWARD Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2020	—	`conf`	Model-Based Static and Runtime Verification for Ethereum Smart Contracts. MODELSWARD (Revised Selected Papers) Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2020	—	`conf`	Reliable Smart Contracts. ISoLA (3) Gordon J. Pace, César Sánchez, Gerardo Schneider
2020	B	`conf`	Runtime Verification of Contracts with Themulus. SEFM Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
2020	C	`conf`	Themulus: A Timed Contract-calculus. MODELSWARD Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
2019	J	`jnl`	A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 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
2019	J	`jnl`	Blockchain and the Common Good Reimagined. CoRR Joshua Ellul, Gordon J. Pace
2019	J	`jnl`	Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 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
2019	—	`conf`	Porthos: Macroprogramming Blockchain Systems. NTMS Adrian Mizzi, Joshua Ellul, Gordon J. Pace
2019	—	`conf`	Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems. SRDS Workshops Joshua Ellul, Gordon J. Pace
2019	—	`conf`	Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. FSEN Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
2018	—	`conf`	A Controlled Natural Language for Financial Services Compliance Checking. CNL Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2018	J	`jnl`	A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR 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
2018	—	`conf`	AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things. NTMS Joshua Ellul, Gordon J. Pace
2018	—	`conf`	Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. ISoLA (4) Christian Colombo, Gordon J. Pace
2018	—	`conf`	Contracts over Smart Contracts: Recovering from Violations Dynamically. ISoLA (4) Christian Colombo, Joshua Ellul, Gordon J. Pace
2018	—	`conf`	D'Artagnan: An Embedded DSL Framework for Distributed Embedded Systems. RWDSL@CGO Adrian Mizzi, Joshua Ellul, Gordon J. Pace
2018	—	`ch.`	Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. Lectures on Runtime Verification Christian Colombo, Gordon J. Pace
2018	—	`conf`	Macroprogramming the Blockchain of Things. iThings/GreenCom/CPSCom/SmartData Adrian Mizzi, Joshua Ellul, Gordon J. Pace
2018	—	`conf`	Migrating Monitors + ABE: A Suitable Combination for Secure IoT? ISoLA (4) Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider
2018	B	`conf`	Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. RV Shaun Azzopardi, Joshua Ellul, Gordon J. Pace
2018	C	`conf`	On Observing Contracts: Deontic Contracts Meet Smart Contracts. JURIX Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik
2018	Misc	`conf`	Runtime Verification of Ethereum Smart Contracts. EDCC Joshua Ellul, Gordon J. Pace
2018	—	`conf`	Smart Contracts: A Killer Application for Deductive Source Code Verification. Principled Software Development Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2017	J	`jnl`	A Calculus Supporting Contract Reasoning and Monitoring. IEEE Access María-Emilia Cambronero, Luis Llana, Gordon J. Pace
2017	—	`conf`	An Embedded DSL Framework for Distributed Embedded Systems: Doctoral Symposium. DEBS Adrian Mizzi, Joshua Ellul, Gordon J. Pace
2017	—	`conf`	Control-Flow Residual Analysis for Symbolic Automata. PrePost@iFM Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2017	C	`conf`	Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming. QRS Aaron John Buhagiar, Gordon J. Pace, Jean-Paul Ebejer
2017	—	`ed.`	Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. PrePost@iFM Adrian Francalanza, Gordon J. Pace
2017	—	`conf`	Runtime Verification using LARVA. RV-CuBES Christian Colombo, Gordon J. Pace
2017	—	`conf`	Runtime Verification using VALOUR. RV-CuBES Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace
2017	C	`conf`	Timed Contract Compliance Under Event Timing Uncertainty. JURIX María-Emilia Cambronero, Luis Llana, Gordon J. Pace
2017	J	`jnl`	Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Formal Methods Syst. Des. Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
2016	—	`conf`	A Controlled Natural Language for Tax Fraud Detection. CNL Aaron Calafato, Christian Colombo, Gordon J. Pace
2016	—	`conf`	A Model-Based Approach to Combining Static and Dynamic Verification Techniques. ISoLA (1) Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2016	B	`conf`	An Automata-Based Approach to Evolving Privacy Policies for Social Networks. RV Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider
2016	B	`conf`	Compliance Checking in the Open Payments Ecosystem. SEFM Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
2016	J	`jnl`	Contract automata - An operational view of contracts between interactive parties. Artif. Intell. Law Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
2016	—	`ed.`	Controlled Natural Language - 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings CNL Brian Davis, Gordon J. Pace, Adam Z. Wyner
2016	—	`conf`	Device-Centric Monitoring for Mobile Device Management. FESCA@ETAPS Luke Chircop, Christian Colombo, Gordon J. Pace
2016	—	`conf`	On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. ISoLA (2) Gordon J. Pace, Raúl Pardo, Gerardo Schneider
2016	C	`conf`	Reasoning About Partial Contracts. JURIX Shaun Azzopardi, Albert Gatt, Gordon J. Pace
2016	—	`conf`	Runtime Verification for Stream Processing Applications. ISoLA (2) Christian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami
2016	—	`conf`	StaRVOOrS - Episode II - Strengthen and Distribute the Force. ISoLA (1) Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2016	Misc	`conf`	Using gherkin to extract tests and monitors for safer medical device interaction design. EICS Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace
2016	Misc	`conf`	Using testing techniques to classify user interface designs. EICS Abigail Cauchi, Gordon J. Pace
2015	C	`conf`	A Controlled Natural Language for Business Intelligence Monitoring. NLDB Christian Colombo, Jean-Paul Grech, Gordon J. Pace
2015	—	`conf`	A Framework for the Generation of Computer System Diagnostics in Natural Language using Finite State Methods. ENLG Rachel Farrell, Gordon J. Pace, Mike Rosner
2015	B	`conf`	A Specification Language for Static and Runtime Verification of Data and Control Properties. FM Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
2015	C	`conf`	Conditional Permissions in Contracts. JURIX Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
2015	B	`conf`	StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. RV Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2014	—	`conf`	Comprehensive Monitor-Oriented Compensation Programming. FESCA Christian Colombo, Gordon J. Pace
2014	C	`conf`	Contract Automata with Reparations. JURIX Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik
2014	—	`conf`	Explaining Violation Traces with Finite State Natural Language Generation Models. CNL Gordon J. Pace, Michael Rosner
2014	J	`jnl`	Explaining Violation Traces with Finite State Natural Language Generation Models. CoRR Gordon J. Pace, Michael Rosner
2013	J	`jnl`	Distributed system contract monitoring. J. Log. Algebraic Methods Program. Adrian Francalanza, Andrew Gauci, Gordon J. Pace
2013	—	`conf`	Extensible Technology-Agnostic Runtime Verification FESCA Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
2013	J	`jnl`	Monitor-Oriented Compensation Programming Through Compensating Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christian Colombo, Gordon J. Pace
2013	J	`jnl`	Recovery within long-running transactions. ACM Comput. Surv. Christian Colombo, Gordon J. Pace
2013	B	`conf`	SMock - A Test Platform for Monitoring Tools. RV Christian Colombo, Ruth Mizzi, Gordon J. Pace
2013	C	`conf`	Synthesising implicit contracts. ICAIL Gordon J. Pace, Fernando Schapachnik
2012	—	`conf`	A Unified Approach for Static and Runtime Verification: Framework and Applications. ISoLA (1) Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2012	—	`conf`	Combining Testing and Runtime Verification Techniques. MOMPES Kevin Falzon, Gordon J. Pace
2012	—	`conf`	Contracts for Interacting Two-Party Systems FLACOS Gordon J. Pace, Fernando Schapachnik
2012	B	`conf`	Fast-Forward Runtime Monitoring - An Industrial Case Study. RV Christian Colombo, Gordon J. Pace
2012	—	`book`	Mathematics of Discrete Structures for Computer Science. Gordon J. Pace
2012	—	`ed.`	Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012. FLACOS Gordon J. Pace, Anders P. Ravn
2012	J	`jnl`	Safer asynchronous runtime monitoring using compensations. Formal Methods Syst. Des. Christian Colombo, Gordon J. Pace, Patrick Abela
2012	—	`conf`	Thesaurus Project: Design of New Autonomous Underwater Vehicles for Documentation and Protection of Underwater Archaeological Sites. EuroMed 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
2012	C	`conf`	Types of Rights in Two-Party Systems: A Formal Analysis. JURIX Gordon J. Pace, Fernando Schapachnik
2012	B	`conf`	polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
2011	—	`conf`	Distributed System Contract Monitoring FLACOS Adrian Francalanza, Andrew Gauci, Gordon J. Pace
2011	J	`jnl`	Guest Editors' Foreword. J. Log. Algebraic Methods Program. Gordon J. Pace, Gerardo Schneider
2011	J	`jnl`	Guest Editors' Foreword. J. Log. Algebraic Methods Program. Gordon J. Pace, Gerardo Schneider
2011	C	`conf`	Permissions in Contracts, a Logical Insight. JURIX Gordon J. Pace, Fernando Schapachnik
2010	B	`conf`	Automatic Grammar Rule Extraction and Ranking for Definitions. LREC Claudia Borg, Mike Rosner, Gordon J. Pace
2010	B	`conf`	Compensation-Aware Runtime Monitoring. RV Christian Colombo, Gordon J. Pace, Patrick Abela
2010	—	`conf`	Controlled Natural Language in a Game for Legal Assistance. CNL John J. Camilleri, Gordon J. Pace, Michael Rosner
2010	B	`conf`	LarvaStat: Monitoring of Statistical Properties. RV Christian Colombo, Andrew Gauci, Gordon J. Pace
2010	B	`ed.`	Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings RV Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
2009	—	`conf`	A Controlled Language for the Specification of Contracts. CNL Gordon J. Pace, Michael Rosner
2009	—	`conf`	A Controlled Language for the Specification of Contracts. CNL (Pre-Proceedings) Gordon J. Pace, Michael Rosner
2009	C	`conf`	Automatic Conflict Detection on Contracts. ICTAC Stephen Fenech, Gordon J. Pace, Gerardo Schneider
2009	B	`conf`	CLAN: A Tool for Contract Analysis and Conflict Discovery. ATVA Stephen Fenech, Gordon J. Pace, Gerardo Schneider
2009	B	`conf`	Challenges in the Specification of Full Contracts. IFM Gordon J. Pace, Gerardo Schneider
2009	B	`conf`	LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). SEFM Christian Colombo, Gordon J. Pace, Gerardo Schneider
2009	—	`conf`	On the Specification of Full Contracts. FESCA@ETAPS Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider
2009	—	`conf`	Safe Runtime Verification of Real-Time Properties. FORMATS Christian Colombo, Gordon J. Pace, Gerardo Schneider
2008	J	`jnl`	Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Theor. Comput. Sci. Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
2008	A	`conf`	Computation and Visualisation of Phase Portraits for Model Checking SPDIs. TACAS Gordon J. Pace, Gerardo Schneider
2008	C	`conf`	Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS Christian Colombo, Gordon J. Pace, Gerardo Schneider
2008	C	`conf`	Relaxing Goodness Is Still Good. ICTAC Gordon J. Pace, Gerardo Schneider
2007	B	`conf`	Model Checking Contracts - A Case Study. ATVA Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider
2006	C	`conf`	A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. ICTAC Gordon J. Pace, Gerardo Schneider
2006	—	`conf`	Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. FORMATS Gordon J. Pace, Gerardo Schneider
2004	J	`jnl`	Counter-example generation in symbolic abstract model-checking. Int. J. Softw. Tools Technol. Transf. Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond
2004	B	`conf`	Model Checking Polygonal Differential Inclusions Using Invariance Kernels. VMCAI Gordon J. Pace, Gerardo Schneider
2003	A*	`conf`	Calculating-Confluence Compositionally. CAV Gordon J. Pace, Frédéric Lang, Radu Mateescu
2002	J	`jnl`	An embedded language approach to teaching hardware compilation. ACM SIGPLAN Notices Koen Claessen, Gordon J. Pace
2002	A*	`conf`	SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
2000	B	`conf`	The Semantics of Verilog Using Transition System Combinators. FMCAD Gordon J. Pace