Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gordon J. Pace
2010 – today
- 2013
[j10]Christian Colombo, Gordon J. Pace: Recovery within long-running transactions. ACM Comput. Surv. 45(3): 28 (2013)- [j9]Christian Colombo, Gordon J. Pace: Monitor-Oriented Compensation Programming Through Compensating Automata. ECEASST 58 (2013)
- [j8]Adrian Francalanza, Andrew Gauci, Gordon J. Pace: Distributed system contract monitoring. J. Log. Algebr. Program. 82(5-7): 186-215 (2013)
- [c32]
- [c31]Christian Colombo, Ruth Mizzi, Gordon J. Pace: SMock - A Test Platform for Monitoring Tools. RV 2013: 352-357
- [c30]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
- [j7]Christian Colombo, Gordon J. Pace, Patrick Abela: Safer asynchronous runtime monitoring using compensations. Formal Methods in System Design 41(3): 269-294 (2012)
- [c29]Benedetto 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: Thesaurus Project: Design of New Autonomous Underwater Vehicles for Documentation and Protection of Underwater Archaeological Sites. EuroMed 2012: 486-493
- [c28]Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider: A Unified Approach for Static and Runtime Verification: Framework and Applications. ISoLA (1) 2012: 312-326
- [c27]Gordon J. Pace, Fernando Schapachnik: Types of Rights in Two-Party Systems: A Formal Analysis. JURIX 2012: 105-114
- [c26]Kevin Falzon, Gordon J. Pace: Combining Testing and Runtime Verification Techniques. MOMPES 2012: 38-57
- [c25]Christian Colombo, Gordon J. Pace: Fast-Forward Runtime Monitoring - An Industrial Case Study. RV 2012: 214-228
- [c24]Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace: polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM 2012: 218-232
- [c23]Gordon J. Pace, Fernando Schapachnik: Contracts for Interacting Two-Party Systems. FLACOS 2012: 21-30
- [e2]Gordon J. Pace, Anders P. Ravn (Eds.): Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software. EPTCS 94, 2012
- 2011
- [j6]Gordon J. Pace, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 80(1): 1-2 (2011)
- [j5]Gordon J. Pace, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 80(3-5): 137-138 (2011)
- [c22]Gordon J. Pace, Fernando Schapachnik: Permissions in Contracts, a Logical Insight. JURIX 2011: 140-144
- [c21]Adrian Francalanza, Andrew Gauci, Gordon J. Pace: Distributed System Contract Monitoring. FLACOS 2011: 23-37
- 2010
- [c20]John J. Camilleri, Gordon J. Pace, Michael Rosner: Controlled Natural Language in a Game for Legal Assistance. CNL 2010: 137-153
- [c19]Claudia Borg, Mike Rosner, Gordon J. Pace: Automatic Grammar Rule Extraction and Ranking for Definitions. LREC 2010
- [c18]Christian Colombo, Gordon J. Pace, Patrick Abela: Compensation-Aware Runtime Monitoring. RV 2010: 214-228
- [c17]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 (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
2000 – 2009
- 2009
- [j4]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)
- [c16]Stephen Fenech, Gordon J. Pace, Gerardo Schneider: CLAN: A Tool for Contract Analysis and Conflict Discovery. ATVA 2009: 90-96
- [c15]Gordon J. Pace, Michael Rosner: A Controlled Language for the Specification of Contracts. CNL 2009: 226-245
- [c14]Christian Colombo, Gordon J. Pace, Gerardo Schneider: Safe Runtime Verification of Real-Time Properties. FORMATS 2009: 103-117
- [c13]Stephen Fenech, Gordon J. Pace, Gerardo Schneider: Automatic Conflict Detection on Contracts. ICTAC 2009: 200-214
- [c12]Gordon J. Pace, Gerardo Schneider: Challenges in the Specification of Full Contracts. IFM 2009: 292-306
- [c11]Christian Colombo, Gordon J. Pace, Gerardo Schneider: LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). SEFM 2009: 33-37
- 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]
- [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. STTT 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. 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]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:08 CEST by the dblp team