] Filters: Author is Karsai, Gabor [Clear All Filters]
"An Examination of DSLs for Concisely Representing Model Traversals and Transformations",
HICSS-36, Big Island, Hawaii, January, 2003.
Download: Gray_J_1_0_2003_An_Examina.pdf (245.28 KB)
"Model-integrated development of embedded software",
Proceedings of the IEEE, vol. 91, pp. 145--164, January, 2003.
"Robust Diagnosis of Switching Systems",
5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Washington, DC., June, 2003.
Download: Abdelwahed_S_6_0_2003_Robust_Dia.pdf (119.56 KB)
"A robust method for hybrid diagnosis of complex systems",
5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Washington, DC, pp. 1125--1131, June, 2003.
Download: Biswas__G_6_0_2003_A_robust_m.pdf (522.4 KB)
"Self-Adaptive Software for Fault-Adaptive Control",
Third Intl. Workshop on Self-Adaptive Software, Washington, D.C., June, 2003.
"Distributed Middleware Services Composition and Synthesis Technology",
IEEE Aerospace, Big Sky, MT, March, 2003.
Download: Maroti_M_3_8_2003_Distribute.pdf (251.28 KB)
"Model-Based Fault-Adaptive Control of Complex Dynamic Systems",
IMTC 2003, Vail, CO, May, 2003.
Download: Simon_G_5_20_2003_Model_Base.pdf (385.87 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)
"Constraint-Based Design-Space Exploration and Model Synthesis",
EMSOFT 2003, LNCS 2855, Philadelphia, PA, October, 2003.
Download: Neema_S_10_2_2003_Constraint.pdf (140.03 KB)
"Discrete Abstraction and Supervisory Control of Switching Systems",
IEEE Int. Conference on Systems, Man & Cybernetics, Washington, DC., October, 2003.
Download: ISIS_10_0_2003_Discrete_A.pdf (485.73 KB)
"An End-to-End Domain-Driven Software Development Framework",
18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Domain-Driven Development Track, Anaheim, CA, October, 2003.
Download: Agrawal_A_10_0_2003_An_End_to_.pdf (662.27 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)
"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)
"UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages",
The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anahiem, California, October, 2003.
Download: Magyari_E_10_26_2003_UDM__An_In.pdf (285.3 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)
"Design Patterns for Open Tool Integration",
Journal of Software and System Modeling, vol. 4, 2004.
"Generative Programming and Component Engineering, Third International Conference",
Lecture Notes in Computer Science, vol. 3286: Springer, 2004.
"Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations",
Electronic Notes in Theoretical Computer Science, vol. 109, pp. 43--56, 2004.
Download: Agrawal_A_3_27_2004_Semantic_T.pdf (1.58 MB)
"Synthesis of Robust Task Schedules for Minimum Disruption Repair",
IEEE International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5056-5061, 10/2004.
Abstract
Download: RobustTaskSchedules.pdf (370.75 KB)
"A Domain-Specific Visual Language for Domain Model Evolution",
Journal of Visual Languages and Computing, vol. 15, April, 2004.
Download: Sprinkle_JM_4_0_2004_A_Domain_S.pdf (328.86 KB)
"Fault adaptive control: towards robust operation of autonomous systems",
Fourth International Conference on Intelligent Systems Design and Applications, Budapest, Hungary, August, 2004.
Download: Biswas_G_8_0_2004_Fault_adap.pdf (358.48 KB)
"Automatic Verification of Component-Based Real-Time CORBA Applications",
the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.
Download: ISIS_12_0_2004_Automatic_.pdf (1.56 MB)
"System Diagnosis using Hybrid Failure Propagation Graphs",
The 15th International Workshop on Principles of Diagnosis, Carcassonne, France, June, 2004.
Download: Abdelwahed_S_6_0_2004_System_Dia.pdf (200.89 KB)
Embedded Control Systems Language for Distributed Processing,
: Institute for Software Integrated Systems, May, 2004.
Download: Neema_S_5_12_2004_Embedded_C.pdf (439.52 KB)
"Platform Modeling and Model Transformations for Analysis",
Journal of Universal Computer Science, vol. 10, pp. 1383--1406, October, 2004.
Download: Szemethy_T_11_23_2004_Platform_M.pdf (328.35 KB)
"Reusable Idioms and Patterns in Graph Transformation Languages",
2nd International Conference on Graph Transformation, Rome, Italy, September, 2004.
Download: Agrawal_A_9_28_2004_Reusable_I.pdf (254.95 KB)
"Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum",
ACM Transactions on Embedded Systems, 2005.
"Toward self-reconfiguring, fault-adaptive, high-performance distributed real-time systems",
International Journal on Software Tools for Technology Transfer, 2005.
Download: Nordstrom_SG_0_0_2005_Toward_sel.pdf (769.93 KB)
"Robust State-based Supervisory Control of Discrete Event Systems",
IEEE Conference on Control Application, Toronto, Canada, August, 2005.
"A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems",
16th International Workshop on Principles of Diagnosis (DX '05), Monterey, CA, June, 2005.
Download: Abdelwahed_S_6_0_2005_A_Consiste.pdf (106.38 KB)
"Plan Execution and Coordination",
Proceedings of ICAPS Workshop: Plan Execution: A Reality Check, Monterey, California, June, 2005.
Abstract
"Reusable Idioms and Patterns in Graph Transformation Languages",
Electronic Notes in Theoretical Computer Science, vol. 127, pp. 181--192, March, 2005.
"Automotive Software: A Challenge and Opportunity for Model-Based Software Development",
Lecture Notes in Computer Science, vol. 4147: Springer, 2006.
"CSC: Criticality-Sensitive Coordination",
Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, New York, NY, USA, ACM, pp. 1441–1442, 2006.
"An Examination of CriticalitySensitive Approaches to Coordination",
In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
"PML: a Language for Platform Modeling",
Electronic Communications of the EASST, vol. 4, 2006.
"Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations",
Electronic Communications of the EASST, vol. 4, 2006.
"The Graph Rewriting and Transformation Language: GReAT",
Electronic Communications of the EASST, vol. 1, 2006.
Abstract
Download: great_easst.pdf (274.21 KB)
"Integrating Security Modeling into Embedded System Design",
ECBS 2007, Tucson, Arizona, 2006.
Download: ISIS_0_0_2006_Integratin.pdf (324.18 KB)
"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 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)
"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)
"Applying a Model Transformation Taxonomy to Graph Transformation Technology",
Electronic Notes in Theoretical Computer Science, vol. 152, pp. 143--159, March, 2006.
"Developing applications using model-driven design environments",
IEEE Computer, vol. 39, pp. 33--40, March, 2006.
"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 Design of a Language for Model Transformations",
Journal on Software and System Modeling, vol. 5, pp. 261--288, September, 2006.
Download: Agrawal_A_0_0_2005_The_Design.pdf (2.09 MB)
"On the Correctness of Model Transformations in the Development of Embedded Systems",
Lecture Notes in Computer Science, vol. 4888: Springer, 2007.
"A Subgraph Operator for Graph Transformation Languages",
Electronic Communications of the EASST, vol. 6, 2007.
Abstract
Download: A_Subgraph_Operator_for_Graph_Transformation_Languages.pdf (233.92 KB)
"Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems",
ISSE, vol. 3, pp. 33--52, 2007.
Download: Dubey_A_1_24_2007_Towards_a_.pdf (1.2 MB)
"Applying a Grouping Operator in Model Transformations",
The Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE), Kassel, Germany, 10/2007.
Abstract
Download: applying_group_operator_in_model_trans.pdf (1.08 MB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering