( en | de | ru )

 

Disambiguation of "Sharifloo, Amir Molzam"

Author of the publication

copydeleteadd this publication to your clipboard
Model-based verification of quantitative non-functional properties for software product lines.

, and . Inf. Softw. Technol., 55 (3): 508-524 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manutschehr Amirfeyz

Iradj Amirzadeh-Asl

Mahmud Amirian-Khaffadjeh

Belal Amireh

Mansoor Anwer Ismail Amir

 

Other publications of authors with the same name

LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time., and . FACS, volume 7684 of Lecture Notes in Computer Science, page 170-187. Springer, (2012)Models for Self-Adaptive Systems.. ECSA Workshops, page 24:1-24:5. ACM, (2015)Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines., and . Software Engineering for Self-Adaptive Systems, volume 7475 of Lecture Notes in Computer Science, page 191-213. Springer, (2010)On requirement verification for evolving Statecharts specifications., , , and . Requir. Eng., 19 (3): 231-255 (2014)Features meet scenarios: modeling and consistency-checking scenario-based product line specifications., , , and . Requir. Eng., 18 (2): 175-198 (2013)7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2015)., , , , and . ICSE (2), page 987-988. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Efficient consistency checking of scenario-based product-line specifications., , , and . RE, page 161-170. IEEE Computer Society, (2012)Model-based verification of quantitative non-functional properties for software product lines., and . Inf. Softw. Technol., 55 (3): 508-524 (2013)Requirements Verification of Variability-Intensive Systems.. Polytechnic University of Milan, Italy, (2014)Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking., and . SPLC, page 170-174. IEEE Computer Society, (2011)