| 2025 | ISSTA | Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation. | Pei Xu, Yulei Sui, Mark Staples |
| 2024 | CAIN | Privacy and Copyright Protection in Generative AI: A Lifecycle Perspective. | Dawen Zhang, Boming Xia, Yue Liu, Xiwei Xu, Thong Hoang, Zhenchang Xing, Mark Staples, Qinghua Lu, Liming Zhu |
| 2021 | CLOSER | Programmable Money: Next-generation Conditional Payments using Blockchain. | Ingo Weber, Mark Staples |
| 2019 | ECSA | Optimising Architectures for Performance, Cost, and Security. | Rajitha Yasaweerasinghelage, Mark Staples, Hye-Young Paik, Ingo Weber |
| 2019 | ICBC | Digital-Physical Parity for Food Fraud Detection. | Sin Kuang Lo, Xiwei Xu, Chen Wang, Ingo Weber, Paul Rimba, Qinghua Lu, Mark Staples |
| 2018 | CPP | Towards verifying ethereum smart contract bytecode in Isabelle/HOL. | Sidney Amani, Myriam Bgel, Maksym Bortin, Mark Staples |
| 2018 | ICSA | Predicting the Performance of Privacy-Preserving Data Analytics Using Architecture Modelling and Simulation. | Rajitha Yasaweerasinghelage, Mark Staples, Ingo Weber, Hye-Young Paik |
| 2017 | CaiSE | Regerator: a Registry Generator for Blockchain. | An Binh Tran, Xiwei Xu, Ingo Weber, Mark Staples, Paul Rimba |
| 2017 | ICSA | Comparing Blockchain and Cloud Services for Business Process Execution. | Paul Rimba, An Binh Tran, Ingo Weber, Mark Staples, Alexander Ponomarev, Xiwei Xu |
| 2017 | ICSA | A Taxonomy of Blockchain-Based Systems for Architecture Design. | Xiwei Xu, Ingo Weber, Mark Staples, Liming Zhu, Jan Bosch, Len Bass, Cesare Pautasso, Paul Rimba |
| 2017 | ICSA | Predicting Latency of Blockchain-Based Systems Using Architectural Modelling and Simulation. | Rajitha Yasaweerasinghelage, Mark Staples, Ingo Weber |
| 2017 | SRDS | On Availability for Blockchain-Based Systems. | Ingo Weber, Vincent Gramoli, Alexander Ponomarev, Mark Staples, Ralph Holz, An Binh Tran, Paul Rimba |
| 2016 | ICSE | Continuous validation for data analytics systems. | Mark Staples, Liming Zhu, John C. Grundy |
| 2015 | ICSE | Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification. | Daniel Matichuk, Toby C. Murray, June Andronick, D. Ross Jeffery, Gerwin Klein, Mark Staples |
| 2015 | ICSE | The Unending Quest for Valid, Useful Software Engineering Theories. | Mark Staples |
| 2014 | ESEM | Productivity for proof engineering. | Mark Staples, D. Ross Jeffery, June Andronick, Toby C. Murray, Gerwin Klein, Rafal Kolanski |
| 2013 | ICSE | Formal specifications better than function points for code sizing. | Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby C. Murray, D. Ross Jeffery, Len Bass |
| 2012 | EASE | Risks of off-the-shelf-based software acquisition and development: A systematic mapping study and a survey. | Dana Sulistiyo Kusumo, Mark Staples, Liming Zhu, He Zhang, D. Ross Jeffery |
| 2012 | ESEM | Analyzing differences in risk perceptions between developers and acquirers in OTS-based custom software projects using stakeholder analysis. | Dana Sulistiyo Kusumo, Mark Staples, Liming Zhu, D. Ross Jeffery |
| 2012 | ICSE | Large-scale formal verification in practice: A process perspective. | June Andronick, D. Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu |
| 2010 | APSEC | Software Configuration Management in Global Software Development: A Systematic Map. | Shukor Sanim Bin Mohd Fauzi, Paul L. Bannerman, Mark Staples |
| 2010 | PROFES | Systematic selection of quality attribute techniques. | Yin Kia Chiam, Liming Zhu, Mark Staples |
| 2010 | PROFES | Two case studies on small enterprise motivation and readiness for CMMI. | Mark Staples, Mahmood Niazi |
| 2009 | EuroSPI | Quality Attribute Techniques Framework. | Yin Kia Chiam, Liming Zhu, Mark Staples |
| 2008 | APSEC | Resource-Oriented Architecture for Business Processes. | Xiwei Xu, Liming Zhu, Yan Liu, Mark Staples |
| 2008 | EDOC | On Creating Industry-Wide Reference Architectures. | Liming Zhu, Mark Staples, Vladimir Tosic |
| 2008 | EuroSPI | Analysis of Dependencies between Specific Practices in CMMI Maturity Level 2. | Xi Chen, Mark Staples, Paul L. Bannerman |
| 2008 | ICSE | Resource-oriented business process modeling for ultra-large-scale systems. | Xiwei Xu, Liming Zhu, Yan Liu, Mark Staples |
| 2007 | BPM | Challenges Observed in the Definition of Reference Business Processes. | Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser |
| 2007 | EuroSPI | Using Practice Outcome Areas to Understand Perceived Value of CMMI Specific Practices for SMEs. | Xi Chen, Mark Staples |
| 2007 | ICSOC | Non-Functional Property Driven Service Governance: Performance Implications. | Yan Liu, Liming Zhu, Len Bass, Ian Gorton, Mark Staples |
| 2007 | PROFES | Project Cost Overrun Simulation in Software Product Line Development. | Makoto Nonaka, Liming Zhu, Muhammad Ali Babar, Mark Staples |
| 2006 | EASE | Experiences Using Systematic Review Guidelines. | Mark Staples, Mahmood Niazi |
| 2004 | APSEC | Change Control for Product Line Software Engineering. | Mark Staples |
| 2004 | APSEC | Experiences Adopting Software Product Line Development without a Product Line Architecture. | Mark Staples, Derrick Hill |