Dr. Amir Molzam Sharifloo
Dr. Amir Molzam Sharifloo
Unknown affiliation
Verified email at
Cited by
Cited by
Software engineering meets control theory
A Filieri, M Maggio, K Angelopoulos, N d'Ippolito, I Gerostathopoulos, ...
2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015
Fuzzy self-learning controllers for elasticity management in dynamic cloud architectures
P Jamshidi, A Sharifloo, C Pahl, H Arabnejad, A Metzger, G Estrada
2016 12th International ACM SIGSOFT Conference on Quality of Software …, 2016
Self-learning cloud controllers: Fuzzy q-learning for knowledge evolution
P Jamshidi, AM Sharifloo, C Pahl, A Metzger, G Estrada
2015 International Conference on Cloud and Autonomic Computing, 208-211, 2015
Model-based verification of quantitative non-functional properties for software product lines
C Ghezzi, AM Sharifloo
Information and Software Technology 55 (3), 508-524, 2013
Control strategies for self-adaptive software systems
A Filieri, M Maggio, K Angelopoulos, N D’ippolito, I Gerostathopoulos, ...
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 1-31, 2017
Modeling and verification for probabilistic properties in software product lines
GN Rodrigues, V Alves, V Nunes, A Lanna, M Cordy, PY Schobbens, ...
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
Dealing with non-functional requirements for adaptive systems via dynamic software product-lines
C Ghezzi, A Molzam Sharifloo
Software Engineering for Self-Adaptive Systems II, 191-213, 2013
Learning and evolution in dynamic software product lines
AM Sharifloo, A Metzger, C Quinton, L Baresi, K Pohl
2016 IEEE/ACM 11th International Symposium on Software Engineering for …, 2016
A bottom up approach to Persian stemming
AA Sharifloo, M Shamsfard
Proceedings of the Third International Joint Conference on Natural Language …, 2008
Verifying non-functional properties of software product lines: Towards an efficient approach using parametric model checking
C Ghezzi, AM Sharifloo
2011 15th International Software Product Line Conference, 170-174, 2011
LOVER: Light-weight fOrmal Verification of adaptivE systems at Run time
AM Sharifloo, P Spoletini
International Workshop on Formal Aspects of Component Software, 170-187, 2012
Efficient consistency checking of scenario-based product-line specifications
J Greenyer, AM Sharifloo, M Cordy, P Heymans
2012 20th IEEE International Requirements Engineering Conference (RE), 161-170, 2012
Embedding architectural practices into extreme programming
AA Sharifloo, AS Saffarian, F Shams
19th Australian Conference on Software Engineering (aswec 2008), 310-319, 2008
Quantitative verification of non-functional requirements with uncertainty
C Ghezzi, AM Sharifloo
Dependable Computer Systems, 47-62, 2011
On requirements verification for model refinements
C Ghezzi, C Menghi, AM Sharifloo, P Spoletini
2013 21st IEEE International Requirements Engineering Conference (RE), 62-71, 2013
An ontology for cmmi-acq model
AA Sharifloo, M Shamsfard, Y Motazedi, R Dehkharghani
2008 3rd International Conference on Information and Communication …, 2008
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications
J Greenyer, A Molzam Sharifloo, M Cordy, P Heymans
Requirements Engineering 18 (2), 175-198, 2013
Mcaas: Model checking in the cloud for assurances of adaptive systems
AM Sharifloo, A Metzger
Software Engineering for Self-Adaptive Systems III. Assurances, 137-153, 2017
On requirement verification for evolving statecharts specifications
C Ghezzi, C Menghi, A Molzam Sharifloo, P Spoletini
Requirements Engineering 19 (3), 231-255, 2014
Architectural challenges of ultra large scale systems
M Mirakhorli, A Azim Sharifloo, F Shams
Proceedings of the 2nd international workshop on Ultra-large-scale software …, 2008
The system can't perform the operation now. Try again later.
Articles 1–20