Colin Fidge

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
A limitation of vector timestamps for reconstructing distributed computations Information Processing Letters	2016-06-09	Paper
Formal semantics for program paths	2013-08-27	Paper
The variety of variables in computer-aided real-time programming	2013-08-19	Paper
Functional Analysis of a Real-Time Protocol for Networked Control Systems Automated Technology for Verification and Analysis	2008-09-04	Paper
Multifractal nature of network induced time delay in networked control systems Physics Letters. A	2007-10-15	Paper
Procedure compilation in the refinement calculus Formal Aspects of Computing	2006-10-25	Paper
A theory for execution-time derivation in real-time programs Theoretical Computer Science	2005-12-29	Paper
Linear approximation of execution-time constraints Formal Aspects of Computing	2005-02-08	Paper
The variety of variables in automated real-time refinement Formal Aspects of Computing	2005-02-08	Paper
Timing analysis of assembler code control-flow paths Lecture Notes in Computer Science	2004-08-12	Paper
But what if I don't want to wait forever? Formal Aspects of Computing	2003-08-27	Paper
A methodology for compilation of high-integrity real-time programs Lecture Notes in Computer Science	2002-11-06	Paper
A formal model of real-time program compilation Theoretical Computer Science	2002-07-15	Paper
The algebra of multi-tasking Lecture Notes in Computer Science	2002-01-28	Paper
Modelling discrete behaviour in a continuous-time formalism	2001-07-03	Paper
Lifting in Z	2001-05-08	Paper
Real-time specification and reasoning using maximal intervals	2000-08-10	Paper
Computer-aided development of a real-time program Software - Concepts & Tools	2000-01-01	Paper
Compilation as refinement	1998-04-01	Paper
Refinement of infeasible real-time programs	1998-01-14	Paper
An action-based formal model for concurrent real-time systems Formal Aspects of Computing	1997-08-07	Paper
scientific article; zbMATH DE number 756082 (Why is no real title available?)	1995-05-17	Paper
A LISP implementation of the model for ‘communicating sequential processes’ Software: Practice and Experience	1988-01-01	Paper
scientific article; zbMATH DE number 4003498 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3814958 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Colin Fidge