researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

gordonpace

Statistics

Publications: 13
Edited: 0
Credit: 78

Aliases

G. Pace
Pace, G. J.
Gordon Pace
Pace, G.
Gordon J. Pace
Pace, Gordon J.
Pace, Gordon
Pace
G. J. Pace

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Gordon J. Pace's Profile

Publications

Unidentified Publications

Publications with a 'Gordon J. Pace' as author, editor, or advisor:

Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. ProceedingsHoward Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Volume 6418 of Lecture Notes in Computer Science, Springer, 2010. [doi]
Permissions in Contracts, a Logical InsightGordon J. Pace, Fernando Schapachnik. jurix 2011: 140-144 [doi]
StaRVOOrS: A Tool for Combined Static and Runtime Verification of JavaJesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider. RV 2015: 297-305 [doi]
Automatic Grammar Rule Extraction and Ranking for DefinitionsClaudia Borg, Mike Rosner, Gordon J. Pace. lrec 2010: [doi]
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing ChallengesChristian Colombo, Gordon J. Pace. In Ezio Bartocci, Yliès Falcone, editors, Lectures on Runtime Verification - Introductory and Advanced Topics. Volume 10457 of Lecture Notes in Computer Science, pages 211-232, Springer, 2018. [doi]
Guest Editors ForewordGordon J. Pace, Gerardo Schneider. jlp, 80(1):1-2, 2011. [doi]
Interest Beyond Violation: On Points-of-Interest in Runtime VerificationChristian Colombo 0001, Gordon J. Pace, Gerardo Schneider. ISoLA 2025: 66-78 [doi]
Guest Editors ForewordGordon J. Pace, Gerardo Schneider. jlp, 80(3-5):137-138, 2011. [doi]
Verification of Smart Contract Business Logic - Exploiting a Java Source Code VerifierWolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider. fsen 2019: 228-243 [doi]
Compliance Checking in the Open Payments EcosystemShaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella. SEFM 2016: 337-343 [doi]
Automatic Conflict Detection on ContractsStephen Fenech, Gordon J. Pace, Gerardo Schneider. ictac 2009: 200-214 [doi]
Combining Testing and Runtime Verification TechniquesKevin Falzon, Gordon J. Pace. MOMPES 2013: 38-57 [doi]
An embedded language approach to teaching hardware compilationKoen Claessen, Gordon J. Pace. SIGPLAN, 37(12):35-46, 2002. [doi]
Recovery within long-running transactionsChristian Colombo, Gordon J. Pace. ACM Comput. Surv., 45(3):28, 2013. [doi]
AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of ThingsJoshua Ellul, Gordon J. Pace. ntms 2018: 1-4 [doi]
Model-Based Static and Runtime Verification for Ethereum Smart ContractsShaun Azzopardi, Christian Colombo, Gordon J. Pace. modelsward 2021: 323-348 [doi]
Safer asynchronous runtime monitoring using compensationsChristian Colombo, Gordon J. Pace, Patrick Abela. fmsd, 41(3):269-294, 2012. [doi]
Themulus: A Timed Contract-calculusAlberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace. modelsward 2020: 193-204 [doi]
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring BoundariesChristian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace. SEFM 2012: 218-232 [doi]
An Embedded DSL Framework for Distributed Embedded Systems: Doctoral SymposiumAdrian Mizzi, Joshua Ellul, Gordon J. Pace. debs 2017: 374-377 [doi]
An Automata-Based Approach to Evolving Privacy Policies for Social NetworksRaúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider. RV 2016: 285-301 [doi]
Macroprogramming the Blockchain of ThingsAdrian Mizzi, Joshua Ellul, Gordon J. Pace. ithings 2018: 1673-1678 [doi]
Runtime Monitoring Processes Across BlockchainsShaun Azzopardi, Joshua Ellul, Gordon J. Pace. fsen 2021: 142-156 [doi]
Porthos: Macroprogramming Blockchain SystemsAdrian Mizzi, Joshua Ellul, Gordon J. Pace. ntms 2019: 1-5 [doi]
Reliable Smart ContractsGordon J. Pace, César Sánchez, Gerardo Schneider. ISoLA 2020: 3-8 [doi]
Explaining Violation Traces with Finite State Natural Language Generation ModelsGordon J. Pace, Michael Rosner. cnl 2014: 179-189 [doi]
Runtime Verification using LARVAChristian Colombo, Gordon J. Pace. RV 2017: 55-63 [doi]
Mathematics of Discrete Structures for Computer ScienceGordon J. Pace. Springer, 2012. [doi]
A Specification Language for Static and Runtime Verification of Data and Control PropertiesWolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider. FM 2015: 108-125 [doi]
Bottling Up Trust: A Review of Blockchain Adoption in Wine Supply Chain TraceabilityGowher Majeed Parry, Ioannis Revolidis, Joshua Ellul, Gordon J. Pace. access, 12:178320-178344, 2024. [doi]
A Controlled Natural Language for Financial Services Compliance CheckingShaun Azzopardi, Christian Colombo, Gordon J. Pace. cnl 2018: 11-20 [doi]
Engineering Adaptive User Interfaces Using Monitoring-Oriented ProgrammingAaron John Buhagiar, Gordon J. Pace, Jean-Paul Ebejer. qrs 2017: 200-207 [doi]
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime VerificationShaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace. RV 2022: 243-252 [doi]
Synthesising implicit contractsGordon J. Pace, Fernando Schapachnik. icail 2013: 217-221 [doi]
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. fmsd, 55(1):72, 2019. [doi]
Controlled Natural Language in a Game for Legal AssistanceJohn J. Camilleri, Gordon J. Pace, Michael Rosner. cnl 2012: 137-153 [doi]
Compensation-Aware Runtime MonitoringChristian Colombo, Gordon J. Pace, Patrick Abela. RV 2010: 214-228 [doi]
A Calculus Supporting Contract Reasoning and MonitoringMaría-Emilia Cambronero, Luis Llana, Gordon J. Pace. access, 5:6735-6745, 2017. [doi]
A General Theory of Contract Conflicts with Environmental ConstraintsGordon J. Pace. jurix 2020: 83-92 [doi]
On the Specification and Monitoring of Timed Normative SystemsShaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider. RV 2021: 81-99 [doi]
Towards A Unified Programming Model for Blockchain Smart Contract dApp SystemsJoshua Ellul, Gordon J. Pace. srds 2019: 55-56 [doi]
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. fmsd, 54(3):279-335, 2019. [doi]
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual PropertiesChristian Colombo, Gordon J. Pace, Gerardo Schneider. fmics 2009: 135-149 [doi]
StaRVOOrS - Episode II - Strengthen and Distribute the ForceWolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider. ISoLA 2016: 402-415 [doi]
Considering Academia-Industry Projects Meta-characteristics in Runtime Verification DesignChristian Colombo, Gordon J. Pace. ISoLA 2018: 32-41 [doi]
Monitoring Smart Contracts: ContractLarva and Open Challenges BeyondShaun Azzopardi, Joshua Ellul, Gordon J. Pace. RV 2018: 113-137 [doi]
Runtime Verification of Ethereum Smart ContractsJoshua Ellul, Gordon J. Pace. edcc 2018: 158-163 [doi]
Conditional Permissions in ContractsGordon J. Pace, Fernando Schapachnik, Gerardo Schneider. jurix 2015: 61-70 [doi]
D'Artagnan: An Embedded DSL Framework for Distributed Embedded SystemsAdrian Mizzi, Joshua Ellul, Gordon J. Pace. CGO 2018: [doi]
Runtime Verification for Stream Processing ApplicationsChristian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami. ISoLA 2016: 400-406 [doi]
A Controlled Language for the Specification of ContractsGordon J. Pace, Michael Rosner. cnl 2009: [doi]
Contract automata - An operational view of contracts between interactive partiesShaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider. ail, 24(3):203-243, 2016. [doi]
Using testing techniques to classify user interface designsAbigail Cauchi, Gordon J. Pace. EICS 2016: 159-164 [doi]
Runtime Verification using VALOURShaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace. RV 2017: 10-18 [doi]
CLAN: A Tool for Contract Analysis and Conflict DiscoveryStephen Fenech, Gordon J. Pace, Gerardo Schneider. ATVA 2009: 90-96 [doi]
Migrating Monitors + ABE: A Suitable Combination for Secure IoT?Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider. ISoLA 2018: 19-24 [doi]
Conflict Analysis for Timed Contract AutomataShaun Azzopardi, Gordon J. Pace. jurix 2024: 250-255 [doi]
Reasoning About Partial ContractsShaun Azzopardi, Albert Gatt, Gordon J. Pace. jurix 2016: 23-32 [doi]
A Model-Based Approach to Combining Static and Dynamic Verification TechniquesShaun Azzopardi, Christian Colombo, Gordon J. Pace. ISoLA 2016: 416-430 [doi]
A Technique for Automata-based Verification with Residual ReasoningShaun Azzopardi, Christian Colombo, Gordon J. Pace. modelsward 2020: 237-248 [doi]
Regulating artificial intelligence: a technology regulator's perspectiveJoshua Ellul, Gordon J. Pace, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri. icail 2021: 190-194 [doi]
Runtime Verification of Contracts with ThemulusAlberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace. SEFM 2020: 231-246 [doi]
Smart Contracts: A Killer Application for Deductive Source Code VerificationWolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider. BIRTHDAY 2018: 1-18 [doi]
Types of Rights in Two-Party Systems: A Formal AnalysisGordon J. Pace, Fernando Schapachnik. jurix 2012: 105-114 [doi]
A Unified Approach for Static and Runtime Verification: Framework and ApplicationsWolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider. ISoLA 2012: 312-326 [doi]
Verifiable External Blockchain Calls: Towards Removing Oracle Input IntermediariesJoshua Ellul, Gordon J. Pace. esorics 2023: 317-324 [doi]
Optional monitoring for long-lived transactionsJoshua Ellul, Gordon J. Pace. ISSTA 2021: 35-39 [doi]
Monitor-Oriented Compensation Programming Through Compensating AutomataChristian Colombo, Gordon J. Pace. eceasst, 58, 2013. [doi]
Thesaurus Project: Design of New Autonomous Underwater Vehicles for Documentation and Protection of Underwater Archaeological SitesBenedetto Allotta, S. Bargagliotti, L. Botarelli, Andrea Caiti, Vincenzo Calabro, G. Casa, M. Cocco, Sara Colantonio, Carlo Colombo, S. Costa, Marco Fanfani, L. Franchi, P. Gambogi, L. Gualdesi, D. La Monica, Massimo Magrini, Massimo Martinelli, Davide Moroni, Andrea Munafò, Gordon J. Pace, C. Papa, M. A. Pascali, Gabriele Pieri, M. Reggiannini, M. Righi, Ovidio Salvetti, Marco Tampucci. euromed 2012: 486-493 [doi]
Contract Automata with ReparationsShaun Azzopardi, Gordon J. Pace, Fernando Schapachnik. jurix 2014: 49-54 [doi]
Using gherkin to extract tests and monitors for safer medical device interaction designAbigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace. EICS 2016: 275-280 [doi]
Contracts over Smart Contracts: Recovering from Violations DynamicallyChristian Colombo, Joshua Ellul, Gordon J. Pace. ISoLA 2018: 300-315 [doi]
On Observing Contracts: Deontic Contracts Meet Smart ContractsShaun Azzopardi, Gordon J. Pace, Fernando Schapachnik. jurix 2018: 21-30 [doi]
Tainting in Smart Contracts: Combining Static and Runtime VerificationShaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace. RV 2022: 143-161 [doi]
On the Specification of Full ContractsStephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider. ENTCS, 253(1):39-55, 2009. [doi]
A Controlled Natural Language for Tax Fraud DetectionAaron Calafato, Christian Colombo, Gordon J. Pace. cnl 2016: 1-12 [doi]
Selective Presumed Benevolence in Multi-party System VerificationWolfgang Ahrendt, Gordon J. Pace. ISoLA 2022: 106-123 [doi]
SMock - A Test Platform for Monitoring ToolsChristian Colombo, Ruth Mizzi, Gordon J. Pace. RV 2013: 352-357 [doi]
Runtime Verification - A Hands-On Approach in JavaChristian Colombo 0001, Gordon J. Pace. Springer, 2022. [doi]
A Controlled Language for the Specification of ContractsGordon J. Pace, Michael Rosner. cnl 2010: 226-245 [doi]
Fast-Forward Runtime Monitoring - An Industrial Case StudyChristian Colombo, Gordon J. Pace. RV 2013: 214-228 [doi]
On the Runtime Enforcement of Evolving Privacy Policies in Online Social NetworksGordon J. Pace, Raúl Pardo, Gerardo Schneider. ISoLA 2016: 407-412 [doi]
Timed Contract Compliance Under Event Timing UncertaintyMaría-Emilia Cambronero, Luis Llana, Gordon J. Pace. jurix 2017: 33-38 [doi]
Distributed system contract monitoringAdrian Francalanza, Andrew Gauci, Gordon J. Pace. jlp, 82(5-7):186-215, 2013. [doi]
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)Christian Colombo, Gordon J. Pace, Gerardo Schneider. SEFM 2009: 33-37 [doi]
A Framework for the Generation of Computer System Diagnostics in Natural Language using Finite State MethodsRachel Farrell, Gordon J. Pace, Mike Rosner. enlg 2015: 52-56 [doi]
CLARVA: Model-based Residual Verification of Java ProgramsShaun Azzopardi, Christian Colombo, Gordon J. Pace. modelsward 2020: 352-359 [doi]
Runtime Verification and AI: Addressing Pragmatic Regulatory ChallengesChristian Colombo 0001, Gordon J. Pace, Dylan Seychell. aisola 2025: 225-241 [doi]
A Controlled Natural Language for Business Intelligence MonitoringChristian Colombo, Jean-Paul Grech, Gordon J. Pace. nldb 2015: 300-306 [doi]
An Automata-Based Formalism for Normative Documents with Real-TimeStefan Chircop, Gordon J. Pace, Gerardo Schneider. jurix 2022: 158-163 [doi]
Safe Runtime Verification of Real-Time PropertiesChristian Colombo, Gordon J. Pace, Gerardo Schneider. formats 2009: 103-117 [doi]
Runtime Verification: Passing on the BatonChristian Colombo 0001, Gordon J. Pace, Gerardo Schneider. BIRTHDAY 2021: 89-107 [doi]
LarvaStat: Monitoring of Statistical PropertiesChristian Colombo, Andrew Gauci, Gordon J. Pace. RV 2010: 480-484 [doi]
Verifying data- and control-oriented properties combining static and runtime verification: theory and toolsWolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider. fmsd, 51(1):200-265, 2017. [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL