BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Germany
1 × Italy
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:
L.Zhu I.Weber Rajitha Yasaweerasinghelage X.Xu H.Paik L.Bass Y.Liu J.Andronick D.R.Jeffery G.Klein V.Tosic T.C.Murray P.Rimba R.Kolanski I.Kuz X.Liang L.Xu D.Matichuk An Binh Tran Alexander Ponomarev H.Zhang C.Lewis J.Bosch C.Pautasso
Talks about:
architectur (7) system (4) blockchain (3) process (3) formal (3) cost (3) use (3) predict (2) perform (2) verif (2)

Person: Mark Staples

DBLP DBLP: Staples:Mark

Contributed to:

ICSE 20152015
ICSE 20132013
ICSE 20122012
WICSA/ECSA 20122012
WICSA/ECSA 20092009
EDOC 20082008
ICSA 20172017
ICSA 20182018
ECSA 20192019

Wrote 12 papers:

ICSE-v1-2015-MatichukMAJKS #empirical #formal method #towards #verification
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification (DM, TCM, JA, DRJ, GK, MS), pp. 722–732.
ICSE-2013-StaplesKKLAMJB #specification
Formal specifications better than function points for code sizing (MS, RK, GK, CL, JA, TCM, DRJ, LB), pp. 1257–1260.
ICSE-2012-AndronickJKKSZZ #perspective #process #scalability #verification
Large-scale formal verification in practice: A process perspective (JA, DRJ, GK, RK, MS, HZ, LZ), pp. 1002–1011.
WICSA-ECSA-2012-KuzZBSX #approach #architecture #effectiveness
An Architectural Approach for Cost Effective Trustworthy Systems (IK, LZ, LB, MS, XX), pp. 325–328.
WICSA-ECSA-2009-LiuLXSZ #architecture #enterprise #integration #using
Using architecture integration patterns to compose enterprise mashups (YL, XL, LX, MS, LZ), pp. 111–120.
WICSA-ECSA-2009-XuZSL #architecture #distributed
An architecting method for distributed process-intensive systems (XX, LZ, MS, YL), pp. 277–280.
EDOC-2008-ZhuST #architecture #on the
On Creating Industry-Wide Reference Architectures (LZ, MS, VT), pp. 24–30.
ICSA-2017-RimbaTWSPX #execution #process
Comparing Blockchain and Cloud Services for Business Process Execution (PR, ABT, IW, MS, AP, XX), pp. 257–260.
ICSA-2017-XuWSZBBPR #architecture #design #taxonomy
A Taxonomy of Blockchain-Based Systems for Architecture Design (XX, IW, MS, LZ, JB, LB, CP, PR), pp. 243–252.
ICSA-2017-Yasaweerasinghelage #architecture #latency #modelling #predict #simulation #using
Predicting Latency of Blockchain-Based Systems Using Architectural Modelling and Simulation (RY, MS, IW), pp. 253–256.
ICSA-2018-Yasaweerasinghelage #architecture #data analysis #modelling #performance #predict #privacy #simulation #using
Predicting the Performance of Privacy-Preserving Data Analytics Using Architecture Modelling and Simulation (RY, MS, IW, HYP), pp. 166–175.
ECSA-2019-Yasaweerasinghelage #architecture #optimisation #performance #security
Optimising Architectures for Performance, Cost, and Security (RY, MS, HYP, IW), pp. 161–177.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.