Browse By Person: Fidge, Colin

Group by: Item Type | Date

Jump to: Book | Book Chapter | Journal Article | Conference Paper | Report

Number of items: 72.

Book

Noble, James & Fidge, Colin (Eds.) (2010) Proceedings of the 21st Australian Software Engineering Conference (ASWEC 2010) : 6-9 April 2010, Auckland, New Zealand. IEEE, Los Alamitos, California.

Fidge, Colin J. (Ed.) (2009) Proceedings of the Twentieth Australian Software Engineering Conference (ASWEC 2009). IEEE Computer Society Press, Los Alamitos, Calif.

Book Chapter

Alhaqbani, Bandar S., Adams, Michael J., Fidge, Colin J., & ter Hofstede, Arthur H.M. (2013) Privacy-aware workflow management. In Glykas, Michael (Ed.) Business Process Management. Springer Berlin Heidelberg, pp. 111-128.

Sun, Yong, Fidge, Colin J., & Ma, Lin (2012) A flexible asset maintenance decision-making process model. In Amadi-Echendu, Joe, Brown, Kerry A., Willett, Roger, & Mathew, Joseph (Eds.) Asset Condition, Information Systems and Decision Models. Springer-Verlag, London, pp. 149-168.

Journal Article

Goonasekera, Nuwan A., Caelli, William, & Fidge, Colin (2012) A hardware virtualization-based component sandboxing architecture. Journal of Software, 7(9), pp. 2107-2118.

Wynn, Moe T., Ouyang, Chun, ter Hofstede, Arthur H.M., & Fidge, Colin J. (2011) Data and process requirements for product recall coordination. Data and Process Requirements for Product, 62(7), pp. 776-786.

332

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

Ai, Lifeng, Tang, Maolin, & Fidge, Colin J. (2010) 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), pp. 29-34.

142

Alhaqbani, Bandar & Fidge, Colin (2010) Probabilistic inference channel detection and restriction applied to patients' privacy assurance. International Journal of Information Security and Privacy, 4(4), pp. 35-59.

Rozinat, Anne, Wynn, Moe T., van der Aalst, Wil M. P., ter Hofstede, Arthur H. M., & Fidge, Colin J. (2009) Workflow simulation for operational decision support. Data and Knowledge Engineering, 68(9), pp. 834-850.

Alhaqbani, Bandar S., Josang, Audun, & Fidge, Colin J. (2009) A medical data reliability assessment model. Journal of Theoretical and Applied Electronic Commerce Research, 4(2), pp. 64-78.

Rozinat, Anne, Wynn, Moe T., van der Aalst, Wil M., ter Hofstede, Arthur H.M., & Fidge, Colin J. (2008) Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. Lecture Notes in Computer Science, LNCS 5240, pp. 196-211.

392

Wynn, Moe T., Dumas, Marlon, Fidge, Colin J., ter Hofstede, Arthur H.M., & van der Aalst, Wil M. (2007) Business Process Simulation for Operational Decision Support. Lecture Notes in Computer Science. (In Press)

694

Tian, Yu-Chu, Yu, Zu-Guo, & Fidge, Colin J. (2007) Multifractal nature of network induced time delay in networked control systems. Physics Letters. Section A: General, Atomic and Solid State Physics, 361(1-2), pp. 103-107.

177

Alhaqbani, Bandar S. & Fidge, Colin J. (2007) Access Control Requirements for Processing Electronic Health Records. Business Process Management Workshops, 4928, pp. 371-382.

289

Fidge, Colin J. (2006) Formal Change Impact Analyses for Emulated Control Software. International Journal on Software Tools for Technology Transfer, 8(4-5), pp. 321-335.

Lermer, Karl & Fidge, Colin J. (2006) Procedure Compilation in the Refinement Calculus. Formal Aspects of Computing, 18(2), pp. 152-180.

129

Rae, Andrew, Fidge, Colin J., & Wildman, Luke (2006) Fault evaluation for security-critical communications devices. IEEE Computer, 39(5), pp. 61-68.

343

Fidge, Colin J. & Tian, Yu-Chu (2006) Functional Analysis of a Real-Time Protocol for Networked Control Systems. Lecture Notes in Computer Science, 4218/2006, pp. 446-460.

149

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

177

Lermer, Karl, Fidge, Colin J., & Hayes, Ian (2005) A theory for execution-time derivation in real-time programs. Theoretical Computer Science, 346(1), pp. 3-27.

108

Fidge, Colin J. & Rae, Andrew (2005) Information flow analysis for fail-secure devices. The Computer Journal, 48(1), pp. 17-26.

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

Conference Paper

Fidge, Colin J., Hogan, James M., & Lister, Raymond (2013) What vs how : comparing students' testing and coding skills. In Carbone, Angela & Whalley, Jacqueline (Eds.) Proceedings of the Fifteenth Australasian Computing Education Conference (ACE2013),, Australian Computer Society in the Conferences in Research and Practice in Information Technology (CRPIT), Adelaide, South Australia, pp. 97-106.

Teague, Donna M., Corney, Malcolm W., Fidge, Colin J., Roggenkamp, Michael G., Ahadi, Alireza, & Lister, Raymond (2012) Using neo-Piagetian theory, formative in-Class tests and think alouds to better understand student thinking : a preliminary report on computer programming. In Proceedings of 2012 Australasian Association for Engineering Education (AAEE) Annual Conference, Melbourne, Vic.

Doble, Christopher, Fidge, Colin J., & Corney, Diane (2012) Data flow analysis of embedded program expressions. In Pieprzyk, Josef & Thomborson, Clark (Eds.) Proceedings of the 10th Australasian Information Security Conference (AISC 2012), Australian Computer Society, RMIT University, Melbourne, VIC, pp. 71-82.

Mills, Chris, Fidge, Colin J., & Corney, Diane (2012) Tool-supported dataflow analysis of a security-critical embedded device. In Pieprzyk, Josef & Thomborson, Clark (Eds.) Proceedings of the 10th Australasian Information Security Conference (AISC 2012), Australian Computer Society, RMIT University, Melbourne, VIC, pp. 59-70.

105

Lister, Raymond, Corney, Malcolm W., Curran, James, D'Souza, Daryl, Fidge, Colin J., Gluga, Richard, et al. (2012) Toward a shared understanding of competency in programming : an invitation to the BABELnot Project. In de Raadt, Michael & Carbone, Angela (Eds.) Proceedings of the 14th Australasian Computing Education Conference (ACE2012), Australian Computer Society, RMIT University, Melbourne. (In Press)

112

Hauser, Christophe, Tronel, Frederic, Reid, Jason F., & Fidge, Colin J. (2012) A taint marking approach to confidentiality violation detection. In Pieprzyk, Josef & Thomborson, Clark (Eds.) Proceedings of the 10th Australasian Information Security Conference (AISC 2012), Australian Computer Society, RMIT University, Melbourne, VIC, pp. 83-90.

443

Pika, Anastasiia, van der Aalst, Wil M.P., Fidge, Colin J., ter Hofstede, Arthur H.M., & Wynn, Moe T. (2012) Predicting deadline tansgressions using event logs. In Lecture Notes in Business Information Processing, Springer, Tallin, Estonia, pp. 211-216.

Alshammari, Bandar, Fidge, Colin J., & Corney, Diane (2012) Security assessment of code refactoring rules. In Proceedings of the Saudi Arabian National Workshop on Information Assurance Research (WIAR 2012), IEEE (Institute of Electrical and Electronics Engineers, Inc.) & IET (The Institution of Engineering and Technology), Riyadh, Saudi Arabia.

Alshammari, Bandar, Fidge, Colin J., & Corney, Diane (2012) An automated tool for assessing security-critical designs and programs. In Proceedings of WIAR '2012; National Workshop on Information Assurance Research, Riyadh, Saudi Arabia.

Ai, Lifeng, Tang, Maolin, & Fidge, Colin (2011) Resource allocation and scheduling of multiple composite web services in cloud computing using Cooperative Coevolution. In Lu, Baoliang (Ed.) International Conference on Neural Information Processing (ICONIP 2011), 13-17 September 2011, Majesty Plaza, Shanghai, China.

245

Chakraborty, Subrata, Fidge, Colin J., Ma, Lin, & Sun, Yong (2011) M-ary trees for combinatorial asset management decision problems. In 6th World Congress on Engineering Asset Management (WCEAM 2011), 3-5 October 2011, Duke Energy Center, Cincinatti, Ohio. (In Press)

Alshammari, Bandar, Fidge, Colin J., & Corney, Diane (2011) A hierarchical security assessment model for object-oriented programs. In Hierons, Rob & Merayo, Mercedes (Eds.) Proceedings of the 11th International Conference on Quality Software (QSIC 2011), IEEE Computer Society, University Complutense of Madrid, Madrid. (In Press)

141

Ouyang, Chun, Wynn, Moe T., Kuhr, Jan-Christian, Adams, Michael J., Becker, Thomas, ter Hofstede, Arthur H.M., et al. (2011) Workflow support for scheduling in surgical care processes. In The 19th European Conference on Information Systems : ICT and Sustainable Service Development (ECIS 2011), 9-11 June 2011, Aalto University School of Economics, Helsinki.

106

Sun, Yong, Ma, Lin, & Fidge, Colin J. (2011) A Bayesian‐Markov process for reliability prediction. In Proceedings of the 24th International Congress on Condition Monitoring and Diagnostics Engineering Management (COMADEM), COMADEM International, Clarion Hotel, Stavanger, Norway.

Sun, Yong, Ma, Lin, Robinson, Warwick, Purser, Michael, Mathew, Avin D., & Fidge, Colin J. (2011) Renewal decision support for linear assets. In The 5th World Congress on Engineering Asset Management (WCEAM 2010), 25-27 October 2010, Brisbane Convention and Exhibition Centre, Brisbane, Qld.

Alshammari, Bandar, Fidge, Colin J., & Corney, Diane (2010) Assessing the impact of refactoring on security-critical object-oriented designs. In Han, Jun & Thu, Tran Dan (Eds.) Proceedings of the 17th Asia Pacific Software Engineering Conference, IEEE Computer Society, Hilton Hotel, Sydney. (In Press)

Ouyang, Chun, Wynn, Moe Thandar, Fidge, Colin, ter Hofstede, Arthur H.M., & Kuhr, Jan-Christian (2010) Modelling complex resource requirements in Business Process Management Systems. In Rosemann, Michael, Green, Peter, & Rohde, Fiona (Eds.) ACIS 2010 Proceedings, ACIS, Queensland University of Technology, Brisbane. (In Press)

311

Ai, Lifeng, Tang, Maolin, & Fidge, Colin J. (2010) QoS-oriented sesource allocation and scheduling of multiple composite web services in a hybrid cloud using a random-key genetic algorithm. In 17th International Conference on Neural Information Processing (ICONIP 2010), 22-25 November 2010, Sydney. (In Press)

282

Tian, Guosong, Tian, Yu-Chu, & Fidge, Colin J. (2010) Performance analysis of IEEE 802.11 DCF based WNCS networks. In Proceedings of The 35th IEEE Conference on Local Computer Networks (LCN), IEEE, Sheraton Denver Downtown, Denver, Colorado, pp. 512-519.

Hassanzadeh, Reza, Sahama, Tony R., & Fidge, Colin J. (2010) A secure framework and related protocols for ubiquitous access to electronic health records using Java SIM cards. In IFIP Advances in Information and Communication Technology, Springerlink, Brisbane, Queensland, pp. 102-113.

Alshammari, Bandar, Fidge, Colin J., & Corney, Diane (2010) Security metrics for object-oriented designs. In Nobel, James & Fidge, Colin J. (Eds.) Proceedings of the 21st Australian Software Engineering Conference (ASWEC 2010), IEEE Computer Society, Hyatt Regency, Auckland, pp. 55-64.

100

Ahmad Khalid, Shamsul K., Zimmermann, Jacob, Fidge, Colin J., & Corney, Diane (2010) Automatic generation of assertions to detect potential security vulnerabilities in C programs that use union and pointer types. In Xiang, Yang, Samarati, Pierangela, Hu, Jiankun, Zhou, Wanlei, & Sadeghi, Ahmad-Reza (Eds.) Proceedings of 2010 Fourth International Conference on Network and System Security, IEEE Computer Society, Melbourne, pp. 351-357.

Tang, Maolin & Fidge, Colin J. (2010) Reconstruction of falsified computer logs for digital forensics investigations. In Proceedings of the 8th Australasian Information Security Conference (AISC 2010), Australian Computer Society, Queensland University of Technology, Brisbane, Queensland.

158

Sun, Yong, Ma, Lin, Robinson, Warwick, & Fidge, Colin J. (2010) Using decision trees in economizer repair decision making. In Pecht, M. (Ed.) Prognostics and System Health Management Conference, 2010 (PHM '10), IEEE, University of Macau, China, pp. 1-6.

225

Lister, Ray, Fidge, Colin J., & Teague, Donna M. (2009) Further evidence of a relationship between explaining, tracing and writing skills in introductory programming. In Proceedings of the 2009 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education, Association for Computing Machinery , Paris, France, pp. 161-165.

Alshammari, Bandar, Fidge, Colin J., & Corney, Diane (2009) Security metrics for object-oriented class designs. In Choi, Byoungju (Ed.) Proceeding of QSIC 2009 : Ninth International Conference on Quality Software, 24-25 August, Jeju, Korea. (In Press)

373

Tang, Maolin & Fidge, Colin J. (2009) A genetic algorithm for the multi-source and multi-sink minimum vertex cut problem and its applications. In IEEE Congress on Evolutionary Computation, 18-21 May 2009, Nova Conference Centre and Cinema, Trondheim.

158

Fidge, Colin J. & Teague, Donna M. (2009) Losing their marbles : syntax-free programming for assessing problem-solving skills. In Hamilton, Margaret & Clear, Tony (Eds.) Proceedings of the 11th Australasian Computing Education Conference, 20-23 January 2009, Wellington, New Zealand.

Tian, Guosong, Fidge, Colin J., & Tian, Yu-Chu (2009) Hybrid system simulation of computer control applications over communication networks. In Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, 21-23 September 2009, Imperial College, London. (In Press)

249

Fidge, Colin J. & Corney, Diane (2009) Integrating hardware and software information flow analyses. In ACM SIGPLAN/SIGBED 2009 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2009), 19-20 June 2009, Trinity College, Dublin.

Alhaqbani, Bandar S. & Fidge, Colin J. (2009) A time-variant medical data trustworthiness assessment model. In Proceedings of the 11th International Conference on e-Health Networking, Applications and Services, 15-18 December 2009, Sydney. (In Press)

108

Tian, Guo-Song, Tian, Yu-Chu, & Fidge, Colin J. (2008) High-precision relative clock synchronization using time stamp counters. In Breitman, Karin (Ed.) 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008), IEEE, Beflast, UK, pp. 69-78.

967

Smith, Glenn & Fidge, Colin (2008) On the Efficacy of Prerecorded Lectures for Teaching Introductory Programming. In 10th Australasian Computing Education Conference (ACE 2008), January 2008, Wollongong, NSW, Australia. (In Press)

206

Alhaqbani, Bandar S. & Fidge, Colin J. (2008) Privacy-Preserving Electronic Health Record Linkage Using Pseudonym Identifiers. In 10th International Conference on e-health Networking, Applications and Services, 2008. HealthCom 2008, 7-9 July 2008, Singapore.

262

Wynn, Moe T., Fidge, Colin J., ter Hofstede, Arthur H.M., & Dumas, Marlon (2008) Product Flow Analysis in Distribution Networks With a Fixed Time Horizon. In The Thirty-First Australasian Computer Science Conference, 22nd to 25th January, 2008, University of Wollongong, New South Wales, Australia. (In Press)

693

Fidge, Colin (2008) Relative Simulation and Model Checking of Real-Time Processes. In Dobbie, Gillian & Mans, Bernard (Eds.) Thirty-First Australasian Computer Science Conference (ACSC 2008), January, Wollongong, Australia. (In Press)

132

Long, Benjamin W., Fidge, Colin J., & Carrington, David A. (2007) Cross-Layer Verification of Type Flaw Attacks on Security Protocols. In Dobbie, Gillian (Ed.) 30th Australasian Computer Science Conference (ACSC 2007), January 2007, Ballarat.

150

Gui, Li, Tian, Yu-Chu, & Fidge, Colin J. (2007) Performance Evaluation of IEEE 802.11 Wireless Networks for Real-time Networked Control Systems. In The 2007 International Conference on Embedded Systems and Applications, 25 - 28 June, Monte Carlo Resort, Las Vegas, Nevada, USA..

120

Fidge, Colin, Gu, Tianlong, Han, Qing-Long, Tade, Moses, & Tian, Glen (2006) Communication Architecture Design for Real-Time Networked Control Systems. In Yu, J (Ed.) 2006 International Conference on Communications, Circuits and Systems Proceedings (Vol 3), 25-28 June 2007, China, Guilin.

Long, Benjamin W. & Fidge, Colin J. (2006) Formally analysing a security protocol for replay attacks. In Han, Jun & Staples, Mark (Eds.) 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney.

326

Fidge, Colin, Gu, Tianlong, Levy, David, Tade, Moses, & Tian, Glen (2006) Queuing Packets in Communication Networks for Networked Control Systems. In Chai, T & Wang, W (Eds.) Proceedings of the 6th World Congress on Intelligent Control and Automation, 21-23 June 2006, China, Dalian.

Fidge, Colin J. & McComb, Tim (2006) Tracing secure information flow through mode changes. In Estivill-Castro, V. & Dobbie, G. (Eds.) 29th Australasian Computer Science Conference (ACSC 2006), 16-19 January 2006, Hobart.

Cook, Phil, Fidge, Colin J., & Hemer, David (2006) Well-Measuring Programs. In Han, Jun & Staples, Mark (Eds.) Australian Software Engineering Conference (ASWEC 2006), 2006, Sydney.

110

Fidge, Colin J. & Cook, Phil (2005) Model Checking Interrupt-Dependent Software. In 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December, Taiwan.

215

Fidge, Colin J., Robinson, Peter, & Dunne, Steve (2005) Refinement Laws For Verifying Library Subroutine Adaptation. In Stooper, P. (Ed.) 2005 Australian Software Engineering Conference, Brisbane, Australia.

Fidge, Colin J. (2002) Contextual Matching Of Software Library Components. In Stooper, P. & Muenchaisri, P. (Eds.) Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December, Gold Coast, Australia.

Report

Pika, Anastasiia, van der Aalst, Wil M.P., Fidge, Colin J., ter Hofstede, Arthur H.M., & Wynn, Moe T. (2013) Profiling event logs to configure risk indicators for process delays. (Submitted (not yet accepted for publication))

Suriadi, Suriadi, Weiss, Burkhard, Winkelmann, Axel, ter Hofstede, Arthur H.M., Adams, Michael, Conforti, Raffaele, et al. (2012) Current research in risk-aware business process management - overview, comparison, and cap analysis. (Unpublished)

Cook, Phil & Fidge, Colin J. (2007) Stepwise refinement of interrupt-driven real-time programs. (Unpublished)

This list was generated on Sat Jun 15 06:22:39 2013 EST.

Export as	RSS 1.0 Atom RSS 2.0