Gordon J. Pace

According to our database1, Gordon J. Pace
  • authored at least 71 papers between 2000 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools.
Formal Methods in System Design, 2017

Control-Flow Residual Analysis for Symbolic Automata.
Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

A Calculus Supporting Contract Reasoning and Monitoring.
IEEE Access, 2017

Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Timed Contract Compliance Under Event Timing Uncertainty.
Proceedings of the Legal Knowledge and Information Systems, 2017

An Embedded DSL Framework for Distributed Embedded Systems: Doctoral Symposium.
Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017

2016
Device-Centric Monitoring for Mobile Device Management.
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2016

Contract automata - An operational view of contracts between interactive parties.
Artif. Intell. Law, 2016

Compliance Checking in the Open Payments Ecosystem.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

An Automata-Based Approach to Evolving Privacy Policies for Social Networks.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Reasoning About Partial Contracts.
Proceedings of the Legal Knowledge and Information Systems, 2016

On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Runtime Verification for Stream Processing Applications.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

A Model-Based Approach to Combining Static and Dynamic Verification Techniques.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

StaRVOOrS - Episode II - Strengthen and Distribute the Force.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Using testing techniques to classify user interface designs.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Using gherkin to extract tests and monitors for safer medical device interaction design.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

A Controlled Natural Language for Tax Fraud Detection.
Proceedings of the Controlled Natural Language - 5th International Workshop, 2016

2015
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java.
Proceedings of the Runtime Verification - 6th International Conference, 2015

A Controlled Natural Language for Business Intelligence Monitoring.
Proceedings of the Natural Language Processing and Information Systems, 2015

Conditional Permissions in Contracts.
Proceedings of the Legal Knowledge and Information Systems, 2015

A Specification Language for Static and Runtime Verification of Data and Control Properties.
Proceedings of the FM 2015: Formal Methods, 2015

A Framework for the Generation of Computer System Diagnostics in Natural Language using Finite State Methods.
Proceedings of the ENLG 2015, 2015

2014
Explaining Violation Traces with Finite State Natural Language Generation Models.
CoRR, 2014

Comprehensive Monitor-Oriented Compensation Programming.
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

Contract Automata with Reparations.
Proceedings of the Legal Knowledge and Information Systems, 2014

Explaining Violation Traces with Finite State Natural Language Generation Models.
Proceedings of the Controlled Natural Language - 4th International Workshop, 2014

2013
Distributed system contract monitoring.
J. Log. Algebr. Program., 2013

Monitor-Oriented Compensation Programming Through Compensating Automata.
ECEASST, 2013

Recovery within long-running transactions.
ACM Comput. Surv., 2013

Extensible Technology-Agnostic Runtime Verification
Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013

SMock - A Test Platform for Monitoring Tools.
Proceedings of the Runtime Verification - 4th International Conference, 2013

Synthesising implicit contracts.
Proceedings of the International Conference on Artificial Intelligence and Law, 2013

2012
Safer asynchronous runtime monitoring using compensations.
Formal Methods in System Design, 2012

Contracts for Interacting Two-Party Systems
Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Fast-Forward Runtime Monitoring - An Industrial Case Study.
Proceedings of the Runtime Verification, Third International Conference, 2012

Combining Testing and Runtime Verification Techniques.
Proceedings of the Model-Based Methodologies for Pervasive and Embedded Software, 2012

Types of Rights in Two-Party Systems: A Formal Analysis.
Proceedings of the Legal Knowledge and Information Systems, 2012

A Unified Approach for Static and Runtime Verification: Framework and Applications.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Thesaurus Project: Design of New Autonomous Underwater Vehicles for Documentation and Protection of Underwater Archaeological Sites.
Proceedings of the Progress in Cultural Heritage Preservation, 2012

Mathematics of Discrete Structures for Computer Science.
Springer, ISBN: 978-3-642-29839-4, 2012

2011
Guest Editors' Foreword.
J. Log. Algebr. Program., 2011

Guest Editors' Foreword.
J. Log. Algebr. Program., 2011

Distributed System Contract Monitoring
Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

Permissions in Contracts, a Logical Insight.
Proceedings of the Legal Knowledge and Information Systems, 2011

2010
Compensation-Aware Runtime Monitoring.
Proceedings of the Runtime Verification - First International Conference, 2010

LarvaStat: Monitoring of Statistical Properties.
Proceedings of the Runtime Verification - First International Conference, 2010

Automatic Grammar Rule Extraction and Ranking for Definitions.
Proceedings of the International Conference on Language Resources and Evaluation, 2010

Controlled Natural Language in a Game for Legal Assistance.
Proceedings of the Controlled Natural Language - Second International Workshop, 2010

2009
On the Specification of Full Contracts.
Electr. Notes Theor. Comput. Sci., 2009

LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper).
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Challenges in the Specification of Full Contracts.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Automatic Conflict Detection on Contracts.
Proceedings of the Theoretical Aspects of Computing, 2009

Safe Runtime Verification of Real-Time Properties.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

A Controlled Language for the Specification of Contracts.
Proceedings of the Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), 2009

A Controlled Language for the Specification of Contracts.
Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009

CLAN: A Tool for Contract Analysis and Conflict Discovery.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools.
Theor. Comput. Sci., 2008

Computation and Visualisation of Phase Portraits for Model Checking SPDIs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Relaxing Goodness Is Still Good.
Proceedings of the Theoretical Aspects of Computing, 2008

Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007
Model Checking Contracts - A Case Study.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.
Proceedings of the Theoretical Aspects of Computing, 2006

Static Analysis for State-Space Reduction of Polygonal Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2004
Counter-example generation in symbolic abstract model-checking.
STTT, 2004

Model Checking Polygonal Differential Inclusions Using Invariance Kernels.
Proceedings of the Verification, 2004

2003
Calculating-Confluence Compositionally.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
An embedded language approach to teaching hardware compilation.
SIGPLAN Notices, 2002

SPeeDI - A Verification Tool for Polygonal Hybrid Systems.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2000
The Semantics of Verilog Using Transition System Combinators.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000


  Loading...