Abbas, W., L. Perelman, S. Amin, and X. Koutsoukos,
"An Efficient Approach to Fault Identification in Urban Water Networks Using Multi-Level Sensing",
2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments (BuildSys 2015), Seoul, South Korea, ACM, 11/2015.
Abbas, W., S. Bhatia, Y. Vorobeychik, and X. Koutsoukos,
"Immunization Against Infection Propagation In Heterogeneous Networks",
13th IEEE International Symposium on Network Computing & Applications, Cambridge, MA, pp. 296-300, 2014.
Abbas, W., A. Laszka, Y. Vorobeychik, and X. Koutsoukos,
"Scheduling Intrusion Detection Systems in Resource-Bounded Cyber-Physical Systems",
ACM Workshop on Cyber-Physical Systems Security & Privacy (in Conjunction with 22nd ACM Conference on Computer and Communications Security (CCS)), Denver, CO, ACM, 09/2015.
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, and J. Sztipanovits,
"Model-Based Software Synthesis for Large-Scale Systems",
Proceedings of the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, September, 1993.
Abbott, B., C. Biegl, T. Bapty, J. Sztipanovits, and R. Souder,
"Graphical Programming for the Transputer",
Proceedings of the 22nd Southeastern Symposium on System Theory, pp. 86--90, March, 1990.
Abbott, B., T. Bapty, C. Biegl, G. Karsai, and J. Sztipanovits,
"Model-Based Approach for Software Synthesis",
IEEE Software, vol. 10, pp. 42--52, May, 1993.
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, G. Karsai, and J. Sztipanovits,
"Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System",
Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
Abbott, B., C. Biegl, and J. Sztipanovits,
"Multigraph on the Transputer",
NATUG, Santa Clara, CA, pp. 25--36, April, 1990.
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)
Abdelwahed, S., S. Neema, J. Loyall, and R. Shapiro,
"Online Hybrid Control Design for QoS Management",
IEEE Int. Conference on Systems, Man & Cybernetics, Washington, DC., October, 2003.
Download: Abdelwahed_S_10_0_2003_Online_Hyb.pdf (172.18 KB)
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)
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)
Abdelwahed, S., G. Karsai, and G. Biswas,
"Robust Diagnosis of Switching Systems",
5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Washington, DC., June, 2003.
Download: Abdelwahed_S_6_0_2003_Robust_Dia.pdf (119.56 KB)
Abdelwahed, S., J. Wu, and G. Biswas,
"Online Hybrid Control for Optimal Resource Management in Advanced Life Support Systems.",
Habitation, Conference on Space Habitation Research and Technology Development, Orlando, FL, January, 2004.
Abdelwahed, S., G. Karsai, and G. Biswas,
"Online Safety Control of a Class of Hybrid Systems",
IEEE 2002 Conference on Decision and Control, Las Vegas, USA, pp. 1988--1990, December, 2002.
Download: Abdelwahed_S_12_0_2002_Online_Saf.pdf (96.96 KB)
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.
Abdelwahed, S., S. Neema, J. Loyall, and R. Shapiro,
"A Hybrid Control Approach for QoS Management",
the 24th IEEE International Real-Time Systems Symposium, RTSS'03, Cancun, Mexico, December, 2003.
Download: Abdelwahed_S_12_0_2003_A_Hybrid_C.pdf (200.83 KB)
Abdelwahed, S., J. Wu, G. Biswas, J. W. Ramirez, and E. J. Manders,
"Online Hierarchical Fault-Adaptive Control for Advanced Life Support Systems",
34th International Conference on Environmental Systems, Colorado Springs, CO, July, 2004.
Download: Abdelwahed_S_7_0_2004_Online_Hie.pdf (242.83 KB)
Agrawal, A., G. Karsai, and A. Ledeczi,
"An End-to-End Domain-Driven Software Development Framework",
18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Domain-Driven Development Track, Anaheim, CA, October, 2003.
Download: Agrawal_A_10_0_2003_An_End_to_.pdf (662.27 KB)
Agrawal, A., G. Karsai, S. Neema, F. Shi, and A. Vizhanyo,
"The Design of a Language for Model Transformations",
Journal on Software and System Modeling, vol. 5, pp. 261--288, September, 2006.
Download: Agrawal_A_0_0_2005_The_Design.pdf (2.09 MB)
Agrawal, A., A. Vizhanyo, Z. Kalmar, F. Shi, A. Narayanan, and G. Karsai,
"Reusable Idioms and Patterns in Graph Transformation Languages",
Electronic Notes in Theoretical Computer Science, vol. 127, pp. 181--192, March, 2005.
Agrawal, A., A. Bakshi, J. Davis, B. Eames, A. Ledeczi, S. Mohanty, V. Mathur, S. Neema, G. Nordstrom, V. Prasanna, et al.,
"MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems",
Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Snowbird, UT, June, 2001.
Download: Agrawal_A_6_0_2001_MILAN__A_M.pdf (121.36 KB)