Author of the publication

Modeling and verifying self-adaptive systems: A refinement approach.

, , and . SMC, page 3967-3972. IEEE, (2016)

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

Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing., , and . CLOSER, page 386-389. SciTePress, (2013)Prediction of Human Personality Traits From Annotation Activities., , , and . WEBIST (2), page 263-269. SciTePress, (2014)A Software Architecture for Cooperative Knowledge Based Systems., , and . HCI (2), page 303-308. Elsevier, (1993)0-444-89540-X.Formalizing compound MAPE patterns for decentralized control in self-adaptive systems., , and . RCIS, page 1-10. IEEE, (2018)A multi-scale modelling perspective for SoS architectures., , , and . ECSA Workshops, page 30:1-30:5. ACM, (2014)Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning., , , and . Int. J. Distance Educ. Technol., 15 (1): 28-51 (2017)MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems., , and . IET Softw., 15 (4): 260-276 (2021)Simulation tools for cloud computing: A survey and comparative study., , and . ICIS, page 221-226. IEEE Computer Society, (2017)The annotation: a track of reader's personality traits on paper., , , and . ACM Southeast Regional Conference, page 10:1-10:6. ACM, (2014)A persuasive system to improve physical activities of older adults., , , and . TACC, volume 3067 of CEUR Workshop Proceedings, page 14-24. CEUR-WS.org, (2021)