QUT ePrints

Browse By Person: Corney, Diane

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

Conference Paper

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 212

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 27

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 41

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

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

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 122
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 117

Thomas, Richard N., Cordiner, Moira, & Corney, Diane (2010) An adaptable framework for the teaching and assessment of software development across year levels. In Clear, Tony & Hamer, John (Eds.) Proceedings of the Conferences in Research and Practice in Information Technology, Australian Computer Society Inc, Brisbane, Queensland.
Number of full-text downloads 77

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 525
Number of citations in Scopus 8
Number of citations in Web of ScienceĀ® 1

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

Gough, John & Corney, Diane (2003) Leveraging managed frameworks from modular languages. In Modular Programming Languages, Springer Berlin / Heidelberg, University of Klagenfurt, Austria, pp. 150-162.

Gough, Kevin John & Corney, Diana (2000) Evaluating the Java Virtual Machine as a Target for Languages Other Than Java. In Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Zurich, Switzerland, pp. 278-290.

Corney, Diane & Gough, John (1994) Type Test Elimination using Typeflow Analysis. In Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Zurich, Switzerland, pp. 137-150.

Gough, Kevin J. & Corney, Diane W. (1993) Type extension and efficient AST manipulation. In Proceedings of the 16th Australian Computer Science Conference, Australian Computer Society, Brisbane, pp. 101-107.
Number of full-text downloads 105

Gough, John, Cifuentes, Christina, Corney, Diane, Hynd, John R., & Kolb, Peter (1992) An experiment in mixed compilation/interpretation. In 14th Australian Computer Science Conference, January 1992, Hobart, Tasmania.
Number of full-text downloads 104

Report

Gough, John & Corney, Diane (2010) Reading and writing PE-files with PERWAPI. (Unpublished)
Number of full-text downloads 104

Gough, John & Corney, Diane (2000) Implementing languages other than Java on the Java Virtual Machine. (Unpublished)
Number of full-text downloads 46

Corney, Diane (1995) Luna Language Report. (Unpublished)
Number of full-text downloads 42

QUT Thesis

Corney, Diane (1997) Implementation of object-oriented languages based on type extension. PhD thesis, Queensland University of Technology.

This list was generated on Sat Jul 26 05:45:18 2014 EST.