Home

ISIS Publications

Export 1101 results:
Sort by: Author Title Type [ Year (Desc)]
2006
Tan, J., G. Biswas, and D. Schwartz, "Feedback for metacognitive support in learning by teaching environments", The 28th Annual Meeting of the Cognitive Science Society, Vancouver, Canada, pp. 828-833, 2006.
Balasubramanian, D., A. Narayanan, C. van Buskirk, and G. Karsai, "The Graph Rewriting and Transformation Language: GReAT", Electronic Communications of the EASST, vol. 1, 2006. Abstract  Download: great_easst.pdf (274.21 KB)
Eby, M., J. Werner, G. Karsai, and J. Sztipanovits, "Integrating Security Modeling into Embedded System Design", ECBS 2007, Tucson, Arizona, 2006.  Download: ISIS_0_0_2006_Integratin.pdf (324.18 KB)
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)
Keskinpala, T., A. Dubey, S. Nordstrom, T. Bapty, and S. Neema, "A model driven tool for automated system level testing of middleware", Fourth System Testing and Validation Workshop (STV), 2006.  Download: STV06Paper_Final_TK.pdf (758.27 KB)
Szemethy, T., G. Karsai, and D. Balasubramanian, "Model Transformations in the Model-Based Development of Real-time Systems", ECBS, pp. 177-186, 2006. Abstract  Download: 060105_Final.pdf (553.02 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)
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)
Blair, K., D. Schwartz, G. Biswas, and K. Leelawong, "Pedagogical agents for learning by teaching: Teachable agents", Educational Technology & Society, Special Issue on Pedagogical Agents, 2006.
Tan, J., and G. Biswas, "The role of feedback in preparation for future learning: A case study in learning by teaching environments", ntelligent Tutoring Systems: Vol. 4053. Lecture Notes in Computer Science, Jhongli, Taiwan, Springer, pp. 370-381, 2006.
Karsai, G., "Automotive Software: A Challenge and Opportunity for Model-Based Software Development", Lecture Notes in Computer Science, vol. 4147: Springer, 2006.
Szekely, P., M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, J. Jin, G. Karsai, R. T. Maheswaran, B. Neches, C. M. Rogers, et al., "CSC: Criticality-Sensitive Coordination", Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, New York, NY, USA, ACM, pp. 1441–1442, 2006.
Kusy, B., P. Dutta, P. Levis, M. Maroti, A. Ledeczi, and D. Culler, "Elapsed Time on Arrival: a simple and versatile primitive for canonical time synchronization services", International Journal of Ad Hoc and Ubiquitous Computing, vol. 2, 2006.
Szekely, P., R. Maheswaran, R. Neches, C. Rogers, R. Sanchez, M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, G. Karsai, et al., "An Examination of CriticalitySensitive Approaches to Coordination", In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
Szemethy, T., and G. Karsai, "PML: a Language for Platform Modeling", Electronic Communications of the EASST, vol. 4, 2006.
Narayanan, A., and G. Karsai, "Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations", Electronic Communications of the EASST, vol. 4, 2006.
2005
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)
Daigle, M., X. Koutsoukos, and G. Biswas, "Relative Measurement Orderings in Diagnosis of Distributed Physical Systems", 43rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, pp. 1707--1716, September, 2005.  Download: Daigle_MJ_9_0_2005_Relative_M.pdf (160.46 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)
Jackson, E., and J. Sztipanovits, "Using Separation of Concerns for Embedded Systems Design", EMSOFT '05, Jersey City, New Jersey, September, 2005.  Download: Jackson_EK_9_0_2005_Using_Sepa.pdf (201.69 KB)
Dubey, A., W. Xianbin, S. Hang, and J. T. Koo, "Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach", Lecture Notes in Computer Science, vol. 3707, pp. 114--128, October, 2005.  Download: Dubey_A_10_4_2005_Computatio.pdf (502.45 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)
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)
Ledeczi, A., A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, et al., "Countersniper System for Urban Warfare", ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, A. Nadas, S. Dora, and A. Ledeczi, "Radio Interferometric Geolocation", ACM Third International Conference on Embedded Networked Sensor Systems (SenSys 05), San Diego, CA, pp. 1--12, November, 2005.  Download: Maroti_M_11_3_2005_Radio_Inte.pdf (422.8 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)
Kushwaha, M., K. Molnar, J. Sallai, P. Volgyesi, M. Maroti, and A. Ledeczi, "Sensor Node Localization Using Mobile Acoustic Beacons", The 2nd IEEE International Conference (MASS 05), Washington, DC, November, 2005.  Download: Kushwaha_M_11_7_2005_Sensor_Nod.pdf (1.18 MB)
Emerson, M., "GME-MOF: AN MDA METAMODELING ENVIRONMENT FOR GME", Master's Thesis: Vanderbilt University, May, 2005.  Download: Emerson_MJ_5_0_2005_GME_MOF__A.pdf (519.93 KB)
Biswas, G., D. Schwartz, K. Leelawong, and N. Vye, "Learning by Teaching: A New Agent Paradigm for Educational Software", Applied Artificial Intelligence, vol. 19, pp. 363--392, March, 2005.  Download: Biswas__G_3_0_2005_Learning_b.pdf (1.94 MB)
Ledeczi, A., G. Balogh, Z. Molnar, P. Volgyesi, and M. Maroti, "Model Integrated Computing in the Large", IEEE Aerospace, Big Sky, MT, March, 2005.  Download: Ledeczi_A_3_6_2005_Model_Inte.pdf (1.62 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.
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)
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)
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)
Szekely, P., R. Neches, M. Becker, S. Fitzpatrick, C. vanBuskirk, D. Fisher, and G. Karsai, "Plan Execution and Coordination", Proceedings of ICAPS Workshop: Plan Execution: A Reality Check, Monterey, California, June, 2005. Abstract
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)
Dubey, A., "Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems", Master's Thesis: Vanderbilt University, July, 2005.  Download: Dubey_A_7_28_2005_Metamodel_.pdf (3.32 MB)
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.
Balogh, G., A. Ledeczi, M. Maroti, and G. Simon, "Time of Arrival Data Fusion for Source Localization", Sensorfusion, Visegrad, Hungary, July, 2005.  Download: Balogh_G_7_14_2005_Time_of_Ar.pdf (516.73 KB)
Balogh, G., A. Ledeczi, and M. Maroti, Wireless sensor network-based projectile trajectory estimation, : Institute for Software Integrated Systems, February, 2005.  Download: Balogh_G_2_10_2005_Wireless_s.pdf (522.99 KB)
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.
Yao, D., "Specification and Implementation of Autonomic Fault-Mitigation Behaviors for Large-Scale Real-Time Embedded Systems", Master's Thesis: Vanderbilt University, August, 2005.  Download: Yao_D_8_0_2005_Specificat.pdf (1013.37 KB)
Nordstrom, S., S. Shetty, D. Yao, S. Ahuja, S. Neema, and T. Bapty, "The Action Language: Refining a Behavioral Modeling Language", 12th IEEE International Conference on Engineering of Computer Based Systems, Greenbelt, MD, pp. 315--320, April, 2005.
Ahuja, S., D. Yao, S. Neema, T. Bapty, S. Shetty, and S. Nordstrom, "Dynamically Reconfigurable Monitoring in Large Scale Real-Time Embedded Systems", IEEE SoutheastCon, Fort Lauderdale, Florida, pp. 327, April, 2005.  Download: Ahuja_S_4_8_2005_Dynamicall.pdf (629.1 KB)
Ledeczi, A., P. Volgyesi, M. Maroti, G. Simon, G. Balogh, A. Nadas, B. Kusy, S. Dora, and G. Pap, "Multiple Simultaneous Acoustic Source Localization in Urban Terrain", In Proc. of IPSN, Los Angeles, CA, April, 2005.  Download: Ledeczi_A_4_25_2005_Multiple_S.pdf (682.65 KB)
Messie, D., M. Jung, J. C. Oh, S. Shetty, S. Nordstrom, and M. Haney, "Prototype of Adaptive Embedded Software for Large-Scale Real-Time Systems", Engineering of Autonomic Systems, EASe, Greenbelt, MD,USA, April, 2005.  Download: ISIS_4_6_2005_Prototype_.pdf (897.19 KB)
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, S. Dora, and A. Ledeczi, Radio Interferometric Positioning, : Institute for Software Integrated Systems, April, 2005.  Download: Maroti_M_4_10_2005_Radio_Inte.pdf (422.8 KB)