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) |