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: Staples:Mark
Contributed to:
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.