Colin J. Fidge

	2011
85		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
84		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
83		Li Gui, Yu-Chu Tian, Colin J. Fidge: A conditional retransmission enabled transport protocol for real-time networked control systems. LCN 2011: 231-234
82		Bandar Alshammari, Colin J. Fidge, Diane Corney: A Hierarchical Security Assessment Model for Object-Oriented Programs. QSIC 2011: 218-227
81		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)
80		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)
	2010
79		Bandar Alshammari, Colin J. Fidge, Diane Corney: Assessing the Impact of Refactoring on Security-Critical Object-Oriented Designs. APSEC 2010: 186-195
78		Bandar Alshammari, Colin J. Fidge, Diane Corney: Security Metrics for Object-Oriented Designs. Australian Software Engineering Conference 2010: 55-64
77		Guosong Tian, Yu-Chu Tian, Colin J. Fidge: Performance analysis of IEEE 802.11 DCF based WNCS networks. LCN 2010: 496-503
76		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
75		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
74		Bandar Alhaqbani, Colin J. Fidge: Probabilistic Inference Channel Detection and Restriction Applied to Patients' Privacy Assurance. IJISP 4(4): 35-59 (2010)
	2009
73		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
72		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
71		Colin J. Fidge, Diane Corney: Integrating hardware and software information flow analyses. LCTES 2009: 157-166
70		Guosong Tian, Colin J. Fidge, Yu-Chu Tian: Hybrid system simulation of computer control applications over communication networks. MASCOTS 2009: 1-10
69		Bandar Alshammari, Colin J. Fidge, Diane Corney: Security Metrics for Object-Oriented Class Designs. QSIC 2009: 11-20
68		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)
67		Bandar Alhaqbani, Audun Jøsang, Colin J. Fidge: A Medical Data Reliability Assessment Model. JTAER 4(2): 64-63 (2009)
	2008
66		Colin J. Fidge: Relative simulation and model checking of real-time processes. ACSC 2008: 157-165
65		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
64		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
63		Guosong Tian, Yu-Chu Tian, Colin J. Fidge: High-Precision Relative Clock Synchronization Using Time Stamp Counters. ICECCS 2008: 69-78
	2007
62		Benjamin W. Long, Colin J. Fidge, David A. Carrington: Cross-Layer Verification of Type Flaw Attacks on Security Protocols. ACSC 2007: 171-180
61		Bandar Alhaqbani, Colin J. Fidge: Access Control Requirements for Processing Electronic Health Records. Business Process Management Workshops 2007: 371-382
60		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		Colin J. Fidge, Tim McComb: Tracing secure information flow through mode changes. ACSC 2006: 303-310
57		Benjamin W. Long, Colin J. Fidge: Formally Analysing a Security Protocol for Replay Attacks. ASWEC 2006: 171-180
56		Phil Cook, Colin J. Fidge: Well-Measuring Programs. ASWEC 2006: 253-261
55		Colin J. Fidge, Yu-Chu Tian: Functional Analysis of a Real-Time Protocol for Networked Control Systems. ATVA 2006: 446-460
54		Karl Lermer, Colin J. Fidge: Procedure compilation in the refinement calculus. Formal Asp. Comput. 18(2): 152-180 (2006)
53		Andrew Rae, Colin J. Fidge, Luke Wildman: Fault Evaluation for Security-Critical Communications Devices. IEEE Computer 39(5): 61-68 (2006)
52		Colin J. Fidge: Formal change impact analyses for emulated control software. STTT 8(4-5): 321-335 (2006)
	2005
51		Colin J. Fidge, Phil Cook: Model Checking Interrupt-Dependent Software. APSEC 2005: 51-58
50		Colin J. Fidge, Peter Robinson, Steve Dunne: Refinement Laws for Verifying Library Subroutine Adaptation. Australian Software Engineering Conference 2005: 224-232
49		Andrew Rae, Colin J. Fidge: Information Flow Analysis for Fail-Secure Devices. Comput. J. 48(1): 17-26 (2005)
48		Andrew Rae, Colin J. Fidge: Identifying Critical Components During Information Security Evaluations. Journal of Research and Practice in Information Technology 37(4): (2005)
47		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		Colin J. Fidge: Verifying Emulation of Legacy Mission Computer Systems. FME 2003: 187-207
45		Benjamin W. Long, Colin J. Fidge, Antonio Cerone: A Z Based Approach to Verifying Security Protocols. ICFEM 2003: 375-395
44		Geoffrey Watson, Colin J. Fidge: A Partial-Correctness Semantics for Modelling Assembler Programs. SEFM 2003: 82-90
43		Karl Lermer, Colin J. Fidge, Ian J. Hayes: Formal Semantics for Program Paths. Electr. Notes Theor. Comput. Sci. 78: 58-81 (2003)
42		Colin J. Fidge, Carron Shankland: But What if I Don't Want to Wait Forever? Formal Asp. Comput. 14(3): 281-294 (2003)
41		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		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		Neil J. Robinson, Colin J. Fidge: Animation of Data Refinements. APSEC 2002: 137-146
37		Colin J. Fidge: Contextual Matching of Software Library Components. APSEC 2002: 297-306
36		Colin J. Fidge: Timing Analysis of Assembler Code Control-Flow Paths. FME 2002: 370-389
35		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)
34		Karl Lermer, Colin J. Fidge: A formal model of real-time program compilation. Theor. Comput. Sci. 282(1): 151-190 (2002)
	2001
33		Colin J. Fidge: Compilation of Specifications. APSEC 2001: 355-362
32		Neil J. Robinson, Colin J. Fidge: Visualisation of Refinements. Australian Software Engineering Conference 2001: 244-254
31		Andrew Martin, Colin J. Fidge: Lifting in Z. Electr. Notes Theor. Comput. Sci. 42: 197-219 (2001)
30		Colin J. Fidge: Preface. Electr. Notes Theor. Comput. Sci. 42: 282-283 (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		Colin J. Fidge: The Algebra of Multi-tasking. AMAST 2000: 213-227
27		Graeme Smith, Colin J. Fidge: Incremental Development of Real-Time Requirements: The Light Control Case Study. J. UCS 6(7): 704-730 (2000)
26		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		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		Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony: Defining Differentiation and Integration in Z. ICFEM 1998: 64-
22		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		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		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		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)

Coauthor Index

1	Wil M. P. van der Aalst	[60] [64] [68] [75]
2	Michael Adams	[85]
3	Lifeng Ai	[80] [84]
4	Bandar Alhaqbani	[61] [67] [74]
5	Bandar Alshammari	[69] [78] [79] [82]
6	Thomas Becker	[85]
7	David A. Carrington	[26] [41] [62]
8	Antonio Cerone	[45]
9	Phil Cook	[51] [56]
10	Diane Corney	[69] [71] [76] [78] [79] [82]
11	Marlon Dumas	[60] [65]
12	Steve Dunne	[50]
13	Li Gui	[59] [83]
14	Ian J. Hayes	[15] [22] [23] [29] [40] [43] [47]
15	Arthur H. M. ter Hofstede	[60] [64] [65] [68] [75] [81] [85]
16	Audun Jøsang	[67]
17	Peter Kearney	[13] [15] [16]
18	Shamsul Kamal Ahmad Khalid	[76]
19	Jan-Christian Kuhr	[85]
20	Karl Lermer	[18] [25] [29] [34] [40] [43] [47] [54]
21	Raymond Lister	[72]
22	Benjamin W. Long	[45] [57] [62]
23	Brendan P. Mahony	[23]
24	A. P. Martin	[22]
25	Andrew Martin	[31]
26	Tim McComb	[58]
27	Chun Ouyang	[81] [85]
28	R. S. V. Pascoe	[1]
29	Andrew Rae	[48] [49] [53]
30	Neil J. Robinson	[32] [38]
31	Peter Robinson	[50]
32	Anne Rozinat	[64] [68] [75]
33	Carron Shankland	[42]
34	Graeme Smith	[27]
35	Maolin Tang	[73] [80] [84]
36	Donna Teague	[72]
37	Guosong Tian	[63] [70] [77]
38	Yu-Chu Tian	[55] [59] [63] [70] [77] [83]
39	Mark Utting	[13] [15] [16]
40	Axel Wabenhorst	[22]
41	Geoffrey Watson	[44]
42	Andy J. Wellings	[17]
43	Luke Wildman	[26] [35] [41] [53]
44	Moe Thandar Wynn	[60] [64] [65] [68] [75] [81] [85]
45	Jacob Zimmermann	[76]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page