Browse By Person: Fidge, Colin
 | Up a level |
Group by: Item Type | Date
Number of items: 72.
2001
Hayes, Ian, Fidge, Colin J., & Lermer, Karl (2001) Semantic characterisation of dead control-flow paths. IEEE Proceedings - Software, 148(6), pp. 175-186.
58 
7
58 72002
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.
36 
1
36 12005
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 5
177 5Lermer, 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 2 1
108 2 1Fidge, Colin J. & Rae, Andrew (2005) Information flow analysis for fail-secure devices. The Computer Journal, 48(1), pp. 17-26.
73 9 6
73 9 6Fidge, Colin J. & Cook, Phil (2005) Model Checking Interrupt-Dependent Software. In 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December, Taiwan.
209 1
209 1Fidge, 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.
47
472006
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.
96
96Lermer, Karl & Fidge, Colin J. (2006) Procedure Compilation in the Refinement Calculus. Formal Aspects of Computing, 18(2), pp. 152-180.
127
127Rae, Andrew, Fidge, Colin J., & Wildman, Luke (2006) Fault evaluation for security-critical communications devices. IEEE Computer, 39(5), pp. 61-68.
342 5 3
342 5 3Fidge, 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.
7
7Long, 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.
316
316Fidge, 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.
148 3
148 3Fidge, 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.
7
7Fidge, 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.
71 1
71 1Cook, Phil, Fidge, Colin J., & Hemer, David (2006) Well-Measuring Programs. In Han, Jun & Staples, Mark (Eds.) Australian Software Engineering Conference (ASWEC 2006), 2006, Sydney.
109
1092007
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)
673
673Cook, Phil & Fidge, Colin J. (2007) Stepwise refinement of interrupt-driven real-time programs. (Unpublished)
16
16Tian, 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.
176 33 22
176 33 22Alhaqbani, Bandar S. & Fidge, Colin J. (2007) Access Control Requirements for Processing Electronic Health Records. Business Process Management Workshops, 4928, pp. 371-382.
283 1
283 1Long, 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.
145
145Gui, 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..
115
1152008
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.
928 5
928 5Smith, 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)
201
201Alhaqbani, 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.
256 4 2
256 4 2Wynn, 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)
675 1
675 1Fidge, 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)
130
130Rozinat, 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.
391 11
391 112009
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.
27 18
27 18Alhaqbani, 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.
90 1
90 1Lister, 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.
8
8Alshammari, 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)
367 6
367 6Tang, 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.
155
155Fidge, 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.
79 1
79 1Tian, 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)
244
244Fidge, 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.
80 1
80 1Fidge, Colin J. (Ed.) (2009) Proceedings of the Twentieth Australian Software Engineering Conference (ASWEC 2009). IEEE Computer Society Press, Los Alamitos, Calif.
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)
103
1032010
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)
63 1
63 1Ouyang, 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)
303
303Ai, 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)
279
279Ai, 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.
137
137Tian, 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.
78 2
78 2Hassanzadeh, 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.
68
68Alshammari, 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.
98 6
98 6Ahmad 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.
65
65Tang, 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.
152
152Alhaqbani, 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.
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.
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.
212
2122011
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.
238 1
238 1Chakraborty, 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)
42
42Alshammari, 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)
138 1
138 1Ouyang, 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.
104
104Wynn, 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.
315 1
315 1Sun, 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.
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.
6 3
6 3Sun, 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.
2012
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.
22
22Goonasekera, Nuwan A., Caelli, William, & Fidge, Colin (2012) A hardware virtualization-based component sandboxing architecture. Journal of Software, 7(9), pp. 2107-2118.
34
34Suriadi, 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)
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.
65
65Mills, 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.
103
103Lister, 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)
105
105Hauser, 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.
437
437Pika, 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.
69
69Alshammari, 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.
9
9Alshammari, 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.
12
12Sun, 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.
2013
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.
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))
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.