Gabor Karsai

	2009
82		Joseph Porter, Gabor Karsai, Janos Sztipanovits: Towards a time-triggered schedule calculation tool to support model-based embedded software design. EMSOFT 2009: 167-176
81		Joseph Porter, Péter Völgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits: An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. IEEE International Workshop on Rapid System Prototyping 2009: 3-10
80		Abhishek Dubey, Gabor Karsai, Sherif Abdelwahed: Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems. ISORC 2009: 55-62
79		Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai: Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS 2009: 706-711
78		Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle: Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26
	2008
77		Benjamin Ness, Gabor Karsai: High precision automatic scheduling of periodic task sets for microcontrollers. ACM Southeast Regional Conference 2008: 1-6
76		Gabor Karsai, Gabriele Taentzer: Third international workshop on graph and model transformations. ICSE Companion 2008: 1055-1056
75		Amogh Kavimandan, Anantha Narayanan, Aniruddha S. Gokhale, Gabor Karsai: Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-Time and Embedded Systems. ISORC 2008: 100-107
74		Joseph Porter, Gabor Karsai, Péter Völgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits: Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. MoDELS Workshops 2008: 20-34
73		Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen: DSLs: the good, the bad, and the ugly. OOPSLA Companion 2008: 791-794
72		Gabor Karsai, Janos Sztipanovits: Model-Integrated Development of Cyber-Physical Systems. SEUS 2008: 46-54
71		Anantha Narayanan, Gabor Karsai: Verifying Model Transformations by Structural Correspondence. ECEASST 10: (2008)
70		Anantha Narayanan, Gabor Karsai: Towards Verifying Model Transformations. Electr. Notes Theor. Comput. Sci. 211: 191-200 (2008)
69		Gabor Karsai, Sandeep Neema, David Sharp: Model-driven architecture for embedded software: A synopsis and an example. Sci. Comput. Program. 73(1): 26-38 (2008)
	2007
68		Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz: Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
67		Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai: Applying a Grouping Operator in Model Transformations. AGTIVE 2007: 410-425
66		Matthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi: Integrating Security Modeling into Embedded System Design. ECBS 2007: 221-228
65		Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz: 07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems 2007
64		Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz: 07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems 2007
63		Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai: A Subgraph Operator for Graph Transformation Languages. ECEASST 6: (2007)
62		Abhishek Dubey, Steven Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai: Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. ISSE 3(1): 33-52 (2007)
	2006
61		Pedro A. Szekely, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, Dávid Hanák, Jing Jin, Gabor Karsai, Rajiv T. Maheswaran, Robert Neches, Craig Milo Rogers, Romeo Sanchez, Christopher P. van Buskirk: CSC: Criticality-Sensitive Coordination. AAMAS 2006: 1441-1442
60		Gabor Karsai, Anantha Narayanan: Towards Verification of Model Transformations Via Goal-Directed Certification. ASWSD 2006: 67-83
59		Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian: Model Transformations in the Model-Based Development of Real-time Systems. ECBS 2006: 177-186
58		Eric-J. Manders, Gautam Biswas, Nagabhushan Mahadevan, Gabor Karsai: Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment. MDB/MOMPES 2006: 159-168
57		Gabor Karsai, Anantha Narayanan: On the Correctness of Model Transformations in the Development of Embedded Systems. Monterey Workshop 2006: 1-18
56		Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai: The Graph Rewriting and Transformation Language: GReAT. ECEASST 1: (2006)
55		Tivadar Szemethy, Gabor Karsai: PML: a Transformation Language for Platform Modeling. ECEASST 4: (2006)
54		Gabor Karsai, Gabriele Taentzer: Preface to GraMoT 2006 Workshop Proceedings. ECEASST 4: (2006)
53		Anantha Narayanan, Gabor Karsai: Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations. ECEASST 4: (2006)
52		Gabor Karsai, Gabriele Taentzer: Preface. Electr. Notes Theor. Comput. Sci. 152: 1-2 (2006)
51		Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai: Applying a Model Transformation Taxonomy to Graph Transformation Technology. Electr. Notes Theor. Comput. Sci. 152: 143-159 (2006)
50		Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai: Improving the Usability of a Graph Transformation Language. Electr. Notes Theor. Comput. Sci. 152: 207-222 (2006)
49		Krishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema: Developing Applications Using Model-Driven Design Environments. IEEE Computer 39(2): 33-40 (2006)
48		Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo: The design of a language for model transformations. Software and System Modeling 5(3): 261-288 (2006)
	2005
47		Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai: A Visually-Specified Code Generator for Simulink/Stateflow. VL/HCC 2005: 275-277
46		Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha S. Gokhale, Larry Howard, Gabor Karsai, Tak-John Koo, Xenofon D. Koutsoukos, Douglas C. Schmidt: Introducing embedded software and systems education and advanced learning technology in an engineering curriculum. ACM Trans. Embedded Comput. Syst. 4(3): 549-568 (2005)
45		Gabor Karsai, Andras Lang, Sandeep Neema: Design patterns for open tool integration. Software and System Modeling 4(2): 157-170 (2005)
	2004
44		Gabor Karsai, Eelco Visser: Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings Springer 2004
43		Gabor Karsai: Automotive Software: A Challenge and Opportunity for Model-Based Software Development. ASWSD 2004: 103-115
42		Sandeep Neema, Gabor Karsai: Software for Automotive Systems: Model-Integrated Computing. ASWSD 2004: 116-136
41		Gabor Madl, Sherif Abdelwahed, Gabor Karsai: Automatic Verification of Component-Based Real-Time CORBA Applications. RTSS 2004: 231-240
40		Nagarajan Kandasamy, Dávid Hanák, Christopher P. van Buskirk, Himanshu Neema, Gabor Karsai: Synthesis of robust task schedules for minimum disruption repair. SMC (6) 2004: 5056-5061
39		Aditya Agrawal, Gyula Simon, Gabor Karsai: Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. Electr. Notes Theor. Comput. Sci. 109: 43-56 (2004)
38		Tivadar Szemethy, Gabor Karsai: Platform Modeling and Model Transformations for Analysis. J. UCS 10(10): 1383-1407 (2004)
37		Jonathan Sprinkle, Gabor Karsai: A domain-specific visual language for domain model evolution. J. Vis. Lang. Comput. 15(3-4): 291-307 (2004)
	2003
36		Gabor Karsai, Aditya Agrawal: Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk). AGTIVE 2003: 243-259
35		Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai: Domain Model Translation Using Graph Transformations. ECBS 2003: 159-167
34		Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts: Constraint-Based Design-Space Exploration and Model Synthesis. EMSOFT 2003: 290-305
33		Jeff Gray, Gabor Karsai: An Examination of DSLs for Concisely Representing Model Traversals and Transformations. HICSS 2003: 325
32		Aditya Agrawal, Gabor Karsai, Ákos Lédeczi: An end-to-end domain-driven software development framework. OOPSLA Companion 2003: 8-15
31		Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle: On the Use of Graph Transformation in the Formal Specification of Model Interpreters. J. UCS 9(11): 1296-1321 (2003)
30		Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty: Model-integrated development of embedded software. Proceedings of the IEEE 91(1): 145-164 (2003)
	2002
29		Janos Sztipanovits, Gabor Karsai: Generative Programming for Embedded Systems. GPCE 2002: 32-49
28		Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf: Model Reuse with Metamodel-Based Transformations. ICSR 2002: 166-178
27		Janos Sztipanovits, Gabor Karsai: Generative programming for embedded systems. PPDP 2002: 180-180
	2001
26		Gabor Karsai, Gautam Biswas, Tal Pasternak, Sriram Narasimhan, Gábor Péceli, Gyula Simon, Tamás Kovácsházy: Fault-Adaptive Control: A CBS Application. ECBS 2001: 205-
25		Jonathan Sprinkle, Ákos Lédeczi, Gabor Karsai, Greg Nordstrom: The New Metamodeling Generation. ECBS 2001: 275-
24		Janos Sztipanovits, Gabor Karsai: Embedded Software: Challenges and Opportunities. EMSOFT 2001: 403-415
23		Gabor Karsai, Ákos Lédeczi, Janos Sztipanovits, Gábor Péceli, Gyula Simon, Tamás Kovácsházy: An Approach to Self-adaptive Software Based on Supervisory Control. IWSAS 2001: 24-38
22		Ákos Lédeczi, Arpad Bakay, Miklos Maroti, Péter Völgyesi, Greg Nordstrom, Jonathan Sprinkle, Gabor Karsai: Composing Domain-Specific Design Environments. IEEE Computer 34(11): 44-51 (2001)
	2000
21		Gabor Karsai: Design Tool Integration: An Exercise in Semantic Interoperability. ECBS 2000: 272-278
20		Gabor Karsai, Greg Nordstrom, Ákos Lédeczi, Janos Sztipanovits: Towards Two-Level Formal Modeling of Computer-Based Systems. J. UCS 6(11): 1131-1144 (2000)
	1999
19		Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi, Earl Long: Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges. ECBS 1999: 225-231
18		Ákos Lédeczi, Miklos Maroti, Gabor Karsai, Greg Nordstrom: Metaprogrammable Toolkit for Model-Integrated Computing. ECBS 1999: 311-
17		Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. ECBS 1999: 68-74
16		Gabor Karsai: Structured Specification of Model Interpreters. ECBS 1999: 84-
15		Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi: Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing. ICEIS 1999: 485-492
	1998
14		Janos Sztipanovits, Gabor Karsai, Ted Bapty: Self-Adaptive Software for Signal Processing. Commun. ACM 41(5): 66-73 (1998)
	1997
13		Gabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore: Model-integrated system development: models, architecture, and process. COMPSAC 1997: 176-181
12		Amit Misra, Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Michael Moore, Earl Long: A model-integrated information system for increasing throughput in discrete manufacturing. ECBS 1997: 203-210
11		Hubertus Franke, Janos Sztipanovits, Gabor Karsai: Model-Integrated Programming. HICSS (1) 1997: 415-422
10		Janos Sztipanovits, Gabor Karsai: Model-Integrated Computing. IEEE Computer 30(4): 110-111 (1997)
	1996
9		Janos Sztipanovits, Gabor Karsai, Hubertus Franke: Model-Integrated Program Synthesis Environment. ECBS 1996: 348-355
	1995
8		Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria: Model-embedded on-line problem solving environment for chemical engineering. ICECCS 1995: 227-233
7		Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra: MULTIGRAPH: an architecture for model-integrated computing. ICECCS 1995: 361-368
6		Ákos Lédeczi, Ted Bapty, Gabor Karsai, Janos Sztipanovits: Modeling Paradigm for Parallel Signal Processing. Australian Computer Journal 27(3): 92-102 (1995)
5		Gabor Karsai: A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming. IEEE Computer 28(3): 36-44 (1995)
	1994
4		Michael S. Moore, Gabor Karsai, Janos Sztipanovits: Model-Based Programming for Parallel Image Processing. ICIP (3) 1994: 811-815
	1993
3		Ben Abbott, Ted Bapty, Csaba Biegl, Gabor Karsai, Janos Sztipanovits: Model-Based Software Synthesis. IEEE Software 10(3): 42-52 (1993)
	1992
2		Gabor Karsai, Janos Sztipanovits, Samir Padalkar, Csaba Biegl: Model-Based Intelligent Process Control for Cogenerator Plants. J. Parallel Distrib. Comput. 15(2): 90-102 (1992)
	1991
1		Samir Padalkar, Gabor Karsai, Csaba Biegl, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka: Real-Time Fault Diagnostics. IEEE Expert 6(3): 75-85 (1991)

Coauthor Index

1	Ben Abbott	[3]
2	Sherif Abdelwahed	[41] [80]
3	Aditya Agrawal	[31] [32] [35] [36] [39] [48]
4	Jesper Andersson	[78]
5	Arpad Bakay	[22]
6	Daniel Balasubramanian	[50] [56] [59] [63] [67] [79]
7	Krishnakumar Balasubramanian	[49]
8	Ted Bapty	[3] [6] [7] [14] [30] [62]
9	Basil Becker	[78]
10	Marcel Becker	[61]
11	Nelly Bencomo	[78]
12	Csaba Biegl	[1] [2] [3] [7]
13	Gautam Biswas	[26] [46] [58]
14	Yuriy Brun	[78]
15	Christopher P. van Buskirk	[40] [56] [61]
16	Ken Butts	[34]
17	Hassan Charaf	[28]
18	Betty H. C. Cheng	[78]
19	Charles Consel	[73]
20	Bojan Cukic	[78]
21	Frank DeCaria	[8]
22	Abhishek Dubey	[62] [80]
23	Schahram Dustdar	[78]
24	Matthew Eby	[66]
25	Anthony Finkelstein	[78]
26	Kathleen Fisher	[73]
27	Stephen Fitzpatrick	[61]
28	Ken Frampton	[46]
29	Hubertus Franke	[8] [9] [11]
30	Cristina Gacek	[78]
31	Gergely Gati	[61]
32	Kurt Geihs	[78]
33	Holger Giese	[64] [65] [68] [78]
34	Aniruddha S. Gokhale	[46] [49] [75]
35	Pieter Van Gorp	[51]
36	Vincenzo Grassi	[78]
37	Jeffrey G. Gray (Jeff Gray)	[33] [73]
38	Dávid Hanák	[40] [61]
39	Graham Hemingway	[74]
40	Larry Howard	[46]
41	Peter Humke	[74]
42	Paola Inverardi	[78]
43	Jing Jin	[61]
44	Zsolt Kalmar	[47]
45	Nagarajan Kandasamy	[40]
46	Amogh Kavimandan	[75]
47	Turker Keskinpala	[62]
48	Holger M. Kienle	[78]
49	Tak-John Koo	[46]
50	Nicholas Kottenstette	[81]
51	Xenofon D. Koutsoukos	[46]
52	Tamás Kovácsházy	[23] [26]
53	Jeff Kramer	[78]
54	Andras Lang	[45]
55	Ákos Lédeczi	[6] [7] [12] [13] [15] [17] [18] [19] [20] [22] [23] [25] [28] [30] [32] [66]
56	Edward Lee	[64] [65] [68]
57	Rogério de Lemos	[78]
58	Tihamer Levendovszky	[28] [35] [79]
59	Marin Litoiu	[78]
60	Earl Long	[12] [19]
61	Gabor Madl	[41]
62	Jeff Magee (Jeff N. Magee)	[78]
63	Nagabhushan Mahadevan	[58]
64	Rajiv T. Maheswaran	[61]
65	Sam Malek	[78]
66	Eric-J. Manders	[58]
67	Miklós Maróti (Miklos Maroti)	[18] [22] [28]
68	Tom Mens	[51]
69	Marjan Mernik	[73]
70	Raffaela Mirandola	[78]
71	Amit Misra	[7] [12] [13] [15] [19]
72	Nobuji Miyasaka	[1]
73	Michael Moore	[12] [13] [15] [19]
74	Michael S. Moore	[4]
75	Hausi A. Müller	[78]
76	Sriram Narasimhan	[26]
77	Anantha Narayanan	[53] [56] [57] [60] [63] [67] [70] [71] [75] [79]
78	Robert Neches	[61]
79	Himanshu Neema	[40]
80	Sandeep Neema	[34] [42] [45] [47] [48] [49] [50] [62] [63] [67] [69]
81	Benjamin Ness	[67] [77]
82	Harmon Nine	[74] [81]
83	Greg Nordstrom	[17] [18] [20] [22] [25]
84	Steven Nordstrom	[62]
85	Koji Okuda	[1]
86	Samir Padalkar	[1] [2] [8]
87	Sooyong Park	[78]
88	Tal Pasternak	[26]
89	Gábor Péceli	[23] [26]
90	Joseph Porter	[74] [81] [82]
91	Craig Milo Rogers	[61]
92	Bernhard Rumpe	[64] [65] [68]
93	Romeo Sanchez	[61]
94	Bernhard Schätz	[64] [65] [68]
95	Douglas C. Schmidt	[46]
96	Giovanna Di Marzo Serugendo	[78]
97	David Sharp	[69]
98	Mary Shaw	[78]
99	Feng Shi	[31] [35] [47] [48] [50] [63] [67]
100	Gyula Simon	[23] [26] [39]
101	Jonathan Sprinkle	[22] [25] [31] [35] [37]
102	Pedro A. Szekely	[61]
103	Tivadar Szemethy	[38] [55] [59]
104	Janos Sztipanovits	[1] [2] [3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [19] [20] [23] [24] [27] [29] [30] [34] [46] [49] [72] [74] [81] [82]
105	Gabriele Taentzer	[52] [54] [76]
106	Ryan Thibodeaux	[63] [67] [74]
107	Matthias Tichy	[78]
108	Massimo Tivoli	[78]
109	Juha-Pekka Tolvanen	[73]
110	Dániel Varró	[51]
111	Eelco Visser	[44]
112	Attila Vizhanyo	[47] [48] [50]
113	Péter Völgyesi	[22] [74] [81]
114	Jan Werner	[66]
115	Danny Weyns	[78]
116	Jon Whittle (Jonathan Whittle)	[78]

Colors in the list of coauthors