Gordon J. Pace

Available identifiers

Publication	Date of Publication	Type
Runtime Verification: Passing on the Baton	2023-04-13	Paper
Runtime verification of contracts with Themulus	2021-07-08	Paper
A survey of challenges for runtime verification from advanced application domains (beyond software)	2019-11-25	Paper
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools	2017-09-08	Paper
Recovery within long-running transactions	2014-08-13	Paper
Safer asynchronous runtime monitoring using compensations	2014-03-28	Paper
Distributed system contract monitoring	2014-02-25	Paper
Mathematics of Discrete Structures for Computer Science	2012-09-10	Paper
Computer Aided Verification	2010-04-20	Paper
Safe Runtime Verification of Real-Time Properties	2009-12-01	Paper
Automatic Conflict Detection on Contracts	2009-08-20	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Challenges in the Specification of Full Contracts	2009-02-24	Paper
Relaxing Goodness Is Still Good	2009-01-27	Paper
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems	2008-09-11	Paper
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems	2008-07-08	Paper
Model Checking Contracts – A Case Study	2008-07-03	Paper
Computation and Visualisation of Phase Portraits for Model Checking SPDIs	2008-04-11	Paper
Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools	2008-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4806207	2003-05-21	Paper

This page was built for person: Gordon J. Pace