Gordon J. Pace

MaRDI QIDQ2008290zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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) Formal Methods in System Design	2019-11-25	Paper
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools Formal Methods in System Design	2017-09-08	Paper
Recovery within long-running transactions ACM Computing Surveys	2014-08-13	Paper
Safer asynchronous runtime monitoring using compensations Formal Methods in System Design	2014-03-28	Paper
Distributed system contract monitoring The Journal of Logic and Algebraic Programming	2014-02-25	Paper
Mathematics of discrete structures for computer science	2012-09-10	Paper
Computer Aided Verification Lecture Notes in Computer Science	2010-04-20	Paper
Safe runtime verification of real-time properties Lecture Notes in Computer Science	2009-12-01	Paper
Automatic Conflict Detection on Contracts Theoretical Aspects of Computing - ICTAC 2009	2009-08-20	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2009-05-15	Paper
Challenges in the Specification of Full Contracts Lecture Notes in Computer Science	2009-02-24	Paper
Relaxing Goodness Is Still Good Theoretical Aspects of Computing - ICTAC 2008	2009-01-27	Paper
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems Lecture Notes in Computer Science	2008-09-11	Paper
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems Lecture Notes in Computer Science	2008-07-08	Paper
Model Checking Contracts – A Case Study Automated Technology for Verification and Analysis	2008-07-03	Paper
Computation and Visualisation of Phase Portraits for Model Checking SPDIs Tools and Algorithms for the Construction and Analysis of Systems	2008-04-11	Paper
Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools Theoretical Computer Science	2008-03-05	Paper
scientific article; zbMATH DE number 1905117 (Why is no real title available?)	2003-05-21	Paper

Research outcomes over time

This page was built for person: Gordon J. Pace