Amir Molzam Sharifloo
According to our database1, Amir Molzam Sharifloo authored at least 18 papers between 2010 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Control Strategies for Self-Adaptive Software Systems.
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
Software Engineering Meets Control Theory.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015
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