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 × Brazil
1 × Germany
1 × USA
Collaborated with:
C.Ghezzi C.Menghi P.Spoletini J.Greenyer M.Cordy P.Heymans P.Jamshidi C.Pahl Hamid Arabnejad A.Metzger Giovani Estrada
Talks about:
product (2) effici (2) model (2) check (2) line (2) architectur (1) scenario (1) properti (1) parametr (1) function (1)

Person: Amir Molzam Sharifloo

DBLP DBLP: Sharifloo:Amir_Molzam

Contributed to:

RE 20132013
RE 20122012
SPLC 20112011
QoSA 20162016

Wrote 4 papers:

RE-2013-GhezziMSS #on the #requirements #verification
On requirements verification for model refinements (CG, CM, AMS, PS), pp. 62–71.
RE-2012-GreenyerSCH #consistency #performance #product line #specification
Efficient consistency checking of scenario-based product-line specifications (JG, AMS, MC, PH), pp. 161–170.
SPLC-2011-GhezziS #approach #model checking #non-functional #parametricity #performance #product line #towards #using #verification
Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking (CG, AMS), pp. 170–174.
QoSA-2016-JamshidiSPAME #architecture #fuzzy #self
Fuzzy Self-Learning Controllers for Elasticity Management in Dynamic Cloud Architectures (PJ, AMS, CP, HA, AM, GE), pp. 70–79.

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.