Publications

This is a list of my publications, by type.

Journal Papers

Staples, M. (2015) Critical rationalism and engineering: methodology. In Synthese, Springer, Volume 192, Issue 1, pp. 337-362. (author’s preprint)

Jeffery, R., Staples, M., Andronick, J., Klein, G., Murray, T. (2015) An Empirical Research Agenda for Understanding Formal Methods Productivity. In Information and Software Technology, Vol. 60, pp. 102–112, Elsevier.

Staples, M. (2014) Critical rationalism and engineering: ontology. In Synthese, Springer, July 2014, Volume 191, Issue 10, pp. 2255-2279. (author’s preprint)

Chiam, Y. K., Staples, M., Ye, X., Zhu, L. (2013) Applying a Selection Method to Choose Quality Attribute Techniques. In Information and Software Technology, Elsevier, Vol. 55, No. 8, pp. 1419-1436.

Liu, Y., Liang, X., Xu, L., Staples, M., and Zhu, L. (2011) Composing enterprise mashup components and services using architecture integration patterns. In Journal of Systems and Software, Elsevier, Vol. 84, No. 9, pp. 1436-1446.

Staples, M., and Niazi, M. (2008) Systematic Review of Organizational Motivations for Adopting CMM-based SPI. In Information and Software Technology, Elsevier, Vol. 50, pp. 605-620.

Kitchenham, B., Al-Khilidar, H., Babar, M. A., Berry, M., Cox, K., Keung, J., Kurniawati F., Staples, M., Zhang, and H., Zhu, L. (2008) Evaluating Guidelines for Empirical Software Engineering Studies. In Empirical Software Engineering, Springer, Vol. 13, No. 1, February, 97-121.

Zhu, L., Osterweil, L. J., Staples, M., Kannengeisser, U., and Simidchieva, B. I. (2007) Desiderata for Languages to be Used in the Definition of Reference Business Processes. In International Journal of Software and Informatics, Vol 1, No. 1, December, pp. 33-65.

Staples, M., Niazi, M., Jeffery, R., Abrahams, A., Byatt, P., and Murphy, R. (2007). An Exploratory Study of Why Organizations Do Not Adopt CMMI. In Journal of Systems and Software, Elsevier, Vol. 80, Issue 6, June, pp. 883-893.

Nedstam, J., and Staples, M. (2007). Evolving Strategies for Software Architecture and Reuse. In Software Process Improvement and Practice, Wiley, Vol. 12, Issue 3, May/June, pp. 295-309.

Staples, M., and Niazi, M. (2007) Experiences Using Systematic Review Guidelines. In Journal of Systems and Software, Elsevier, Vol. 80, Issue 9, September, pp. 1425-1437.

Staples, M. (2000). Interfaces for Refining Recursion and Procedures. In Formal Aspects of Computing, Springer-Verlag, Vol. 12, No. 5, pp. 372-391.

Internationally-Refereed Conference Papers

Rimba, R., Tran, A. B., Weber, I., Staples, M., Ponomarev, A., Xu, X. (2017, accepted) Comparing Blockchain and Cloud Services for Business Process Execution. In Proceedings of the International Conference on Software Architecture (ICSA 2017).

Yasaweerasinghelage, R., Staples, M. Weber, I. (2017, accepted) Predicting Latency of Blockchain-Based Systems Using Architectural Modelling and Simulation. In Proceedings of the International Conference on Software Architecture (ICSA 2017).

Xu, X., Weber, I., Staples, M., Zhu, L., Bosch, J., Bass, L., Pautasso, C., Rimba, R. (2017, accepted) A Taxonomy of Blockchain-based Systems for Architecture Design. In Proceedings of the International Conference on Software Architecture (ICSA 2017).

Staples, M., Zhu, L. Grundy, J. (2016) Continuous Validation for Data Analytics Systems. In Proceedings of the 38th International Conference on Software Engineering (ICSE 2016). (pdf)

Staples, M. (2015) The Unending Quest for Valid, Useful Software Engineering Theories. In Proceedings of the 4th SEMAT Workshop on a General Theory of Software Engineering (GTSE 2015), an ICSE 2015 workshop, pp. 47-58.

Matichuk, D., Murray, T., Andronick, J., Jeffery, R., Klein, G., Staples, M. (2015) Empirical Study towards a Leading Indicator for Cost of Formal Software Verification. In Proceedings of the 37th International Conference on Software Engineering (ICSE 2015). (pdf)

Staples, M., Jeffery, R., Andronick, J., Murray, T., Klein, G., Kolanski, R.,  (2014) Productivity for Proof Engineering. In Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement (ESEM 2014), ACM, Article No. 15.

Staples, M., Kolanski, R., Klein, G., Lewis, C., Andronick, J., Murray, T., Jeffery, R., Bass, L. (2013) Formal Specifications Better than Function Points for Code Sizing. In Proceedings of the 35th International Conference on Software Engineering (ICSE 2013), IEEE, pp. 1257 – 1260.

Kuz, I., Zhu., L., Bass, L., Staples, M., Xu, X. (2012) An Architectural Approach for Cost Effective Trustworthy Systems. In 2012 Joint Working Conference on Software Architecture and 6th European Conference on Software Architecture (WICSA/ECSA 2012). IEEE Computer Society, pp. 325-328.

Kusumo, D., Staples, M., Zhu, L., Jeffery, R. (2012) Analyzing differences in risk perceptions between developers and acquirers in OTS-based custom software projects using stakeholder analysis. In 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM ’12), ACM, pp. 69-78.

Zhang, H., Klein, G., Staples, M., Andronick, J., Zhu, L., Kolanski, R. (2012) Simulation Modeling of a Large-Scale Formal Verification Process. In Proceedings of the International Conference on Software and Systems Process (ICSSP 2012), IEEE, pp. 3-12.

Andronick, J., Jeffery, R., Klein, G., Kolanski, R., Staples, M., Zhang, H., Zhu, L. (2012) Large-Scale Formal Verification in Practice: A Process Perspective. In Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), IEEE, pp. 1002-1011.

Kusumo, D., Staples, M., Zhu, H., Zhang, H., Jeffery, R. (2012) Risks of Off-the-Shelf-Based Software Acquisition and Development: A Systematic Mapping Study and a Survey. In Proceedings of the 16th International Conference on Evaluation & Assessment in Software Engineering (EASE 2012), IET, pp. 233-242.

Kusumo, D., Zhu, L., Staples, M., Zhang, H. (2011) A Systematic Mapping Study on Off-The Shelf Software Acquisition. In Proceedings of the 22nd Australiasian Conference on Information Systems (ACIS), paper 22.

Sanim Mohd Fauzi, S., Bannerman, P., Staples, M. (2010) Software Configuration Management in Global Software Development: A Systematic Map. In Proceedings of the 17th Asia Pacific Software Engineering Conference, IEEE Computer Society, pp. 404-413.

Staples, M., Niazi, M. (2010) Two Case Studies on Small Enterprise Motivation and Readiness for CMMI. In The 11th International Conference on Product Focused Software Development and Process Improvement (PROFES 2010). ACM, pp. 63-66. (pdf)

Chiam, Y.K., Staples, M., Zhu, L. (2010) Systematic Selection of Quality Attribute Techniques. In The 11th International Conference on Product Focused Software Development and Process Improvement (PROFES 2010). ACM, pp. 59-62. (pdf)

Xu, X. Zhu, L., Staples, M., and Liu, Y. (2009) An Architecting Method for Distributed Process-Intensive Systems. In Proceedings of Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, IEEE Computer Society, pp. 277-280.

Liu, Y., Liang, X., Xu, L., Staples, M., and Zhu, L. (2009) Using Architecture Integration Patterns to Compose Enterprise Mashups. In Proceedings of Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, IEEE Computer Society, pp. 111-120.

Chiam, Y.K., Zhu, L., and Staples, M. (2009) Quality Attribute Techniques Framework. In Proceedings of 2009 European Software Process Improvement (EuroSPI 2009), Springer, pp. 173-184.

Zhu, L., Tran, T. T., Staples, M., and Jeffery, R. (2009) Technical Software Development Process in the XML Domain. In Proceedings of the International Conference on Software Process (ICSP), pp. 246-255.

Khurshid, K., Bannerman, P. L., and Staples, M. (2009) Overcoming the First Hurdle: Why Organizations Do Not Adopt CMMI. In Proceedings of the International Conference on Software Process (ICSP), pp. 38-49.

Xu, X., Zhu, L., Liu, Y., and Staples, M. (2008) Resource-Oriented Architecture for Business Processes. In Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), IEEE Computer Society, pp. 395-402. (pdf)

Zhu, L., Staples, M., and Tosic, V. (2008) On Creating Industry-Wide Reference Architectures. In Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2008), IEEE Computer Society, pp. 24-30.

Chen, X., Staples, M., and Bannerman, P. (2008) Analysis of CMMI Specific Practice Dependencies. In Proceedings of European Software Process Improvement and Innovation (EuroSPI 2008), Communications in Computer and Information Science, Springer, Vol. 16, pp. 94-105.

Xu, X., Zhu, L., Liu, Y., and Staples, M., (2008) Resource-Oriented Business Process Modeling for Ultra-Large-Scale Systems. In Second International Workshop on Ultra-Large-Scale Software-Intensive Systems (ULSSIS 2008), pp. 65-68.

Zhu, L., Jeffery, R., Staples, M. (2008) Scaling Up Software Architecture Evaluation Processes. In Proceedings of the 2008 International Conference on Software Process (ICSP), Lecture Notes in Computer Science, Springer, Vol. 5007/2008, pp. 112-122.

Zhu, L., Osterweil, L. J., Staples, M., and Kannengiesser, U. (2008) Challenges Observed in the Definition of Reference Business Processes. In Business Process Management Workshops (BPM 2007), Lecture Notes in Computer Science, Springer, Vol. 4928/2008, pp. 95-107.

Liu, Y., Zhu, L., Bass, L., Gorton, I., and Staples, M. (2007) Non-Functional Property Driven Service Governance: Performance Implications. In Proceedings of the 2007 Workshop on Non-Functional Properties and Service Level Agreements in Service Oriented Computing (NFPSLA-SOC), Lecture Notes in Computer Science, Springer, Vol. 4907/2009, pp. 45-55.

Chen, X., and Staples, M. (2007) Using Practice Outcome Areas to Understand Perceived Value of CMMI Specific Practices for SMEs. In Proceedings of European Software Process Improvement and Innovation (EuroSPI 2007), Lecture Notes in Computer Science, Springer, Vol. 4764/2007, pp. 59-70.

Nonaka, M., Zhu, L., Ali Babar, M., and Staples, M. (2007) Impacts of Architecture and Quality Investment in Software Product Line Development. In Proceedings of the 11th International Software Product Line Conference (SPLC 2007), IEEE, ISBN 978-0-7695-2888-5, pp. 63-73.

Zhu, L., and Staples, M. (2007) Situational Method Quality. In Proceedings of the IFIP WG8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences (ME07), IFIP International Federation for Information Processing, Springer, Vol. 244/2007, pp. 193-206.

Nonaka, M., Zhu, L., Ali Babar, M., and Staples, M. (2007) Project Cost Overrun Simulation in Software Product Line Development. In Proceedings of the 8th International Conference on Product-Focused Software Process Improvement (PROFES 2007), Lecture Notes in Computer Science, Springer, Vol. 4589, pp. 330-344.

Nonaka, M., Zhu, L., Ali Babar, M., and Staples, M. (2007) Project Delay Variability Simulation in Software Product Line Development. In Proceedings of the 2007 International Conference on Software Process, Lecture Notes in Computer Science, Springer, Vol. 4470/2007, pp. 283-294.

Zhu, L., Jeffery, R., Staples, M., Huo, M., and Tak Tran, T. (2007) Effects of Architecture and Technical Development Process on Micro-Process. In Proceedings of the 2007 International Conference on Software Process, Lecture Notes in Computer Science, Springer, Vol. 4470/2007, pp. 49-60..

Zhu, L., Staples, M., and Jeffery, R. (2007) Reference Architecture for Lending Industry in ULS Systems. In Proceedings of the First ICSE Workshop on Software Technologies for Ultra-Large-Scale (ULS) Systems.

Zhu, L., Staples, M. , and Gorton, I. (2007) An Infrastructure for Indexing and Organizing Best Practices. In Proceedings of the 2nd International Workshop on Realising Evidence-Based Software Engineering (REBSE-2), IEEE Computer Society.

Kitchenham, B., Al-Khilidar, H., Babar, M. A., Berry, M., Cox, K., Keung, J., Kurniawati F., Staples, M., Zhang, and H., Zhu, L. (2006) Evaluating Guidelines for Empirical Software Engineering Studies. In Proceedings of the 2006 ACM/IEEE international symposium on International symposium on empirical software engineering, ACM Press, pp 38-47. (Received Distinguished Paper Award at the conference.) (pdf)

Staples, M., and Niazi, M. (2006) Experiences Using Systematic Review Guidelines. In Proceedings of 10th International Conference on Evaluation and Assessment in Software Engineering (EASE), Keele University, UK, 10 – 11 April 2006, BCS Electronic Workshops in Computing.

Staples, M., and Hill, D. (2004) Experiences Adopting Software Product Line Development without a Product Line Architecture. In Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), IEEE Computer Society, pp. 176-183.

Lindsay, P., MacDonald, A., Staples, M., and Strooper, P. (2001). A Framework for Subsystem-based Configuration Management. In Proceedings of the Australian Software Engineering Conference 2001, IEEE Computer Society, pp. 275-284.

Staples, M. (1999). Representing WP Semantics in Isabelle/ZF. In Proceedings of TPHOLS: the 12th International Conference on Theorem Proving in Higher-Order Logics. Lecture Notes in Computer Science, Vol. 1690, pp. 239-254.

Bakker, P., Lynton, A., Norris, M., Parkinson, S., Staples, M., Whiteside, A., and Wiles, J. (1994) Using Bottlenecks in Feedforward Networks as a Dimension Reduction Technique: An Application to Optimisation Tasks. In Proceedings of the Fifth Australian Conference on Neural Networks, 31 Jan-2 Feb 1994, Brisbane, pp 129-132.

Other Conference Presentations

Staples, M. (2016) Empirical Validation of Software Theories. Invited talk at TOSE 2016: The 5th International Workshop on Theory-Oriented Software Engineering. May 15 2016, Austin, Texas, USA.

Obradovic, M., Cameron, T., Gorman, R. B., Shariati, N. H., Staples, M., Parker, J. L., Wu, C., Sharan, A. Intraoperative Recording of Evoked Compound Action Potentials as a Tool to Aid Paddle Placement for Spinal Cord Stimulation. In Proceedings of the 18th Annual Meeting of the North American Neuromodulation Society, Dec. 11-14, 2014, Las Vegas, Nevada, USA

Staples, M. (2012) Finding and Responding to Failure in Large Formal Verifications. In AI meets Formal Software Development, Report from Dagstuhl Seminar 12271, p24.

Chiam, Y. K., Staples, M., and Zhu, L. (2009) Representation of Quality Attribute Techniques Using SPEM and EPF Composer. In Proceedings of the Industry Papers of the European Software Process Improvement (EuroSPI).

Staples, M. (2004) Change Control for Product Line Software Engineering. In Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), IEEE Computer Society, pp. 572-573.

Staples, M. (1996) Flexible Interactive Transformational Reasoning. In The Fifth Australasian Refinement Workshop.

Staples, M. (1995) Window Inference in Isabelle. In Proceedings of the First Isabelle Users Workshop. University of Cambridge Computer Laboratory,Technical Report No. 379, pp. 191-205.

Technical Reports

Yasaweerasinghelage, R., Staples, M. Weber, I. (2017) Using architectural modelling and simulation to predict latency of blockchain-based systems. UNSW School of Computer Science and Engineering Technical Report UNSW-CSE-TR-201704, February 2017.

Staples, M., and Niazi, M. (2006) Systematic Review of Organizational Motivations for Adopting CMM-based SPI. National ICT Australia Technical Report PA005957, February 2006.

Lindsay, P., MacDonald, A., Staples, M., and Strooper, P. (2001) A Framework for Subsystem-based Configuration Management. Technical Report No. 01-05, Software Verification Research Centre, The University of Queensland.

Staples, M. (1999) Linking ACL2 and HOL. Technical Report No. 476, University of Cambridge Computer Laboratory.

Theses, Books, and Book Chapters

Han, J., and Staples, M. (editors) (2006) Proceedings of 2006 Australian Software Engineering Conference (ASWEC), IEEE Computer Society, ISBN 0769525512.

Staples, M. (2011) Software Product Lines. Chapter in Essential Software Architecture, 2nd ed., Gorton, I. Springer, ISBN 9783642191756.

Staples, M. (2006) Software Product Lines. Chapter in Essential Software Architecture, Gorton, I., Springer, ISBN 3540287132.

Staples, M. (1998). A Mechanised Theory of Refinement. Ph.D. Dissertation, The University of Cambridge Computer Laboratory.

Industry Articles

Staples, M. (2016) Blockchain. In Essential Director Update: 16, Australian Institute of Company Directors, Sep 2016.

Staples, M. (2016) Blockchain is useful for a lot more than just Bitcoin, The Conversation, 10 May. (Also syndicated through IT News, Startup Smart, Smart Company, and others. Republished through World Economic Forum as What can blockchain be used for, apart from bitcoin?)

Staples, M. (2008) Four Lessons about Company Standards and Procedures from Build Management, CM Journal, CM Crossroads, Vol. 6, No. 2, February.

Industry and Media Presentations

I have spoken on the following topics at industry conferences, workshops, and seminars.

Blockchain and its applications, seminar at launch of the RiskLab Australia, Melbourne (22 March 2017).

How blockchain research can help us understand the risks and opportunities for blockchain technology for a smarter society, invited talk at APAC Blockchain Conference 2017, Sydney (7-9 March 2017).

The future of audit… disrupted or unchained!? (The impact of Blockchain), panel session at CSIRO Black Mountain, in conjunction with ISACA, panelists Inspector General of the United States of America’s House of Representatives, KWM, EY, Data61 (9 Sep 2016)

Beyond Blockchain, panel session at Henry Davis York, also with panelists from CBA and ASIC (7 June 2016).

Software and its Development, course unit for Federal Government Department internal training day (24 June 2011).

Cloud Computing: Basics and Key Issues, course unit for Federal Government Department internal training day (24 June 2011).

Implementing CMMI Specific Practices Incrementally – Where Do You Start?, Improving Systems and Software Engineering Conference (ISSEC), Canberra (10-12 August 2009).

Paperless office mystery unfolds, The Scoop with Mark Jones (podcast), MIS Australia (2 December 2008).

Capability-based Software Engineering Performance, SEPG Australia Conference 2007, Gold Coast (29-30 August 2007).

Why Organizations (Don’t) Choose CMMI, SEPG Australia Conference 2006, Melbourne (26-27 September 2006).

Why Organizations (Don’t) Use CMMI, NICTA Software Engineering Breakfast Series, Sydney (24 November 2005), Brisbane (28 November 2005), Canberra (29 November 2005)

Software Engineering Problems and Solutions, Warren Centre Workshop “Profit from Publicly Funded R&D”, Sydney (16 May 2005)

What is a CMMI Rating?, Government Technology World, Canberra (27 April 2005)

Component Reuse in IBM Rational ClearCase/UCM for Developing Product Families, 2003 IBM Rational User’s Conference, Orlando, FL, U.S.A. (August 24-28 2003)

University Lectures

I have run tutorials (supervisions) for more than 16 semesters/terms at the University of Queensland and the University of Cambridge, on subjects in programming, logic, program verification, and security. I have also developed material for and delivered the following lectures at the University of New South Wales:

2006, Architecture of Software Systems (COMP9117), University of New South Wales. (Two lectures on Software Product Lines.)

2005, Advanced Topics in Software Engineering (COMP9009), University of New South Wales. (Two lectures, on Software Configuration Management, Build and Release Management, and Software Product Lines.)

Research Students

I have supervised the following research students (PhD and Masters by Research) to completion.

Nazrina Khurshid Mohamed, Ph.D., UNSW (2017), Sustaining Software Process Improvement (SPI) in Software-developing Organizations

Shukor Sanim Mohd Fauzi, Ph.D., UNSW (2016), Developer Coordination in Software Engineering Projects

Paul Rimba, Ph.D., UNSW (2016), Building High Assurance Secure Applications using Security Patterns for Capability-Based Platforms

Dana Kusumo, Ph.D., UNSW (2013), Understanding Risks in Off-The-Shelf-Based Custom Software Projects

John Brondum, Ph.D., UNSW (2013), Architectural dependency analysis and modelling

Yinkia Chiam, Ph.D., UNSW (2011), Representation and Selection of Quality Attribute Techniques for Software Development Process

Xi Chen, M. Eng., UNSW (2008), Toward a CMMI Specific Practice Implementation Planning Reference Model