Grant funded projects: Prof Colin Fidge

• Australian Research Council Discovery Grant DP110100091: Risk-Aware Business Process Management; A. ter Hofstede, M. Rosemann, C. J. Fidge, M. Wynn, M. La Rosa, C. Ouyang and W. van der Aalst; $450,000; 2011-2013.
• Australian Research Council Linkage Grant LP0776344: Information Security Evaluation of Embedded Computer Software; C. J. Fidge; $120,000 plus matching Industry Partner contribution; 2007-2010.
• Australian Research Council Discovery Grant DP0773012: Rapidly Locating Items in Distribution Networks with Process-Driven Nodes; C. J. Fidge, A. ter Hofstede and M. Dumas-Menjívar; $290,000; 2007-2009.
• Australian Research Council Discovery Grant DP0449773: Verified Emulation of Legacy Mission Computer Systems; C. J. Fidge and D. G. Hemer; $168,000; 2004-2006.
• Australian Research Council Linkage Grant LP0347620: Formally-Based Security Evaluation Procedures; L. P. Wildman and C. J. Fidge ; $240,000 plus matching Industry Partner contribution; 2003-2006.
• Australian Research Council Discovery Grant DP0208046: Compilation of Specifications; C. J. Fidge; $195,080; 2002-2004.
• Australian Research Council Large Grant A00104650: Verified Compilation Strategies for Critical Computer Programs; C. J. Fidge and P. Kearney; $181,000; 2001-2003.
• Defence Science and Technology Organisation TIRAP Grant: Security Protocol Verification Methods; P. Kearney and C. J. Fidge; $60,000; 2000-2001.
• Australian Research Council Large Grant A49937045: Effective Real-Time Program Analysis; I. J. Hayes and C. J. Fidge; $168,000; 1999-2001.
• Australian Research Council Large Grant A49801500: A Unified Formalism for Concurrent Real-Time Software Development; C. J. Fidge and I. J. Hayes; $171,618; 1998-2000.
• Defence Science and Technology Organisation TIRAP Grant N8324/2/17: Timed Trace Verification and Refinement; C. J. Fidge; $240,000; 1997-2000.
• Australian Research Council Large Grant A49702415: Efficient Development of Verified Concurrent Real-Time Programs through Tool Support; C. J. Fidge and D. A. Carrington; $177,000; 1997-1999.
• Australian Research Council Small Grant 97/ARCS121G: Timing Path Analysis of High-Level Real-Time Programs; I. J. Hayes and C. J. Fidge; $20,000; 1997.
• Australian Research Council Large Grant A49600176: Verified Compilation Rules for Real-Time Programs via Program Refinement; C. J. Fidge $168,000; 1996-1998.
• Defence Science and Technology Organisation TIRAP Grant N8324/2/1: An Integrated Formal Development Method for Real-Time Software; C. J. Fidge; $237,844; 1994-1997.

Consultancy projects: Prof Colin Fidge

• SVRC Services Project PN0032: Emulation for Legacy Mission Systems; Leaders: C. J. Fidge and P. Lindsay; Clients: The Defence Science and Technology Organisation, and the Australian Defence Force; February 2002 - August 2003.
• SVRC Services Project PN0036: Schedulability Analysis for Airborne Mission Computer Systems; Leader: C. J. Fidge; Client: Air Operations Division, The Defence Science and Technology Organisation; January - June 2002.

Research centre funded projects: Prof Colin Fidge

• CRC for Infrastructure and Engineering Asset Management (CIEAM) Project 3200: An Adaptable Multi-Criteria Asset Management Decision Support Framework; with K. Mengersen, et al; October 2010 - June 2013.
• CRC for Integrated Engineering Asset Management (CIEAM) Project MD301: Multi-Criteria Asset Decision Support Tool; with L. Ma et al; July 2006 - March 2010.

Back to home page