Author of the publication

FORMS: Unifying reference model for formal specification of distributed self-adaptive systems.

, , and . ACM Trans. Auton. Adapt. Syst., 7 (1): 8:1-8:61 (2012)

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.

 

Other publications of authors with the same name

An energy consumption framework for distributed java-based systems., , and . ASE, page 421-424. ACM, (2007)Test Transfer Across Mobile Apps Through Semantic Mapping., , and . ASE, page 42-53. IEEE, (2019)Utilizing architectural styles to enhance the adaptation support of middleware platforms., and . Inf. Softw. Technol., 54 (7): 786-801 (2012)FORMS: Unifying reference model for formal specification of distributed self-adaptive systems., , and . ACM Trans. Auton. Adapt. Syst., 7 (1): 8:1-8:61 (2012)A Learning-Based Framework for Engineering Feature-Oriented Self-Adaptive Software Systems., , and . IEEE Trans. Software Eng., 39 (11): 1467-1493 (2013)Mining the execution history of a software system to infer the best time for its adaptation., , and . SIGSOFT FSE, page 18. ACM, (2012)Data-driven accessibility repair revisited: on the effectiveness of generating labels for icons in Android apps., , and . ESEC/SIGSOFT FSE, page 107-118. ACM, (2021)Accessibility issues in Android apps: state of affairs, sentiments, and ways forward., , and . ICSE, page 1323-1334. ACM, (2020)ER Catcher: A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android., , , and . ASE, page 324-335. IEEE, (2020)Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification., , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 73-89. Springer, (2015)