] Filters: Author is Karsai, Gabor [Clear All Filters]
"Graph Model-Based Approach to the Representation, Interpretation and Execution of Real-Time Signal Processing Systems",
International Journal of Intelligent Systems, vol. 3, pp. 269--280, 1988.
"The Graph Rewriting and Transformation Language: GReAT",
Electronic Communications of the EASST, vol. 1, 2006.
Abstract
Download: great_easst.pdf (274.21 KB)
"Graph Transformations in OMG's Model-Driven Architecture",
Lecture Notes in Computer Science, vol. 2062: Springer, pp. 243--259, 2003.
Download: Karsai_G_12_0_2003_Graph_Tran.pdf (820.41 KB)
Graph Transformations on Domain-Specific Models,
: Institute for Software Integrated Systems, November, 2003.
Download: Agrawal_A_11_0_2003_Graph_Tran.pdf (926.08 KB)
"Graph-Based Real-Time Fault Diagnostics",
4th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 115--123, January, 1988.
"Heuristics-Based Approach for Identifying Critical N - k Contingencies in Power Systems",
Resilience Week, 07/2017.
Abstract
Download: resilience_week.pdf (940 KB); RW_2017.pdf (792.88 KB)
"Hierarchical Reasoning about Faults in Cyber-Physical Energy Systems using Temporal Causal Diagrams",
International Journal of Prognostics and Health Management, vol. 9, no. 1, 02/2018.
Abstract
Download: ijphm_18_001.pdf (3.8 MB)
"Hybrid Modeling and Diagnosis in the Real World: A Case Study",
Intl. Workshop on Principles of Diagnosis, Simmering, Austria, May, 2002.
"Implementation of a Distributed Microgrid Controller on the Resilient Information Architecture Platform for Smart Systems (RIAPS)",
2017 North American Power Symposium (NAPS), Morgantown, WV, IEEE, 09/2017.
Abstract
Download: NAPS_paper.pdf (1.39 MB)
"Implementation of Reconfiguration Management in Fault-Adaptive Control Systems",
IMTC 2002, Anchorage, AK, pp. 123--128, May, 2002.
Download: Simon_G_5_21_2002_Implementa.pdf (1.42 MB)
"Improving the Usability of a Graph Transformation Language",
Electronic Notes in Theoretical Computer Science, vol. 152, pp. 207--222, March, 2006.
Abstract
Download: improve_gtl.pdf (262.32 KB)
"The Inertial Measurement Unit Example: A Software Health Management Case Study",
ISIS Technical Report, no. ISIS-12-101, 02/2012.
Abstract
Download: TechReport_IMU.pdf (1.49 MB)
"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)
"Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems",
2015 IEEE International Symposium on Real-time Computing (ISORC), Auckland, New Zealand, 2015.
Download: 2015--SEUS--Integrated Analysis of Temporal Behavior of Component-based Distributed Real-time Embedded Systems.pdf (1.31 MB)
"An integrated approach to diagnosis of complex hybrid systems.",
15th Annual Intl. Symposium on AeroSense (Component and Systems Diagnostics, Prognosis, and Health Management) (SPIE 2001), Orlando, Florida, April, 2001.
Download: ISIS_4_0_2001_An_integra.pdf (902.42 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)
"Integrated Modeling for Planning, Simulation and Diagnosis",
IEEE Conference on AI Simulation {\&} Planning in High Autonomy Systems, Cocoa Beach, FL, pp. 273--282, April, 1991.
"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)
"Integrated Simulation Testbed for Security and Resilience of CPS",
The 33rd ACM Symposium on Applied Computing - Cyber-Physical Systems Track, Pau, France, ACM, 04/2018.
Abstract
"Integrating Security Modeling in Embedded System Design",
12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, April, 2006.
Abstract
Download: Werner_J_4_4_2006_Integratin.pdf (132.39 KB)
"Integrating Security Modeling into Embedded System Design",
ECBS 2007, Tucson, Arizona, 2006.
Download: ISIS_0_0_2006_Integratin.pdf (324.18 KB)
"Integrating Statechart Components in Polyglot",
NASA Formal Methods, vol. 7226, Norfolk, VA, Springer, 04/2012.
Abstract
"Intelligent Monitoring and Diagnostics for Plant Automation",
IEEE International Conference on Robotics and Automation, Cincinnati, OH, pp. 1390--1397, 1990.
"Intelligent Supervisory Controller for Gas Distribution Network",
Proceedings of the American Control Conference, pp. 1353--1358, 1987.
Interpreter Writing using Graph Transformations,
: Institute for Software Integrated Systems, 2003.
Download: Agrawal_A_0_0_2003_Interprete.pdf (1.42 MB)
"Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum",
ACM Transactions on Embedded Systems, 2005.
Janalyzer: A Static Analysis Tool for Java Bytecode,
, Nashville, Institute for Software Integrated Systems, 08/2017.
Download: main.pdf (261.01 KB)
"Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems",
11th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe-2014), Laurel, MD, USE, IEEE, 2014.
Download: Pradhan_EASe-2014.pdf (1.46 MB)
"Knowledge-Based Approach to Real-Time Supervisory Control",
Amercian Control Conference, Atlanta, GA, pp. 620--626, 1988.
"Knowledge-Based Experiment Builder for Magnetic Resonance Imaging (MRI) Systems",
Proceedings of the 3rd IEEE Conference on Artificial Intelligence Applications, pp. 126--133, 1987.
"Knowledge-Based Techniques in Instrumentation",
IEEE EMBS Magazine, vol. 7, pp. 13--17, 1988.
"Lessons Learned from Building a Graph Transformation System",
Graph Transformations and Model-Driven Engineering, vol. 5765: Springer Berlin / Heidelberg, pp. 202-223, 2010.
"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)
"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)
"A Metamodel-Driven MDA Process and its Tools",
WISME, UML 2003 Conference, San Francisco, CA, October, 2003.
Download: Karsai_G_10_0_2003_A_Metamode.pdf (212.6 KB)
"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)
"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)
"Model Based Data Validation",
Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, April, 1996.
"Model Based Integration and Experimentation of Information Fusion and C2 Systems",
FUSION '09. 12th International Conference on Information Fusion, Seattle, WA, 07/2009.
Abstract
Download: Paper.pdf (556.87 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)
"Model Based Techniques for Intelligent Process Control",
Artificial Intelligence in Engineering, vol. 2: Elsevier, pp. 79--94, 1990.
"Model Evolution and Management",
Model-Based Engineering of Embedded Real-Time Systems, Lecture Notes in Computer Science 6100: Springer, pp. 241-270, 2011.
Abstract
"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)
"Model Migration through Visual Modeling",
OOPSLA - 3rd OOPSLA Workshop on Domain-Specific Modeling, Anaheim, CA, October, 2003.
Download: Sprinkle_J_10_26_2003_Model_Migr.pdf (75.79 KB)
"Model reuse with metamodel based-transformations",
ICSR, LNCS, Austin, TX, April, 2002.
Download: ISIS_4_18_2002_Model_reus.pdf (1.02 MB)
"Model Transformations in the Model-Based Development of Real-time Systems",
ECBS, pp. 177-186, 2006.
Abstract
Download: 060105_Final.pdf (553.02 KB)
"Model-Based Approach for Intelligent Control",
Fourth SPIE Conference on Space Station Automation, Cambridge, MA, pp. 46--65, 1988.
Download: ModelBasedApproachforIntelligentControl.pdf (1.71 MB)
"A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics",
AIChE Annual Meeting, microfilm, Los Angeles, CA, November, 1991.
"Model-Based Approach for Software Synthesis",
IEEE Software, vol. 10, pp. 42--52, May, 1993.
"A Model-Based Approach to Self-Adaptive Software",
Journal of Intelligent Systems, vol. 14, pp. 46--53, May, 1999.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering