Publications

Partial list - for full, searchable list please see the ISIS website.

Journals:

  1. Karsai, G.: “Interactive Librarian Program for the Intel 8080 microprocessor,” Informacio-Elektronika, No.5., 1982. (in Hungarian)
  2. Karsai, G.: “A Tool for System Programming: The Real-Time Pascal Language,” Informacio-Elektronika, No.5., 1984. (in Hungarian)
  3. Sztipanovits, J., Karsai, G., Biegl, C.:”Graph Model-Based Approach to the Representation, Interpretation and Execution of Real-Time Signal Processing Systems,” International Journal of Intelligent Systems,  Vol.3., No.3. pp. 269-280, 1988.
  4. Sztipanovits, J., Karsai, G.:”Knowledge-Based Techniques in Instrumentation,” IEEE/EMBS Magazine, pp. 13-17, V.7, N.2, 1988.
  5. Andersen, K., Cook, G.E., Ramaswamy, K., Karsai, G. “Artificial Neural Networks Applied to Arc Welding Process Modeling and Control”, IEEE--IAS Transactions, Vol 26, No. 5, pp 824-830, Sep/Oct. 1990.
  6. Padalkar,S, Karsai, G, Biegl, C, Sztipanovits, J: “Real-time Fault Diagnostics Using Hierarchical Fault Propagation Models”, IEEE Expert, V.6. pp. 75--85, June 1991.
  7. Karsai, G, Andersen,K., Cook,G., Barnett,J: “Neural Network Methods for the Modeling and Control of Welding Processes”, Journal of Intelligent Manufacturing, pp. 229-235, (3) 1992.
  8. Karsai, G, Sztipanovits, J, Padalkar, S, Biegl, Cs, Miyasaka,N., Okuda, K: “Model Based Intelligent Process Control for Cogenerator Plants”, Journal of Parallel and Distributed Systems, (15) pp. 90-103, June 1992.
  9. Sztipanovits, J., Karsai, G, Wilkes, D.M., Lynd,.: “The Multigraph and Structural Adaptivity,” IEEE Transactions on Signal Processing, V.41. pp. 2695-2717, Aug, 1993.
  10. Abbott, B., Bapty, T., Biegl, C., Karsai, G., Sztipanovits, J.: “Model-Based Approach for Software Synthesis,” IEEE Software, V.10. pp. 42-52, May, 1993.
  11. A. Ledeczi, B. Abbott, C. Biegl, T. Bapty, G. Karsai, J. Sztipanovits: “Parallel DSP System Integration,” Microprocessors and Microsystems. pp. 460-470., Vol. 17 No. 8, 1993.
  12. Ledeczi, A., Bapty, T., Karsai, G., Sztipanovits, J.: “Modeling Paradigm for Parallel Signal Processing”, The Australian Computer Journal, vol. 27, No. 3, pp. 92-102, August, 1995
  13. Samir Padalkar, Gabor Karsai, Janos Sztipanovits, Frank DeCaria: “Online Diagnostics Makes Manufacturing More Robust (Part 1)”, Chemical Engineering Magazine, pp. 80-83., March 1995.
  14. Karsai,G.: “A Configurable Visual Programming Environment:  A Tool for Domain-Specific Programming”, IEEE Computer, V.28. pp. 36-44., March 1995.
  15. Karsai, G., Samir Padalkar, Hubertus Franke, Janos Sztipanovits: “A Practical Method For Creating Plant Diagnostics Applications”, Integrated Computer-Aided Engineering, Vol. 3., No. 4., pp 291-304, 1996.
  16. Karsai, G. DeCaria, F.: “Model-Integrated On-line Problem-Solving Environment for Chemical Engineering”, IFAC Control Engineering Practice, Vol. 5. No.1., pp. 1-9, 1997.
  17. Sztipanovits, J., Karsai, G.: “Model-Integrated Computing”, IEEE Computer,V.30. pp. 110-112, April, 1997.
  18. Sztipanovits, J. and G. Karsai: "Model-Integrated Computing Environment", ACM SIGSOFT Software Engineering Notes, pp. 72-73, Vol 22 No 5, Sep. 1997.
  19. Sztipanovits,J. and G. Karsai: “Self-Adaptive Software for Signal Processing”, CACM, pp. 55-65, Vol. 41 No 5, May, 1998.
  20. Karsai, G., Sztipanovits, J.: "A Model-Based Approach to Self-Adaptive Software”, Journal of Intelligent Systems,  pp. 46-53, Vol. 14, No 3, May 1999.
  21.  Karsai G., Nordstrom G., Ledeczi A., Sztipanovits J.: Towards Two-Level Formal Modeling of Computer-Based Systems, Journal of Universal Computer Science, Vol. 6, No. 11, pp. 1131-1144, November, 2000.
  22. Janos Sztipanovits , Gabor Karsai: Embedded Software: Challenges and Opportunities Volume 2211, Issue, pp 0403- Lecture Notes in Computer Science, Springer Verlag.
  23. Ledeczi, A.; Bakay, A.; Maroti, M.; Volgyesi, P.; Nordstrom, G.; Sprinkle, J.; Karsai, G.: Composing domain-specific design environments, IEEE Computer, Nov. 2001, Page(s): 44 –51.
  24. Karsai, G.; Sztipanovits, J.; Ledeczi, A.; Bapty, T.; Model-integrated development of embedded software, Proceedings of the IEEE, Volume: 91, Issue: 1, Jan. 2003 Pages:145 – 164
  25. Karsai, G., Agarwal, A., Shi, F., Sprinkle, J.: On the Use of Graph Transformation in the Formal Specification of Model Interpreters, Journal of Universal Computer Science, Volume 9, Issue 11, 2003.
  26. Karsai, G., Maroti, M., Lédeczi, A., Gray, J. and Sztipanovits, J., “Composition and Cloning in Modeling and Meta-Modeling,” IEEE Transactions on Control System Technology (special issue on Computer Automated Multi-Paradigm Modeling), Dec 2003
  27. Sprinkle J., Karsai G.: A Domain-Specific Visual Language for Domain Model Evolution, Journal of Visual Languages and Computing, 15, 2, April, 2004.
  28. Szemethy,T., Karsai,G,.: Platform Modeling and Model Transformations for Analysis, Vol 10. No. 10., pp 1383-1406, Journal of Universal Computer Science, 2004.
  29. Karsai, G., Lang, A., Neema, S.: Design Patterns for Open Tool Integration, Vol 4. No1, DOI: 10.1007/s10270-004-0073-y, Journal of Software and System Modeling, 2004.
  30. Agrawal,A., Simon, Gy., Karsai, G.: Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations, Electronic Notes in Theoretical Computer Science,Volume 109, Pages 43-56, Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2004) .
  31. Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha Gokhale, Larry Howard, Gabor Karsai, T. John Koo, Xenofon Koutsoukos, and Douglas C. Schmidt:  Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum, ACM Transactions on Embedded Systems, Special Issue on Education, 2005.
  32. Balasubramanian, K.; Gokhale, A.; Karsai, G.; Sztipanovits, J.; Neema, S.; “Developing applications using model-driven design environments”, Computer, Volume 39,  Issue 2,  Feb. 2006 Page(s):33 - 40.
  33. Aditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan and Gabor Karsai: Reusable Idioms and Patterns in Graph Transformation Languages, Electronic Notes in Theoretical Computer Science, Volume 127, Issue 1, 30 March 2005, Pages 181-192.
  34. Tom Mens, Pieter Van Gorp, Dániel Varró and Gabor Karsai: Applying a Model Transformation Taxonomy to Graph Transformation Technology, Electronic Notes in Theoretical Computer Science, Volume 152, 27 March 2006, Pages 143-159
  35. Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian and Gabor Karsai: Improving the Usability of a Graph Transformation Language , Electronic Notes in Theoretical Computer Science, Volume 152, 27 March 2006, Pages 207-222
  36. Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo: “The Design of a  Language for Model Transformations”, Journal on Software and System Modeling, pp 261-288, Volume 5, Number 3 / September, 2006.
  37. Tivadar Szemethy, Gabor Karsai: PML: a Language for Platform Modeling, Electronic Communications of the EASST, Volume 4, 2006: Graph and Model Transformation 2006.
  38. Anantha Narayanan, Gabor Karsai:  Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations, Electronic Communications of the EASST, Volume 4, 2006: Graph and Model Transformation 2006.
  39. Steven G. Nordstrom, Shweta Shetty, Di Yao, Shikha Ahuja, Sandeep Neema, Ted Bapty, Gabor Karsai: “Toward self-reconfiguring, fault-adaptive, high-performance distributed real-time systems”, in review for Journal on Software Tools for Technology Transfer.
  40. Gabor Karsai, Sandeep Neema. David Sharp: “Model-Driven Architecture for Embedded Software: A Synopsis and an Example”, in review for Science of Computer Programming.

 Books and book sections:

  1. Karsai, G., Sztipanovits, J: ”Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy”, in  Gero, J.S. (Ed.): Artificial Intelligence in Engineering: Robotics and Processes, Third International Conference on Applications of Artificial Intelligence in Engineering, Palo Alto, CA, Elsevier, 1988, pp. 387-402.
  2. Karsai, G., Sztipanovits, J., Padalkar, S., Biegl, Cs. “Model Based Techniques for Intelligent Process Control”, AI in Engineering, pp 79-94, V.2., Boston, MA,1990.
  3. Karsai G., Biswas G., Abdelwahed S., Narasimhan S., Pasternak T., Szemethy T.: Towards Fault-Adaptive Control of Complex Dynamic Systems, Software Enabled Control, IEEE Press, 2003.
  4. Karsai, G., Agrawal, A.: Graph Transformations in OMG's Model-Driven Architecture: AGTIVE 2003, LNCS 2062. pp. 243-259.
  5. Karsai, G., Visser, E. (eds.): Generative Programming and Component Engineering, Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004, Proceedings, Series : Lecture Notes in Computer Science , Vol.  3286
  6. G. Karsai: Automotive Software: A Challenge and Opportunity for Model-Based Software Development, LNCS 4147, Automotive Software – Connected Services in Mobile Networks, 2006.

 Proceedings of National/International Conferences (full text reviewed):

  1. Sztipanovits, J., Karsai, G. et al.: “Programming Model for Coupled Intelligent Systems in Distributed Execution Environment,” Proc. of the SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge, MA, pp. 40-48, 1986.
  2. Sztipanovits, J., Karsai, G. et al.:”Programming Model for Distributed Intelligent Systems,”  Proc. of the Conference on Artificial Intelligence for Space  Applications, Huntsville, AL, pp. 365-373, 1986.
  3. Sztipanovits, J., Biegl, C., Karsai, G., Bourne, J., Mushlin, R., Harrison, C.:”Knowledge-Based Experiment Builder for  Magnetic Resonance Imaging (MRI) Systems,” Proc. of the 3rd IEEE Conference on Artificial Intelligence Applications, Orlando, FL, pp. 126-133, 1987.
  4. Karsai, G., Biegl, C., Blokland, W., Sztipanovits, J., Kawamura, K., Miyasaka, N., Inui, M.:”Intelligent Supervisory Controller for Gas Distribution Network,” Proc. of the American Control Conference, Minneapolis, Minnesota, pp. 1353-1358, 1987.
  5. Sztipanovits, J., Karsai, G., et.al.:”Cooperative Systems for Real-Time Process Monitoring and Diagnostics,” Proc. of AI-Japan 87, Osaka, Japan, pp. 409-416, 1987.
  6. Karsai, G., Biegl, C., Padalkar, S., Sztipanovits, J., Kawamura, K., Miyasaka, N., Inui, M.:”Knowledge-Based Approach to Real-Time Supervisory Control,” Proc. of the 1988 American Control Conference, Atlanta, Georgia, pp. 620-626, 1988.
  7. Padalkar, S., Karsai, G., Sztipanovits, J.:”Graph-Based Real-Time Fault Diagnostics,” Proc. of the Fourth Conference on Artificial Intelligence for Space Applications, pp 115-23, Huntsville, Al., 1988.
  8. Springfield, J., Mutammara, A., Karsai, G., Cook, G., Sztipanovits, J., Fernandez, K.:”Graphic Simulation Test Bed for Robotics Applications in a Workstation Environment”, Proc. of the Fourth Conference on Artificial Intelligence for  Space Applications, pp 303-12, Huntsville, Al., 1988.
  9. Sztipanovits, J., Karsai, G.:”Modeling, Model Interpretation and Intelligent Control”, Proc. of the Third IEEE International Symposium on Intelligent Control, pp 46-50, Arlington, VA, 1988.
  10. Sztipanovits, J., Karsai, G., Purves, R.B.:”Model-Based Approach for Intelligent Control”, Proc. of the  Fourth SPIE Conference on Space Station Automation, pp 46-55, Cambridge, MA, 1988.
  11. Andersen, K., Cook, G.E., Ramaswamy, K., Karsai, G.: “Gas Tungsten Arc Weld Modeling Using Neural Networks”, in Sensors and Controls for Manufacturing, ASME Winter Annual Meeting, Chicago, IL, 1988, pp 137--144.
  12. Andersen, Kristinn, Cook, George E., Ramaswamy, Kumar, and Karsai, Gabor, "A Novel Approach Toward Relationships Between Process Variables and Weld Geometry,"  Recent Trends in Welding Science and Technology, Eds.: S. A. David and J. M. Vitek, Materials Park, OH, ASM International, pp 997-1003,1990.
  13. Ramaswamy, K., Cook, G.E., Andersen, K., Karsai, G., “Neural Networks in GTA Weld Modeling and Control”, Proc. American Control Conference, pp 62-7, Pittsburgh, PA, 1989.
  14. Karsai, G., Andersen, K., Cook, G.E., Ramaswamy, K. “Dynamic Modeling and Control of Nonlinear Processes Using Neural Network Techniques”, Proc. IEEE '89 Symposium on Intelligent Control, Albany, NY,1989, pp 280--286.
  15. Andersen, K., Cook, G.E., Ramaswamy, K., Karsai, G. “Artificial Neural Networks Applied to Arc Welding Process Modeling and Control”, Proc. IEEE Industry Applications Society 1989 Annual Meeting, San Diego, CA, 1989, pp 2327--2331.
  16. Wilkes, M., Lynd, L., Sztipanovits, J. and Karsai, G., “The Multigraph Approach to Parallel, Distributed, Structurally Adaptive Signal Processing,” Proceedings of the 1990 International Conference on Acoustics, Speech, and Signal Processing, pp 2037-40, V.4., Albuquerque, April, 1990.
  17. Sztipanovits, J., Karsai,G., Padalkar, S., Biegl, Cs. “Intelligent Monitoring and Diagnostics for Plant Automation”, Proceedings of the IEEE 1990 Robotics and Automation Conference, pp 1390-5, V.2., Cincinnatti, OH, May 1990.
  18. Karsai,G.,Sztipanovits,J.,Padalkar,S.,Biegl,Cs.,Miyasaka,N.,Okuda,K.: “Models and Model building in Intelligent Process Control Systems”, Proceedings of the IEEE International Symposium on Intelligent Control, pp 351-357, 1990.
  19. Carnes,J., Davis, W., Biegl, C., Karsai, G.: “Integrated Modeling for Planning, Simulation and Diagnosis”, IEEE Conference on AI Simulation and Planning in High Autonomy Systems,  pp 203-8, April, 1991.
  20. Karsai, G.: “Learning to Control: Some Practical Experiments with Neural Networks”, pp. 701--707, Proceedings of the International Joint Conference on Neural Networks, 1991.
  21. Karsai, G. Sztipanovits, J. et al: “A Model-based Approach to Plant-wide Monitoring, Control and Diagnostics”, Proc. of the AIChE Annual Meeting, (microfilm publication) Los Angeles, CA, Nov. 1991.
  22. Padalkar, S. Sztipanovits, J., Karsai, G. et al: “Real-time Fault Diagnostics with Multiple Aspect Models”, Proc. of the 1991 IEEE International Conference on Robotics and Automation, pp 803-808, Sacramento, CA, April, 1991.
  23. Sztipanovits, J, Karsai, G, Waknis, P, et. al: “Neural Adaptive Control with Piecewise Linear Approximation”, pp 525-530. Proc. Artificial Neural Networks in Engineering '91, St. Louis, Missouri, November 10-12, 1991.
  24. Moore, M.S., Karsai, G., Sztipanovits, J.: “Model-Based Programming for Parallel Image Processing”, Proceedings of the IEEE International Conference on Image Processing, (ICIP94),  pp 811-15, V.3., Austin, TX, 1994.
  25. Debelak, K.A., Karsai, G., Padalkar, S., Sztipanovits, J.,  DeCaria, F.: “Activity Modeling”, Proc. of Foundation of  Computer Aided Process Design, Snowmass, CO., July 10-14, (microfilm publication) 1994.
  26. Sztipanovits, J., Karsai, G., Biegl, Cs., Bapty, T., Ledeczi, A., Misra, A.: “MULTIGRAPH: An Architecture for Model-Integrated Computing”, in Proceedings of the International Conference on Engineering of Complex Computer Systems, pp 361-8, 1995.
  27. Karsai,G., Sztipanovits,J. Franke,H. Padalkar, S., DeCaria, F.: “Model-embedded On-line Problem Solving Environment for Chemical Engineering”, in Proceedings of the International Conference on Engineering of Complex Computer Systems, pp 227-33, 1995.
  28. Sztipanovits, J., Karsai, G., Franke, H.: “Model-Integrated Program Synthesis Environment”, in Proceedings of the Conference on Engineering of Computer-Based Systems, pp 348-55, 1996.
  29. Misra,A., Karsai, G.,  Sztipanovits, J., Ledeczi, A., Moore, M.: “A Model Integrated System for Increasing Throughput in Discrete Manufacturing Systems, Proceedings of the Conference on Engineering of Computer-Based Systems, pp 203-210, 1997.
  30. Misra,A., Karsai, G., Sztipanovits, J., “Model-Integrated Development of Complex Applications”, in Proceedings of 1st International  Symposium on Assessment of Software Tools and Technologies, SAST’97, pp 14-23, 1997.
  31. Franke, H., Sztipanovits, J., Karsai, G: “Model-Integrated Computing”, 1997 Hawaii Systems Sciences Conference, (no page number available, CD-ROM publication), 1997.
  32. Karsai,G., Misra,A., Sztipanovits,J, Ledeczi,A., Moore,M.: “Model-Integrated System Development: Models, Architecture, and Process”, in Proceedings of the COMPSAC, pp 176-81, 1997.
  33. M. S. Moore, J. Sztipanovits, G. Karsai, J. Nichols: "A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing,", SPIE Conference on Parallel and Distributed Methods  for Image Processing, pp 31-45, July 1997.
  34. Karsai,G., Sztipanovits, J. and Franke, H.: "Towards Specification of Program Synthesis in Model-Integrated Computing” Proc. of the ECBS-98 Conference, pp. 226-233, Jerusalem, Israel, 1998.
  35. Davis, J., Scott, J., Sztipanovits, J., Karsai, G., Martinez, M. : "Integrated Analysis Environment for High Impact Systems" Proc. of the ECBS-98 Conference, pp. 218-225, Jerusalem, Israel, 1998.
  36. Nordstrom, G., Sztipanovits, J., Karsai, G.: "Meta-Level Extension of the MultiGraph Architecture", Proc. of the ECBS-98 Conference, pp. 61-68, Jerusalem, Israel March, 1998.
  37. Davis, J., Scott, J., Sztipanovits, J., Karsai, G., Martinez, M.: "An Integrated Multi-Domain Analysis Environment For High Consequence Systems", 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Atlanta, GA, September 1998.
  38. Nordstrom, G., Sztipanovits, J., Karsai, G., Ledeczi, A..: “Metamodeling – Rapid Design and Evolution of Domain-Specific Modeling Environments”, Proc. of the ECBS-99 Conference, pp. 68-75, Nashville, TN, 1999.
  39. Karsai, G. “Structured Specification of Model Interpreters”, Proc. of the ECBS-99 Conference, pp. 84-91, Nashville, TN, 1999.
  40. Misra,A., Sztipanovits, J., Karsai, G., Moore, M., Ledeczi, A., Long, E.: “Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges”, Proc. of the ECBS-99 Conference, pp. 225-231, Nashville, TN, 1999.
  41. Ledeczi, A., Maroti, M., Karsai, G. Nordstrom, G.: “Metaprogrammable Toolkit for Model-Integrated Computing”, Proc. of the ECBS-99 Conference, pp. 311-319, Nashville, TN, 1999
  42. Sprinkle J., van Buskirk C., Karsai G.: Modeling Agent Negotiation, IEEE International Conference on Systems, Man, and Cybernetics, Nashville, TN, October, 2000.
  43. Karsai G., Nordstrom G., Ledeczi A., Sztipanovits J.: Specifying Graphical Modeling Systems Using Constraint-based Metamodels, IEEE Symposium on Computer Aided Control System Design, Conference CD-Rom, Anchorage, Alaska, September, 2000.
  44. Karsai G., Bloor G., Doyle J.: Automating Human Based Negotiation  Processes for Autonomic Logistics, Proceedings of the IEEE Aerospace 2000, CD-ROM Reference 11.0302, Big Sky, MT, March, 2000.
  45. Karsai G., Gray J.: Component Generation Technology for Semantic Tool      Integration, Proceedings of the IEEE Aerospace 2000, CD-Rom Reference 10.0303, Big Sky, MT, March, 2000.
  46. Karsai G.: Design Tool Integration: An Exercise in Semantic Interoperability, Proceedings of the IEEE Conference on Engineering of Computer Based Systems, Edinburgh, UK, March, 2000.
  47. Ledeczi A., Bapty T., Karsai G.: Synthesis of Self-Adaptive Software, IEEE Aerospace 2000 , CD-ROM Reference 10.0304, Big Sky, MT, March,2000.
  48. Nordstrom G., Karsai G., Moore M., Bapty T., Sztipanovits J.: Model-Integrated Computing-Based Software Design and Evolution, Conference on Life Cycle Software Engineering Technology for Modern Avionics, Missiles, and Smart Weapon Systems, Huntsville, Alabama, August 16, 2000.
  49. Narasimhan S., Biswas G., Karsai G., Pasternak T., Zhao F.: Building observers to address fault isolation and control problems in hybrid dynamic systems, IEEE SMC 2000, Nashville, TN, July, 2000.
  50. Karsai, G.; Ledeczi, A.; Maroti, M.: On generators for embedded information systems, Proceedings of the 18th IEEE Instrumentation and Measurement Technology Conference, 2001. Volume: 3 , 2001,Page(s): 1474 -1478 vol.3
  51. Atlas, L.; Bloor, G.; Brotherton, T.; Howard, L.; Jaw, L.; Kacprzynski, G.; Karsai, G.; Mackey, R.; Mesick, J.; Reuter, R.; Roemer, M.: An evolvable tri-reasoner IVHM system, IEEE Proceedings Aerospace Conference, 2001,Volume: 6, 2001. Page(s): 3023 –3037.
  52. Karsai, G.; Biswas, G.; Pasternak, T.; Narasimhan, S.; Peceli, G.; Simon, G.; Kovacshazy, T.: Fault-adaptive control: a CBS application, Proceedings Eighth Annual IEEE International Conference Engineering of Computer Based Systems, 2001. ECBS 2001., 2001 Page(s): 205 –211
  53. Sprinkle, J.M.; Ledeczi, A.; Karsai, G.; Nordstrom, G. “The new metamodeling generation”, Proceedings Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2001. ECBS 2001., 2001, Page(s): 275 -279
  54. Levendovszky, T., Karsai, G., M. Maroti, A. Ledeczi, H. Charaf: “Model reuse with metamodel based-transformations, in “Software-Reuse: Methods, Techniques, and Tools”, ed. Gacek. pp. 166-179., Lecture Notes in Computer Science, 2319, Springer-Verlag, 2002.
  55. Sztipanovits, J.  Karsai, G. “Generative Programming for Embedded Systems”, in Generative Programming and Component Engineering, eds. Batory, Consel, Taha, pp 32-49, Lecture Notes in Computer Science 2487, Springer, 2002.
  56. Gabor Karsai, Sandeep Neema, Ben Abbott, David Sharp, “A Modeling Language and its supporting Toolset for Avionics Systems,” Proceedings of the IEEE Digital Avionics Systems Conference, 2002.  “Best Of Track” paper in Software Engineering.
  57. Abdelwahed S., Karsai G., Biswas G.: Online Safety Control of a Class of Hybrid Systems, IEEE 2002 Conference on Decision and Control, Las Vegas, USA, December, 2002.
  58. Simon G., Kovacshazy T., Peceli G., Szemethy T., Karsai G., Ledeczi A.: Implementation of Reconfiguration Management in Fault-Adaptive Control Systems, IMTC 2002, pp. 123-128, Anchorage, AK, May 21, 2002.
  59. Maroti, M., K. Frampton, G. Karsai, S. Bartok and A. Ledeczi, “Experimental Platform for Studying Distributed Embedded Control Applications,” Languages, Compilers, and Tools for Embedded Systems Conference, Berlin, Germany, June 2002.
  60. Sprinkle, J.; Agrawal, A.; Levendovszky, T.; Feng Shi; Karsai, G:  Domain model translation using graph transformations; Proceedings of 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. , 7-10 April 2003 Pages:159 – 168
  61. Gray, J.; Karsai, G.; An examination of DSLs for concisely representing model traversals and transformations, Proceedings of the 36th Annual Hawaii International Conference on System Sciences, 2003., 6-9 Jan. 2003 Pages:325 – 334
  62. Simon, G.; Karsai, G.; Biswas, G.; Abdelwahed, S.; Mahadevan, N.; Szemethy, T.; Peceli, G.; Kovacshazy, T.; Model-based fault-adaptive control of complex dynamic systems, Proceedings of the 20th IEEE Instrumentation and Measurement Technology Conference, 2003. IMTC '03. ,Volume: 1 , 20-22 May 2003, Pages:176 – 181
  63. Maroti, M.; Volgyesi, P.; Simon, G.; Karsai, G.; Ledeczi, A. Distributed middleware services composition and synthesis technology; Proceedings. 2003 IEEE  Aerospace Conference, 2003.,Volume: 6 , March 8-15, 2003, Pages:6_2855 - 6_2862
  64. Rong Su; Abdelwahed, S.; Karsai, G.; Biswas, G.; Discrete abstraction and supervisory control of switching systems, IEEE International Conference on Systems, Man and Cybernetics, 2003. , Volume: 1 , Oct. 5-8, 2003,Pages:415 – 421
  65. Karsai G., Abdelwahed S., Biswas G.: Integrated Diagnosis and Control for Hybrid Dynamic Systems, AIAA Guidance, Navigation and Control Conference, Austin, TX, August, 2003.
  66. Magyari E., Bakay A., Lang A., Paka T., Vizhanyo A., Agrawal A., Karsai G.: UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages, The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anaheim, California, October 26, 2003
  67. Sprinkle J., Karsai G.: Model Migration through Visual Modeling, OOPSLA - 3rd OOPSLA Workshop on Domain-Specific Modeling, Anaheim, CA, October 26, 2003.
  68. Agrawal A., Karsai G., Ledeczi A.: 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.
  69. Karsai G., Agrawal A., Ledeczi A.: A Metamodel-Driven MDA Process and its Tools, WISME, UML 2003 Conference, San Francisco, CA, October, 2003.
  70. Karsai G., Lang A., Neema S.: Tool Integration Patterns, Workshop on Tool Integration in System Development, ESEC/FSE, pp 33-38., Helsinki, Finland, September, 2003.
  71. Neema S., Sztipanovits J., Karsai G., Butts, K.: Constraint-Based Design Space Exploration and Model Synthesis, Lecture Notes in Computer Science on EMSOFT 2003.
  72. Madl, G., Abdelwahed, S., Karsai, G.: “Automatic Verification of Component-Based Real-Time CORBA Applications”, Proceedings of the 2004 Real-time Systems and Software (RTSS) conference, 2004.
  73. Sherif Abdelwahed and Gabor Karsai and Gautam Biswas:  System Diagnosis using Hybrid Failure Propagation Graphs, Proc. of the Workshop on Principles of Diagnosis, Carcassonne, France, June 2004.
  74. Kandasamy, N.; Hanak, D.; van Buskirk, C.; Neema, H.; Karsai, G.; Synthesis of robust task schedules for minimum disruption repair, 2004 IEEE International Conference on Systems, Man and Cybernetics, Volume 6,  10-13 Oct. 2004 Page(s):5056 - 5061 vol.6
  75. Aditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, Gabor Karsai: “Reusable Idioms and Patterns in Graph Transformation Languages,” Proceedings of the International Workshop on Graph-Based Tools, at the 2004 International Conference on Graph Transformations, Rome, Italy, October, 2004.
  76. Sherif Abdelwahed, Gabor Karsai, Gautam Biswas: A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems, International Workshop on Principles of Diagnostics, DX05, 2005.
  77. Daniel Balasubramanian, Anantha Narayanan, Chris vanBuskirk and Gabor Karsai: “The Graph Rewriting and Transformation Language: GReAT”, 3rd International Workshop on Graph Based Tools, Natal (Brazil), 2006.
  78. Anantha Narayanan and Gabor Karsai: “Towards Verifying Model Transformations”, 5th International Workshop on Graph Transformations and Visual Modeling Techniques, Vienna (Austria), 2006.
  79. Szemethy, T.; Karsai, G.; Balasubramanian, D.: Model transformations in the model-based development of real-time systems, Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on, 27-30 March 2006 Page(s):10 pp. Digital Object Identifier 10.1109/ECBS.2006.47
  80. Pedro A. Szekely, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, David Hanak, Jing Jin, Gabor Karsai, Rajiv T. Maheswaran, Robert Neches, Craig Milo Rogers, Romeo Sanchez, Christopher P. van Buskirk: CSC: Criticality-Sensitive Coordination. AAMAS 2006: 1441-1442
  81. Karsai, G.; Biswas, G.; Abdelwahed, S.; Mahadevan, N.; Manders, E.; “Model-based software tools for integrated vehicle health management”, Space Mission Challenges for Information Technology, 2006. SMC-IT 2006. Second IEEE International Conference on, 17-20 July 2006 Page(s):8 pp. Digital Object Identifier 10.1109/SMC-IT.2006.51
  82. Gabor Karsai, Anantha Narayanan and Sandeep Neema: “Towards Verifiable Model Transformations: A Finite-State Example”, NSF Automotive Software Workshop, San Diego, 2006.
  83. Karsai, G., Ledeczi, A., Neema, S., Sztipanovits, J.: The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design, IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany, 2006.