DBLP: Colin J. Fidge

	2012
j34		Nuwan Goonasekera, William J. Caelli, Colin J. Fidge: A Hardware Virtualization Based Component Sandboxing Architecture. JSW 7(9): 2107-2118 (2012)
c52		Anastasiia Pika, Wil M. P. van der Aalst, Colin J. Fidge, Arthur H. M. ter Hofstede, Moe Thandar Wynn: Predicting Deadline Transgressions Using Event Logs. Business Process Management Workshops 2012: 211-216
	2011
j33		Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Colin J. Fidge: Data and process requirements for product recall coordination. Computers in Industry 62(7): 776-786 (2011)
j32		Lifeng Ai, Maolin Tang, Colin J. Fidge: Partitioning composite web services for decentralized execution using a genetic algorithm. Future Generation Comp. Syst. 27(2): 157-172 (2011)
c51		Chun Ouyang, Moe Thandar Wynn, Jan-Christian Kuhr, Michael Adams, Thomas Becker, Arthur H. M. ter Hofstede, Colin J. Fidge: Workflow support for scheduling in surgical care processes. ECIS 2011
c50		Lifeng Ai, Maolin Tang, Colin J. Fidge: Resource Allocation and Scheduling of Multiple Composite Web Services in Cloud Computing Using Cooperative Coevolution Genetic Algorithm. ICONIP (2) 2011: 258-267
c49		Li Gui, Yu-Chu Tian, Colin J. Fidge: A conditional retransmission enabled transport protocol for real-time networked control systems. LCN 2011: 231-234
c48		Bandar Alshammari, Colin J. Fidge, Diane Corney: A Hierarchical Security Assessment Model for Object-Oriented Programs. QSIC 2011: 218-227
	2010
j31		Bandar Alhaqbani, Colin J. Fidge: Probabilistic Inference Channel Detection and Restriction Applied to Patients' Privacy Assurance. IJISP 4(4): 35-59 (2010)
p1		Moe Thandar Wynn, Anne Rozinat, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge: Process Mining and Simulation. Modern Business Process Automation 2010: 437-457
c47		Bandar Alshammari, Colin J. Fidge, Diane Corney: Assessing the Impact of Refactoring on Security-Critical Object-Oriented Designs. APSEC 2010: 186-195
c46		Bandar Alshammari, Colin J. Fidge, Diane Corney: Security Metrics for Object-Oriented Designs. Australian Software Engineering Conference 2010: 55-64
c45		Guosong Tian, Yu-Chu Tian, Colin J. Fidge: Performance analysis of IEEE 802.11 DCF based WNCS networks. LCN 2010: 496-503
c44		Shamsul Kamal Ahmad Khalid, Jacob Zimmermann, Diane Corney, Colin J. Fidge: Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types. NSS 2010: 351-356
	2009
j30		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. Data Knowl. Eng. 68(9): 834-850 (2009)
j29		Bandar Alhaqbani, Audun Jøsang, Colin J. Fidge: A Medical Data Reliability Assessment Model. JTAER 4(2): 64-63 (2009)
c43		Maolin Tang, Colin J. Fidge: A genetic algorithm for the multi-source and multi-sink minimum vertex cut problem and its applications. IEEE Congress on Evolutionary Computation 2009: 3226-3233
c42		Raymond Lister, Colin J. Fidge, Donna Teague: Further evidence of a relationship between explaining, tracing and writing skills in introductory programming. ITiCSE 2009: 161-165
c41		Colin J. Fidge, Diane Corney: Integrating hardware and software information flow analyses. LCTES 2009: 157-166
c40		Guosong Tian, Colin J. Fidge, Yu-Chu Tian: Hybrid system simulation of computer control applications over communication networks. MASCOTS 2009: 1-10
c39		Bandar Alshammari, Colin J. Fidge, Diane Corney: Security Metrics for Object-Oriented Class Designs. QSIC 2009: 11-20
	2008
c38		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
c37		Colin J. Fidge: Relative simulation and model checking of real-time processes. ACSC 2008: 157-165
c36		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
c35		Guosong Tian, Yu-Chu Tian, Colin J. Fidge: High-Precision Relative Clock Synchronization Using Time Stamp Counters. ICECCS 2008: 69-78
	2007
c34		Benjamin W. Long, Colin J. Fidge, David A. Carrington: Cross-Layer Verification of Type Flaw Attacks on Security Protocols. ACSC 2007: 171-180
c33		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
c32		Bandar Alhaqbani, Colin J. Fidge: Access Control Requirements for Processing Electronic Health Records. Business Process Management Workshops 2007: 371-382
c31		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
j28		Andrew Rae, Colin J. Fidge, Luke Wildman: Fault Evaluation for Security-Critical Communications Devices. IEEE Computer 39(5): 61-68 (2006)
j27		Karl Lermer, Colin J. Fidge: Procedure compilation in the refinement calculus. Formal Asp. Comput. 18(2): 152-180 (2006)
j26		Colin J. Fidge: Formal change impact analyses for emulated control software. STTT 8(4-5): 321-335 (2006)
c30		Colin J. Fidge, Tim McComb: Tracing secure information flow through mode changes. ACSC 2006: 303-310
c29		Benjamin W. Long, Colin J. Fidge: Formally Analysing a Security Protocol for Replay Attacks. ASWEC 2006: 171-180
c28		Phil Cook, Colin J. Fidge: Well-Measuring Programs. ASWEC 2006: 253-261
c27		Colin J. Fidge, Yu-Chu Tian: Functional Analysis of a Real-Time Protocol for Networked Control Systems. ATVA 2006: 446-460
	2005
j25		Andrew Rae, Colin J. Fidge: Identifying Critical Components During Information Security Evaluations. Journal of Research and Practice in Information Technology 37(4) (2005)
j24		Andrew Rae, Colin J. Fidge: Information Flow Analysis for Fail-Secure Devices. Comput. J. 48(1): 17-26 (2005)
j23		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)
c26		Colin J. Fidge, Phil Cook: Model Checking Interrupt-Dependent Software. APSEC 2005: 51-58
c25		Colin J. Fidge, Peter Robinson, Steve Dunne: Refinement Laws for Verifying Library Subroutine Adaptation. Australian Software Engineering Conference 2005: 224-232
	2003
j22		Karl Lermer, Colin J. Fidge, Ian J. Hayes: Formal Semantics for Program Paths. Electr. Notes Theor. Comput. Sci. 78: 58-81 (2003)
j21		Colin J. Fidge, Carron Shankland: But What if I Don't Want to Wait Forever? Formal Asp. Comput. 14(3): 281-294 (2003)
j20		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)
j19		Karl Lermer, Colin J. Fidge, Ian J. Hayes: Linear Approximation of Execution-Time Constraints. Formal Asp. Comput. 15(4): 319-348 (2003)
j18		Colin J. Fidge: Foreword. Theor. Comput. Sci. 293(3): 477 (2003)
c24		Colin J. Fidge: Verifying Emulation of Legacy Mission Computer Systems. FME 2003: 187-207
c23		Benjamin W. Long, Colin J. Fidge, Antonio Cerone: A Z Based Approach to Verifying Security Protocols. ICFEM 2003: 375-395
c22		Geoffrey Watson, Colin J. Fidge: A Partial-Correctness Semantics for Modelling Assembler Programs. SEFM 2003: 82-90
	2002
j17		Luke Wildman, Colin J. Fidge: The variety of variables in computer-aided real-time programming. Electr. Notes Theor. Comput. Sci. 70(3): 21-36 (2002)
j16		Karl Lermer, Colin J. Fidge: A formal model of real-time program compilation. Theor. Comput. Sci. 282(1): 151-190 (2002)
c21		Neil J. Robinson, Colin J. Fidge: Animation of Data Refinements. APSEC 2002: 137-146
c20		Colin J. Fidge: Contextual Matching of Software Library Components. APSEC 2002: 297-306
c19		Colin J. Fidge: Timing Analysis of Assembler Code Control-Flow Paths. FME 2002: 370-389
	2001
j15		Ian J. Hayes, Colin J. Fidge, Karl Lermer: Semantic characterisation of dead control-flow paths. IEE Proceedings - Software 148(6): 175-186 (2001)
j14		Andrew Martin, Colin J. Fidge: Lifting in Z. Electr. Notes Theor. Comput. Sci. 42: 197-219 (2001)
j13		Colin J. Fidge: Preface. Electr. Notes Theor. Comput. Sci. 42: 282-283 (2001)
c18		Colin J. Fidge: Compilation of Specifications. APSEC 2001: 355-362
c17		Neil J. Robinson, Colin J. Fidge: Visualisation of Refinements. Australian Software Engineering Conference 2001: 244-254
	2000
j12		Graeme Smith, Colin J. Fidge: Incremental Development of Real-Time Requirements: The Light Control Case Study. J. UCS 6(7): 704-730 (2000)
j11		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)
c16		Colin J. Fidge: The Algebra of Multi-tasking. AMAST 2000: 213-227
	1999
c15		Karl Lermer, Colin J. Fidge: A Formal Model of Real-Time Program Compilation. ARTS 1999: 192-210
c14		Colin J. Fidge: Modelling Discrete Behaviour in a Continuous-Time Formalism. IFM 1999: 170-188
	1998
j10		Colin J. Fidge: A Limitation of Vector Timestamps for Reconstructing Distributed Computations. Inf. Process. Lett. 68(2): 87-91 (1998)
j9		Colin J. Fidge: Real-Time Schedulability Tests for Preemptive Multitasking. Real-Time Systems 14(1): 61-93 (1998)
c13		Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony: Defining Differentiation and Integration in Z. ICFEM 1998: 64-
c12		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
	1997
j8		Colin J. Fidge, Andy J. Wellings: An Action-Based Formal Model for Concurrent Real-Time Systems. Formal Asp. Comput. 9(2): 175-207 (1997)
j7		Colin J. Fidge, Peter Kearney, Mark Utting: A Formal Method for Building Concurrent Real-Time Software. IEEE Software 14(2): 99-106 (1997)
c11		Colin J. Fidge: Refinement Rules for Real-Time Multi-tasking Programs. AMAST 1997: 199-215
c10		Karl Lermer, Colin J. Fidge: A Methodology for Compilation of High-Integrity Real-Time Programs. Euro-Par 1997: 1274-1281
	1996
j6		Colin J. Fidge: Fundamentals of Distributed System Observation. IEEE Software 13(6): 77-83 (1996)
c9		Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes: Integrating Real-Time Scheduling Theory and Program Refinement. FME 1996: 327-346
	1995
c8		Colin J. Fidge, Peter Kearney, Mark Utting: Interactively Verifying a Simple Real-time Scheduler. CAV 1995: 395-408
	1994
c7		Colin J. Fidge: Adding Real Time to Formal Program Development. FME 1994: 618-638
	1993
j5		Colin J. Fidge: A Formal Definition of Priority in CSP. ACM Trans. Program. Lang. Syst. 15(4): 681-705 (1993)
c6		Colin J. Fidge: Real-Time Refinement. FME 1993: 314-331
	1992
c5		Colin J. Fidge: A constraint-oriented real-time process calculus. FORTE 1992: 363-378
c4		Colin J. Fidge: Specification and Verification of Real-Time Behaviour Using Z and RTL. FTRTFT 1992: 393-409
	1991
j4		Colin J. Fidge: Logical Time in Distributed Computing Systems. IEEE Computer 24(8): 28-33 (1991)
c3		Colin J. Fidge: Process Algebra Traces Augmented with Causal Relationships. FORTE 1991: 527-541
	1990
c2		Colin J. Fidge: A LOTOS Interpreter for Simulating Real-Time Behaviour. FORTE 1990: 523-526
	1988
j3		Colin J. Fidge: A LISP Implementation of the Model for `Communicating Sequential Processes'. Softw., Pract. Exper. 18(10): 923-943 (1988)
c1		Colin J. Fidge: Partial Orders for Parallel Debugging. Workshop on Parallel and Distributed Debugging 1988: 183-194
	1987
j2		Colin J. Fidge: Reproducible Tests in CSP. Australian Computer Journal 19(2): 92-98 (1987)
	1983
j1		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)

2012

j34

Nuwan Goonasekera, William J. Caelli, Colin J. Fidge: A Hardware Virtualization Based Component Sandboxing Architecture. JSW 7(9): 2107-2118 (2012)

c52

Anastasiia Pika, Wil M. P. van der Aalst, Colin J. Fidge, Arthur H. M. ter Hofstede, Moe Thandar Wynn: Predicting Deadline Transgressions Using Event Logs. Business Process Management Workshops 2012: 211-216

2011

j33

Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Colin J. Fidge: Data and process requirements for product recall coordination. Computers in Industry 62(7): 776-786 (2011)

j32

Lifeng Ai, Maolin Tang, Colin J. Fidge: Partitioning composite web services for decentralized execution using a genetic algorithm. Future Generation Comp. Syst. 27(2): 157-172 (2011)

c51

Chun Ouyang, Moe Thandar Wynn, Jan-Christian Kuhr, Michael Adams, Thomas Becker, Arthur H. M. ter Hofstede, Colin J. Fidge: Workflow support for scheduling in surgical care processes. ECIS 2011

c50

Lifeng Ai, Maolin Tang, Colin J. Fidge: Resource Allocation and Scheduling of Multiple Composite Web Services in Cloud Computing Using Cooperative Coevolution Genetic Algorithm. ICONIP (2) 2011: 258-267

c49

Li Gui, Yu-Chu Tian, Colin J. Fidge: A conditional retransmission enabled transport protocol for real-time networked control systems. LCN 2011: 231-234

c48

Bandar Alshammari, Colin J. Fidge, Diane Corney: A Hierarchical Security Assessment Model for Object-Oriented Programs. QSIC 2011: 218-227

2010

j31

Bandar Alhaqbani, Colin J. Fidge: Probabilistic Inference Channel Detection and Restriction Applied to Patients' Privacy Assurance. IJISP 4(4): 35-59 (2010)

Moe Thandar Wynn, Anne Rozinat, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge: Process Mining and Simulation. Modern Business Process Automation 2010: 437-457

c47

Bandar Alshammari, Colin J. Fidge, Diane Corney: Assessing the Impact of Refactoring on Security-Critical Object-Oriented Designs. APSEC 2010: 186-195

c46

Bandar Alshammari, Colin J. Fidge, Diane Corney: Security Metrics for Object-Oriented Designs. Australian Software Engineering Conference 2010: 55-64

c45

Guosong Tian, Yu-Chu Tian, Colin J. Fidge: Performance analysis of IEEE 802.11 DCF based WNCS networks. LCN 2010: 496-503

c44

Shamsul Kamal Ahmad Khalid, Jacob Zimmermann, Diane Corney, Colin J. Fidge: Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types. NSS 2010: 351-356

2009

j30

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. Data Knowl. Eng. 68(9): 834-850 (2009)

j29

Bandar Alhaqbani, Audun Jøsang, Colin J. Fidge: A Medical Data Reliability Assessment Model. JTAER 4(2): 64-63 (2009)

c43

Maolin Tang, Colin J. Fidge: A genetic algorithm for the multi-source and multi-sink minimum vertex cut problem and its applications. IEEE Congress on Evolutionary Computation 2009: 3226-3233

c42

Raymond Lister, Colin J. Fidge, Donna Teague: Further evidence of a relationship between explaining, tracing and writing skills in introductory programming. ITiCSE 2009: 161-165

c41

Colin J. Fidge, Diane Corney: Integrating hardware and software information flow analyses. LCTES 2009: 157-166

c40

Guosong Tian, Colin J. Fidge, Yu-Chu Tian: Hybrid system simulation of computer control applications over communication networks. MASCOTS 2009: 1-10

c39

Bandar Alshammari, Colin J. Fidge, Diane Corney: Security Metrics for Object-Oriented Class Designs. QSIC 2009: 11-20

2008

c38

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

c37

Colin J. Fidge: Relative simulation and model checking of real-time processes. ACSC 2008: 157-165

c36

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

c35

Guosong Tian, Yu-Chu Tian, Colin J. Fidge: High-Precision Relative Clock Synchronization Using Time Stamp Counters. ICECCS 2008: 69-78

2007

c34

Benjamin W. Long, Colin J. Fidge, David A. Carrington: Cross-Layer Verification of Type Flaw Attacks on Security Protocols. ACSC 2007: 171-180

c33

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

c32

Bandar Alhaqbani, Colin J. Fidge: Access Control Requirements for Processing Electronic Health Records. Business Process Management Workshops 2007: 371-382

c31

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

j28

Andrew Rae, Colin J. Fidge, Luke Wildman: Fault Evaluation for Security-Critical Communications Devices. IEEE Computer 39(5): 61-68 (2006)

j27

Karl Lermer, Colin J. Fidge: Procedure compilation in the refinement calculus. Formal Asp. Comput. 18(2): 152-180 (2006)

j26

Colin J. Fidge: Formal change impact analyses for emulated control software. STTT 8(4-5): 321-335 (2006)

c30

Colin J. Fidge, Tim McComb: Tracing secure information flow through mode changes. ACSC 2006: 303-310

c29

Benjamin W. Long, Colin J. Fidge: Formally Analysing a Security Protocol for Replay Attacks. ASWEC 2006: 171-180

c28

Phil Cook, Colin J. Fidge: Well-Measuring Programs. ASWEC 2006: 253-261

c27

Colin J. Fidge, Yu-Chu Tian: Functional Analysis of a Real-Time Protocol for Networked Control Systems. ATVA 2006: 446-460

2005

j25

Andrew Rae, Colin J. Fidge: Identifying Critical Components During Information Security Evaluations. Journal of Research and Practice in Information Technology 37(4) (2005)

j24

Andrew Rae, Colin J. Fidge: Information Flow Analysis for Fail-Secure Devices. Comput. J. 48(1): 17-26 (2005)

j23

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)

c26

Colin J. Fidge, Phil Cook: Model Checking Interrupt-Dependent Software. APSEC 2005: 51-58

c25

Colin J. Fidge, Peter Robinson, Steve Dunne: Refinement Laws for Verifying Library Subroutine Adaptation. Australian Software Engineering Conference 2005: 224-232

2003

j22

Karl Lermer, Colin J. Fidge, Ian J. Hayes: Formal Semantics for Program Paths. Electr. Notes Theor. Comput. Sci. 78: 58-81 (2003)

j21

Colin J. Fidge, Carron Shankland: But What if I Don't Want to Wait Forever? Formal Asp. Comput. 14(3): 281-294 (2003)

j20

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)

j19

Karl Lermer, Colin J. Fidge, Ian J. Hayes: Linear Approximation of Execution-Time Constraints. Formal Asp. Comput. 15(4): 319-348 (2003)

j18

Colin J. Fidge: Foreword. Theor. Comput. Sci. 293(3): 477 (2003)

c24

Colin J. Fidge: Verifying Emulation of Legacy Mission Computer Systems. FME 2003: 187-207

c23

Benjamin W. Long, Colin J. Fidge, Antonio Cerone: A Z Based Approach to Verifying Security Protocols. ICFEM 2003: 375-395

c22

Geoffrey Watson, Colin J. Fidge: A Partial-Correctness Semantics for Modelling Assembler Programs. SEFM 2003: 82-90

2002

j17

Luke Wildman, Colin J. Fidge: The variety of variables in computer-aided real-time programming. Electr. Notes Theor. Comput. Sci. 70(3): 21-36 (2002)

j16

Karl Lermer, Colin J. Fidge: A formal model of real-time program compilation. Theor. Comput. Sci. 282(1): 151-190 (2002)

c21

Neil J. Robinson, Colin J. Fidge: Animation of Data Refinements. APSEC 2002: 137-146

c20

Colin J. Fidge: Contextual Matching of Software Library Components. APSEC 2002: 297-306

c19

Colin J. Fidge: Timing Analysis of Assembler Code Control-Flow Paths. FME 2002: 370-389

2001

j15

Ian J. Hayes, Colin J. Fidge, Karl Lermer: Semantic characterisation of dead control-flow paths. IEE Proceedings - Software 148(6): 175-186 (2001)

j14

Andrew Martin, Colin J. Fidge: Lifting in Z. Electr. Notes Theor. Comput. Sci. 42: 197-219 (2001)

j13

Colin J. Fidge: Preface. Electr. Notes Theor. Comput. Sci. 42: 282-283 (2001)

c18

Colin J. Fidge: Compilation of Specifications. APSEC 2001: 355-362

c17

Neil J. Robinson, Colin J. Fidge: Visualisation of Refinements. Australian Software Engineering Conference 2001: 244-254

2000

j12

Graeme Smith, Colin J. Fidge: Incremental Development of Real-Time Requirements: The Light Control Case Study. J. UCS 6(7): 704-730 (2000)

j11

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)

c16

Colin J. Fidge: The Algebra of Multi-tasking. AMAST 2000: 213-227

1999

c15

Karl Lermer, Colin J. Fidge: A Formal Model of Real-Time Program Compilation. ARTS 1999: 192-210

c14

Colin J. Fidge: Modelling Discrete Behaviour in a Continuous-Time Formalism. IFM 1999: 170-188

1998

j10

Colin J. Fidge: A Limitation of Vector Timestamps for Reconstructing Distributed Computations. Inf. Process. Lett. 68(2): 87-91 (1998)

Colin J. Fidge: Real-Time Schedulability Tests for Preemptive Multitasking. Real-Time Systems 14(1): 61-93 (1998)

c13

Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony: Defining Differentiation and Integration in Z. ICFEM 1998: 64-

c12

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

1997

Colin J. Fidge, Andy J. Wellings: An Action-Based Formal Model for Concurrent Real-Time Systems. Formal Asp. Comput. 9(2): 175-207 (1997)

Colin J. Fidge, Peter Kearney, Mark Utting: A Formal Method for Building Concurrent Real-Time Software. IEEE Software 14(2): 99-106 (1997)

c11

Colin J. Fidge: Refinement Rules for Real-Time Multi-tasking Programs. AMAST 1997: 199-215

c10

Karl Lermer, Colin J. Fidge: A Methodology for Compilation of High-Integrity Real-Time Programs. Euro-Par 1997: 1274-1281

1996

Colin J. Fidge: Fundamentals of Distributed System Observation. IEEE Software 13(6): 77-83 (1996)

Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes: Integrating Real-Time Scheduling Theory and Program Refinement. FME 1996: 327-346

1995

Colin J. Fidge, Peter Kearney, Mark Utting: Interactively Verifying a Simple Real-time Scheduler. CAV 1995: 395-408

1994

Colin J. Fidge: Adding Real Time to Formal Program Development. FME 1994: 618-638

1993

Colin J. Fidge: A Formal Definition of Priority in CSP. ACM Trans. Program. Lang. Syst. 15(4): 681-705 (1993)

Colin J. Fidge: Real-Time Refinement. FME 1993: 314-331

1992

Colin J. Fidge: A constraint-oriented real-time process calculus. FORTE 1992: 363-378

Colin J. Fidge: Specification and Verification of Real-Time Behaviour Using Z and RTL. FTRTFT 1992: 393-409

1991

Colin J. Fidge: Logical Time in Distributed Computing Systems. IEEE Computer 24(8): 28-33 (1991)

Colin J. Fidge: Process Algebra Traces Augmented with Causal Relationships. FORTE 1991: 527-541

1990

Colin J. Fidge: A LOTOS Interpreter for Simulating Real-Time Behaviour. FORTE 1990: 523-526

1988

Colin J. Fidge: A LISP Implementation of the Model for `Communicating Sequential Processes'. Softw., Pract. Exper. 18(10): 923-943 (1988)

Colin J. Fidge: Partial Orders for Parallel Debugging. Workshop on Parallel and Distributed Debugging 1988: 183-194

1987

Colin J. Fidge: Reproducible Tests in CSP. Australian Computer Journal 19(2): 92-98 (1987)

1983

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)

1	Wil M. P. van der Aalst	[c52] [p1] [j30] [c36] [c33]
2	Michael Adams	[c51]
3	Lifeng Ai	[j32] [c50]
4	Bandar Alhaqbani	[j31] [j29] [c32]
5	Bandar Alshammari	[c48] [c47] [c46] [c39]
6	Thomas Becker	[c51]
7	William J. Caelli	[j34]
8	David A. Carrington	[c34] [j20] [j11]
9	Antonio Cerone	[c23]
10	Phil Cook	[c28] [c26]
11	Diane Corney	[c48] [c47] [c46] [c44] [c41] [c39]
12	Marlon Dumas	[c38] [c33]
13	Steve Dunne	[c25]
14	Nuwan Goonasekera	[j34]
15	Li Gui	[c49] [c31]
16	Ian J. Hayes	[j23] [j22] [j19] [j15] [c13] [c12] [c9]
17	Arthur H. M. ter Hofstede	[c52] [j33] [c51] [p1] [j30] [c38] [c36] [c33]
18	Audun Jøsang	[j29]
19	Peter Kearney	[j7] [c9] [c8]
20	Shamsul Kamal Ahmad Khalid	[c44]
21	Jan-Christian Kuhr	[c51]
22	Karl Lermer	[j27] [j23] [j22] [j19] [j16] [j15] [c15] [c10]
23	Raymond Lister	[c42]
24	Benjamin W. Long	[c34] [c29] [c23]
25	Brendan P. Mahony	[c13]
26	A. P. Martin	[c12]
27	Andrew Martin	[j14]
28	Tim McComb	[c30]
29	Chun Ouyang	[j33] [c51]
30	R. S. V. Pascoe	[j1]
31	Anastasiia Pika	[c52]
32	Andrew Rae	[j28] [j25] [j24]
33	Neil J. Robinson	[c21] [c17]
34	Peter Robinson	[c25]
35	Anne Rozinat	[p1] [j30] [c36]
36	Carron Shankland	[j21]
37	Graeme Smith	[j12]
38	Maolin Tang	[j32] [c50] [c43]
39	Donna Teague	[c42]
40	Guosong Tian	[c45] [c40] [c35]
41	Yu-Chu Tian	[c49] [c45] [c40] [c35] [c31] [c27]
42	Mark Utting	[j7] [c9] [c8]
43	Axel Wabenhorst	[c12]
44	Geoffrey Watson	[c22]
45	Andy J. Wellings (Andrew J. Wellings)	[j8]
46	Luke Wildman	[j28] [j20] [j17] [j11]
47	Moe Thandar Wynn	[c52] [j33] [c51] [p1] [j30] [c38] [c36] [c33]
48	Jacob Zimmermann	[c44]

Colin J. Fidge

Coauthor Index