ISIS Publications

Export 64 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: Author is Abdelwahed, Sherif  [Clear All Filters]
2009
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., R. Mehrotra, S. Abdelwahed, and A. Tantawi, "Performance Modeling of Distributed Multi-Tier Enterprise Systems", ACM SIGMETRICS Performance Evaluation Review, vol. 37, no. 2, Seattle, 2009.  Download: Paper.pdf (1.44 MB)
2010
Mehrotra, R., A. Dubey, S. Abdelwahed, and A. Tantawi, "Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems", Modeling, Analysis, and Simulation of Computer Systems, International Symposium on, Los Alamitos, CA, USA, IEEE Computer Society, pp. 424-426, 2010.  Download: Paper.pdf (700.4 KB)
Mehrotra, R., A. Dubey, S. Abdelwahed, and A. Tantawi, "Model Identification for Performance Management of Distributed Enterprise Systems", ISIS Technical Report, no. ISIS-10-104, Nashville, Institute for Software Integrated Systems, 2010.  Download: Paper.pdf (4.02 MB)
2011
Mehrotra, R., A. Dubey, and S. Abdelwahed, "Large Scale Monitoring and Online Analysis in a Distributed Virtualized Environment", To Appear in Engineering of Autonomic and Autonomous Systems (EASe): IEEE Computer Society, 2011.
Abdelwahed, S., A. Dubey, G. Karsai, and N. Mahadevan, "Model-based Tools and Techniques for Real-Time System and Software Health Management", Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics: CRC Press, to be published, 2011.
2012
2015
Chhokra, A., S. Abdelwahed, A. Dubey, S. Neema, and G. Karsai, "From System Modeling to Formal Verification", The 2015 Electronic System Level Synthesis Conference, San Francisco, ECSI, 07/01/2015. Abstract  Download: Session3_Paper3.pdf (1.04 MB)