] Filters: Taxonomy Term is [Clear All Filters]
"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)
"Model Based Techniques for Intelligent Process Control",
Artificial Intelligence in Engineering, vol. 2: Elsevier, pp. 79--94, 1990.
"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)
"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)
"A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming",
IEEE Computer, vol. 28, pp. 36--44, March, 1995.
"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)
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)
"Composition and Cloning in Modeling and Meta-Modeling",
IEEE Transactions on Control System Technology, December, 2003.
"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)
"Models and Model building in Intelligent Process Control Systems",
IEEE International Symposium on Intelligent Control, pp. 351--357, 1990.
"On the Correctness of Model Transformations in the Development of Embedded Systems",
Lecture Notes in Computer Science, vol. 4888: Springer, 2007.
"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)
"Design Patterns for Open Tool Integration",
Journal of Software and System Modeling, vol. 4, 2004.
"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)
"Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy",
Artificial Intelligence in Engineering: Robotics and Processes: Elsevier, pp. 387--402, 1988.
"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)
"A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics",
AIChE Annual Meeting, microfilm, Los Angeles, CA, November, 1991.
"Neural Network Methods for the Modeling and Control of Welding Processes",
Journal of Intelligent Manufacturing, pp. 229--235, 1992.
"Generative Programming and Component Engineering, Third International Conference",
Lecture Notes in Computer Science, vol. 3286: Springer, 2004.
"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)
"Knowledge-Based Approach to Real-Time Supervisory Control",
Amercian Control Conference, Atlanta, GA, pp. 620--626, 1988.
"Model-integrated development of embedded software",
Proceedings of the IEEE, vol. 91, pp. 145--164, January, 2003.
"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)
"Structured Specification of Model Interpreters",
ECBS, Nashville, TN, pp. 84--91, March, 1999.
Download: Karsai_G_3_0_1999_Structured.pdf (54.67 KB)
"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)
Declarative Programming Techniques for Engineering,
: Vanderbilt University, 1988.
"Automotive Software: A Challenge and Opportunity for Model-Based Software Development",
Lecture Notes in Computer Science, vol. 4147: Springer, 2006.
"Intelligent Supervisory Controller for Gas Distribution Network",
Proceedings of the American Control Conference, pp. 1353--1358, 1987.
"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)
"Activity Modeling",
Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
"A Model-Based Approach to Self-Adaptive Software",
Journal of Intelligent Systems, vol. 14, pp. 46--53, May, 1999.
"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)
""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)
"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)
"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)
Designing Self-Managing Distributed Systems using Online Predictive Control,
: Institute for Software Integrated Systems, December, 2003.
"Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems",
IFAC Symposium on Medical Instrumentation, 1989.
"Model Based Approach in Intelligent Patient Monitoring",
10th IEE/EMBS, New Orleans, LA, pp. 1142--1148, 1988.
"Hierarchical Structure of Intelligent Patient Monitoring System",
Finnish National Conference on Artificial Intelligence, pp. 123--128, 1988.
"Hybrid Fault Adaptive Control of a Wheeled Mobile Robot",
IEEE Transactions on Mechatronics, vol. 8, pp. 226--233, June, 2003.
"Hybrid Fault Adaptive Control of a Mobile Robot",
ASME Intl. Mechanical Engineering Congress and Exposition, New Orleans, LA, November, 2002.
"Formalizing the Structural Semantics of Domain-Specific Modeling Languages",
Journal of Software and Systems Modeling (SoSym), vol. In Press, 2009.
Download: jackson_sztipanovits_sysym_2009.pdf (1.53 MB)
"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)
The Software Engineering of Domain-Specific Modeling Languages: A Survey Through Examples,
: Institute for Software Integrated Systems, March 2007.
Download: Jackson_EK_3_0_2007_The_Softwa.pdf (979.48 KB)
"Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality",
13th Annual IEEE International Conference on the Engineering of Computer Based Systems, Potsdam, Germany, March, 2006.
Download: Jackson_EK_3_27_2006_Correct_ed.pdf (305.84 KB)
"Online Information Security Education through Anchored Instruction",
Proceedings of the 12th Annual Colloquium for Information Systems Security Education, Dallas, TX, USA, June, 2008.
"An Algorithm for Diagnostic Reasoning Using TFPG Models in Embedded Real-Time Applications",
AUTOTESTCON 2001, Valley Forge, Pennsylvania, pp. 978--987, August, 2001.
Download: Howard_LP_8_20_2001_An_Algorit.pdf (98.69 KB)
"Affordances and Form: Applying Lessons from Informal Learning to Formal Learning on the Web",
Proceedings of the International Conference on Engineering Education, Pecs-Budapest, Hungary, July, 2008.
"Adaptive Learning Technologies for Bioengineering Education",
IEEE Engineering in Medicine and Biology Magazine, vol. 22, pp. 58-65, July, 2003.
"Adaptive blended learning environments",
Proceedings of the International Conference on Engineering Education, San Juan, Puerto Rico, July, 2006.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering