default search action
Gordon J. Pace
Person information
- affiliation: University of Malta
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c91]Christian Colombo, Gordon J. Pace, Gerardo Schneider:
Interest Beyond Violation: On Points-of-Interest in Runtime Verification. ISoLA (3) 2024: 66-78 - [i7]Shaun Azzopardi, Gordon J. Pace:
Sound Conflict Analysis for Timed Contract Automata. CoRR abs/2410.12585 (2024) - 2023
- [i6]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 abs/2302.01764 (2023) - 2022
- [b2]Christian Colombo, Gordon J. Pace:
Runtime Verification - A Hands-On Approach in Java. Springer 2022, ISBN 978-3-031-09266-4, pp. 1-190 - [c90]Joshua Ellul, Gordon J. Pace:
Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries. DPM/CBT@ESORICS 2022: 317-324 - [c89]Wolfgang Ahrendt, Gordon J. Pace:
Selective Presumed Benevolence in Multi-party System Verification. ISoLA (1) 2022: 106-123 - [c88]Stefan Chircop, Gordon J. Pace, Gerardo Schneider:
An Automata-Based Formalism for Normative Documents with Real-Time. JURIX 2022: 158-163 - [c87]Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace:
Tainting in Smart Contracts: Combining Static and Runtime Verification. RV 2022: 143-161 - [c86]Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace:
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. RV 2022: 243-252 - 2021
- [c85]Christian Colombo, Gordon J. Pace, Gerardo Schneider:
Runtime Verification: Passing on the Baton. Formal Methods in Outer Space 2021: 89-107 - [c84]Shaun Azzopardi, Joshua Ellul, Gordon J. Pace:
Runtime Monitoring Processes Across Blockchains. FSEN 2021: 142-156 - [c83]Joshua Ellul, Gordon J. Pace, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri:
Regulating artificial intelligence: a technology regulator's perspective. ICAIL 2021: 190-194 - [c82]Joshua Ellul, Gordon J. Pace:
Optional monitoring for long-lived transactions. VORTEX@ISSTA 2021: 35-39 - [c81]Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider:
On the Specification and Monitoring of Timed Normative Systems. RV 2021: 81-99 - [i5]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 abs/2105.06267 (2021) - [i4]Joshua Ellul, Gordon J. Pace:
Towards External Calls for Blockchain and Distributed Ledger Technology. CoRR abs/2105.10399 (2021) - 2020
- [c80]Gordon J. Pace, César Sánchez, Gerardo Schneider:
Reliable Smart Contracts. ISoLA (3) 2020: 3-8 - [c79]Gordon J. Pace:
A General Theory of Contract Conflicts with Environmental Constraints. JURIX 2020: 83-92 - [c78]Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace:
Themulus: A Timed Contract-calculus. MODELSWARD 2020: 193-204 - [c77]Shaun Azzopardi, Christian Colombo, Gordon J. Pace:
A Technique for Automata-based Verification with Residual Reasoning. MODELSWARD 2020: 237-248 - [c76]Shaun Azzopardi, Christian Colombo, Gordon J. Pace:
Model-Based Static and Runtime Verification for Ethereum Smart Contracts. MODELSWARD (Revised Selected Papers) 2020: 323-348 - [c75]Shaun Azzopardi, Christian Colombo, Gordon J. Pace:
CLARVA: Model-based Residual Verification of Java Programs. MODELSWARD 2020: 352-359 - [c74]Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace:
Runtime Verification of Contracts with Themulus. SEFM 2020: 231-246
2010 – 2019
- 2019
- [j14]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): 279-335 (2019) - [j13]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): 72 (2019) - [c73]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: 228-243 - [c72]Adrian Mizzi, Joshua Ellul, Gordon J. Pace:
Porthos: Macroprogramming Blockchain Systems. NTMS 2019: 1-5 - [c71]Joshua Ellul, Gordon J. Pace:
Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems. SRDS Workshops 2019: 55-56 - [i3]Joshua Ellul, Gordon J. Pace:
Blockchain and the Common Good Reimagined. CoRR abs/1910.14415 (2019) - 2018
- [c70]Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider:
Smart Contracts: A Killer Application for Deductive Source Code Verification. Principled Software Development 2018: 1-18 - [c69]Adrian Mizzi, Joshua Ellul, Gordon J. Pace:
D'Artagnan: An Embedded DSL Framework for Distributed Embedded Systems. RWDSL@CGO 2018: 2:1-2:9 - [c68]Shaun Azzopardi, Christian Colombo, Gordon J. Pace:
A Controlled Natural Language for Financial Services Compliance Checking. CNL 2018: 11-20 - [c67]Joshua Ellul, Gordon J. Pace:
Runtime Verification of Ethereum Smart Contracts. EDCC 2018: 158-163 - [c66]Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider:
Migrating Monitors + ABE: A Suitable Combination for Secure IoT? ISoLA (4) 2018: 19-24 - [c65]Christian Colombo, Gordon J. Pace:
Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. ISoLA (4) 2018: 32-41 - [c64]Christian Colombo, Joshua Ellul, Gordon J. Pace:
Contracts over Smart Contracts: Recovering from Violations Dynamically. ISoLA (4) 2018: 300-315 - [c63]Adrian Mizzi, Joshua Ellul, Gordon J. Pace:
Macroprogramming the Blockchain of Things. iThings/GreenCom/CPSCom/SmartData 2018: 1673-1678 - [c62]Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik:
On Observing Contracts: Deontic Contracts Meet Smart Contracts. JURIX 2018: 21-30 - [c61]Joshua Ellul, Gordon J. Pace:
AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things. NTMS 2018: 1-4 - [c60]Shaun Azzopardi, Joshua Ellul, Gordon J. Pace:
Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. RV 2018: 113-137 - [p1]Christian Colombo, Gordon J. Pace:
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. Lectures on Runtime Verification 2018: 211-232 - [i2]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 abs/1811.06740 (2018) - 2017
- [j12]María-Emilia Cambronero, Luis Llana, Gordon J. Pace:
A Calculus Supporting Contract Reasoning and Monitoring. IEEE Access 5: 6735-6745 (2017) - [j11]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): 200-265 (2017) - [c59]Adrian Mizzi, Joshua Ellul, Gordon J. Pace:
An Embedded DSL Framework for Distributed Embedded Systems: Doctoral Symposium. DEBS 2017: 374-377 - [c58]María-Emilia Cambronero, Luis Llana, Gordon J. Pace:
Timed Contract Compliance Under Event Timing Uncertainty. JURIX 2017: 33-38 - [c57]Aaron John Buhagiar, Gordon J. Pace, Jean-Paul Ebejer:
Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming. QRS 2017: 200-207 - [c56]Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace:
Runtime Verification using VALOUR. RV-CuBES 2017: 10-18 - [c55]Christian Colombo, Gordon J. Pace:
Runtime Verification using LARVA. RV-CuBES 2017: 55-63 - [c54]Shaun Azzopardi, Christian Colombo, Gordon J. Pace:
Control-Flow Residual Analysis for Symbolic Automata. PrePost@iFM 2017: 29-43 - [e4]Adrian Francalanza, Gordon J. Pace:
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. EPTCS 254, 2017 [contents] - 2016
- [j10]Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider:
Contract automata - An operational view of contracts between interactive parties. Artif. Intell. Law 24(3): 203-243 (2016) - [c53]Aaron Calafato, Christian Colombo, Gordon J. Pace:
A Controlled Natural Language for Tax Fraud Detection. CNL 2016: 1-12 - [c52]Abigail Cauchi, Gordon J. Pace:
Using testing techniques to classify user interface designs. EICS 2016: 159-164 - [c51]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: 275-280 - [c50]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: 400-406 - [c49]Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider:
StaRVOOrS - Episode II - Strengthen and Distribute the Force. ISoLA (1) 2016: 402-415 - [c48]Gordon J. Pace, Raúl Pardo, Gerardo Schneider:
On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. ISoLA (2) 2016: 407-412 - [c47]Shaun Azzopardi, Christian Colombo, Gordon J. Pace:
A Model-Based Approach to Combining Static and Dynamic Verification Techniques. ISoLA (1) 2016: 416-430 - [c46]Shaun Azzopardi, Albert Gatt, Gordon J. Pace:
Reasoning About Partial Contracts. JURIX 2016: 23-32 - [c45]Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider:
An Automata-Based Approach to Evolving Privacy Policies for Social Networks. RV 2016: 285-301 - [c44]Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella:
Compliance Checking in the Open Payments Ecosystem. SEFM 2016: 337-343 - [c43]Luke Chircop, Christian Colombo, Gordon J. Pace:
Device-Centric Monitoring for Mobile Device Management. FESCA@ETAPS 2016: 31-44 - [e3]Brian Davis, Gordon J. Pace, Adam Z. Wyner:
Controlled Natural Language - 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings. Lecture Notes in Computer Science 9767, Springer 2016, ISBN 978-3-319-41497-3 [contents] - 2015
- [c42]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: 52-56 - [c41]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: 108-125 - [c40]Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider:
Conditional Permissions in Contracts. JURIX 2015: 61-70 - [c39]Christian Colombo, Jean-Paul Grech, Gordon J. Pace:
A Controlled Natural Language for Business Intelligence Monitoring. NLDB 2015: 300-306 - [c38]Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider:
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. RV 2015: 297-305 - 2014
- [c37]Gordon J. Pace, Michael Rosner:
Explaining Violation Traces with Finite State Natural Language Generation Models. CNL 2014: 179-189 - [c36]Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik:
Contract Automata with Reparations. JURIX 2014: 49-54 - [c35]Christian Colombo, Gordon J. Pace:
Comprehensive Monitor-Oriented Compensation Programming. FESCA 2014: 47-61 - [i1]Gordon J. Pace, Michael Rosner:
Explaining Violation Traces with Finite State Natural Language Generation Models. CoRR abs/1406.2298 (2014) - 2013
- [j9]Christian Colombo, Gordon J. Pace:
Recovery within long-running transactions. ACM Comput. Surv. 45(3): 28:1-28:35 (2013) - [j8]Christian Colombo, Gordon J. Pace:
Monitor-Oriented Compensation Programming Through Compensating Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [j7]Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed system contract monitoring. J. Log. Algebraic Methods Program. 82(5-7): 186-215 (2013) - [c34]Gordon J. Pace, Fernando Schapachnik:
Synthesising implicit contracts. ICAIL 2013: 217-221 - [c33]Christian Colombo, Ruth Mizzi, Gordon J. Pace:
SMock - A Test Platform for Monitoring Tools. RV 2013: 352-357 - [c32]Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
Extensible Technology-Agnostic Runtime Verification. FESCA 2013: 1-15 - 2012
- [b1]Gordon J. Pace:
Mathematics of Discrete Structures for Computer Science. Springer 2012, ISBN 978-3-642-29839-4, pp. I-XVI, 1-293 - [j6]Christian Colombo, Gordon J. Pace, Patrick Abela:
Safer asynchronous runtime monitoring using compensations. Formal Methods Syst. Des. 41(3): 269-294 (2012) - [c31]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: 486-493 - [c30]Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider:
A Unified Approach for Static and Runtime Verification: Framework and Applications. ISoLA (1) 2012: 312-326 - [c29]Gordon J. Pace, Fernando Schapachnik:
Types of Rights in Two-Party Systems: A Formal Analysis. JURIX 2012: 105-114 - [c28]Kevin Falzon, Gordon J. Pace:
Combining Testing and Runtime Verification Techniques. MOMPES 2012: 38-57 - [c27]Christian Colombo, Gordon J. Pace:
Fast-Forward Runtime Monitoring - An Industrial Case Study. RV 2012: 214-228 - [c26]Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM 2012: 218-232 - [c25]Gordon J. Pace, Fernando Schapachnik:
Contracts for Interacting Two-Party Systems. FLACOS 2012: 21-30 - [e2]Gordon J. Pace, Anders P. Ravn:
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012. EPTCS 94, 2012 [contents] - 2011
- [j5]Gordon J. Pace, Gerardo Schneider:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 80(1): 1-2 (2011) - [j4]Gordon J. Pace, Gerardo Schneider:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 80(3-5): 137-138 (2011) - [c24]Gordon J. Pace, Fernando Schapachnik:
Permissions in Contracts, a Logical Insight. JURIX 2011: 140-144 - [c23]Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed System Contract Monitoring. FLACOS 2011: 23-37 - 2010
- [c22]John J. Camilleri, Gordon J. Pace, Michael Rosner:
Controlled Natural Language in a Game for Legal Assistance. CNL 2010: 137-153 - [c21]Claudia Borg, Mike Rosner, Gordon J. Pace:
Automatic Grammar Rule Extraction and Ranking for Definitions. LREC 2010 - [c20]Christian Colombo, Gordon J. Pace, Patrick Abela:
Compensation-Aware Runtime Monitoring. RV 2010: 214-228 - [c19]Christian Colombo, Andrew Gauci, Gordon J. Pace:
LarvaStat: Monitoring of Statistical Properties. RV 2010: 480-484 - [e1]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann:
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2 [contents]
2000 – 2009
- 2009
- [c18]Stephen Fenech, Gordon J. Pace, Gerardo Schneider:
CLAN: A Tool for Contract Analysis and Conflict Discovery. ATVA 2009: 90-96 - [c17]Gordon J. Pace, Michael Rosner:
A Controlled Language for the Specification of Contracts. CNL 2009: 226-245 - [c16]Gordon J. Pace, Michael Rosner:
A Controlled Language for the Specification of Contracts. CNL (Pre-Proceedings) 2009 - [c15]Christian Colombo, Gordon J. Pace, Gerardo Schneider:
Safe Runtime Verification of Real-Time Properties. FORMATS 2009: 103-117 - [c14]Stephen Fenech, Gordon J. Pace, Gerardo Schneider:
Automatic Conflict Detection on Contracts. ICTAC 2009: 200-214 - [c13]Gordon J. Pace, Gerardo Schneider:
Challenges in the Specification of Full Contracts. IFM 2009: 292-306 - [c12]Christian Colombo, Gordon J. Pace, Gerardo Schneider:
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). SEFM 2009: 33-37 - [c11]Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider:
On the Specification of Full Contracts. FESCA@ETAPS 2009: 39-55 - 2008
- [j3]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): 1-26 (2008) - [c10]Christian Colombo, Gordon J. Pace, Gerardo Schneider:
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS 2008: 135-149 - [c9]Gordon J. Pace, Gerardo Schneider:
Relaxing Goodness Is Still Good. ICTAC 2008: 274-289 - [c8]Gordon J. Pace, Gerardo Schneider:
Computation and Visualisation of Phase Portraits for Model Checking SPDIs. TACAS 2008: 341-345 - 2007
- [c7]Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider:
Model Checking Contracts - A Case Study. ATVA 2007: 82-97 - 2006
- [c6]Gordon J. Pace, Gerardo Schneider:
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. FORMATS 2006: 306-321 - [c5]Gordon J. Pace, Gerardo Schneider:
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. ICTAC 2006: 168-182 - 2004
- [j2]Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond:
Counter-example generation in symbolic abstract model-checking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 158-164 (2004) - [c4]Gordon J. Pace, Gerardo Schneider:
Model Checking Polygonal Differential Inclusions Using Invariance Kernels. VMCAI 2004: 110-121 - 2003
- [c3]Gordon J. Pace, Frédéric Lang, Radu Mateescu:
Calculating-Confluence Compositionally. CAV 2003: 446-459 - 2002
- [j1]Koen Claessen, Gordon J. Pace:
An embedded language approach to teaching hardware compilation. ACM SIGPLAN Notices 37(12): 35-46 (2002) - [c2]Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine:
SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358 - 2000
- [c1]Gordon J. Pace:
The Semantics of Verilog Using Transition System Combinators. FMCAD 2000: 405-422