PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Abdelwahed, Sherif"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying distributed real-time properties of embedded systems via graph transformations and model checking.

, , and . Real-Time Systems, 33 (1-3): 77-100 (2006)

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.

Sherif Abdulatif Mohamed University of Stuttgart

 

Other publications of authors with the same name

A Model-Based Approach to Designing QoS Adaptive Applications., , , , , , , , and . RTSS, page 221-230. IEEE Computer Society, (2004)Online Control for Self-Management in Computing Systems., , and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 368-375. IEEE Computer Society, (2004)Fault-Adaptive Control for Robust Performance Management of Computing Systems., and . ICAC, page 21. IEEE Computer Society, (2007)A component-based framework for autonomic performance management in a distributed computing environment., and . AICCSA, page 493-500. IEEE Computer Society, (2014)A Probabilistic Approach to Autonomic Security Management., and . ICAC, page 157-166. IEEE, (2016)An Interaction Balance Based Approach for Autonomic Performance Management in a Cloud Computing Environment., , , and . ARMS-CC@PODC, volume 8907 of Lecture Notes in Computer Science, page 52-70. Springer, (2014)Urban Traffic Network Control in Smart Cities; a Distributed Model-based Control Approach., and . CoRR, (2019)Towards automatic security management: a model-based approach., , and . CSIIRW, page 56. ACM, (2013)Enabling Self-Managing Applications using Model-based Online Control Strategies., , , , , and . ICAC, page 15-24. IEEE Computer Society, (2006)Self-Optimization in Computer Systems via On-Line Control: Application to Power Management., , and . ICAC, page 54-61. IEEE Computer Society, (2004)