Using Bottlenecks in Feedforward Networks as a Dimension Reduction Technique: An Application to Optimization Tasks. - Janet Wiles; Paul Bakker; Adam Lynton; Michael Norris; Sean Parkinson; Mark Staples; Alan Whiteside (Neural Comput., 1996)

Representing WP Semantics in Isabelle/ZF. - Mark Staples (TPHOLs, 1999)

Interfaces for Refining Recursion and Procedures. - Mark Staples (Formal Aspects Comput., 2000)

A Framework for Subsystem-Based Configuration Management . - Peter A. Lindsay; Anthony MacDonald; Paul A. Strooper; Mark Staples (Australian Software Engineering Conference, 2001)

Change Control for Product Line Software Engineering. - Mark Staples (APSEC, 2004)

Experiences Adopting Software Product Line Development without a Product Line Architecture. - Mark Staples; Derrick Hill (APSEC, 2004)

Experiences Using Systematic Review Guidelines. - Mark Staples; Mahmood Niazi (EASE, 2006)

Evaluating guidelines for empirical software engineering studies. - Barbara A. Kitchenham; Hiyam Al-Kilidar; Muhammad Ali Babar 001; Mike Berry; Karl Cox; Jacky Keung; Felicia Kurniawati; Mark Staples; He Zhang 001; Liming Zhu 001 (ISESE, 2006)

Challenges Observed in the Definition of Reference Business Processes. - Liming Zhu 001; Leon J. Osterweil; Mark Staples; Udo Kannengiesser (Business Process Management Workshops, 2007)

Using Practice Outcome Areas to Understand Perceived Value of CMMI Specific Practices for SMEs. - Xi Chen; Mark Staples (EuroSPI, 2007)

Non-Functional Property Driven Service Governance: Performance Implications. - Yan Liu 001; Liming Zhu 001; Len Bass; Ian Gorton; Mark Staples (ICSOC Workshops, 2007)

Situational Method Quality. - Liming Zhu 001; Mark Staples (Situational Method Engineering, 2007)

Project Delay Variability Simulation in Software Product Line Development. - Makoto Nonaka; Liming Zhu 001; Muhammad Ali Babar 001; Mark Staples (ICSP, 2007)

Effects of Architecture and Technical Development Process on Micro-process. - Liming Zhu 001; D. Ross Jeffery; Mark Staples; Ming Huo; Tu Tak Tran (ICSP, 2007)

Project Cost Overrun Simulation in Software Product Line Development. - Makoto Nonaka; Liming Zhu 001; Muhammad Ali Babar 001; Mark Staples (PROFES, 2007)

Desiderata for Languages to be Used in the Defnition of Reference Business Processes. - Liming Zhu 001; Leon J. Osterweil; Mark Staples; Udo Kannengiesser; Borislava I. Simidchieva (Int. J. Softw. Informatics, 2007)

An exploratory study of why organizations do not adopt CMMI. - Mark Staples; Mahmood Niazi; D. Ross Jeffery; Alan Abrahams; Paul Byatt; Russell Murphy (J. Syst. Softw., 2007)

Evolving strategies for software architecture and reuse. - Josef Nedstam; Mark Staples (Softw. Process. Improv. Pract., 2007)

Resource-Oriented Architecture for Business Processes. - Xiwei Xu 001; Liming Zhu 001; Yan Liu 001; Mark Staples (APSEC, 2008)

On Creating Industry-Wide Reference Architectures. - Liming Zhu 001; Mark Staples; Vladimir Tosic (EDOC, 2008)

Analysis of Dependencies between Specific Practices in CMMI Maturity Level 2. - Xi Chen; Mark Staples; Paul L. Bannerman (EuroSPI, 2008)

Resource-oriented business process modeling for ultra-large-scale systems. - Xiwei Xu 001; Liming Zhu 001; Yan Liu 001; Mark Staples (ULSSIS@ICSE, 2008)

Scaling Up Software Architecture Evaluation Processes. - Liming Zhu 001; Mark Staples; D. Ross Jeffery (ICSP, 2008)

Evaluating guidelines for reporting empirical software engineering studies. - Barbara A. Kitchenham; Hiyam Al-Kilidar; Muhammad Ali Babar 001; Mike Berry; Karl Cox; Jacky Keung; Felicia Kurniawati; Mark Staples; He Zhang 001; Liming Zhu 001 (Empir. Softw. Eng., 2008)

Systematic review of organizational motivations for adopting CMM-based SPI. - Mark Staples; Mahmood Niazi (Inf. Softw. Technol., 2008)

Quality Attribute Techniques Framework. - Yin Kia Chiam; Liming Zhu 001; Mark Staples (EuroSPI, 2009)

Overcoming the First Hurdle: Why Organizations Do Not Adopt CMMI. - Nazrina Khurshid; Paul L. Bannerman; Mark Staples (ICSP, 2009)

Technical Software Development Process in the XML Domain. - Liming Zhu 001; Tu Tak Tran; Mark Staples; D. Ross Jeffery (ICSP, 2009)

Using architecture integration patterns to compose enterprise mashups. - Yan Liu 001; Xin Liang; Lingzhi Xu; Mark Staples; Liming Zhu 001 (WICSA/ECSA, 2009)

An architecting method for distributed process-intensive systems. - Xiwei Xu 001; Liming Zhu 001; Mark Staples; Yan Liu 001 (WICSA/ECSA, 2009)

Software Configuration Management in Global Software Development: A Systematic Map. - Shukor Sanim Bin Mohd Fauzi; Paul L. Bannerman; Mark Staples (APSEC, 2010)

Systematic selection of quality attribute techniques. - Yin Kia Chiam; Liming Zhu 001; Mark Staples (PROFES (2), 2010)

Two case studies on small enterprise motivation and readiness for CMMI. - Mark Staples; Mahmood Niazi (PROFES (2), 2010)

A Systematic Mapping Study on Off-The-Shelf-based Software Acquisition. - Dana Sulistiyo Kusumo; Liming Zhu 001; Mark Staples; He Zhang 001 (ACIS, 2011)

Composing enterprise mashup components and services using architecture integration patterns. - Yan Liu 001; Xin Liang; Lingzhi Xu; Mark Staples; Liming Zhu 001 (J. Syst. Softw., 2011)

Risks of off-the-shelf-based software acquisition and development: A systematic mapping study and a survey. - Dana Sulistiyo Kusumo; Mark Staples; Liming Zhu 001; He Zhang 001; D. Ross Jeffery (EASE, 2012)

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 001; D. Ross Jeffery (ESEM, 2012)

Large-scale formal verification in practice: A process perspective. - June Andronick; D. Ross Jeffery; Gerwin Klein; Rafal Kolanski; Mark Staples; He Zhang 001; Liming Zhu 001 (ICSE, 2012)

Simulation modeling of a large-scale formal verification process. - He Zhang 001; Gerwin Klein; Mark Staples; June Andronick; Liming Zhu 001; Rafal Kolanski (ICSSP, 2012)

An Architectural Approach for Cost Effective Trustworthy Systems. - Ihor Kuz; Liming Zhu 001; Len Bass; Mark Staples; Xiwei Xu 001 (WICSA/ECSA, 2012)

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 (ICSE, 2013)

Applying a selection method to choose Quality Attribute Techniques. - Yin Kia Chiam; Mark Staples; Xin Ye 004; Liming Zhu 001 (Inf. Softw. Technol., 2013)

Productivity for proof engineering. - Mark Staples; D. Ross Jeffery; June Andronick; Toby C. Murray; Gerwin Klein; Rafal Kolanski (ESEM, 2014)

Critical rationalism and engineering: ontology. - Mark Staples (Synth., 2014)

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 (ICSE (1), 2015)

The Unending Quest for Valid, Useful Software Engineering Theories. - Mark Staples (GTSE@ICSE, 2015)

An empirical research agenda for understanding formal methods productivity. - D. Ross Jeffery; Mark Staples; June Andronick; Gerwin Klein; Toby C. Murray (Inf. Softw. Technol., 2015)

Critical rationalism and engineering: methodology. - Mark Staples (Synth., 2015)

Continuous validation for data analytics systems. - Mark Staples; Liming Zhu 001; John C. Grundy (ICSE (Companion Volume), 2016)

Regerator: a Registry Generator for Blockchain. - An Binh Tran; Xiwei Xu 001; Ingo Weber; Mark Staples; Paul Rimba (CAiSE-Forum-DC, 2017)

Comparing Blockchain and Cloud Services for Business Process Execution. - Paul Rimba; An Binh Tran; Ingo Weber; Mark Staples; Alexander Ponomarev; Xiwei Xu 001 (ICSA, 2017)

A Taxonomy of Blockchain-Based Systems for Architecture Design. - Xiwei Xu 001; Ingo Weber; Mark Staples; Liming Zhu 001; Jan Bosch; Len Bass; Cesare Pautasso; Paul Rimba (ICSA, 2017)

Predicting Latency of Blockchain-Based Systems Using Architectural Modelling and Simulation. - Rajitha Yasaweerasinghelage; Mark Staples; Ingo Weber (ICSA, 2017)

On Availability for Blockchain-Based Systems. - Ingo Weber; Vincent Gramoli; Alexander Ponomarev; Mark Staples; Ralph Holz; An Binh Tran; Paul Rimba (SRDS, 2017)

Towards verifying ethereum smart contract bytecode in Isabelle/HOL. - Sidney Amani; Myriam Bégel; Maksym Bortin; Mark Staples (CPP, 2018)

Predicting the Performance of Privacy-Preserving Data Analytics Using Architecture Modelling and Simulation. - Rajitha Yasaweerasinghelage; Mark Staples; Ingo Weber; Hye-Young Paik (ICSA, 2018)

Blockchain Standard: Can We Reach Consensus? - Vincent Gramoli; Mark Staples (IEEE Commun. Stand. Mag., 2018)

Blockchains for Business Process Management - Challenges and Opportunities. - Jan Mendling; Ingo Weber; Wil M. P. van der Aalst; Jan vom Brocke; Cristina Cabanillas; Florian Daniel; Søren Debois; Claudio Di Ciccio; Marlon Dumas; Schahram Dustdar; Avigdor Gal; Luciano García-Bañuelos; et al. (ACM Trans. Manag. Inf. Syst., 2018)

Architecture for Blockchain Applications - Xiwei Xu 001; Ingo Weber; Mark Staples (Springer, 2019)

Optimising Architectures for Performance, Cost, and Security. - Rajitha Yasaweerasinghelage; Mark Staples; Hye-Young Paik; Ingo Weber (ECSA, 2019)

Digital-Physical Parity for Food Fraud Detection. - Sin Kuang Lo; Xiwei Xu 001; Chen Wang 008; Ingo Weber; Paul Rimba; Qinghua Lu 001; Mark Staples (ICBC, 2019)

Software Architecture for Blockchain-based Trade Certificate Systems. - Qinghua Lu 001; Mark Staples; Hugo O'Connor; Shiping Chen 001; Adnene Guabtni (IEEE ICBC, 2020)

Reliability analysis for blockchain oracles. - Sin Kuang Lo; Xiwei Xu 001; Mark Staples; Lina Yao 001 (Comput. Electr. Eng., 2020)

Quantifying the Cost of Distrust: Comparing Blockchain and Cloud Services for Business Process Execution. - Paul Rimba; An Binh Tran; Ingo Weber; Mark Staples; Alexander Ponomarev; Xiwei Xu 001 (Inf. Syst. Frontiers, 2020)

Correction to: Quantifying the Cost of Distrust: Comparing Blockchain and Cloud Services for Business Process Execution. - Paul Rimba; An Binh Tran; Ingo Weber; Mark Staples; Alexander Ponomarev; Xiwei Xu 001 (Inf. Syst. Frontiers, 2020)

Programmable Money: Next-generation Conditional Payments using Blockchain. - Ingo Weber; Mark Staples (CLOSER, 2021)

Modeling Multi-Layer Access Control Policies of a Hyperledger-Fabric-Based Agriculture Supply Chain. - H. M. N. Dilum Bandara; Shiping Chen 001; Mark Staples; Yilin Sai (TPS-ISA, 2021)

Featured Cover. - Qinghua Lu 001; An Binh Tran; Ingo Weber; Hugo O'Connor; Paul Rimba; Xiwei Xu 001; Mark Staples; Liming Zhu 001; Ross Jeffery (Softw. Pract. Exp., 2021)

Integrated model-driven engineering of blockchain applications for business processes and asset management. - Qinghua Lu 001; An Binh Tran; Ingo Weber; Hugo O'Connor; Paul Rimba; Xiwei Xu 001; Mark Staples; Liming Zhu 001; Ross Jeffery (Softw. Pract. Exp., 2021)

A Large-scale Empirical Study of Online Automated Privacy Policy Generators for Mobile Apps. - Shidong Pan; Dawen Zhang; Mark Staples; Zhenchang Xing; Jieshan Chen; Xiwei Xu 001; James Hoang (CoRR, 2023)

Toward the Cure of Privacy Policy Reading Phobia: Automated Generation of Privacy Nutrition Labels From Privacy Policies. - Shidong Pan; Thong Hoang; Dawen Zhang; Zhenchang Xing; Xiwei Xu 001; Qinghua Lu 001; Mark Staples (CoRR, 2023)

SeePrivacy: Automated Contextual Privacy Policy Generation for Mobile Applications. - Shidong Pan; Zhen Tao; Thong Hoang; Dawen Zhang; Zhenchang Xing; Xiwei Xu 001; Mark Staples; David Lo 001 (CoRR, 2023)

Test-takers have a say: understanding the implications of the use of AI in language tests. - Dawen Zhang; Thong Hoang; Shidong Pan; Yongquan Hu; Zhenchang Xing; Mark Staples; Xiwei Xu 001; Qinghua Lu 001; Aaron Quigley (CoRR, 2023)

Tag Your Fish in the Broken Net: A Responsible Web Framework for Protecting Online Privacy and Copyright. - Dawen Zhang; Boming Xia; Yue Liu 010; Xiwei Xu 001; Thong Hoang; Zhenchang Xing; Mark Staples; Qinghua Lu 001; Liming Zhu 001 (CoRR, 2023)

Navigating Privacy and Copyright Challenges Across the Data Lifecycle of Generative AI. - Dawen Zhang; Boming Xia; Yue Liu 010; Xiwei Xu 001; Thong Hoang; Zhenchang Xing; Mark Staples; Qinghua Lu 001; Liming Zhu 001 (CoRR, 2023)

A systematic literature review on blockchain governance. - Yue Liu 010; Qinghua Lu 001; Liming Zhu 001; Hye-Young Paik; Mark Staples (J. Syst. Softw., 2023)

Privacy and Copyright Protection in Generative AI: A Lifecycle Perspective. - Dawen Zhang; Boming Xia; Yue Liu 010; Xiwei Xu 001; Thong Hoang; Zhenchang Xing; Mark Staples; Qinghua Lu 001; Liming Zhu 001 (CAIN, 2024)

A NEW HOPE: Contextual Privacy Policies for Mobile Applications and An Approach Toward Automated Generation. - Shidong Pan; Zhen Tao; Thong Hoang; Dawen Zhang; Tianshi Li 001; Zhenchang Xing; Xiwei Xu 001; Mark Staples; Thierry Rakotoarivelo; David Lo 001 (USENIX Security Symposium, 2024)

Is It a Trap? A Large-scale Empirical Study And Comprehensive Assessment of Online Automated Privacy Policy Generators for Mobile Apps. - Shidong Pan; Dawen Zhang; Mark Staples; Zhenchang Xing; Jieshan Chen; Xiwei Xu 001; Thong Hoang (USENIX Security Symposium, 2024)

To be forgotten or to be fair: unveiling fairness implications of machine unlearning methods. - Dawen Zhang; Shidong Pan; Thong Hoang; Zhenchang Xing; Mark Staples; Xiwei Xu 001; Lina Yao 001; Qinghua Lu 001; Liming Zhu 001 (AI Ethics, 2024)

Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation. - Pei Xu; Yulei Sui; Mark Staples (ISSTA Companion, 2025)

Right to be forgotten in the Era of large language models: implications, challenges, and solutions. - Dawen Zhang; Pamela Finckenberg-Broman; Thong Hoang; Shidong Pan; Zhenchang Xing; Mark Staples; Xiwei Xu 001 (AI Ethics, 2025)