] Filters: Author is Karsai, Gabor [Clear All Filters]
"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)
"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)
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)
"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)
"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)
"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)
"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)
"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)
"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)
"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.
"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)
"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)
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)
"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)
"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)
"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.
"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.
"Composition and Cloning in Modeling and Meta-Modeling",
IEEE Transactions on Control System Technology, December, 2003.
System Diagnosis using Hybrid Failure Propagation Graphs,
: Institute for Software Integrated Systems, December, 2003.
Download: Abdelwahed_S_12_0_2003_System_Dia.pdf (385.08 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)
"Domain Translation Using Graph Transformations",
Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, AL, pp. 159--168, April, 2003.
Download: Sprinkle_JM_4_7_2003_Domain_Tra.pdf (255.82 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)
"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)
Interpreter Writing using Graph Transformations,
: Institute for Software Integrated Systems, 2003.
Download: Agrawal_A_0_0_2003_Interprete.pdf (1.42 MB)
"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)
"Towards Fault-Adaptive Control of Complex Dynamic Systems",
Software-Enabled Control: IEEE Press, 2003.
"Computer-aided Aircraft Maintenance Scheduling",
ISIS-02-303: Institute for Software Integrated Systems, November, 2002.
Download: van_Buskir_CP_11_0_2002_Computer_a.pdf (313.15 KB)
"Domain Evolution in Visual Languages Using Graph Transformations",
OOPSLA, 2nd Workshop on Domain-Specific Languages, Seattle, WA, November, 2002.
Download: Sprinkle_JM_11_4_2002_Domain_Evo.doc (216 KB)
"Generative Programming via Graph Transformations in the Model-Driven Architecture",
OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, WA, November, 2002.
Download: Agrawal_A_11_5_2002_Generative.pdf (351.64 KB)
"Hybrid Modeling and Diagnosis in the Real World: A Case Study",
Intl. Workshop on Principles of Diagnosis, Simmering, Austria, May, 2002.
"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)
"Design-Space Construction and Exploration in Platform-Based Design",
ISIS-02-301: Institute for Software Integrated Systems, June, 2002.
Download: Neema_S_6_24_2002_Design_Spa.pdf (379.45 KB)
"Online Safety Control of a Class of Hybrid Systems",
IEEE 2002 Conference on Decision and Control, Las Vegas, USA, pp. 1988--1990, December, 2002.
Download: Abdelwahed_S_12_0_2002_Online_Saf.pdf (96.96 KB)
"Model reuse with metamodel based-transformations",
ICSR, LNCS, Austin, TX, April, 2002.
Download: ISIS_4_18_2002_Model_reus.pdf (1.02 MB)
"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)
"Towards Fault-Adaptive Control of Complex Dynamic Systems",
Software Enabled Control, (Book), 2002.
Download: Karsai_G_0_0_2002_Towards_Fa.pdf (390.07 KB)
"Generative Programming for Embedded Systems",
Generative Programming and Component Engineering, (LNCD 2787), pp. 32--49, 2002.
"On Metamodel Composition",
IEEE CCA 2001, Mexico City, Mexico, September, 2001.
Download: Ledeczi_A_9_5_2001_On_Metamod.pdf (108.86 KB)
"Composing domain-specific design environments",
IEEE Computer, pp. 44--51, November, 2001.
"The Generic Modeling Environment",
Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.
Download: Ledeczi_A_5_17_2001_The_Generi.pdf (116.09 KB)
"An Evolvable Tri-Reasoner IVHM System",
2001 IEEE Aerospace Conference, 11.0307, Big Sky, Montana, USA, March, 2001.
Download: ISIS_3_13_2001_An_Evolvab.pdf (293.67 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering