Amir Molzam Sharifloo

According to our database1, Amir Molzam Sharifloo authored at least 18 papers between 2010 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Control Strategies for Self-Adaptive Software Systems.
TAAS, 2017

Fuzzy Self-Learning Controllers for Elasticity Management in Dynamic Cloud Architectures.
Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

Learning and evolution in dynamic software product lines.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Coordinated run-time adaptation of variability-intensive systems: an application in cloud computing.
Proceedings of the 1st International Workshop on Variability and Complexity in Software Design, 2016


7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution.
Proceedings of the 2015 International Conference on Cloud and Autonomic Computing, 2015

Modeling and Verification for Probabilistic Properties in Software Product Lines.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Models for Self-Adaptive Systems.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

On requirement verification for evolving Statecharts specifications.
Requir. Eng., 2014

Features meet scenarios: modeling and consistency-checking scenario-based product line specifications.
Requir. Eng., 2013

Model-based verification of quantitative non-functional properties for software product lines.
Information & Software Technology, 2013

On requirements verification for model refinements.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Efficient consistency checking of scenario-based product-line specifications.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010