2009 |
20 | EE | Abhishek Dubey,
Derek Riley,
Sherif Abdelwahed,
Ted Bapty:
Modeling and Analysis of Probabilistic Timed Systems.
ECBS 2009: 69-78 |
2008 |
19 | EE | Jian Wu,
Sherif Abdelwahed:
An Efficient Finite-Input Receding Horizon Control Method and Its Application for the Pneumatic Hopping Robot.
JCP 3(9): 50-57 (2008) |
2007 |
18 | EE | Gabor Madl,
Nikil Dutt,
Sherif Abdelwahed:
Performance estimation of distributed real-time embedded systems by discrete event simulations.
EMSOFT 2007: 183-192 |
17 | EE | Sherif Abdelwahed,
Nagarajan Kandasamy:
Fault-Adaptive Control for Robust Performance Management of Computing Systems.
ICAC 2007: 21 |
16 | EE | Jian Wu,
Sherif Abdelwahed:
Discrete-input receding horizon control applied to pneumatic hopping robot energy regulation.
SMC 2007: 1567-1572 |
15 | EE | Viraj Bhat,
Manish Parashar,
Hua Liu,
Nagarajan Kandasamy,
Mohit Khandekar,
Scott Klasky,
Sherif Abdelwahed:
A self-managing wide-area data streaming service.
Cluster Computing 10(4): 365-383 (2007) |
2006 |
14 | EE | Nagarajan Kandasamy,
Sherif Abdelwahed,
Mohit Khandekar:
A Hierarchical Optimization Framework for Autonomic Performance Management of Distributed Computing Systems.
ICDCS 2006: 9 |
13 | EE | Kai Chen,
Janos Sztipanovits,
Sherif Abdelwahed:
A Semantic Unit for Timed Automata Based Modeling Languages.
IEEE Real Time Technology and Applications Symposium 2006: 347-360 |
12 | EE | Gabor Madl,
Sherif Abdelwahed,
Douglas C. Schmidt:
Verifying distributed real-time properties of embedded systems via graph transformations and model checking.
Real-Time Systems 33(1-3): 77-100 (2006) |
2005 |
11 | EE | Sujata Mujumdar,
Nagabhushan Mahadevan,
Sandeep Neema,
Sherif Abdelwahed:
A model-based design framework to achieve end-to-end QoS management.
ACM Southeast Regional Conference (1) 2005: 176-181 |
10 | EE | Kai Chen,
Janos Sztipanovits,
Sherif Abdelwahed,
Ethan K. Jackson:
Semantic Anchoring with Model Transformations.
ECMDA-FA 2005: 115-129 |
9 | EE | Gabor Madl,
Sherif Abdelwahed:
Model-based analysis of distributed real-time embedded system composition.
EMSOFT 2005: 371-374 |
8 | EE | Nagarajan Kandasamy,
Sherif Abdelwahed,
Gregory C. Sharp,
John P. Hayes:
An Online Control Framework for Designing Self-Optimizing Computing Systems: Application to Power Management.
Self-star Properties in Complex Information Systems 2005: 174-188 |
7 | EE | Mohit Khandekar,
Nagarajan Kandasamy,
Sherif Abdelwahed,
Gregory C. Sharp:
An online predictive control framework for designing self-managing computing systems.
Multiagent and Grid Systems 1(2): 63-72 (2005) |
2004 |
6 | EE | Nagarajan Kandasamy,
Sherif Abdelwahed,
John P. Hayes:
Self-Optimization in Computer Systems via On-Line Control: Application to Power Management.
ICAC 2004: 54-61 |
5 | EE | Sherif Abdelwahed,
Nagarajan Kandasamy,
Sandeep Neema:
Online Control for Self-Management in Computing Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 368-375 |
4 | EE | Jianming Ye,
Joseph P. Loyall,
Richard Shapiro,
Richard E. Schantz,
Sandeep Neema,
Sherif Abdelwahed,
Nagabhushan Mahadevan,
Michael Koets,
Denise Varner:
A Model-Based Approach to Designing QoS Adaptive Applications.
RTSS 2004: 221-230 |
3 | EE | Gabor Madl,
Sherif Abdelwahed,
Gabor Karsai:
Automatic Verification of Component-Based Real-Time CORBA Applications.
RTSS 2004: 231-240 |
2 | EE | Sherif Abdelwahed,
Nagarajan Kandasamy,
Sandeep Neema:
A control-based framework for self-managing distributed computing systems.
WOSS 2004: 3-7 |
2003 |
1 | EE | Sherif Abdelwahed,
Sandeep Neema,
Joseph P. Loyall,
Richard Shapiro:
A Hybrid Control Design for QoS Management.
RTSS 2003: 366- |