BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Su:Guoxin

Contributed to:

ICSE 20142014
WICSA/ECSA 20122012
ECSA 20102010
ESEC/FSE 20172017
ESEC/FSE 20182018
FASE 20162016

Wrote 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.

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.