QUT ePrints

Browse By Person: Fidge, Colin

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Number of items: 80.

Book

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

Karunarathna, Madhushika M.E. , Tian, Yu-Chu, & Fidge, Colin (2014) Domain-specific application analysis for customized instruction identification. Microprocessors and Microsystems, 38(7), pp. 637-648.

Tian, Guo-Song, Tian, Yu-Chu, & Fidge, Colin (2014) Precise relative clock synchronization for distributed control using TSC registers. Journal of Network and Computer Applications, 44, pp. 63-71.

Suriadi, Suriadi, Weiss, Burkhard, Winkelmann, Axel, ter Hofstede, Arthur H.M., Adams, Michael, Conforti, Raffaele, et al. (2014) Current research in risk-aware business process management : overview, comparison, and gap analysis. Communications of the Association for Information Systems, 34(1), pp. 933-984.
Number of full-text downloads 73

Goonasekera, Nuwan A., Caelli, William, & Fidge, Colin (2012) A hardware virtualization-based component sandboxing architecture. Journal of Software, 7(9), pp. 2107-2118.
Number of full-text downloads 152
Number of citations in Scopus 1

Wynn, Moe T., Ouyang, Chun, ter Hofstede, Arthur H.M., & Fidge, Colin J. (2011) Data and process requirements for product recall coordination. Computers in Industry, 62(7), pp. 776-786.
Number of full-text downloads 795
Number of citations in Scopus 4
Number of citations in Web of Science® 2

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.
Number of citations in Scopus 12
Number of citations in Web of Science® 7

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.
Number of full-text downloads 186

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.
Number of citations in Scopus 59
Number of citations in Web of Science® 25

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.
Number of full-text downloads 122
Number of citations in Scopus 3

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.
Number of full-text downloads 517
Number of citations in Scopus 11
Number of citations in Web of Science® 10

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, 4928, pp. 66-77.
Number of full-text downloads 1,283

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.
Number of full-text downloads 228
Number of citations in Scopus 38
Number of citations in Web of Science® 27

Alhaqbani, Bandar S. & Fidge, Colin J. (2007) Access Control Requirements for Processing Electronic Health Records. Business Process Management Workshops, 4928, pp. 371-382.
Number of full-text downloads 506
Number of citations in Scopus 4

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.
Number of full-text downloads 113

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

Rae, Andrew, Fidge, Colin J., & Wildman, Luke (2006) Fault evaluation for security-critical communications devices. IEEE Computer, 39(5), pp. 61-68.
Number of full-text downloads 365
Number of citations in Scopus 5
Number of citations in Web of Science® 3

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.
Number of full-text downloads 194
Number of citations in Scopus 2
Number of citations in Web of Science® 3

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.
Number of full-text downloads 190
Number of citations in Scopus 5

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.
Number of full-text downloads 115
Number of citations in Scopus 2
Number of citations in Web of Science® 1

Fidge, Colin J. & Rae, Andrew (2005) Information flow analysis for fail-secure devices. The Computer Journal, 48(1), pp. 17-26.
Number of full-text downloads 96
Number of citations in Scopus 10
Number of citations in Web of Science® 6

Hayes, Ian, Fidge, Colin J., & Lermer, Karl (2001) Semantic characterisation of dead control-flow paths. IEEE Proceedings - Software, 148(6), pp. 175-186.
Number of full-text downloads 71
Number of citations in Scopus 11

Conference Paper

Zhang, Yi-Fan, Tian, Yu-Chu, Kelly, Wayne, & Fidge, Colin (2014) A distributed computing framework for all-to-all comparison problems. In IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, IEEE, Dallas, Texas, USA.
Number of full-text downloads 21

Pika, Anastasiia, Wynn, Moe T., Fidge, Colin J., ter Hofstede, Arthur H.M., Leyer, Michael, & van der Aalst, Wil M.P. (2014) An extensible framework for analysing resource behaviour using event logs. In Jarke, Matthias, Mylopoulos, John, & Quix, Christoph (Eds.) Lecture Notes in Computer Science [Proceedings of the 26th International Conference on Advanced Information Systems Engineering, CAiSE 2014], Springer Verlag, Thessaloniki, Greece, pp. 564-579.
Number of full-text downloads 21

Karunarathna, Madhushika M. E., Tian, Yu-Chu, Fidge, Colin, & Hayward, Ross (2013) Algorithm clustering for multi-algorithm processor design. In Proceedings of the 2013 IEEE 31st International Conference on Computer Design (ICCD), IEEE, Asheville, NC, USA, pp. 451-454.
Number of full-text downloads 49
Number of citations in Scopus 1

Chakraborty, Subrata, Fidge, Colin J., Ma, Lin, & Sun, Yong (2013) M-ary trees for combinatorial asset management decision problems. In Engineering Asset Management 2011: Proceedings of the Sixth Annual World Congress on Engineering Asset Management [Lecture Notes in Mechanical Engineering], Springer, Duke Energy Center, Cincinatti, Ohio, pp. 117-127.
Number of full-text downloads 106

Hauser, Christophe, Tronel, Frederic, Mé, Ludovic, & Fidge, Colin J. (2013) Intrusion detection in distributed systems, an approach based on taint marking. In Proceedings of the 2013 IEEE International Conference on Communications (ICC), IEEE Computer Society, Budapest, Hungary, pp. 1962-1967.
Number of full-text downloads 55

Furda, Andrei, Cholette, Michael E., Ma, Lin, Fidge, Colin, Hill, Wayne, & Robinson, Warwick (2013) Making optimal and justifiable asset maintenance decisions. In 8th World Congress on Engineering Asset Management & 3rd International Conference on Utility Management & Safety, 30 October - 1 November 2013, Hong Kong Exhibition and Convention Centre, Hong Kong.
Number of full-text downloads 17

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. In Advanced Information Systems Engineering (CAISE 2013), Springer, Valencia, Spain, pp. 465-481.
Number of full-text downloads 100
Number of citations in Scopus 2

Alshammari, Bandar, Fidge, Colin J., & Corney, Diane (2013) Security metrics for Java bytecode programs. In Proceedings of the Twenty-Fifth International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), Knowledge Systems Institute, Hyatt Harborside at Logan Int'l Airport, Boston, Mass, pp. 394-399.
Number of full-text downloads 22

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.
Number of full-text downloads 56

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.
Number of full-text downloads 151

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.
Number of full-text downloads 222

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)
Number of full-text downloads 181

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.
Number of full-text downloads 531

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.
Number of full-text downloads 143

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.
Number of full-text downloads 34

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.
Number of full-text downloads 45

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.
Number of full-text downloads 409
Number of citations in Scopus 1
Number of citations in Web of Science® 3

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)
Number of full-text downloads 205
Number of citations in Scopus 2

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.
Number of full-text downloads 162

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)
Number of full-text downloads 89
Number of citations in Scopus 1

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)
Number of full-text downloads 501

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)
Number of full-text downloads 413

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.
Number of full-text downloads 103
Number of citations in Scopus 4

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.
Number of full-text downloads 97

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.
Number of full-text downloads 143
Number of citations in Scopus 6

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.
Number of full-text downloads 120

Tang, Maolin & Fidge, Colin J. (2010) Reconstruction of falsified computer logs for digital forensics investigations. In Information Security 2010: Proceedings of the Eight Australasian Information Security Conference [Conferences in Research and Practice in Information Technology, Volume 105], Australian Computer Society, Queensland University of Technology, Brisbane, Queensland, pp. 12-21.
Number of full-text downloads 253

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.
Number of full-text downloads 515

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.
Number of citations in Scopus 11

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)
Number of full-text downloads 580
Number of citations in Scopus 9
Number of citations in Web of Science® 1

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.
Number of full-text downloads 182
Number of citations in Scopus 1
Number of citations in Web of Science® 1

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.
Number of full-text downloads 114
Number of citations in Scopus 1

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)
Number of full-text downloads 325

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.
Number of full-text downloads 106
Number of citations in Scopus 1

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)
Number of full-text downloads 139

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.
Number of full-text downloads 1,586
Number of citations in Scopus 6

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)
Number of full-text downloads 463

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.
Number of full-text downloads 382
Number of citations in Scopus 8
Number of citations in Web of Science® 4

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)
Number of full-text downloads 733
Number of citations in Scopus 1

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)
Number of full-text downloads 169

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.
Number of full-text downloads 210

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..
Number of full-text downloads 146

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.
Number of citations in Scopus 7

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.
Number of full-text downloads 505
Number of citations in Scopus 1

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.
Number of citations in Scopus 7

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.
Number of full-text downloads 74
Number of citations in Scopus 1

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.
Number of full-text downloads 121

Fidge, Colin J. & Cook, Phil (2005) Model Checking Interrupt-Dependent Software. In 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December, Taiwan.
Number of full-text downloads 286
Number of citations in Scopus 2

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.
Number of full-text downloads 106

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.
Number of full-text downloads 93
Number of citations in Web of Science® 1

Report

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

This list was generated on Sat Dec 20 05:26:59 2014 AEST.