] Filters: Author is Abdelwahed, Sherif [Clear All Filters]
Dubey, A., R. Mehrotra, S. Abdelwahed, and A. Tantawi,
"Performance Modeling of Distributed Multi-Tier Enterprise Systems",
Performance Modeling of Distributed Multi-Tier Enterprise Systems, Eleventh Workshop on Mathematical Performance Modeling and Analysis, MAMA 2009, Seattle, 2009.
Download: Paper.pdf (1.44 MB)
Dubey, A., D. Riley, and S. Abdelwahed,
"Modeling and Analysis of Probabilistic Timed Systems",
Engineering of Computer Based Systems, San Francisco, USA, 04/2009.
Abstract
Download: PTAVerification.pdf (1.42 MB)
Dubey, A., G. Karsai, and S. Abdelwahed,
"Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems",
ISROC, Tokyo, Japan, 2009.
Abstract
Download: Isorc.pdf (487.35 KB)
Hill, J., A. Dabholkar, A. Kavimandan, J. Balasubramanian, and S. Abdelwahed,
A Platform Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems,
: Institute for Software Integrated Systems, June, 2007.
Download: Tambe_SU_6_0_2007__A_Platfor.pdf (887.99 KB)
Hill, J., A. Dabholkar, A. Kavimandan, J. Balasubramanian, and S. Abdelwahed,
"A Platform Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems",
ISIS Technical Report, no. #ISIS-07-8: Vanderbilt University, 2007.
Kusy, B., and S. Abdelwahed,
FTSP Protocol Verification using SPIN,
: Institute for Software Integrated Systems, May, 2006.
Download: Abdelwahed_S_5_0_2006_FTSP_Proto.pdf (194.51 KB)
Chen, K., J. Sztipanovits, and S. Abdelwahed,
"A Semantic Unit for Timed Automata Based Modeling Languages",
12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, pp. 2--14, April, 2006.
Download: Chen_K_4_4_2006_A_Semantic.pdf (316.11 KB)
Karsai, G., G. Biswas, S. Abdelwahed, N. Mahadevan, and E. J. Manders,
"Model-based Software Tools for Integrated Vehicle Health Management",
The Second IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadina, CA, 2006.
Download: Karsai_G_0_0_2006_Model_base.pdf (277.55 KB)
Abdelwahed, S., and G. Madl,
"Model Based Analysis of Distributed Realtime Embedded System Composition",
ACM Conference on Embedded Software (EMSOFT '05), Jersey City, New Jersey, September, 2005.
Download: Abdelwahed_S_9_0_2005_Model_Base.pdf (643.18 KB)
Chen, K., J. Sztipanovits, S. Neema, M. Emerson, and S. Abdelwahed,
"Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages",
Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05), Jersey City, New Jersey, pp. 35--44, September, 2005.
Download: Chen_K_9_19_2005_Toward_a_S.pdf (363.02 KB)
Chen, K., J. Sztipanovits, and S. Abdelwahed,
A Semantic Unit for Timed Automata Based Modeling Languages,
: Institute for Software Integrated Systems, October, 2005.
Download: Chen_K_10_28_2005_A_Semantic.pdf (748.84 KB)
Chen, K., J. Sztipanovits, S. Abdelwahed, and E. Jackson,
"Semantic Anchoring with Model Transformations",
European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA), Nuremberg, Germany, November, 2005.
Download: Chen_K_11_7_2005_Semantic_A.pdf (1.83 MB)
Abdelwahed, S., G. Karsai, and G. Biswas,
"A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems",
16th International Workshop on Principles of Diagnosis (DX '05), Monterey, CA, June, 2005.
Download: Abdelwahed_S_6_0_2005_A_Consiste.pdf (106.38 KB)
Manders, E. J., G. Biswas, J. W. Ramirez, N. Mahadevan, J. Wu, and S. Abdelwahed,
"A Model-Integrated Computing Tool-suite for fault adaptive control",
15th Intl Workshop on Principles of Diagnosis (DX '04), Carcassonne, France, June, 2005.
Download: Manders_EJ_6_0_2005_A_Model_In_.pdf (265.41 KB)
Roychoudhury, I., G. Biswas, X. Koutsoukos, and S. Abdelwahed,
"Designing Distributed Diagnosers for Complex Physical Systems",
16th International Workshop on Principles of Diagnosis, Monterey, CA, pp. 31--36, June, 2005.
Download: Roychoudhu_I_6_0_2005_Designing_.pdf (192.41 KB)
Abdelwahed, S., J. Wu, G. Biswas, and E. J. Manders,
"Hierarchical Online Control Design for Autonomous Resource Management in Advanced Life Support Systems",
35th SAE International Conference on Environmental Studies (ICES '05), Rome, Italy, July, 2005.
Download: Abdelwahed_S_7_0_2005_Hierarchic.pdf (358.43 KB)
Biswas, G., P. Bonasso, and S. Abdelwahed,
"Requirements for an Autonomous Control Architecture for Advanced Life Support System",
35th SAE International Conference on Environmental Systems (ICES'05), Rome , Italy, July, 2005.
Wu, J., G. Biswas, and S. Abdelwahed,
"Hybrid Control System Design and Implementation for a Three-tank Testbed",
IEEE Conference on Control Application, Toronto, Canada, August, 2005.
Download: Wu_J_8_0_2005_Hybrid_Con.pdf (507.49 KB)
Abdelwahed, S., J. Sallai, and S. Neema,
"On the feasibility of lookahead control for systems with finite control set",
IEEE Conference on Control Application, Toronto, Canada, August, 2005.
Abdelwahed, S., G. Karsai, and G. Biswas,
"Robust State-based Supervisory Control of Discrete Event Systems",
IEEE Conference on Control Application, Toronto, Canada, August, 2005.
Abdelwahed, S., J. Wu, G. Biswas, J. W. Ramirez, and E. J. Manders,
"Online Fault Adaptive Control for Efficient Resource Management in Advanced Life Support Systems",
Habitation - Intl. Journal for Human Support Research, vol. 10, pp. 105--115, 2005.
Download: Abdelwahed_S_0_0_2005_Online_Fau.pdf (311.45 KB)
Madl, G., S. Abdelwahed, and D. C. Schmidt,
"Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking",
International Journal of Time-Critical Computing Systems, 2005.
Download: Madl_G_0_0_2005_Verifying_.pdf (525.32 KB)
Su, R., S. Abdelwahed, and S. Neema,
A Reachability based Stability Analysis for Switching Systems,
: Institute for Software Integrated Systems, September, 2004.
Download: ISIS_9_0_2004_A_Reachabi.pdf (3.95 KB)
Biswas, G., S. Abdelwahed, X. Koutsoukos, J. Gandhe, and E. J. Manders,
"Toward Distributed Diagnosis of Complex Physical Systems",
The Forty-Second Annual Allerton Conference on Communication, Control, and Computing, Champgain, IL, September, 2004.
Download: Biswas_G_9_0_2004_Toward_Dis.pdf (170.05 KB)
Abdelwahed, S., N. Kandasamy, and S. Neema,
"A Control-Based Framework for Self-Managing Distributed Computing Systems",
ACM SIGSOFT Workshop on Self-Managed Systems, WOSS'04, Newport Beach, CA, October, 2004.
Download: Abdelwahed_S_10_0_2004_A_Control_.pdf (159.55 KB)
Copyright © 2008 ISIS / Vanderbilt University / School of Engineering