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
TitleCited byYear
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
822015
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
512015
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
492013
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
442016
A bottom up approach to Persian stemming
AA Sharifloo, M Shamsfard
Proceedings of the Third International Joint Conference on Natural Language …, 2008
352008
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
302013
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
282015
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
272011
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
262012
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
232017
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
222016
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
222012
Embedding architectural practices into extreme programming
AA Sharifloo, AS Saffarian, F Shams
19th Australian Conference on Software Engineering (aswec 2008), 310-319, 2008
202008
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
172013
Quantitative verification of non-functional requirements with uncertainty
C Ghezzi, AM Sharifloo
Dependable Computer Systems, 47-62, 2011
172011
An ontology for cmmi-acq model
AA Sharifloo, M Shamsfard, Y Motazedi, R Dehkharghani
2008 3rd International Conference on Information and Communication …, 2008
162008
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
92013
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
82008
A leader election algorithm for clustered groups
AA Sharifloo, M Mirakhorli, M Esmaeili, AT Haghighat
2007 International Conference on Industrial and Information Systems, 1-4, 2007
72007
The system can't perform the operation now. Try again later.
Articles 1–20