]
"On the Correctness of Model Transformations in the Development of Embedded Systems",
Lecture Notes in Computer Science, vol. 4888: Springer, 2007.
"Intelligent Supervisory Controller for Gas Distribution Network",
Proceedings of the American Control Conference, pp. 1353--1358, 1987.
"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)
"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.
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)
"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)
"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)
"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)
"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)
"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)
"Towards Fault-Adaptive Control of Complex Dynamic Systems",
Software-Enabled Control: IEEE Press, 2003.
"Model Based Techniques for Intelligent Process Control",
Artificial Intelligence in Engineering, vol. 2: Elsevier, pp. 79--94, 1990.
"Generative Programming and Component Engineering, Third International Conference",
Lecture Notes in Computer Science, vol. 3286: Springer, 2004.
"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)
"A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics",
AIChE Annual Meeting, microfilm, Los Angeles, CA, November, 1991.
"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)
"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)
"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)
"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)
"Simulation-Based Analysis of Cyber Resilience in Cyber-Physical Systems (accepted)",
Cyber Resilience of Networks and Systems: Springer, 2018.
"Design Patterns for Open Tool Integration",
Journal of Software and System Modeling, vol. 4, 2004.
"Structured Specification of Model Interpreters",
ECBS, Nashville, TN, pp. 84--91, March, 1999.
Download: Karsai_G_3_0_1999_Structured.pdf (54.67 KB)
"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)
"Evolving Embedded Systems",
Computer, vol. 43, no. May, pp. 34-40, 05/2010.
"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)
"Composition and Cloning in Modeling and Meta-Modeling",
IEEE Transactions on Control System Technology, December, 2003.
"Models and Model building in Intelligent Process Control Systems",
IEEE International Symposium on Intelligent Control, pp. 351--357, 1990.
" Learning by teaching agents (Doctoral dissertation)",
Department of EECS, Nashville, TN, Vanderbilt University, 2005.
"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.
Templatized Model Transformations: Enabling Reuse in Model Transformations,
, no. ISIS-09-110, Nashville, ISIS, pp. 15, 2009.
Download: templatization.pdf (1.39 MB)
Automated Techniques for Mapping Domain-level QoS Requirements to Middleware-specific QoS Configurations,
: Institute for Software Integrated Systems, May, 2007.
Download: Kavimandan_AJ_5_31_2007_Automated_.pdf (252.83 KB)
"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)
"A model driven tool for automated system level testing of middleware",
Fourth System Testing and Validation Workshop (STV), 2006.
Download: STV06Paper_Final_TK.pdf (758.27 KB)
"Reactive stream processing for data-centric publish/subscribe",
9th ACM International Conference on Distributed Event-Based Systems, Oslo, Norway, ACM, 06/2015.
Abstract
" Towards Low-Cost Indoor Localization using Edge Computing Resources",
20th IEEE International Symposium on Real-Time Computing (ISORC): IEEE, 05/2017.
Abstract
Download: short-paper-low.pdf (519.65 KB)
Scalable Reactive Stream Processing Using DDS and Rx,
, 2014.
Download: Scalable Reactive Stream Processing Using DDS and Rx.pdf (942.2 KB)
"Minimal Structurally Overdetermined Sets Selection for Distributed Fault Detection",
Proceedings of the 26th International Workshop on Principles of Diagnosis, Paris, France, 08/2015.
Abstract
Download: Minimal.pdf (1.25 MB)
"Mixed-Initiative Planning for Space Exploration Missions",
ICAPS'07. International Conference on Automated Planning and Scheduling. Workshop on Moving Planning and Scheduling Systems into the Real World., Providence, Rhode Island, 09/2007.
Abstract
Download: paper7.pdf (565.28 KB)
"Intelligent Resource Management and Dynamic Adaptation in a Distributed Real-time and Embedded Sensor Web System",
The 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Tokyo, Japan, pp. 135 -142, 03/2009.
Abstract
Download: Kinnebrew et al - 2009 - ISORC -- Intell Resource Mgmt & Dyn Adapt in DRE Sensor Web.pdf (297.34 KB)
"Integrating Task Allocation, Planning, Scheduling, and Adaptive Resource Management to Support Autonomy in a Global Sensor Web",
The NASA Science Technology Conference (NSTC), College Park, Maryland, 06/2007.
Abstract
Download: Kinnebrew et al - 2007 - NSTC -- Integ Task Alloc, Plan, Sched, & Resource Mgmt for Autonomy Global SensorWeb.pdf (581.55 KB)
"Coordination of Planning and Scheduling Techniques for a Distributed, Multi-level, Multi-agent System",
The International Conference on Agents and Artificial Intelligence (ICAART 2010), Valencia, Spain, 01/2010.
Abstract
Download: Kinnebrew et al - 2010 - ICAART -- Coord Plan & Sched for Distrib Multi-level MAS.pdf (2.18 MB)
"Measuring Self-regulated Learning Skills through Social Interactions in a Teachable Agent Environment",
The AAAI Fall Symposium on Cognitive and Metacognitive Educational Systems, 2010.
"A Decision-Theoretic Planner with Dynamic Component Reconfiguration for Distributed Real-Time Applications",
The Eighth International Symposium on Autonomous Decentralized Systems (ISADS): Sedona, Arizona, pp. 461 -472, 03/2007.
Abstract
Download: Kinnebrew et al - 2007 - ISADS -- Decision-Theoretic Planner w Dynamic Component Reconfig for Distrib RT Apps.pdf (343.84 KB)
"Efficient Allocation of Hierarchically-Decomposable Tasks in a Sensor Web Contract Net",
The IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (IAT), Milan, Italy, IEEE Computer Society, pp. 225–232, 09/2009.
Abstract
Download: Kinnebrew & Biswas - 2009 - IAT -- Efficient Alloc Hierarch-Decomp Tasks in Sensor Web CNet.pdf (1.55 MB)
"Modeling and Measuring Self-Regulated Learning in Teachable Agent Environments",
Papers from the AAAI Fall Symposium: Cognitive and Metacognitive Educational Systems (MCES), vol. FS-10-01, Arlington, VA, pp. 34-39, 11/2010.
"Investigating Self-Regulated Learning in Teachable Agent Environments",
International Handbook of Metacognition and Learning Technologies, Berlin, Germany: Springer, 2011.
"Modeling and Measuring Self-Regulated Learning in Teachable Agent Environments",
Journal of e-Learning and Knowledge Society, vol. 7, no. 2, pp. 19-35, 2011.
Abstract
"Constraint-Guided Dynamic Reconfiguration in Sensor Networks",
IPSN '04, Berkeley, California, USA, pp. 379--387, April, 2004.
Download: Kogekar_S_4_26_2004_Constraint.pdf (369.93 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering