Home

ISIS Publications

Export 146 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
A B C D E F G H I J [K] L M N O P Q R S T U V W X Y Z   [Show ALL]
K
Kalli, S., and J. Sztipanovits, "Model Based Approach in Intelligent Patient Monitoring", 10th IEE/EMBS, New Orleans, LA, pp. 1142--1148, 1988.
Kalli, S., and J. Sztipanovits, "Hierarchical Structure of Intelligent Patient Monitoring System", Finnish National Conference on Artificial Intelligence, pp. 123--128, 1988.
Kalli, S., and J. Sztipanovits, "Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems", IFAC Symposium on Medical Instrumentation, 1989.
Kandasamy, N., and S. Abdelwahed, Designing Self-Managing Distributed Systems using Online Predictive Control, : Institute for Software Integrated Systems, December, 2003.
Kandasamy, N., S. Abdelwahed, and S. Neema, "Self optimization in computer systems via online control: application to power management", the International Conference on Autonomic Computing, New York, NY, May, 2004.  Download: Kandasamy_N_5_0_2004_Self_optim.pdf (237.87 KB)
Kandasamy, N., D. Hanak, C. van Buskirk, H. Neema, and G. Karsai, "Synthesis of Robust Task Schedules for Minimum Disruption Repair", IEEE International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5056-5061, 10/2004. Abstract  Download: RobustTaskSchedules.pdf (370.75 KB)
Karsai, G., F. Massacci, L. J. Osterweil, and I. Schieferdecker, "Evolving Embedded Systems", Computer, vol. 43, no. May, pp. 34-40, 05/2010.
Karsai, G., A. Lang, and S. Neema, "Design Patterns for Open Tool Integration", Journal of Software and System Modeling, vol. 4, 2004.
Karsai, G., G. Biswas, S. Abdelwahed, S. Narasimhan, T. Pasternak, and T. Szemethy, "Towards Fault-Adaptive Control of Complex Dynamic Systems", Software-Enabled Control: IEEE Press, 2003.
Karsai, G., and F. DeCaria, "Model-Integrated On-line Problem-Solving Environment for Chemical Engineering", IFAC Control Engineering Practice, vol. 5, pp. 1--9, 1997.  Download: Karsai_G_0_0_1997_Model_Inte_.pdf (180.47 KB)
Karsai, G., C. Biegl, S. Padalkar, J. Sztipanovits, K. Kawamura, N. Miyasaka, and M. Inui, "Knowledge-Based Approach to Real-Time Supervisory Control", Amercian Control Conference, Atlanta, GA, pp. 620--626, 1988.
Karsai, G., A. Agrawal, F. Shi, and J. Sprinkle, "On the use of Graph Transformations in the Formal Specification of Computer-Based Systems", IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, Alabama, pp. 19--27, April, 2003.  Download: Karsai_G_4_9_2003_On_the_use.pdf (224.67 KB)
Karsai, G., and J. Sztipanovits, "A Model-Based Approach to Self-Adaptive Software", Journal of Intelligent Systems, vol. 14, pp. 46--53, May, 1999.
Karsai, G., J. Sztipanovits, and J. S. Gero, "Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy", Artificial Intelligence in Engineering: Robotics and Processes: Elsevier, pp. 387--402, 1988.
Karsai, G., S. Abdelwahed, and G. Biswas, "Integrated Diagnosis and Control for Hybrid Dynamic Systems", AIAA Guidance, Navigation and Control Conference, Austin, TX, August, 2003.  Download: Karsai_G_8_0_2003_Integrated.pdf (188.1 KB)
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Specifying Graphical Modeling Systems Using Constraint-based Metamodels", IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.  Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 KB)
Karsai, G., J. Sztipanovits, S. Padalkar, and C. Biegl, "Model Based Techniques for Intelligent Process Control", Artificial Intelligence in Engineering, vol. 2: Elsevier, pp. 79--94, 1990.
Karsai, G., G. Bloor, and J. Doyle, "Automating Human Based Negotiation Processes for Autonomic Logistics", Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Karsai_G_3_0_2000_Automating.pdf (676.12 KB)
Karsai, G., J. Sztipanovits, S. Padalkar, C. Biegl, N. Miyasaka, and K. Okuda, "Model Based Intelligent Process Control for Cogenerator Plants", Journal of Parallel and Distributed Systems, vol. 15, pp. 90--103, June, 1992.  Download: Karsai_G_0_0_1992_Model_Base.pdf (545.01 KB)
Karsai, G., and A. Narayanan, "On the Correctness of Model Transformations in the Development of Embedded Systems", Lecture Notes in Computer Science, vol. 4888: Springer, 2007.
Karsai, G., G. Biswas, S. Abdelwahed, S. Narasimhan, T. Pasternak, and T. Szemethy, "Towards Fault-Adaptive Control of Complex Dynamic Systems", Software Enabled Control, (Book), 2002.  Download: Karsai_G_0_0_2002_Towards_Fa.pdf (390.07 KB)
Karsai, G., J. Sztipanovits, S. Padalkar, and F. DeCaria, "Model-embedded On-line Problem Solving Environment for Chemical Engineering", International Conference on Engineering of Complex Computer Systems, Ft Lauderdale, FL, pp. 227--233, November, 1995.  Download: Karsai_G_11_6_1995_Model_embe.pdf (180.47 KB)
Karsai, G., "Lessons Learned from Building a Graph Transformation System", Graph Transformations and Model-Driven Engineering, vol. 5765: Springer Berlin / Heidelberg, pp. 202-223, 2010.
Karsai, G., A. Ledeczi, J. Sztipanovits, G. Peceli, G. Simon, and T. Kovacshazy, "An Approach to Self-Adaptive Software based on Supervisory Control", Self-Adaptive Software, Lecture Notes in Computer Science, 2002.  Download: Karsai_G_5_0_2001_An_Approac.pdf (97.4 KB)
Karsai, G., J. Sztipanovits, A. Ledeczi, and M. Moore, "Model-Integrated System Development: Models, Architecture and Process", 21st Annual International Computer Software and Application Conference (COMPSAC), Bethesda, MD, pp. 176--181, August, 1997.  Download: Karsai_G_8_0_1997_Model_Inte.pdf (4.73 MB)
Karsai, G., "Structured Specification of Model Interpreters", ECBS, Nashville, TN, pp. 84--91, March, 1999.  Download: Karsai_G_3_0_1999_Structured.pdf (54.67 KB)
Karsai, G., Declarative Programming Techniques for Engineering, : Vanderbilt University, 1988.
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)
Karsai, G., J. Sztipanovits, A. Ledeczi, and T. Bapty, "Model-integrated development of embedded software", Proceedings of the IEEE, vol. 91, pp. 145--164, January, 2003.
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Towards Two-Level Formal Modeling of Computer-Based Systems", Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.  Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
Karsai, G., J. Sztipanovits, S. Padalkar, C. Biegl, N. Miyasaka, and K. Okuda, "Models and Model building in Intelligent Process Control Systems", IEEE International Symposium on Intelligent Control, pp. 351--357, 1990.
Karsai, G., "Automotive Software: A Challenge and Opportunity for Model-Based Software Development", Lecture Notes in Computer Science, vol. 4147: Springer, 2006.
Karsai, G., and J. Gray, "Component Generation Technology for Semantic Tool Integration", Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Karsai_G_3_0_2000_Component_.pdf (4.64 MB)
Karsai, G., K. Andersen, G. E. Cook, and R. J. Barnett, "Neural Network Methods for the Modeling and Control of Welding Processes", Journal of Intelligent Manufacturing, pp. 229--235, 1992.
Karsai, G., A. Agrawal, and A. Ledeczi, "A Metamodel-Driven MDA Process and its Tools", WISME, UML 2003 Conference, San Francisco, CA, October, 2003.  Download: Karsai_G_10_0_2003_A_Metamode.pdf (212.6 KB)
Karsai, G., G. Biswas, T. Pasternak, S. Narasimhan, G. Peceli, G. Simon, and T. Kovacshazy, "Fault-Adaptive Control: A CBS Application", ECBS-2001, Washington, DC, February, 2001.  Download: Karsai_G_2_0_2001_Fault_Adap.pdf (79 KB)
Karsai, G., S. Padalkar, J. Sztipanovits, and F. DeCaria, "Activity Modeling", Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
Karsai, G., and E. Visser, "Generative Programming and Component Engineering, Third International Conference", Lecture Notes in Computer Science, vol. 3286: Springer, 2004.
Karsai, G., D. Balasubramanian, A. Dubey, and W. R. Otte, "Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems", 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 2014. Abstract  Download: drems-isorc.pdf (296.05 KB)
Karsai, G., S. Padalkar, H. Franke, and J. Sztipanovits, "A Practical Method For Creating Plant Diagnostics Applications", Integrated Computer-Aided Engineering, vol. 3, pp. 291--304, 1996.  Download: Karsai_G_0_0_1996_A_Practica.pdf (364.48 KB)
Karsai, G., C. Biegl, W. Blokland, J. Sztipanovits, K. Kawamura, N. Miyasaka, and M. Inui, "Intelligent Supervisory Controller for Gas Distribution Network", Proceedings of the American Control Conference, pp. 1353--1358, 1987.
Karsai, G., A. Lang, and S. Neema, "Tool Integration Patterns", Workshop on Tool Integration in System Developement, ESEC/FSE, Helsinki, Finland, pp. 33--38, September, 2003.  Download: Karsai_G_9_0_2003_Tool_Integ.pdf (274.24 KB)
Karsai, G., X. Kousoukos, H. Neema, P. Volgyesi, and S. Janos, "Simulation-Based Analysis of Cyber Resilience in Cyber-Physical Systems", Cyber Resilience of Networks and Systems: Springer, 2018.
Karsai, G., J. Sztipanovits, and H. Franke, "Towards Specification of Program Synthesis in Model-Integrated Computing", ECBS-98, Jerusalem, Israel, pp. 226--233, 1998.  Download: Karsai_G_0_0_1998_Towards_Sp.pdf (359.33 KB)
Karsai, G., A. Agrawal, F. Shi, and J. Sprinkle, "On the Use of Graph Transformation in the Formal Specification of Model Interpreters", Journal of Universal Computer Science, vol. 9, 2003.  Download: Karsai_G_0_0_2003_On_the_Use.pdf (253.4 KB)
Karsai, G., "Why is XML not suitable for Semantic Translation", Research Note, Nashville, TN, April, 2000.  Download: Karsai_G_4_0_2000_Why_is_XML.pdf (122.3 KB)
Karsai, G., and A. Agrawal, "Graph Transformations in OMG's Model-Driven Architecture", Lecture Notes in Computer Science, vol. 2062: Springer, pp. 243--259, 2003.  Download: Karsai_G_12_0_2003_Graph_Tran.pdf (820.41 KB)
Karsai, G., "Design Tool Integration: An Exercise in Semantic Interoperability", Proceedings of the IEEE Engineering of Computer Based Systems, Edinburg, UK, March, 2000.  Download: Karsai_G_3_0_2000_Design_Too.pdf (84.04 KB)
Karsai, G., J. Sztipanovits, S. Padalkar, and C. Biegl, "A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics", AIChE Annual Meeting, microfilm, Los Angeles, CA, November, 1991.
Karsai, G., M. Maroti, A. Ledeczi, J. Gray, and J. Sztipanovits, "Composition and Cloning in Modeling and Meta-Modeling", IEEE Transactions on Control System Technology, December, 2003.