Publications: Prof Colin Fidge

Citations in Google Scholar

Impact statistics in Scholarometer

Conference proceedings and journal issues

1. J. Noble and C. J. Fidge, editors. Proceedings of the Twenty-First Australian Software Engineering Conference (ASWEC 2010), Auckland, New Zealand, 6-9 April. IEEE Computer Society, 2010. ISBN 978-0-7695-4006-1.
2. C. J. Fidge, editor. Proceedings of the Twentieth Australian Software Engineering Conference (ASWEC 2009), Gold Coast, 14-17 April. IEEE Computer Society, 2009. ISBN 978-0-7695-3599-9.
3. C. J. Fidge, editor. Fifth Special Australasian Issue. Theoretical Computer Science, 293(3), February 2003.
4. C. J. Fidge, editor. Computing: The Australasian Theory Symposium (CATS 2001), volume 42 of Electronic Notes in Theoretical Computer Science. Elsevier, 2001. ISSN 1571-0661.
5. H. El Gindy and C. J. Fidge, editors. PART 2000: Proceedings of the 7th Australasian Conference on Parallel and Real-Time Systems. Springer-Verlag, 2001. ISBN 962-430-134-4.

Refereed journal articles and book chapters

1. M. Wynn, C. Ouyang, A. H. M. ter Hofstede, and C. J. Fidge. Data and process requirements for product recall coordination. Computers in Industry, 2011. To appear.
2. B. Alhaqbani, M. Adams, C. J. Fidge, and A. H. M. ter Hofstede. Privacy-aware workflow management. In M. Glykas, editor, Advances in Business Process Management, Studies in Fuzziness and Soft Computing. Springer, 2011. To appear.
3. B. Alhaqbani and C. J. Fidge. A medical data trustworthiness assessment model. In S. Brown and M. Brown, editors, Ethical Issues and Security Monitoring Trends in Global Healthcare: Technological Advancements, chapter 10, pages 130-150. IGI Global, 2011. ISBN 978-1-60960-174-4.
4. L. Ai, M. Tang, and C. J. Fidge. Partitioning composite web services for decentralized execution using a genetic algorithm. Future Generation Computer Systems, 27(2):157-172, February 2011.
5. Y. Sun, C. J. Fidge, and L. Ma. A flexible asset maintenance decision-making model. Engineering Asset Management Review, 2010. To appear.
6. L. Ai, M. Tang, and C. J. Fidge. QoS-oriented resource allocation and scheduling of multiple composite web services in a hybrid cloud using a random-key genetic algorithm. Australian Journal of Intelligent Information Processing Systems, 12(1):29-34, 2010.
7. B. Alhaqbani and C. J. Fidge. Probabilistic inference channel detection and restriction applied to patients' privacy assurance. International Journal of Information Security and Privacy, 4(3):35-59, July-September 2010.
8. M. Wynn, A. Rozinat, W. van der Aalst, A. ter Hofstede, and C. J. Fidge. Process mining and simulation. In A. ter Hofstede, W. van der Aalst, M. Adams, and N. Russell, editors, Modern Business Process Automation: YAWL and its Support Environment, chapter 17, pages 437-457. Springer, 2010.
9. A. Rozinat, M. T. Wynn, W. M. P. van der Aalst, A. H. M. ter Hofstede, and C. J. Fidge. Workflow simulation for operational decision support. Data and Knowledge Engineering, 68:834-850, 2009.
10. B. Alhaqbani, A. Jøsang, and C. J. Fidge. A medical data reliability assessment model. Journal of Theoretical and Applied Electronic Commerce Research, 4(2):64-78, August 2009. Special Issue on eHealth and Services Computing in Healthcare.
11. Y.-C. Tian, Z.-G. Yu, and C. J. Fidge. Multifractal nature of network induced time delay in networked control systems. Physics Letters A, 361(1-2):103-107, January 2007.
12. C. J. Fidge. Formal change impact analyses for emulated control software. Software Tools for Technology Transfer, 8(4-5):321-335, August 2006. DOI 10.1007/s10009-004-0174-5.
13. K. Lermer and C. J. Fidge. Procedure compilation in the refinement calculus. Formal Aspects of Computing, 18(2):152-180, June 2006.
14. A. J. Rae, C. J. Fidge, and L. P. Wildman. Fault evaluation for security-critical communications devices. IEEE Computer, 39(5):61-68, May 2006.
15. K. Lermer, C. J. Fidge, and I. J. Hayes. A theory for execution time derivation in real-time programs. Theoretical Computer Science, 356(1):3-27, November 2005. Special Issue on Quantitative Aspects of Programming Languages.
16. A. J. Rae and C. J. Fidge. Identifying critical components during information security evaluations. Journal of Research and Practice in Information Technology, 37(4):391-402, November 2005.
17. A. J. Rae and C. J. Fidge. Information flow analysis for fail-secure devices. The Computer Journal, 48(1):17-26, January 2005. DOI 10.1093/comjnl/bxh056.
18. K. Lermer, C. J. Fidge, and I. Hayes. Linear approximation of execution time constraints. Formal Aspects of Computing, 15(4):319-348, December 2003. Special Issue on Semantic Foundations of Engineering Design Languages.
19. L. Wildman, C. J. Fidge, and D. A. Carrington. The variety of variables in automated real-time refinement. Formal Aspects of Computing, 15(2-3):258-279, November 2003.
20. C. J. Fidge and C. Shankland. But what if I don't want to wait forever? Formal Aspects of Computing, 14(3):281-294, April 2003. Special Issue on the IEEE 1394 FireWire Tree Identify Protocol.
21. K. Lermer and C. J. Fidge. A formal model of real-time program compilation. Theoretical Computer Science, 282(1):151-190, July 2002.
22. I. J. Hayes, C. J. Fidge, and K. Lermer. Semantic characterisation of dead control-flow paths. IEE Proceedings - Software, 148(6):175-186, December 2001. DOI 10.1049/ip-sen:20010834. Awarded the 2001/2002 IEE Mather Premium.
23. G. Smith and C. Fidge. Incremental development of real-time requirements: The light control case study. Journal of Universal Computer Science, 6(7):704-730, 2000. Special Issue on Requirements Engineering.
24. L. Wildman, C. J. Fidge, and D. A. Carrington. Computer-aided development of a real-time program. Software - Concepts & Tools, 19(4):190-202, August 2000.
25. C. J. Fidge, I. J. Hayes, and G. Watson. The deadline command. IEE Proceedings - Software, 146(2):104-111, April 1999. Special Issue on Real-Time Systems.
26. C. J. Fidge. A limitation of vector timestamps for reconstructing distributed computations. Information Processing Letters, 68(2):87-91, October 1998.
27. C. J. Fidge. Real-time schedulability tests for preemptive multitasking. Real-Time Systems, 14(1):61-93, January 1998.
28. C. J. Fidge and A. J. Wellings. An action-based formal model for concurrent, real-time systems. Formal Aspects of Computing, 9(2):175-207, March/April 1997.
29. C. J. Fidge, P. Kearney, and M. Utting. A Formal Method for Building Concurrent Real-Time Software. IEEE Software, 14(2):99-106, March/April 1997. Also available in a longer version.
30. C. J. Fidge. Fundamentals of distributed system observation. IEEE Software, 13(6):77-83, November 1996.
31. C. J. Fidge. A formal definition of priority in CSP. ACM Transactions on Programming Languages and Systems, 15(4):681-705, September 1993.
32. C. J. Fidge and A. M. Lister. A disciplined approach to real-time systems design. Information and Software Technology, 34(9):603-610, September 1992.
33. C. J. Fidge. Logical time in distributed computing systems. IEEE Computer, 24(8):28-33, August 1991. Republished as an invited contribution to T. Casavant and M. Singhal (editors), Readings in Distributed Computing Systems, IEEE Computer Society Press, pages 73-82, 1994, and in Z. Yang and T. A. Marsland (editors), Global States and Time in Distributed Systems, IEEE Computer Society Press, pages 134-139, 1994.
34. C. J. Fidge. A LISP implementation of the model for `Communicating Sequential Processes'. Software - Practice & Experience, 18(10):923-943, October 1988.
35. C. J. Fidge. Reproducible tests in CSP. The Australian Computer Journal, 19(2):92-98, May 1987.
36. C. J. Fidge, G. J. Cain, L. N. Jackson, and R. S. V. Pascoe. An overview of the MELBA automatic code generation project. Australian Telecommunications Research, 18(1):3-12, May 1984.
37. C. J. Fidge and R. S. V. Pascoe. A comparison of the concurrency constructs and module facilities of CHILL and Ada. The Australian Computer Journal, 15(1):17-27, February 1983.

Peer-reviewed conference papers published in monographs

1. B. Alshammari, C. J. Fidge, and D. Corney. A hierarchical security assessment model for object-oriented programs. In R. Hierons and M. Merayo, editors, Proceedings of the 11th International Conference on Quality Software (QSIC 2011), Madrid, July 13-14, 2011. To appear.
2. C. Ouyang, M. T. Wynn, J.-C. Kuhr, M. Adams, A. H. M. ter Hofstede, and C. J. Fidge. Workflow support for scheduling in surgical care processes. In Proceedings of the 19th European Conference on Information Systems, Helsinki, June 9-11, 2011. To appear.
3. C. Ouyang, M. Wynn, C. J. Fidge, A. H. M. ter Hofstede, and J.-C. Kuhr. Modelling complex resource requirements in Business Process Management Systems. In M. Rosemann, P. Green, and F. Rohde, editors, Proceedings of the 21st Australasian Conference on Information Systems (ACIS 2010), December 1-3, Brisbane. Association for Information Systems, 2010.
4. B. Alshammari, C. J. Fidge, and D. Corney. Assessing the impact of refactoring on security-critical object-oriented designs. In J. Han and T. D. Thu, editors, Proceedings of the Seventeenth Asia Pacific Software Engineering Conference, Sydney, 30 November-3 December, pages 186-195. IEEE Computer Society, 2010.
5. G. Tian, Y.-C. Tian, and C. J. Fidge. Performance analysis of IEEE 802.11 DCF based WNCS networks. In Proceedings of The 35th IEEE Conference on Local Computer Networks (LCN 2010), Denver, USA, October 11-14. IEEE Computer Society, 2010.
6. S. K. Ahmad-Khalid, J. Zimmermann, D. Corney, and C. J. Fidge. Automatic generation of assertions to detect potential security vulnerabilities in C programs that use union and pointer types. In Proceedings of the Fourth International Conference on Network and System Security (NSS 2010), Melbourne, 1-3 September, pages 351-356. IEEE, 2010.
7. R. Hassanzadeh, T. Sahama, and C. J. Fidge. A secure framework and related protocols for ubiquitous access to Electronic Health Records using Java SIM Cards. In Proceedings of the 1st IFIP-MIA International e-Health Joint Conference, Brisbane, 20-23 September, volume 335 of Advances in Information and Communication Technology, pages 102-113. IFIP, 2010.
8. B. Alshammari, C. J. Fidge, and D. Corney. Security metrics for object-oriented designs. In J. Noble and C. J. Fidge, editors, Proceedings of the Twenty-First Australian Software Engineering Conference (ASWEC 2010), Auckland, 6-9 April, pages 55-64. IEEE Computer Society, 2010.
9. M. Tang and C. J. Fidge. Reconstruction of falsified computer logs for digital forensics investigations. In C. Boyd and W. Susilo, editors, Proceedings of the Eighth Australasian Information Security Conference (AISC 2010), Brisbane, Australia, January 18-21, volume 105 of Conferences in Research and Practice in Information Technology, pages 12-20. Australian Computer Society, 2010.
10. Y. Sun, L. Ma, W. Robinson, and C. J. Fidge. Using decision trees in economiser repair decision making. In Proceedings of the IEEE Prognostics and System Health Management Conference (PHM 2010), Macau, January 12-14. IEEE, 2010. DOI 10.1109/PHM.2010.5414571.
11. Y. Sun, L. Ma, and C. J. Fidge. Optimisation of economiser tubing system renewal decisions. In P. Herder, editor, Proceedings of the First International Conference on Infrastructure Systems, 10-12 November 2008 (INFRA 2008). IEEE, 2010.
12. B. Alhaqbani and C. J. Fidge. A time-variant medical data trustworthiness assessment model. In D. Hoang and M. Foureur, editors, Proceedings of the 11th International Conference on e-Health Networking, Applications and Services (HealthCom 2009), 16-18 December, Sydney, pages 130-137. IEEE, December 2009.
13. G. Tian, C. J. Fidge, and Y.-C. Tian. Hybrid system simulation of computer control applications over communication networks. In J. Bradley et al, editors, Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2009), Imperial College London, September 21-23, pages 1-10. IEEE, 2009.
14. B. Alshammari, C. J. Fidge, and D. Corney. Security metrics for object-oriented class designs. In Byoungju Choi, editor, Proceedings of the Ninth International Conference on Quality Software (QSIC 2009), Jeju, Korea, August 24-25, pages 11-20. IEEE, 2009.
15. C. J. Fidge and D. Corney. Integrating hardware and software information flow analyses. In Proceedings of the ACM SIGPLAN/SIGBED 2009 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'09), Dublin, June 19-20, pages 157-166. ACM, 2009.
16. R. Lister, C. J. Fidge and D. Teague. Further evidence of a relationship between explaining, tracing and writing skills in introductory programming. In Proceedings of the 14th ACM-SIGCSE Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE'09), Paris, July 3-8, pages 161-165. ACM, July 2009.
17. M. Tang and C. J. Fidge. A genetic algorithm for the multi-source and multi-sink minimum vertex cut problem and its applications. In Proceedings of the IEEE Congress on Evolutionary Computation (CEC 2009), 18-21 May 2009, Trondheim, Norway, pages 3226-3233. IEEE, 2009.
18. C. J. Fidge and D. Teague. Losing their marbles: Syntax-free programming for assessing problem-solving skills. In M. Hamilton and T. Clear, editors, Proceedings of the Eleventh Australasian Computing Education Conference (ACE 2009), volume 95 of Conferences in Research and Practice in Information Technology, pages 75-82. Australian Computer Society, January 2009. Awarded Best Paper at the conference.
19. A. Rozinat, M. Wynn, W. M. P. van der Aalst, A. H. M. ter Hofstede, and C. J. Fidge. Workflow simulation for operational decision support using design, historic and state information. In M. Dumas and M. Reichert, editors, Sixth International Conference on Business Process Management (BPM 2008), volume 5240 of Lecture Notes in Computer Science, pages 196-211. Springer-Verlag, 2008.
20. B. Alhaqbani and C. J. Fidge. Privacy-preserving electronic health record linkage using pseudonym identifiers. In Tenth IEEE International Conference on e-Health Networking, Applications and Services (IEEE Healthcom 2008). IEEE, 2008.
21. G.-S. Tian, Y.-C. Tian, and C. J. Fidge. High-precision relative clock synchronization using time stamp counters. In Thirteenth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), pages 69-78. IEEE Computer Society Press, 2008.
22. C. J. Fidge. Relative simulation and model checking of real-time processes. In G. Dobbie and B. Mans, editors, Thirty-First Australasian Computer Science Conference (ACSC 2008), volume 74 of Conferences in Research and Practice in Information Technology, pages 157-165. Australian Computer Society, 2008.
23. M. Wynn, C. J. Fidge, A. ter Hofstede, and M. Dumas. Product flow analysis in distribution networks with a fixed time horizon. In G. Dobbie and B. Mans, editors, Thirty-First Australasian Computer Science Conference (ACSC 2008), volume 74 of Conferences in Research and Practice in Information Technology, pages 73-81. Australian Computer Society, 2008.
24. G. Smith and C. J. Fidge. On the efficacy of prerecorded lectures for teaching introductory programming. In Simon and M. Hamilton, editors, Tenth Australasian Computing Education Conference (ACE 2008), volume 78 of Conferences in Research and Practice in Information Technology, pages 129-136. Australian Computer Society, 2008.
25. B. Alhaqbani and C. J. Fidge. Access control requirements for processing electronic health records. In A. ter Hofstede, B. Benatallah, and H.-Y. Paik, editors, Business Process Management 2007 Workshops: First International Workshop on Process-Oriented Information Systems in Healthcare (ProHealth 2007), volume 4928 of Lecture Notes in Computer Science, pages 371-382. Springer-Verlag, 2008.
26. M. Wynn, M. Dumas, C. J. Fidge, A. ter Hofstede, and W. van der Aalst. Business process simulation for operational decision support. In A. ter Hofstede, B. Benatallah, and H.-Y. Paik, editors, Business Process Management 2007 Workshops: Third International Workshop on Business Process Intelligence (BPI 2007), volume 4928 of Lecture Notes in Computer Science, pages 66-77. Springer-Verlag, 2008.
27. L. Gui, Y.-C. Tian, and C. J. Fidge. Performance evaluation of IEEE 802.11b wireless networks for real-time networked control systems. In H. Arabnia and L. Yang, editors, Proceedings of the 2007 International Conference on Embedded Systems and Applications (ESA'07), pages 121-126. CSREA Press, 2007.
28. B. W. Long, C. J. Fidge, and D. A. Carrington. Cross-layer verification of type flaw attacks on security protocols. In G. Dobbie, editor, Proceedings of the 30th Australasian Computer Science Conference (ACSC 2007), volume 62 of Conferences in Research and Practice in Information Technology, pages 171-180. Australian Computer Society, 2007.
29. C. J. Fidge and Y.-C. Tian. Functional analysis of a real-time protocol for networked control systems. In S. Graf and W. Zhang, editors, Proceedings of the Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), volume 4218 of Lecture Notes in Computer Science, pages 446-460. Springer-Verlag, 2006.
30. Y.-C. Tian, Q.-L. Han, C. J. Fidge, M. Tadé, and T. Gu. Communication architecture design for real-time networked control systems. In Proceedings of the Fourth IEEE International Conference on Communications, Circuits and Systems (ICCCAS 2006), pages 1840-1845. IEEE, 2006.
31. Y.-C. Tian, D. Levy, M. Tadé, T. Gu, and C. J. Fidge. Queuing packets in communication networks for networked control systems. In Proceedings of the 6th World Congress on Intelligent Control and Automation (WCICA 2006), pages 205-209. IEEE, 2006.
32. B. W. Long and C. J. Fidge. Formally analysing a security protocol for replay attacks. In J. Han and M. Staples, editors, Proceedings of the Australian Software Engineering Conference (ASWEC 2006), pages 171-180. IEEE Computer Society Press, 2006.
33. P. Cook, C. J. Fidge, and D. Hemer. Well-measuring programs. In J. Han and M. Staples, editors, Proceedings of the Australian Software Engineering Conference (ASWEC 2006), pages 253-261. IEEE Computer Society Press, 2006.
34. C. J. Fidge and T. J. McComb. Tracing secure information flow through mode changes. In V. Estivill-Castro and G. Dobbie, editors, Proceedings of the 29th Australasian Computer Science Conference (ACSC 2006), volume 48 of Conferences in Research and Practice in Information Technology, pages 303-310. Australian Computer Society, 2006.
35. C. J. Fidge and P. Cook. Model checking interrupt-dependent software. In Proceedings of the Twelfth Asia-Pacific Software Engineering Conference (APSEC 2005), pages 51-58. IEEE Computer Society Press, 2005.
36. C. J. Fidge, P. Robinson, and S. Dunne. Refinement laws for verifying library subroutine adaptation. In P. Strooper, editor, Proceedings of the 2005 Australian Software Engineering Conference, pages 224-232. IEEE Computer Society Press, 2005. DOI 10.1109/ASWEC.2005.40. Awarded Best Research Paper at the conference.
37. B. Long, C. J. Fidge, and A. Cerone. A Z based approach to verifying security protocols. In J. S. Dong and J. Woodcock, editors, Formal Methods and Software Engineering (ICFEM 2003), volume 2885 of Lecture Notes in Computer Science, pages 375-395. Springer-Verlag, 2003.
38. G. Watson and C. J. Fidge. A partial-correctness semantics for modelling assembler programs. In A. Cerone and P. Lindsay, editors, Software Engineering and Formal Methods (SEFM'03), pages 82-90. IEEE Computer Society Press, September 2003.
39. C. J. Fidge. Verifying emulation of legacy mission computer systems. In K. Araki, and S. Gnesi, and D. Mandrioli, editors, FME 2003: Formal Methods, volume 2805 of Lecture Notes in Computer Science, pages 187-207. Springer-Verlag, 2003.
40. K. Lermer, C. J. Fidge, and I. J. Hayes. Formal semantics for program paths. In J. Harland, editor, Computing: The Australasian Theory Symposium (CATS 2003), volume 78 of Electronic Notes in Theoretical Computer Science. Elsevier, 2003.
41. A. de Beer and C. J. Fidge. A simple multi-tasking simulator. In Proceedings of the 27th Annual IEEE/NASA Software Engineering Workshop (SEW-27), pages 209-216. IEEE Computer Society, 2003.
42. C. J. Fidge. Contextual matching of software library components. In P. Strooper and P. Muenchaisri, editors, Asia-Pacific Software Engineering Conference (APSEC 2002), pages 297-306. IEEE Computer Society Press, 2002. DOI 10.1109/APSEC.2002.1182999.
43. L. Wildman and C. J. Fidge. The variety of variables in computer-aided real-time programming. In J. Derrick, E. Boiten, J. Woodcock, and J. von Wright, editors, Refine 2002: Proceedings of the BCS/FACS Refinement Workshop, volume 70(3) of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. Invited paper.
44. N. J. Robinson and C. J. Fidge. Animation of data refinements. In P. Strooper and P. Muenchaisri, editors, Asia-Pacific Software Engineering Conference (APSEC 2002), pages 137-146. IEEE Computer Society Press, 2002.
45. C. J. Fidge. Timing analysis of assembler code control-flow paths. In L.-H. Eriksson and P. Lindsay, editors, FME 2002: Formal Methods-Getting IT Right, volume 2391 of Lecture Notes in Computer Science, pages 370-389. Springer-Verlag, 2002.
46. C. J. Fidge. Compilation of specifications. In Proceedings of the Eighth Asia-Pacific Software Engineering Conference (APSEC 2001), pages 355-362. IEEE Computer Society Press, December 2001.
47. N. Robinson and C. J. Fidge. Visualisation of refinements. In D. D. Grant and L. Sterling, editors, Proceedings of the 2001 Australian Software Engineering Conference (ASWEC 2001), pages 244-251. IEEE Computer Society Press, 2001.
48. A. P. Martin and C. J. Fidge. Lifting in Z. In C. J. Fidge, editor, Computing: The Australasian Theory Symposium (CATS 2001), volume 42 of Electronic Notes in Theoretical Computer Science. Elsevier, 2001.
49. C. J. Fidge. The algebra of multi-tasking. In T. Rus, editor, Algebraic Methodology And Software Technology (AMAST 2000), volume 1816 of Lecture Notes in Computer Science, pages 213-227. Springer-Verlag, 2000.
50. C. J. Fidge, I. J. Hayes, B. P. Mahony, and A. K. Wabenhorst. Real-time specification and reasoning using maximal intervals. In W. C. H. Cheng and A. S. M. Sajeev (eds.), PART'99: Proceedings of the 6th Australasian Conference on Parallel And Real-Time Systems, pages 344-354. Springer-Verlag, 1999.
51. C. J. Fidge. Modelling discrete behaviour in a continuous-time formalism. In K. Araki, A. Galloway and K. Taguchi (eds.), IFM'99: Proceedings of the First International Conference on Integrated Formal Methods, pages 170-188. Springer-Verlag, 1999.
52. K. Lermer and C. J. Fidge. A formal model of real-time program compilation. In J.-P. Katoen (editor), Formal Methods for Real-Time and Probabilistic Systems (ARTS'99), volume 1601 of Lecture Notes in Computer Science, pages 192-210. Springer-Verlag, 1999.
53. C. J. Fidge. State machine versus trace modelling of real-time reactive systems. In K. A. Hawick and H. A. James (editors), Proceedings of PART'98: 5th Annual Australasian Conference on Parallel And Real-Time Systems, pages 33-44. Springer-Verlag, 1998.
54. C. J. Fidge, I. J. Hayes, and B. P. Mahony. Defining differentiation and integration in Z. In J. Staples, M. G. Hinchey, and Shaoying Liu, editors, Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), pages 64-73. IEEE Computer Society Press, 1998.
55. C. J. Fidge, I. J. Hayes, A. P. Martin, and A. K. Wabenhorst. A set-theoretic model for real-time specification and reasoning. In J. Jeuring, editor, Mathematics of Program Construction (MPC'98), volume 1422 of Lecture Notes in Computer Science, pages 188-206. Springer-Verlag, 1998.
56. C. J. Fidge, P. Kearney, and A. P. Martin. Applying the Cogito program development environment to real-time system design. In C. McDonald, editor, Computer Science '98: Proc. 21st Australasian Computer Science Conference (ACSC'98), pages 367-378. Springer-Verlag, 1998.
57. S. Grundon, I. J. Hayes, and C. J. Fidge. Timing constraint analysis. In C. McDonald, editor, Computer Science '98: Proc. 21st Australasian Computer Science Conference (ACSC'98), pages 575-586. Springer-Verlag, 1998.
58. C. J. Fidge. Refinement rules for real-time multi-tasking programs. In M. Johnson, editor, Algebraic Methodology and Software Technology (AMAST'97), volume 1349 of Lecture Notes in Computer Science, pages 199-215. Springer-Verlag, 1997.
59. C. J. Fidge. Modelling program compilation in the refinement calculus. In D. Duke and A. Evans, editors, 2nd BCS-FACS Northern Formal Methods Workshop (NFMW'97), Electronic Workshops in Computing. Springer-Verlag, 1997.
60. K. Lermer and C. J. Fidge. A methodology for compilation of high-integrity real-time programs. In C. Lengauer et al, editors, Euro-Par'97: Parallel Processing, volume 1300 of Lecture Notes in Computer Science, pages 1274-1281. Springer-Verlag, 1997. Also available in a longer version.
61. K. Lermer and C. J. Fidge. Compilation as refinement. In L. Groves and S. Reeves, editors, Formal Methods Pacific (FMP'97), pages 142-164. Springer, 1997.
62. M. Utting and C. J. Fidge. Refinement of infeasible real-time programs. In L. Groves and S. Reeves, editors, Formal Methods Pacific (FMP'97), pages 243-262. Springer, 1997.
63. M. Utting and C. J. Fidge. A real-time refinement calculus that changes only time. In He Jifeng, J. Cooke and P. Wallis, editors, Seventh BCS-FACS Refinement Workshop. Springer-Verlag, 1996.
64. C. J. Fidge, M. Utting, P. Kearney, and I. J. Hayes. Integrating real-time scheduling theory and program refinement. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefit and Advances in Formal Methods, volume 1051 of Lecture Notes in Computer Science, pages 327-346. Springer-Verlag, 1996.
65. C. J. Fidge, P. Kearney, and M. Utting. Interactively verifying a simple real-time scheduler. In P. Wolper, editor, Computer-Aided Verification: 7th International Conference, CAV '95, volume 939 of Lecture Notes in Computer Science, pages 395-408, Liege, Belgium, July 1995. Springer-Verlag. Also available in a longer version.
66. C. J. Fidge. Adding real time to formal program development. In M. Naftalin, T. Denvir, and M. Bertran, editors, FME'94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 618-638. Springer-Verlag, 1994.
67. C. J. Fidge. Proof obligations for real-time refinement. In D. Till, editor, Sixth BCS-FACS Refinement Workshop, pages 279-305. Springer-Verlag, 1994.
68. C. J. Fidge. Real-time refinement. In J. Woodcock and P. Larsen, editors, FME'93: Industrial-Strength Formal Methods, volume 670 of Lecture Notes in Computer Science, pages 314-331. Springer-Verlag, 1993.
69. C. J. Fidge and A. M. Lister. The challenges of non-functional computing requirements. In The Seventh Australian Software Engineering Conference: Software Quality and Other Urban Myths (ASWEC'93), pages 77-84, Sydney, September 1993. Institution of Radio and Electronics Engineers Australia. ISBN: 0909394342.
70. C. J. Fidge. A constraint-oriented real-time process calculus. In M. Diaz and R. Groz, editors, Formal Description Techniques V (FORTE'92), pages 363-378. North-Holland, 1993.
71. C. J. Fidge. Specification and verification of real-time behaviour using Z and RTL. In J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'92), volume 571 of Lecture Notes in Computer Science, pages 393-409. Springer-Verlag, 1992.
72. C. J. Fidge. Process algebra traces augmented with causal relationships. In K. Parker and G. Rose, editors, Formal Description Techniques IV (FORTE'91), pages 527-541. North-Holland, 1992.
73. C. J. Fidge. A LOTOS interpreter for simulating real-time behaviour. In J. Quemada, J. Manus, and E. Vazquez, editors, Formal Description Techniques III (FORTE'90), pages 523-526. North-Holland, 1991. Also available in a longer version.
74. C. J. Fidge. A simple run-time concurrency measure. In T. Bossomaier, T. Hintz, and J. Hulskamp, editors, The Transputer in Australasia (ATOUG-3), pages 92-101. IOS Press, 1990.
75. C. J. Fidge. Detecting synchronisation errors in occam programs. In P. Nickolas, editor, Proceedings of the 12th Australian Computer Science Conference (ACSC'89), pages 341-352, February 1989.
76. C. J. Fidge. Global time in occam. In Proceedings of the Australian Transputer and occam User Group Conference (ATOUG 1988), pages 93-100, Centre for Advanced Technology in Telecommunications, Melbourne, June 1988.
77. C. J. Fidge. Timestamps in message-passing systems that preserve the partial ordering. In K. Raymond, editor, Proceedings of the 11th Australian Computer Science Conference (ACSC'88), pages 56-66, February 1988.
78. L. N. Jackson, C. J. Fidge, R. S. V. Pascoe, and P. H. Gerrand. Computer-aided CHILL program generation from system specifications: Design experience from the MELBA project. In Telecommunication Switching: State of the Art, Impact on Networks and Services; Proceedings of the International Switching Symposium (ISS'84), pages 33A-4-1 - 33A-4-7, Florence, May 1984. North-Holland. ISBN 0-444-86860-7.

Peer-reviewed conference papers

1. Y. Sun, C. J. Fidge, and L. Ma. Reliability prediction of long-lived linear assets with incomplete failure data. In Proceedings of the International Conference on Quality, Reliability, Risk, Maintenance and Safety Engineering (ICQRMS 2011), Xian, China, pages 149-153. IEEE, 2011.
2. Y. Sun, L. Ma, and C. J. Fidge. A Bayesian-Markov process for reliability prediction. In Proceedings of the 24th International Congress on Condition Monitoring and Diagnostics Engineering Management (COMADEM 2011), Stavangar, Norway, 30th May-1st June, pages 784-791, 2011.
3. Y. Sun, L. Ma, W. Robinson, M. Purser, A. Mathew, and C. J. Fidge. Renewal decision support for linear assets. In Proceedings of the 5th World Congress on Engineering Asset Management (WCEAM 2010), Brisbane, October 25-27, 2010. To appear.
4. Y. Sun, L. Ma, M. Purser and C. J. Fidge. Optimisation of the reliability based preventive maintenance strategy. In Proceedings of the Fourth World Congress on Engineering Asset Management (WCEAM 2009), Athens, 28-30 September, 2009.
5. Y. Sun, C. J. Fidge, and L. Ma. A generic split process model for asset management decision making. In Proceedings of the Third World Congress on Engineering Asset Management and Intelligent Maintenance Systems (WCEAM-IMS 2008), pages 1444-1452, Beijing, 2008.
6. Y. Sun, W. Robinson, L. Ma, and C. J. Fidge. Adopting the split asset management decision making process model for economiser maintenance management. In Proceedings of the Third World Congress on Engineering Asset Management and Intelligent Maintenance Systems (WCEAM-IMS 2008), pages 1434-1443, Beijing, 2008.
7. C. J. Fidge. Modelling real-time multi-tasking systems with timed traces. In Proc. Third Australasian Conference on Parallel and Real-Time Systems (PART'96), pages 94-100, Brisbane, September 1996. Also available in a longer version.
8. C. J. Fidge and J. J. Zic. An expressive real-time CCS. In Proc. Second Australasian Conference on Parallel and Real-Time Systems (PART'95), pages 365-372, Fremantle, September 1995. Also available in a longer version.
9. C. J. Fidge, P. Kearney, and J. Staples. Formally verified real-time software: an integrated development strategy. In D. Del Bel Belluz and H. C. Ratz, editors, Software Safety: Everybody's Business - Proc. 1993 International Workshop on Design and Review of Software Controlled Safety-Related Systems, pages 169-188, 1994. Also available in a longer version.
10. C. J. Fidge and M. J. Pilling. Predicting real-time behaviour from source code: A state-of-the-art survey. In Proc. Sixth Australian Software Engineering Conference (ASWEC'91), pages 107-120, Sydney, July 1991.
11. C. J. Fidge and M. J. Pilling. Specification languages for distributed real-time software. In Proc. 5th Australian Software Engineering Conference (ASWEC'90), pages 195-200, Sydney, May 1990.

Non-reviewed conference papers

1. C. J. Fidge, M. Utting, I. J. Hayes, and P. Kearney. The Quartz refinement method for real-time multi-tasking systems. In Proc. Fifth Australasian Refinement Workshop (ARW'96), Brisbane, April 1996.
2. C. J. Fidge and J. J. Zic. A notion of (weak) refinement for CCS. In Proc. Fourth Australasian Refinement Workshop (ARW'95), pages 155-166, Sydney, April 1995.
3. C. J. Fidge. An analysis tool for Basic LOTOS specifications. In Proc. Open Distributed Processing Workshop, pages 75-84, Sydney, January 1990.
4. C. J. Fidge. Partial orders for parallel debugging. ACM Workshop on Parallel and Distributed Debugging, May 1988. Published in ACM SIGPLAN Notices, 24(1):183-194, January 1989.
5. C. J. Fidge, L. N. Jackson, and R. S. V. Pascoe. Proposal for an abstract data description language. In CCITT SDL Rapporteur's Meeting, Brazil, October 1982.
6. C. J. Fidge, L. N. Jackson, and R. S. V. Pascoe. Automatic generation of CHILL code from SDL specifications: The MELBA automatic code generation system. In CCITT SDL Implementors and Users Forum, Florence Italy, September 1982.

Theses

1. C. J. Fidge. Dynamic Analysis of Event Orderings in Message-Passing Systems. PhD thesis, Department of Computer Science, The Australian National University, March 1989.
2. C. J. Fidge. Data structures to support the automatic generation of program code in telecommunications applications. Masters thesis, Department of Computer Science, Royal Melbourne Institute of Technology, April 1984.

Consultancy reports, technical reports and draft papers

1. L. Ai, M. Tang, and C. J. Fidge. Deadline-constrained resource allocation and scheduling of multiple composite web services in cloud computing using cooperative coevolution. Draft, June 2011.
2. G.-S. Tian, Y.-C. Tian, and C. J. Fidge. Precise relative clock synchronization over local area networks for distributed control. Submitted for publication, January 2011.
3. N. Goonasekera, W. J. Caelli, and C. J. Fidge. LibVM: An architecture for shared library sandboxing. Draft, June 2011.
4. N. Goonasekera, W. J. Caelli, and C. J. Fidge. A virtualization based component isolation architecture. Draft, June 2011.
5. B. Alshammari, C. J. Fidge, and D. Corney. Security metrics for Java bytecode programs. Draft, June 2011.
6. P. Cook and C. J. Fidge. Stepwise refinement of interrupt-driven real-time programs. Submitted for publication, February 2007.
7. A. Burns, I. J. Hayes, G. Baxter, and C. J. Fidge. Modelling temporal behaviour in complex socio-technical systems. Technical report YCS 390, Department of Computer Science, University of York, 2005.
8. A. Matthews, S. Mallen and C. J. Fidge. Procedure for information security evaluations. Technical Report, Defence Signals Directorate. Version 1.1, February 2004.
9. SVRC Services. A proposed certification procedure for emulated software. Consultancy Report 0032-6, UniQuest Pty Ltd, August 2003. Prepared for the Air Operations Division, Defence Science and Technology Organisation.
10. C. J. Fidge. Real-time scheduling theory. SVRC Services (UniQuest Pty Ltd) Consultancy Report 0036-2, April 2002. Prepared for the Air Operations Division, Defence Science and Technology Organisation.
11. C. J. Fidge. A survey of verification techniques for security protocols. Technical Report 01-22, Software Verification Research Centre, The University of Queensland, July 2001.
12. C. J. Fidge. It's now or never. ACM Crossroads, (2.3), February 1996.
13. C. J. Fidge. A comparative introduction to CSP, CCS and LOTOS. Technical Report 93-24, Software Verification Research Centre, University of Queensland, January 1994.
14. C. J. Fidge. A Basic LOTOS interpreter. Technical Report 140, Key Centre for Software Technology, University of Queensland, November 1989.
15. C. J. Fidge, L. N. Jackson, R. S. V. Pascoe, et al. Computer-aided CHILL code generation: Reports 7-12. Technical Reports 112026M-112034M, Royal Melbourne Institute of Technology, Department of Communication and Electronic Engineering, March 1982-February 1984. Series of six reports.

Back to home page