Amir Molzam Sharifloo

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Control Strategies for Self-Adaptive Software Systems.

Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel

ACM Trans. Auton. Adapt. Syst., 2017

2016

Fuzzy Self-Learning Controllers for Elasticity Management in Dynamic Cloud Architectures.

Pooyan Jamshidi, Amir Molzam Sharifloo, Claus Pahl, Hamid Arabnejad, Andreas Metzger, Giovani Estrada

Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

Learning and evolution in dynamic software product lines.

Amir Molzam Sharifloo, Andreas Metzger, Clément Quinton, Luciano Baresi, Klaus Pohl

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.

Andreas Metzger, Andreas Bayer, Daniel Doyle, Amir Molzam Sharifloo, Klaus Pohl, Florian Wessling

Proceedings of the 1st International Workshop on Variability and Complexity in Software Design, 2016

2015

Software Engineering Meets Control Theory.

Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas B. Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel

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).

Muhammad Ali Babar, Hye-Young Paik, Malolan Chetlur, Michael Bauer, Amir Molzam Sharifloo

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution.

Pooyan Jamshidi, Amir Molzam Sharifloo, Claus Pahl, Andreas Metzger, Giovani Estrada

Proceedings of the 2015 International Conference on Cloud and Autonomic Computing, 2015

Modeling and Verification for Probabilistic Properties in Software Product Lines.

Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Models for Self-Adaptive Systems.

Amir Molzam Sharifloo

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2014

Requirements Verification of Variability-Intensive Systems.

Amir Molzam Sharifloo

PhD thesis, 2014

On requirement verification for evolving Statecharts specifications.

Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini

Requir. Eng., 2014

2013

Features meet scenarios: modeling and consistency-checking scenario-based product line specifications.

Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans

Requir. Eng., 2013

Model-based verification of quantitative non-functional properties for software product lines.

Carlo Ghezzi, Amir Molzam Sharifloo

Inf. Softw. Technol., 2013

Verification for Reliable Product Lines.

Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay

CoRR, 2013

On requirements verification for model refinements.

Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems.

Amir Molzam Sharifloo, Andreas Metzger

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Towards Agile Verification.

Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi

Proceedings of the Perspectives on the Future of Software Engineering, 2013

2012

Efficient consistency checking of scenario-based product-line specifications.

Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time.

Amir Molzam Sharifloo, Paola Spoletini

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking.

Carlo Ghezzi, Amir Molzam Sharifloo

Proceedings of the Software Product Lines - 15th International Conference, 2011

2010

Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines.

Carlo Ghezzi, Amir Molzam Sharifloo

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010