Dr. Amir Molzam Sharifloo
Dr. Amir Molzam Sharifloo
The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany
Verified email at paluno.uni-due.de
Title
Cited by
Cited by
Year
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
942015
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
592015
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
582013
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
562016
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
362015
Dealing with non-functional requirements for adaptive systems via dynamic software product-lines
C Ghezzi, AM Sharifloo
Software Engineering for Self-Adaptive Systems II, 191-213, 2013
362013
A bottom up approach to Persian stemming
AA Sharifloo, M Shamsfard
Proceedings of the Third International Joint Conference on Natural Language …, 2008
352008
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
322017
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
322011
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
272012
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
262016
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
232012
Embedding architectural practices into extreme programming
AA Sharifloo, AS Saffarian, F Shams
19th Australian Conference on Software Engineering (aswec 2008), 310-319, 2008
222008
Quantitative verification of non-functional requirements with uncertainty
C Ghezzi, AM Sharifloo
Dependable Computer Systems, 47-62, 2011
202011
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
192013
An ontology for cmmi-acq model
AA Sharifloo, M Shamsfard, Y Motazedi, R Dehkharghani
2008 3rd International Conference on Information and Communication …, 2008
172008
On requirement verification for evolving statecharts specifications
C Ghezzi, C Menghi, AM Sharifloo, P Spoletini
Requirements Engineering 19 (3), 231-255, 2014
122014
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications
J Greenyer, AM Sharifloo, M Cordy, P Heymans
Requirements Engineering 18 (2), 175-198, 2013
112013
Models for self-adaptive systems
AM Sharifloo
Proceedings of the 2015 European Conference on Software Architecture …, 2015
92015
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
92008
The system can't perform the operation now. Try again later.
Articles 1–20