] Filters: Taxonomy Term is [Clear All Filters]
"Structured Specification of Model Interpreters",
ECBS, Nashville, TN, pp. 84--91, March, 1999.
Download: Karsai_G_3_0_1999_Structured.pdf (54.67 KB)
Declarative Programming Techniques for Engineering,
: Vanderbilt University, 1988.
"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)
"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)
"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)
"Composition and Cloning in Modeling and Meta-Modeling",
IEEE Transactions on Control System Technology, December, 2003.
"A Model-Based Approach to Self-Adaptive Software",
Journal of Intelligent Systems, vol. 14, pp. 46--53, May, 1999.
"On the Correctness of Model Transformations in the Development of Embedded Systems",
Lecture Notes in Computer Science, vol. 4888: Springer, 2007.
"Activity Modeling",
Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
"Design Patterns for Open Tool Integration",
Journal of Software and System Modeling, vol. 4, 2004.
"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)
"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)
"Generative Programming and Component Engineering, Third International Conference",
Lecture Notes in Computer Science, vol. 3286: Springer, 2004.
"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)
"Model-integrated development of embedded software",
Proceedings of the IEEE, vol. 91, pp. 145--164, January, 2003.
"A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming",
IEEE Computer, vol. 28, pp. 36--44, March, 1995.
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)
"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)
"Automotive Software: A Challenge and Opportunity for Model-Based Software Development",
Lecture Notes in Computer Science, vol. 4147: Springer, 2006.
"Models and Model building in Intelligent Process Control Systems",
IEEE International Symposium on Intelligent Control, pp. 351--357, 1990.
"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)
"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)
"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)
"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.
"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.
"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.
"Hierarchical Structure of Intelligent Patient Monitoring System",
Finnish National Conference on Artificial Intelligence, pp. 123--128, 1988.
"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.
"Hybrid Fault Adaptive Control of a Mobile Robot",
ASME Intl. Mechanical Engineering Congress and Exposition, New Orleans, LA, November, 2002.
"Hybrid Fault Adaptive Control of a Wheeled Mobile Robot",
IEEE Transactions on Mechatronics, vol. 8, pp. 226--233, June, 2003.
"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)
"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)
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.
"Adaptive blended learning environments",
Proceedings of the International Conference on Engineering Education, San Juan, Puerto Rico, July, 2006.
"CAPE: A Visual Language for Courseware Authoring",
2nd Workshop on Domain-Specific Visual Languages, Seattle, WA, pp. 45--53, November, 2002.
Download: Howard_LP_11_11_2002_CAPE__A_Vi.pdf (577.45 KB)
"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.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering