Home

ISIS Publications

Export 274 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Karsai, Gabor  [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 
K
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., 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., "Automotive Software: A Challenge and Opportunity for Model-Based Software Development", Lecture Notes in Computer Science, vol. 4147: Springer, 2006.
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., 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., 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., 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., "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. 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., 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., 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., 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., 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., A. Lang, and S. Neema, "Design Patterns for Open Tool Integration", Journal of Software and System Modeling, vol. 4, 2004.
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., 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., "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., S. Padalkar, H. Franke, and J. Sztipanovits, ""Model-based Programming Tools for Integrated Monitoring, Simulation, Diagnosis, and Control"", Proc. of Computing in Aerospace 9, AIAA paper 93-4578, 1993.  Download: Karsai_G_0_0_1993_Model_base.pdf (141.99 KB)
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., 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.
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., S. Padalkar, J. Sztipanovits, and F. DeCaria, "Activity Modeling", Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
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., 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., 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., 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., 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., 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., 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., 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., and E. Visser, "Generative Programming and Component Engineering, Third International Conference", Lecture Notes in Computer Science, vol. 3286: Springer, 2004.
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., Tool Support for Design Patterns, , NDIST 4 Workshop, Institute for Software Integrated Systems, December, 2001.  Download: Karsai_G_12_0_2001_Tool_Suppo.pdf (250.66 KB)
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., 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., 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., and J. Sztipanovits, "A Model-Based Approach to Self-Adaptive Software", Journal of Intelligent Systems, vol. 14, pp. 46--53, May, 1999.
Karsai, G., Declarative Programming Techniques for Engineering, : Vanderbilt University, 1988.
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., 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., 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., F. Massacci, L. J. Osterweil, and I. Schieferdecker, "Evolving Embedded Systems", Computer, vol. 43, no. May, pp. 34-40, 05/2010.
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)
Kavimandan, A., A. Gokhale, G. Karsai, and J. Gray, Templatized Model Transformations: Enabling Reuse in Model Transformations, , no. ISIS-09-110, Nashville, ISIS, pp. 15, 2009.  Download: templatization.pdf (1.39 MB)
Kavimandan, A., A. Narayanan, J. Balasubramanian, and G. Karsai, "Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-time and Embedded Systems", The Eleventh IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2008), Orlando, FL, 2008.
Kavimandan, A., A. Gokhale, G. Karsai, and J. Gray, "Managing the Quality of Software Product Line Architectures through Reusable Model Transformations", To Appear in the 7th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), Boulder, CO, USA, ACM, 06/2011.  Download: templatization.pdf (963.29 KB)
Kottenstette, N., G. Karsai, and J. Sztipanovits, "A Passivity-Based Framework for Resilient Cyber Physical Systems", ISRCS 2009 2nd International Symposium on Resilient Control Systems, Idaho Falls, ID, IEEE, 08/2009. Abstract  Download: resilient_Jul_27_2009_05_23_PM.pdf (367.09 KB)
Kottenstette, N., J. Porter, G. Karsai, and J. Sztipanovits, "Discrete-Time IDA-Passivity Based Control of Coupled Tank Processes Subject To Actuator Saturation", 3rd International Symposium on Resilient Control Systems, Idaho Falls, ID, IEEE, pp. 115-120, 08/2010. Abstract  Download: ida_pbc_res_press.pdf (227.54 KB)
Koutsoukos, X., G. Karsai, A. Laszka, H. Neema, B. Potteiger, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits, "SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems", Proceedings of the IEEE: IEEE, 2017.
Kumar, P. S., and G. Karsai, "Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems", 2015 IEEE International Symposium on Real-time Computing (ISORC), Auckland, New Zealand, 2015.  Download: 2015--SEUS--Integrated Analysis of Temporal Behavior of Component-based Distributed Real-time Embedded Systems.pdf (1.31 MB)