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 × Austria
1 × Brazil
1 × France
1 × Switzerland
Collaborated with:
H.Hojjat M.R.Mousavi M.M.Jaghoori A.Movaghar N.Khakpour R.Khosravi S.Jalili N.R.Mehta N.Medvidović F.Arbab
Talks about:
model (2) architectur (1) framework (1) stochast (1) function (1) composit (1) behavior (1) softwar (1) process (1) perform (1)

Person: Marjan Sirjani

DBLP DBLP: Sirjani:Marjan

Contributed to:

SAC 20102010
SAC 20082008
SAC 20062006
ASE 20042004

Wrote 4 papers:

SAC-2010-KhakpourKSJ #adaptation #analysis #formal method #self
Formal analysis of policy-based self-adaptive systems (NK, RK, MS, SJ), pp. 2536–2543.
SAC-2008-HojjatMS #algebra #evaluation #framework #functional #performance #probability #process #verification
A framework for performance evaluation and functional verification in stochastic process algebras (HH, MRM, MS), pp. 339–346.
SAC-2006-JaghooriMS #model checking #named
Modere: the model-checking engine of Rebeca (MMJ, AM, MS), pp. 1810–1815.
ASE-2004-MehtaMSA #architecture #behaviour #composition #modelling
Modeling Behavior in Compositions of Software Architectural Primitives (NRM, NM, MS, FA), pp. 371–374.

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.