ISIS Publications

Export 272 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is Karsai, Gabor  [Clear All Filters]
2001
Sprinkle, J., G. Karsai, A. Ledeczi, and G. Nordstrom, "The New Metamodeling Generation", IEEE Engineering of Computer Based Systems, Proceedings, Washington, D.C., USA, pp. 275, April, 2001.  Download: Sprinkle_JM_4_0_2001_The_New_Me.doc (103.5 KB)
2000
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)
Sprinkle, J., C. van Buskirk, and G. Karsai, "Modeling Agent Negotiation", IEEE International Conference on Systems, Man, and Cybernetics, Proceedings, Nashville, TN, October, 2000.  Download: Sprinkle_JM_10_8_2000_Modeling_A.pdf (181.58 KB)
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., 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., 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., "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)
Sztipanovits, J., G. Karsai, and H. Franke, "Model-Integrated Program Synthesis Environment", Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, Friedrichshafen, Germany, pp. 348--355, March, 2000.  Download: Sztipanovi_J_0_0_2000_Model_Inte.pdf (218.64 KB)
Ledeczi, A., T. Bapty, and G. Karsai, "Synthesis of Self-Adaptive Software", IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 KB)
Nordstrom, G., G. Karsai, M. Moore, T. Bapty, and J. Sztipanovits, "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, 2000.  Download: Nordstrom_GG_8_16_2000_Model_Inte.pdf (252.99 KB)
Sztipanovits, J., and G. Karsai, "Embedded Software: Challenges and Opportunities", Lecture Notes in Computer Science, vol. 2211: Springer Verlag, pp. 403--408, 2000.
1999
Karsai, G., and J. Sztipanovits, "A Model-Based Approach to Self-Adaptive Software", Journal of Intelligent Systems, vol. 14, pp. 46--53, May, 1999.
Ledeczi, A., M. Maroti, G. Karsai, and G. Nordstrom, "Metaprogrammable Toolkit for Model-Integrated Computing", Engineering of Computer Based Systems (ECBS), Nashville, TN, pp. 311--317, March, 1999.  Download: Ledeczi_A_3_0_1999_Metaprogra.pdf (70.05 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)
Nordstrom, G., J. Sztipanovits, G. Karsai, and A. Ledeczi, "Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments", Proceedings of the IEEE ECBS'99 Conference, Nashville, Tennessee, pp. 68--74, April, 1999.  Download: Nordstrom_GG_4_0_1999_Metamodeli.pdf (67.92 KB)
1998
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "An Integrated Multi-Domain Analysis Environment for High Consequence Systems", Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.  Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)
Misra, A., G. Provan, G. Karsai, G. Bloor, and E. Scarl, "A Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable Properties", IEEE International Conference on Systems, Man and Cybernetics, San Diego, CA, October, 1998.  Download: Misra_A_10_0_1998_A_Generic_.pdf (102.01 KB)
Sztipanovits, J., and G. Karsai, "Self-Adaptive Software for Signal Processing", Communications of the ACM, vol. 41, pp. 55--65, March, 1998.  Download: Sztipanovi_J_0_0_1998_Self_Adapt.pdf (66.17 KB)
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "Integrated Analysis Environment for High Impact Systems", Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.  Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)
Nordstrom, G., J. Sztipanovits, and G. Karsai, "Metalevel Extension of the MultiGraph Architecture", Proceedings of the IEEE ECBS'98 Conference, Jerusalem, Israel, pp. 61--68, April, 1998.  Download: Nordstrom_GG_4_0_1998_Metalevel_.pdf (118.28 KB)
1997
Sztipanovits, J., and G. Karsai, "Model-Integrated Computing Environment", ACM SIGSOFT Software Engineering Notes, vol. 22, pp. 72--73, September, 1997.
Franke, H., J. Sztipanovits, and G. Karsai, "Model-Integrated Computing", Hawaii Systems of the World Manufacturing Congress, Auckland, New Zealand, November, 1997.
Misra, A., G. Karsai, J. Sztipanovits, A. Ledeczi, and M. Moore, "A Model-Integrated Information System for Increasing Throughput in Discrete Manufacturing", International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, pp. 203--210, March, 1997.  Download: Misra_A_3_24_1997_A_Model_In.pdf (170.66 KB)
Misra, A., G. Karsai, and J. Sztipanovits, "Model-Integrated Development of Complex Applications", Fifth International Symposium on Assessment of Software Tools, Pittsburgh, PA, pp. 14--23, June, 1997.  Download: Misra_A_6_0_1997_Model_Inte.pdf (235.84 KB)
Moore, M., J. Sztipanovits, G. Karsai, and J. Nichols, "A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing", SPIE Conference on Parallel and Distributed Methods for Image Processing, San Diego, CA, pp. 31--45, June, 1997.  Download: Moore_MS_6_0_1997_A_Model_In.pdf (265.03 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)
Sztipanovits, J., and G. Karsai, "Model-Integrated Computing", IEEE Computer, vol. 30, pp. 110--112, April, 1997.  Download: Sztipanovi_J_4_0_1997_Model_Inte.pdf (53.27 KB)
1996
Davis, J., T. Bapty, G. Karsai, D. Malloy, J. Sztipanovits, and T. Tibbals, "Model Based Data Validation", Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, April, 1996.
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)
1995
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)
Sztipanovits, J., G. Karsai, C. Biegl, T. Bapty, A. Ledeczi, and D. Malloy, "MULTIGRAPH: An Architecture for Model-Integrated Computing", Proceedings of the International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, pp. 361--368, November, 1995.  Download: Sztipanovi_J_11_6_1995_MULTIGRAPH.pdf (146.05 KB)
Ledeczi, A., T. Bapty, G. Karsai, and J. Sztipanovits, "Modeling Paradigm for Parallel Signal Processing", The Australian Computer Journal, vol. 27, pp. 92--102, August, 1995.
1994
Karsai, G., S. Padalkar, J. Sztipanovits, and F. DeCaria, "Activity Modeling", Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
Moore, M., G. Karsai, and J. Sztipanovits, "Model-Based Programming for Parallel Image Processing", IEEE International Conference on Image Processing, Austin, TX, pp. 811--815, January, 1994.
Padalkar, S., J. Sztipanovits, G. Karsai, N. Miyasaka, and K. Okuda, "Real-Time Fault Diagnostics with Multiple-Aspect Models", IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
1993
1992
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)
Ledeczi, A., B. Abbott, C. Biegl, G. Karsai, and J. Sztipanovits, "Modeling Parallel Hardware Architectures", International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 274--281, January, 1992.
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, G. Karsai, and J. Sztipanovits, "Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System", Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
1991