Gordon J. Pace

Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace: Extensible Technology-Agnostic Runtime Verification. FESCA 2013: 1-15

Gordon J. Pace: Mathematics of Discrete Structures for Computer Science. Springer 2012, isbn 978-3-642-29839-4, pp. I-XVI, 1-293

Christian Colombo, Gordon J. Pace, Patrick Abela: Safer asynchronous runtime monitoring using compensations. Formal Methods in System Design 41(3): 269-294 (2012)

Benedetto Allotta, S. Bargagliotti, L. Botarelli, Andrea Caiti, Vincenzo Calabro, G. Casa, M. Cocco, Sara Colantonio, Carlo Colombo, S. Costa, M. 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: Thesaurus Project: Design of New Autonomous Underwater Vehicles for Documentation and Protection of Underwater Archaeological Sites. EuroMed 2012: 486-493

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider: A Unified Approach for Static and Runtime Verification: Framework and Applications. ISoLA (1) 2012: 312-326

Gordon J. Pace, Fernando Schapachnik: Types of Rights in Two-Party Systems: A Formal Analysis. JURIX 2012: 105-114

Kevin Falzon, Gordon J. Pace: Combining Testing and Runtime Verification Techniques. MOMPES 2012: 38-57

Christian Colombo, Gordon J. Pace: Fast-Forward Runtime Monitoring - An Industrial Case Study. RV 2012: 214-228

Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace: polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM 2012: 218-232

Gordon J. Pace, Fernando Schapachnik: Contracts for Interacting Two-Party Systems. FLACOS 2012: 21-30

Gordon J. Pace, Anders P. Ravn (Eds.): Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software. EPTCS 94, 2012

Gordon J. Pace, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 80(1): 1-2 (2011)

Gordon J. Pace, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 80(3-5): 137-138 (2011)

Gordon J. Pace, Fernando Schapachnik: Permissions in Contracts, a Logical Insight. JURIX 2011: 140-144

Adrian Francalanza, Andrew Gauci, Gordon J. Pace: Distributed System Contract Monitoring. FLACOS 2011: 23-37

John J. Camilleri, Gordon J. Pace, Michael Rosner: Controlled Natural Language in a Game for Legal Assistance. CNL 2010: 137-153

Claudia Borg, Mike Rosner, Gordon J. Pace: Automatic Grammar Rule Extraction and Ranking for Definitions. LREC 2010

Christian Colombo, Gordon J. Pace, Patrick Abela: Compensation-Aware Runtime Monitoring. RV 2010: 214-228

Christian Colombo, Andrew Gauci, Gordon J. Pace: LarvaStat: Monitoring of Statistical Properties. RV 2010: 480-484

Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann (Eds.): 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

Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider: On the Specification of Full Contracts. Electr. Notes Theor. Comput. Sci. 253(1): 39-55 (2009)

Stephen Fenech, Gordon J. Pace, Gerardo Schneider: CLAN: A Tool for Contract Analysis and Conflict Discovery. ATVA 2009: 90-96

Gordon J. Pace, Michael Rosner: A Controlled Language for the Specification of Contracts. CNL 2009: 226-245

Christian Colombo, Gordon J. Pace, Gerardo Schneider: Safe Runtime Verification of Real-Time Properties. FORMATS 2009: 103-117

Stephen Fenech, Gordon J. Pace, Gerardo Schneider: Automatic Conflict Detection on Contracts. ICTAC 2009: 200-214

Gordon J. Pace, Gerardo Schneider: Challenges in the Specification of Full Contracts. IFM 2009: 292-306

Christian Colombo, Gordon J. Pace, Gerardo Schneider: LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). SEFM 2009: 33-37

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)

Christian Colombo, Gordon J. Pace, Gerardo Schneider: Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS 2008: 135-149

Gordon J. Pace, Gerardo Schneider: Relaxing Goodness Is Still Good. ICTAC 2008: 274-289

Gordon J. Pace, Gerardo Schneider: Computation and Visualisation of Phase Portraits for Model Checking SPDIs. TACAS 2008: 341-345

Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider: Model Checking Contracts - A Case Study. ATVA 2007: 82-97

Gordon J. Pace, Gerardo Schneider: Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. FORMATS 2006: 306-321

Gordon J. Pace, Gerardo Schneider: A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. ICTAC 2006: 168-182

Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond: Counter-example generation in symbolic abstract model-checking. STTT 5(2-3): 158-164 (2004)

Gordon J. Pace, Gerardo Schneider: Model Checking Polygonal Differential Inclusions Using Invariance Kernels. VMCAI 2004: 110-121

Gordon J. Pace, Frédéric Lang, Radu Mateescu: Calculating-Confluence Compositionally. CAV 2003: 446-459

Koen Claessen, Gordon J. Pace: An embedded language approach to teaching hardware compilation. SIGPLAN Notices 37(12): 35-46 (2002)

Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358

Gordon J. Pace: The Semantics of Verilog Using Transition System Combinators. FMCAD 2000: 405-422