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: Sirjani:Marjan
Contributed to:
201020082006
2004Wrote 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.