| 2008 |
|---|
| 65 | EE | Colin J. Fidge:
Relative simulation and model checking of real-time processes.
ACSC 2008: 157-165 |
| 64 | EE | Moe Thandar Wynn,
Colin J. Fidge,
Arthur H. M. ter Hofstede,
Marlon Dumas:
Product flow analysis in distribution networks with a fixed time horizon.
ACSC 2008: 73-81 |
| 63 | EE | Anne Rozinat,
Moe Thandar Wynn,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
Colin J. Fidge:
Workflow Simulation for Operational Decision Support Using Design, Historic and State Information.
BPM 2008: 196-211 |
| 2007 |
|---|
| 62 | EE | Benjamin W. Long,
Colin J. Fidge,
David A. Carrington:
Cross-Layer Verification of Type Flaw Attacks on Security Protocols.
ACSC 2007: 171-180 |
| 61 | EE | Bandar Alhaqbani,
Colin J. Fidge:
Access Control Requirements for Processing Electronic Health Records.
Business Process Management Workshops 2007: 371-382 |
| 60 | EE | Moe Thandar Wynn,
Marlon Dumas,
Colin J. Fidge,
Arthur H. M. ter Hofstede,
Wil M. P. van der Aalst:
Business Process Simulation for Operational Decision Support.
Business Process Management Workshops 2007: 66-77 |
| 59 | | Li Gui,
Yu-Chu Tian,
Colin J. Fidge:
Performance Evaluation of IEEE 802.11 Wireless Networks for Real-time Networked Control Systems.
ESA 2007: 121-126 |
| 2006 |
|---|
| 58 | EE | Colin J. Fidge,
Tim McComb:
Tracing secure information flow through mode changes.
ACSC 2006: 303-310 |
| 57 | EE | Benjamin W. Long,
Colin J. Fidge:
Formally Analysing a Security Protocol for Replay Attacks.
ASWEC 2006: 171-180 |
| 56 | EE | Phil Cook,
Colin J. Fidge:
Well-Measuring Programs.
ASWEC 2006: 253-261 |
| 55 | EE | Colin J. Fidge,
Yu-Chu Tian:
Functional Analysis of a Real-Time Protocol for Networked Control Systems.
ATVA 2006: 446-460 |
| 54 | EE | Karl Lermer,
Colin J. Fidge:
Procedure compilation in the refinement calculus.
Formal Asp. Comput. 18(2): 152-180 (2006) |
| 53 | EE | Andrew Rae,
Colin J. Fidge,
Luke Wildman:
Fault Evaluation for Security-Critical Communications Devices.
IEEE Computer 39(5): 61-68 (2006) |
| 52 | EE | Colin J. Fidge:
Formal change impact analyses for emulated control software.
STTT 8(4-5): 321-335 (2006) |
| 2005 |
|---|
| 51 | EE | Colin J. Fidge,
Phil Cook:
Model Checking Interrupt-Dependent Software.
APSEC 2005: 51-58 |
| 50 | EE | Colin J. Fidge,
Peter Robinson,
Steve Dunne:
Refinement Laws for Verifying Library Subroutine Adaptation.
Australian Software Engineering Conference 2005: 224-232 |
| 49 | EE | Andrew Rae,
Colin J. Fidge:
Information Flow Analysis for Fail-Secure Devices.
Comput. J. 48(1): 17-26 (2005) |
| 48 | EE | Andrew Rae,
Colin J. Fidge:
Identifying Critical Components During Information Security Evaluations.
Journal of Research and Practice in Information Technology 37(4): (2005) |
| 47 | EE | Karl Lermer,
Colin J. Fidge,
Ian J. Hayes:
A theory for execution-time derivation in real-time programs.
Theor. Comput. Sci. 346(1): 3-27 (2005) |
| 2003 |
|---|
| 46 | EE | Colin J. Fidge:
Verifying Emulation of Legacy Mission Computer Systems.
FME 2003: 187-207 |
| 45 | EE | Benjamin W. Long,
Colin J. Fidge,
Antonio Cerone:
A Z Based Approach to Verifying Security Protocols.
ICFEM 2003: 375-395 |
| 44 | EE | Geoffrey Watson,
Colin J. Fidge:
A Partial-Correctness Semantics for Modelling Assembler Programs.
SEFM 2003: 82-90 |
| 43 | EE | Karl Lermer,
Colin J. Fidge,
Ian J. Hayes:
Formal Semantics for Program Paths.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
| 42 | EE | Colin J. Fidge,
Carron Shankland:
But What if I Don't Want to Wait Forever?
Formal Asp. Comput. 14(3): 281-294 (2003) |
| 41 | EE | Luke Wildman,
Colin J. Fidge,
David A. Carrington:
The Variety of Variables in Automated Real-Time Refinement.
Formal Asp. Comput. 15(2-3): 258-279 (2003) |
| 40 | EE | Karl Lermer,
Colin J. Fidge,
Ian J. Hayes:
Linear Approximation of Execution-Time Constraints.
Formal Asp. Comput. 15(4): 319-348 (2003) |
| 39 | | Colin J. Fidge:
Foreword.
Theor. Comput. Sci. 293(3): 477 (2003) |
| 2002 |
|---|
| 38 | EE | Neil J. Robinson,
Colin J. Fidge:
Animation of Data Refinements.
APSEC 2002: 137-146 |
| 37 | EE | Colin J. Fidge:
Contextual Matching of Software Library Components.
APSEC 2002: 297-306 |
| 36 | EE | Colin J. Fidge:
Timing Analysis of Assembler Code Control-Flow Paths.
FME 2002: 370-389 |
| 35 | EE | Luke Wildman,
Colin J. Fidge:
The variety of variables in computer-aided real-time programming.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 34 | EE | Karl Lermer,
Colin J. Fidge:
A formal model of real-time program compilation.
Theor. Comput. Sci. 282(1): 151-190 (2002) |
| 2001 |
|---|
| 33 | EE | Colin J. Fidge:
Compilation of Specifications.
APSEC 2001: 355-362 |
| 32 | EE | Neil J. Robinson,
Colin J. Fidge:
Visualisation of Refinements.
Australian Software Engineering Conference 2001: 244-254 |
| 31 | EE | Andrew Martin,
Colin J. Fidge:
Lifting in Z.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 30 | EE | Colin J. Fidge:
Preface.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 29 | | Ian J. Hayes,
Colin J. Fidge,
Karl Lermer:
Semantic characterisation of dead control-flow paths.
IEE Proceedings - Software 148(6): 175-186 (2001) |
| 2000 |
|---|
| 28 | EE | Colin J. Fidge:
The Algebra of Multi-tasking.
AMAST 2000: 213-227 |
| 27 | EE | Graeme Smith,
Colin J. Fidge:
Incremental Development of Real-Time Requirements: The Light Control Case Study.
J. UCS 6(7): 704-730 (2000) |
| 26 | EE | Luke Wildman,
Colin J. Fidge,
David A. Carrington:
Computer-aided development of a real-time program.
Software - Concepts and Tools 19(4): 190-202 (2000) |
| 1999 |
|---|
| 25 | EE | Karl Lermer,
Colin J. Fidge:
A Formal Model of Real-Time Program Compilation.
ARTS 1999: 192-210 |
| 24 | | Colin J. Fidge:
Modelling Discrete Behaviour in a Continuous-Time Formalism.
IFM 1999: 170-188 |
| 1998 |
|---|
| 23 | EE | Colin J. Fidge,
Ian J. Hayes,
Brendan P. Mahony:
Defining Differentiation and Integration in Z.
ICFEM 1998: 64- |
| 22 | EE | Colin J. Fidge,
Ian J. Hayes,
A. P. Martin,
Axel Wabenhorst:
A Set-Theoretic Model for Real-Time Specification and Reasoning.
MPC 1998: 188-206 |
| 21 | EE | Colin J. Fidge:
A Limitation of Vector Timestamps for Reconstructing Distributed Computations.
Inf. Process. Lett. 68(2): 87-91 (1998) |
| 20 | | Colin J. Fidge:
Real-Time Schedulability Tests for Preemptive Multitasking.
Real-Time Systems 14(1): 61-93 (1998) |
| 1997 |
|---|
| 19 | | Colin J. Fidge:
Refinement Rules for Real-Time Multi-tasking Programs.
AMAST 1997: 199-215 |
| 18 | | Karl Lermer,
Colin J. Fidge:
A Methodology for Compilation of High-Integrity Real-Time Programs.
Euro-Par 1997: 1274-1281 |
| 17 | | Colin J. Fidge,
Andy J. Wellings:
An Action-Based Formal Model for Concurrent Real-Time Systems.
Formal Asp. Comput. 9(2): 175-207 (1997) |
| 16 | | Colin J. Fidge,
Peter Kearney,
Mark Utting:
A Formal Method for Building Concurrent Real-Time Software.
IEEE Software 14(2): 99-106 (1997) |
| 1996 |
|---|
| 15 | | Colin J. Fidge,
Mark Utting,
Peter Kearney,
Ian J. Hayes:
Integrating Real-Time Scheduling Theory and Program Refinement.
FME 1996: 327-346 |
| 14 | EE | Colin J. Fidge:
Fundamentals of Distributed System Observation.
IEEE Software 13(6): 77-83 (1996) |
| 1995 |
|---|
| 13 | | Colin J. Fidge,
Peter Kearney,
Mark Utting:
Interactively Verifying a Simple Real-time Scheduler.
CAV 1995: 395-408 |
| 1994 |
|---|
| 12 | | Colin J. Fidge:
Adding Real Time to Formal Program Development.
FME 1994: 618-638 |
| 1993 |
|---|
| 11 | | Colin J. Fidge:
Real-Time Refinement.
FME 1993: 314-331 |
| 10 | EE | Colin J. Fidge:
A Formal Definition of Priority in CSP.
ACM Trans. Program. Lang. Syst. 15(4): 681-705 (1993) |
| 1992 |
|---|
| 9 | | Colin J. Fidge:
A constraint-oriented real-time process calculus.
FORTE 1992: 363-378 |
| 8 | | Colin J. Fidge:
Specification and Verification of Real-Time Behaviour Using Z and RTL.
FTRTFT 1992: 393-409 |
| 1991 |
|---|
| 7 | | Colin J. Fidge:
Process Algebra Traces Augmented with Causal Relationships.
FORTE 1991: 527-541 |
| 6 | | Colin J. Fidge:
Logical Time in Distributed Computing Systems.
IEEE Computer 24(8): 28-33 (1991) |
| 1990 |
|---|
| 5 | | Colin J. Fidge:
A LOTOS Interpreter for Simulating Real-Time Behaviour.
FORTE 1990: 523-526 |
| 1988 |
|---|
| 4 | | Colin J. Fidge:
Partial Orders for Parallel Debugging.
Workshop on Parallel and Distributed Debugging 1988: 183-194 |
| 3 | | Colin J. Fidge:
A LISP Implementation of the Model for `Communicating Sequential Processes'.
Softw., Pract. Exper. 18(10): 923-943 (1988) |
| 1987 |
|---|
| 2 | | Colin J. Fidge:
Reproducible Tests in CSP.
Australian Computer Journal 19(2): 92-98 (1987) |
| 1983 |
|---|
| 1 | | Colin J. Fidge,
R. S. V. Pascoe:
A Comparison of the Concurrency Constructs and Module Facilities of CHILL and Ada.
Australian Computer Journal 15(1): 17-27 (1983) |
