Mark Staples

According to our database, Mark Staples authored at least 78 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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, Zhenchang Xing, Sherry Xu, Mark Staples, Thierry Rakotoarivelo, David Lo

CoRR, 2024

2023

A systematic literature review on blockchain governance.

Yue Liu, Qinghua Lu, Liming Zhu, Hye-Young Paik, Mark Staples

J. Syst. Softw., 2023

Navigating Privacy and Copyright Challenges Across the Data Lifecycle of Generative AI.

Dawen Zhang, Boming Xia, Yue Liu, Xiwei Xu, Thong Hoang, Zhenchang Xing, Mark Staples, Qinghua Lu, Liming Zhu

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, Xiwei Xu, Thong Hoang, Zhenchang Xing, Mark Staples, Qinghua Lu, Liming Zhu

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, Qinghua Lu, Aaron Quigley

CoRR, 2023

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

CoRR, 2023

SeePrivacy: Automated Contextual Privacy Policy Generation for Mobile Applications.

Shidong Pan, Zhen Tao, Thong Hoang, Dawen Zhang, Zhenchang Xing, Xiwei Xu, Mark Staples, David Lo

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, Qinghua Lu, Mark Staples

CoRR, 2023

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, James Hoang

CoRR, 2023

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, Lina Yao, Qinghua Lu, Liming Zhu

CoRR, 2023

2021

Integrated model-driven engineering of blockchain applications for business processes and asset management.

Qinghua Lu, An Binh Tran, Ingo Weber, Hugo O'Connor, Paul Rimba, Xiwei Xu, Mark Staples, Liming Zhu, Ross Jeffery

Softw. Pract. Exp., 2021

Featured Cover.

Qinghua Lu, An Binh Tran, Ingo Weber, Hugo O'Connor, Paul Rimba, Xiwei Xu, Mark Staples, Liming Zhu, Ross Jeffery

Softw. Pract. Exp., 2021

Modeling Multi-Layer Access Control Policies of a Hyperledger-Fabric-Based Agriculture Supply Chain.

H. M. N. Dilum Bandara, Shiping Chen, Mark Staples, Yilin Sai

Proceedings of the 3rd IEEE International Conference on Trust, 2021

Programmable Money: Next-generation Conditional Payments using Blockchain.

Ingo Weber, Mark Staples

Proceedings of the 11th International Conference on Cloud Computing and Services Science, 2021

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

Inf. Syst. Frontiers, 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

Inf. Syst. Frontiers, 2020

Reliability analysis for blockchain oracles.

Sin Kuang Lo, Xiwei Xu, Mark Staples, Lina Yao

Comput. Electr. Eng., 2020

Software Architecture for Blockchain-based Trade Certificate Systems.

Qinghua Lu, Mark Staples, Hugo O'Connor, Shiping Chen, Adnene Guabtni

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

2019

Digital-Physical Parity for Food Fraud Detection.

Sin Kuang Lo, Xiwei Xu, Chen Wang, Ingo Weber, Paul Rimba, Qinghua Lu, Mark Staples

Proceedings of the Blockchain - ICBC 2019, 2019

Optimising Architectures for Performance, Cost, and Security.

Rajitha Yasaweerasinghelage, Mark Staples, Hye-Young Paik, Ingo Weber

Proceedings of the Software Architecture - 13th European Conference, 2019

Architecture for Blockchain Applications

Xiwei Xu, Ingo Weber, Mark Staples

Springer, ISBN: 978-3-030-03034-6, 2019

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, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu

ACM Trans. Manag. Inf. Syst., 2018

Blockchain Standard: Can We Reach Consensus?

Vincent Gramoli, Mark Staples

IEEE Commun. Stand. Mag., 2018

Predicting the Performance of Privacy-Preserving Data Analytics Using Architecture Modelling and Simulation.

Rajitha Yasaweerasinghelage, Mark Staples, Ingo Weber, Hye-Young Paik

Proceedings of the IEEE International Conference on Software Architecture, 2018

Towards verifying ethereum smart contract bytecode in Isabelle/HOL.

Sidney Amani, Myriam Bégel, Maksym Bortin, Mark Staples

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

On Availability for Blockchain-Based Systems.

Ingo Weber, Vincent Gramoli, Alexander Ponomarev, Mark Staples, Ralph Holz, An Binh Tran, Paul Rimba

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Predicting Latency of Blockchain-Based Systems Using Architectural Modelling and Simulation.

Rajitha Yasaweerasinghelage, Mark Staples, Ingo Weber

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

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

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Comparing Blockchain and Cloud Services for Business Process Execution.

Paul Rimba, An Binh Tran, Ingo Weber, Mark Staples, Alexander Ponomarev, Xiwei Xu

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Regerator: a Registry Generator for Blockchain.

An Binh Tran, Xiwei Xu, Ingo Weber, Mark Staples, Paul Rimba

Proceedings of the Forum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering, 2017

2016

Continuous validation for data analytics systems.

Mark Staples, Liming Zhu, John C. Grundy

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Critical rationalism and engineering: methodology.

Mark Staples

Synth., 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

The Unending Quest for Valid, Useful Software Engineering Theories.

Mark Staples

Proceedings of the IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering, 2015

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

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Critical rationalism and engineering: ontology.

Mark Staples

Synth., 2014

Productivity for proof engineering.

Mark Staples, D. Ross Jeffery, June Andronick, Toby C. Murray, Gerwin Klein, Rafal Kolanski

Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

2013

Applying a selection method to choose Quality Attribute Techniques.

Yin Kia Chiam, Mark Staples, Xin Ye, Liming Zhu

Inf. Softw. Technol., 2013

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

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

An Architectural Approach for Cost Effective Trustworthy Systems.

Ihor Kuz, Liming Zhu, Len Bass, Mark Staples, Xiwei Xu

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Simulation modeling of a large-scale formal verification process.

He Zhang, Gerwin Klein, Mark Staples, June Andronick, Liming Zhu, Rafal Kolanski

Proceedings of the 2012 International Conference on Software and System Process, 2012

Large-scale formal verification in practice: A process perspective.

June Andronick, D. Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu

Proceedings of the 34th International Conference on Software Engineering, 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, D. Ross Jeffery

Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2012

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

Proceedings of the 16th International Conference on Evaluation & Assessment in Software Engineering, 2012

2011

Composing enterprise mashup components and services using architecture integration patterns.

Yan Liu, Xin Liang, Lingzhi Xu, Mark Staples, Liming Zhu

J. Syst. Softw., 2011

2010

Two case studies on small enterprise motivation and readiness for CMMI.

Mark Staples, Mahmood Niazi

Proceedings of the 11th International Conference on Product Focused Software, 2010

Systematic selection of quality attribute techniques.

Yin Kia Chiam, Liming Zhu, Mark Staples

Proceedings of the 11th International Conference on Product Focused Software, 2010

Software Configuration Management in Global Software Development: A Systematic Map.

Shukor Sanim Bin Mohd Fauzi, Paul L. Bannerman, Mark Staples

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

An architecting method for distributed process-intensive systems.

Xiwei Xu, Liming Zhu, Mark Staples, Yan Liu

Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Using architecture integration patterns to compose enterprise mashups.

Yan Liu, Xin Liang, Lingzhi Xu, Mark Staples, Liming Zhu

Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Technical Software Development Process in the XML Domain.

Liming Zhu, Tu Tak Tran, Mark Staples, D. Ross Jeffery

Proceedings of the Trustworthy Software Development Processes, 2009

Overcoming the First Hurdle: Why Organizations Do Not Adopt CMMI.

Nazrina Khurshid, Paul L. Bannerman, Mark Staples

Proceedings of the Trustworthy Software Development Processes, 2009

Quality Attribute Techniques Framework.

Yin Kia Chiam, Liming Zhu, Mark Staples

Proceedings of the Software Process Improvement - 16th European Conference, 2009

2008

Systematic review of organizational motivations for adopting CMM-based SPI.

Mark Staples, Mahmood Niazi

Inf. Softw. Technol., 2008

Evaluating guidelines for reporting empirical software engineering studies.

Barbara A. Kitchenham, Hiyam Al-Kilidar, Muhammad Ali Babar, Mike Berry, Karl Cox, Jacky Keung, Felicia Kurniawati, Mark Staples, He Zhang, Liming Zhu

Empir. Softw. Eng., 2008

Scaling Up Software Architecture Evaluation Processes.

Liming Zhu, Mark Staples, D. Ross Jeffery

Proceedings of the Making Globally Distributed Software Development a Success Story, 2008

Resource-oriented business process modeling for ultra-large-scale systems.

Xiwei Xu, Liming Zhu, Yan Liu, Mark Staples

Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, 2008

Analysis of Dependencies between Specific Practices in CMMI Maturity Level 2.

Xi Chen, Mark Staples, Paul L. Bannerman

Proceedings of the Software Process Improvement, 15th European Conference, 2008

On Creating Industry-Wide Reference Architectures.

Liming Zhu, Mark Staples, Vladimir Tosic

Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Resource-Oriented Architecture for Business Processes.

Xiwei Xu, Liming Zhu, Yan Liu, Mark Staples

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

Evolving strategies for software architecture and reuse.

Josef Nedstam, Mark Staples

Softw. Process. Improv. Pract., 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

Experiences using systematic review guidelines.

Mark Staples, Mahmood Niazi

J. Syst. Softw., 2007

Desiderata for Languages to be Used in the Defnition of Reference Business Processes.

Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser, Borislava I. Simidchieva

Int. J. Softw. Informatics, 2007

Project Cost Overrun Simulation in Software Product Line Development.

Makoto Nonaka, Liming Zhu, Muhammad Ali Babar, Mark Staples

Proceedings of the Product-Focused Software Process Improvement, 2007

Effects of Architecture and Technical Development Process on Micro-process.

Liming Zhu, D. Ross Jeffery, Mark Staples, Ming Huo, Tu Tak Tran

Proceedings of the Software Process Dynamics and Agility, 2007

Project Delay Variability Simulation in Software Product Line Development.

Makoto Nonaka, Liming Zhu, Muhammad Ali Babar, Mark Staples

Proceedings of the Software Process Dynamics and Agility, 2007

Situational Method Quality.

Liming Zhu, Mark Staples

Proceedings of the Situational Method Engineering: Fundamentals and Experiences, 2007

Non-Functional Property Driven Service Governance: Performance Implications.

Yan Liu, Liming Zhu, Len Bass, Ian Gorton, Mark Staples

Proceedings of the Service-Oriented Computing, 2007

Using Practice Outcome Areas to Understand Perceived Value of CMMI Specific Practices for SMEs.

Xi Chen, Mark Staples

Proceedings of the Software Process Improvement, 14th European Conference, 2007

Challenges Observed in the Definition of Reference Business Processes.

Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser

Proceedings of the Business Process Management Workshops, 2007

2006

Evaluating guidelines for empirical software engineering studies.

Barbara A. Kitchenham, Hiyam Al-Kilidar, Muhammad Ali Babar, Mike Berry, Karl Cox, Jacky Keung, Felicia Kurniawati, Mark Staples, He Zhang, Liming Zhu

Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006

2004

Experiences Adopting Software Product Line Development without a Product Line Architecture.

Mark Staples, Derrick Hill

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Change Control for Product Line Software Engineering.

Mark Staples

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2001

A Framework for Subsystem-Based Configuration Management .

Peter A. Lindsay, Anthony MacDonald, Paul A. Strooper, Mark Staples

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

2000

Interfaces for Refining Recursion and Procedures.

Mark Staples

Formal Aspects Comput., 2000

1999

Representing WP Semantics in Isabelle/ZF.

Mark Staples

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1996

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