Biblio

Porter, J., Z. Lattmann, G. Hemingway, N. Mahadevan, S. Neema, H. Nine, N. Kottenstette, P. Volgyesi, G. Karsai, and J. Sztipanovits, "The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems", 15th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, 04/2009. Abstract

Download: rtas_demo_2009.pdf (491.24 KB)

Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards A Model-Based Autonomic Reliability Framework for Computing Clusters", Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, April, 2008.

Download: Dubey_A_4_0_2008_Towards_A_.pdf (733.09 KB)

Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "Applying a Grouping Operator in Model Transformations", Applications of Graph Transformations with Industrial Relevance, pp. 410 - 425, 2008///. Abstract

Download: applying_group_operator_in_model_trans.pdf (1.08 MB)

Balasubramanian, D., C. vanBuskirk, G. Karsai, A. Narayanan, S. Neema, B. Ness, and F. Shi, Evolving Paradigms and Models in Multi-Paradigm Modeling, , no. ISIS-08-91, Nashville, Institute for Software Integrated Systems, 11/2008.

Download: ISIS-08-912.pdf (651.03 KB)

Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "Applying a Grouping Operator in Model Transformations", The Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE), Kassel, Germany, 10/2007. Abstract

Download: applying_group_operator_in_model_trans.pdf (1.08 MB)

Balasubramanian, D., A. Narayanan, S. Neema, F. Shi, R. Thibodeaux, and G. Karsai, "A Subgraph Operator for Graph Transformation Languages", Electronic Communications of the EASST, vol. 6, 2007. Abstract

Download: A_Subgraph_Operator_for_Graph_Transformation_Languages.pdf (233.92 KB)

Kushwaha, M., I. Amundson, X. Koutsoukos, S. Neema, and J. Sztipanovits, "OASiS: A Programming Framework for Service-Oriented Sensor Networks", International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), Bangalore, India, 2007. Abstract

Download: comsware07.pdf (982.55 KB)

Koutsoukos, X., M. Kushwaha, I. Amundson, S. Neema, and J. Sztipanovits, "OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks", Monterey Workshop 2006, LNCS 4888, Springer-Verlag, Paris, France, 2007.

Download: LNCS2007.pdf (1.54 MB)

Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems", ISSE, vol. 3, pp. 33--52, 2007.

Download: Dubey_A_1_24_2007_Towards_a_.pdf (1.2 MB)

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)

Amundson, I., M. Kushwaha, X. Koutsoukos, S. Neema, and J. Sztipanovits, "Efficient Integration of Web Services in Ambient-aware Sensor Network Applications", Basenets, San Jose, CA, October, 2006.

Download: Amundson_I_10_1_2006_Efficient_.pdf (849.01 KB)

Neema, S., and I. Sturmer, Automated Test Case Generation for Code Generators based on Graph-Transformation Rules, : Institute for Software Integrated Systems, March, 2006.

Download: Neema_S_3_1_2006_Automated_.pdf (344.23 KB)

Balasubramanian, K., J. Balasubramanian, G. Karsai, J. Sztipanovits, and S. Neema, "Developing applications using model-driven design environments", IEEE Computer, vol. 39, pp. 33--40, March, 2006.

Vizhanyo, A., S. Neema, F. Shi, D. Balasubramanian, and G. Karsai, "Improving the Usability of a Graph Transformation Language", Electronic Notes in Theoretical Computer Science, vol. 152, pp. 207--222, March, 2006. Abstract

Download: improve_gtl.pdf (262.32 KB)

Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, and T. Bapty, "Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems", Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06), Potsdam, Germany, pp. 129--140, March, 2006.

Download: Dubey_A_3_0_2006_Verifying_.pdf (1.17 MB)

Chen, K., J. Sztipanovits, and S. Neema, Compositional Specification of Behavioral Semantics, : Institute for Software Integrated Systems, June, 2006.

Download: Chen_K_6_1_2006_Compositio.doc (629.5 KB)

Nordstrom, S., T. Bapty, S. Neema, A. Dubey, and T. Keskinpala, "A Guided Explorative Approach for Autonomic Healing of Model-Based Systems", Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, CA, July, 2006.

Download: Nordstrom_SG_7_0_2006_A_Guided_E.pdf (201.89 KB)

Amundson, I., M. Kushwaha, X. Koutsoukos, S. Neema, and J. Sztipanovits, OASiS: A Service-Oriented Middleware for Pervasive Ambient-Aware Sensor Networks, : Institute for Software Integrated Systems, 2006.

Download: Amundson_I_0_0_2006_OASiS__A_S.pdf (1.44 MB)

Emerson, M., S. Neema, and J. Sztipanovits, "Metamodeling Languages and Metaprogrammable Tools", Handbook of Real-Time and Embedded Systems: Chapman & Hall (July 23, 2007), pp. 33-1-33-16, 2006.

Download: Metamodeling Languages and Metaprogrammable Tools.pdf (1.02 MB)

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)

Nordstrom, S., S. Shetty, S. Neema, and T. Bapty, "Modeling Reflex-Healing Autonomy for Large Scale Embedded Systems", IEEE Transactions on Systems, Man, and Cybernetics, Special Issue on Autonomic Computing, October, 2005.

Gray, J., L. Yuehua, Z. Jing, S. Nordstrom, J. Balasubramanian, S. Neema, and G. Swapna, "Replicators: Transformations to Address Model Scalability", Model Driven Engineering Languages and Systems (MoDELS) (formerly the UML series of conferences), Springer-Verlag LNCS 3713, Montego Bay, Jamaica, pp. 295--308, October, 2005.

Download: Gray_J_10_0_2005_Replicator.pdf (575.88 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.