Mark Staples

According to our database1, Mark Staples authored at least 59 papers between 1996 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Digital-Physical Parity for Food Fraud Detection.
Proceedings of the Blockchain - ICBC 2019, 2019

Optimising Architectures for Performance, Cost, and Security.
Proceedings of the Software Architecture - 13th European Conference, 2019

Architecture for Blockchain Applications
Springer, ISBN: 978-3-030-03034-6, 2019

2018
Blockchains for Business Process Management - Challenges and Opportunities.
ACM Trans. Management Inf. Syst., 2018

Blockchain Standard: Can We Reach Consensus?
IEEE Communications Standards Magazine, 2018

Predicting the Performance of Privacy-Preserving Data Analytics Using Architecture Modelling and Simulation.
Proceedings of the IEEE International Conference on Software Architecture, 2018

Towards verifying ethereum smart contract bytecode in Isabelle/HOL.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017
Blockchains for Business Process Management - Challenges and Opportunities.
CoRR, 2017

On Availability for Blockchain-Based Systems.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Predicting Latency of Blockchain-Based Systems Using Architectural Modelling and Simulation.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

A Taxonomy of Blockchain-Based Systems for Architecture Design.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Comparing Blockchain and Cloud Services for Business Process Execution.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Regerator: a Registry Generator for Blockchain.
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.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Critical rationalism and engineering: methodology.
Synthese, 2015

An empirical research agenda for understanding formal methods productivity.
Information & Software Technology, 2015

The Unending Quest for Valid, Useful Software Engineering Theories.
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.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Critical rationalism and engineering: ontology.
Synthese, 2014

Productivity for proof engineering.
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.
Information & Software Technology, 2013

Formal specifications better than function points for code sizing.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
An Architectural Approach for Cost Effective Trustworthy Systems.
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.
Proceedings of the 2012 International Conference on Software and System Process, 2012

Large-scale formal verification in practice: A process perspective.
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.
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.
Proceedings of the 16th International Conference on Evaluation & Assessment in Software Engineering, 2012

2011
Composing enterprise mashup components and services using architecture integration patterns.
Journal of Systems and Software, 2011

2010
Software Configuration Management in Global Software Development: A Systematic Map.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
An architecting method for distributed process-intensive systems.
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.
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.
Proceedings of the Trustworthy Software Development Processes, 2009

Overcoming the First Hurdle: Why Organizations Do Not Adopt CMMI.
Proceedings of the Trustworthy Software Development Processes, 2009

Quality Attribute Techniques Framework.
Proceedings of the Software Process Improvement - 16th European Conference, 2009

2008
Systematic review of organizational motivations for adopting CMM-based SPI.
Information & Software Technology, 2008

Evaluating guidelines for reporting empirical software engineering studies.
Empirical Software Engineering, 2008

Scaling Up Software Architecture Evaluation Processes.
Proceedings of the Making Globally Distributed Software Development a Success Story, 2008

Resource-oriented business process modeling for ultra-large-scale systems.
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.
Proceedings of the Software Process Improvement, 15th European Conference, 2008

On Creating Industry-Wide Reference Architectures.
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Resource-Oriented Architecture for Business Processes.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007
Evolving strategies for software architecture and reuse.
Software Process: Improvement and Practice, 2007

An exploratory study of why organizations do not adopt CMMI.
Journal of Systems and Software, 2007

Experiences using systematic review guidelines.
Journal of Systems and Software, 2007

Desiderata for Languages to be Used in the Defnition of Reference Business Processes.
Int. J. Software and Informatics, 2007

Project Cost Overrun Simulation in Software Product Line Development.
Proceedings of the Product-Focused Software Process Improvement, 2007

Effects of Architecture and Technical Development Process on Micro-process.
Proceedings of the Software Process Dynamics and Agility, 2007

Project Delay Variability Simulation in Software Product Line Development.
Proceedings of the Software Process Dynamics and Agility, 2007

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

Non-Functional Property Driven Service Governance: Performance Implications.
Proceedings of the Service-Oriented Computing, 2007

Using Practice Outcome Areas to Understand Perceived Value of CMMI Specific Practices for SMEs.
Proceedings of the Software Process Improvement, 14th European Conference, 2007

Challenges Observed in the Definition of Reference Business Processes.
Proceedings of the Business Process Management Workshops, 2007

2006
Evaluating guidelines for empirical software engineering studies.
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.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Change Control for Product Line Software Engineering.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2001
A Framework for Subsystem-Based Configuration Management .
Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

2000
Interfaces for Refining Recursion and Procedures.
Formal Asp. Comput., 2000

1999
Representing WP Semantics in Isabelle/ZF.
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.
Neural Computation, 1996


  Loading...