dblp.uni-trier.dewww.uni-trier.de

Gabor Karsai Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
79EEJoseph Porter, Gabor Karsai, Janos Sztipanovits: Towards a time-triggered schedule calculation tool to support model-based embedded software design. EMSOFT 2009: 167-176
78EEAnantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai: Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS 2009: 706-711
77EEBetty 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
76EEBenjamin Ness, Gabor Karsai: High precision automatic scheduling of periodic task sets for microcontrollers. ACM Southeast Regional Conference 2008: 1-6
75EEGabor Karsai, Gabriele Taentzer: Third international workshop on graph and model transformations. ICSE Companion 2008: 1055-1056
74EEAmogh 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
73EEJoseph 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
72EEJeff 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
71EEGabor Karsai, Janos Sztipanovits: Model-Integrated Development of Cyber-Physical Systems. SEUS 2008: 46-54
70EEAnantha Narayanan, Gabor Karsai: Verifying Model Transformations by Structural Correspondence. ECEASST 10: (2008)
69EEAnantha Narayanan, Gabor Karsai: Towards Verifying Model Transformations. Electr. Notes Theor. Comput. Sci. 211: 191-200 (2008)
68EEGabor 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
67 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
66EEDaniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai: Applying a Grouping Operator in Model Transformations. AGTIVE 2007: 410-425
65EEMatthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi: Integrating Security Modeling into Embedded System Design. ECBS 2007: 221-228
64EEHolger 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
63EEHolger 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
62EEDaniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai: A Subgraph Operator for Graph Transformation Languages. ECEASST 6: (2007)
61EEAbhishek 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
60EEPedro A. Szekely, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, David Hanak, 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
59EEGabor Karsai, Anantha Narayanan: Towards Verification of Model Transformations Via Goal-Directed Certification. ASWSD 2006: 67-83
58EETivadar Szemethy, Gabor Karsai, Daniel Balasubramanian: Model Transformations in the Model-Based Development of Real-time Systems. ECBS 2006: 177-186
57EEGabor Karsai, Anantha Narayanan: On the Correctness of Model Transformations in the Development of Embedded Systems. Monterey Workshop 2006: 1-18
56EEDaniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai: The Graph Rewriting and Transformation Language: GReAT. ECEASST 1: (2006)
55EETivadar Szemethy, Gabor Karsai: PML: a Transformation Language for Platform Modeling. ECEASST 4: (2006)
54EEGabor Karsai, Gabriele Taentzer: Preface to GraMoT 2006 Workshop Proceedings. ECEASST 4: (2006)
53EEAnantha Narayanan, Gabor Karsai: Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations. ECEASST 4: (2006)
52EEGabor Karsai, Gabriele Taentzer: Preface. Electr. Notes Theor. Comput. Sci. 152: 1-2 (2006)
51EETom 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)
50EEAttila 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)
49EEKrishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema: Developing Applications Using Model-Driven Design Environments. IEEE Computer 39(2): 33-40 (2006)
48EEAditya 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
47EESandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai: A Visually-Specified Code Generator for Simulink/Stateflow. VL/HCC 2005: 275-277
46EEJanos 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)
45EEGabor 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
43EEGabor Karsai: Automotive Software: A Challenge and Opportunity for Model-Based Software Development. ASWSD 2004: 103-115
42EESandeep Neema, Gabor Karsai: Software for Automotive Systems: Model-Integrated Computing. ASWSD 2004: 116-136
41EEGabor Madl, Sherif Abdelwahed, Gabor Karsai: Automatic Verification of Component-Based Real-Time CORBA Applications. RTSS 2004: 231-240
40EENagarajan Kandasamy, David Hanak, Christopher P. van Buskirk, Himanshu Neema, Gabor Karsai: Synthesis of robust task schedules for minimum disruption repair. SMC (6) 2004: 5056-5061
39EEAditya 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)
38EETivadar Szemethy, Gabor Karsai: Platform Modeling and Model Transformations for Analysis. J. UCS 10(10): 1383-1407 (2004)
37EEJonathan Sprinkle, Gabor Karsai: A domain-specific visual language for domain model evolution. J. Vis. Lang. Comput. 15(3-4): 291-307 (2004)
2003
36EEGabor Karsai, Aditya Agrawal: Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk). AGTIVE 2003: 243-259
35EEJonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai: Domain Model Translation Using Graph Transformations. ECBS 2003: 159-167
34EESandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts: Constraint-Based Design-Space Exploration and Model Synthesis. EMSOFT 2003: 290-305
33EEJeff Gray, Gabor Karsai: An Examination of DSLs for Concisely Representing Model Traversals and Transformations. HICSS 2003: 325
32EEAditya Agrawal, Gabor Karsai, Ákos Lédeczi: An end-to-end domain-driven software development framework. OOPSLA Companion 2003: 8-15
31EEGabor 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
29EEJanos Sztipanovits, Gabor Karsai: Generative Programming for Embedded Systems. GPCE 2002: 32-49
28EETihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf: Model Reuse with Metamodel-Based Transformations. ICSR 2002: 166-178
27EEJanos Sztipanovits, Gabor Karsai: Generative programming for embedded systems. PPDP 2002: 180-180
2001
26EEGabor 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-
25EEJonathan Sprinkle, Ákos Lédeczi, Gabor Karsai, Greg Nordstrom: The New Metamodeling Generation. ECBS 2001: 275-
24EEJanos Sztipanovits, Gabor Karsai: Embedded Software: Challenges and Opportunities. EMSOFT 2001: 403-415
23EEGabor 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
22EEÁ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
21EEGabor Karsai: Design Tool Integration: An Exercise in Semantic Interoperability. ECBS 2000: 272-278
20EEGabor 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
19EEAmit 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
18EEÁkos Lédeczi, Miklos Maroti, Gabor Karsai, Greg Nordstrom: Metaprogrammable Toolkit for Model-Integrated Computing. ECBS 1999: 311-
17EEGreg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. ECBS 1999: 68-74
16EEGabor 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
13EEGabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore: Model-integrated system development: models, architecture, and process. COMPSAC 1997: 176-181
12EEAmit 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
11EEHubertus 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
9EEJanos Sztipanovits, Gabor Karsai, Hubertus Franke: Model-Integrated Program Synthesis Environment. ECBS 1996: 348-355
1995
8EEGabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria: Model-embedded on-line problem solving environment for chemical engineering. ICECCS 1995: 227-233
7EEJanos 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
1EESamir Padalkar, Gabor Karsai, Csaba Biegl, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka: Real-Time Fault Diagnostics. IEEE Expert 6(3): 75-85 (1991)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)