Travelled to:1 × Denmark
1 × Finland
1 × India
Collaborated with:D.S.Rosenblum M.Ying C.Zhang Y.R.S.Llerena M.Böhme M.Brünink T.Chen Y.F.0001 P.S.Thiagarajan
Talks about:system (3) probabilist (2) architectur (2) perturb (2) analysi (2) applic (2) model (2) decis (2) uncertainti (1) distribut (1)
Person: Guoxin Su
DBLP: Su:Guoxin
Contributed to:
2014
2012
2010
20172018
2016Wrote 6 papers:
- ICSE-2014-SuR #analysis #empirical #parametricity #probability
- Perturbation analysis of stochastic systems with empirical distribution parameters (GS, DSR), pp. 311–321.
- WICSA-ECSA-2012-SuYZ #analysis #architecture #component #semantics
- Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles (GS, MY, CZ), pp. 151–160.
- ECSA-2010-SuYZ #architecture #specification
- An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection (GS, MY, CZ), pp. 8–23.
- ESEC-FSE-2017-LlerenaSR #in the cloud #model checking #probability
- Probabilistic model checking of perturbed MDPs with applications to cloud computing (YRSL, GS, DSR), pp. 454–464.
- ESEC-FSE-2018-LlerenaBBSR #behaviour #modelling #nondeterminism #probability #verification
- Verifying the long-run behavior of probabilistic system models in the presence of uncertainty (YRSL, MB, MB, GS, DSR), pp. 587–597.
- FASE-2016-SuCFRT #adaptation #markov #process #self
- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems (GS, TC, YF0, DSR, PST), pp. 269–286.