| 2008 |
|---|
| 75 | EE | Gabor Karsai,
Gabriele Taentzer:
Third international workshop on graph and model transformations.
ICSE Companion 2008: 1055-1056 |
| 74 | EE | 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 |
| 73 | EE | 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 |
| 72 | EE | 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 |
| 71 | EE | Gabor Karsai,
Janos Sztipanovits:
Model-Integrated Development of Cyber-Physical Systems.
SEUS 2008: 46-54 |
| 70 | EE | Anantha Narayanan,
Gabor Karsai:
Verifying Model Transformations by Structural Correspondence.
ECEASST 10: (2008) |
| 69 | EE | Anantha Narayanan,
Gabor Karsai:
Towards Verifying Model Transformations.
Electr. Notes Theor. Comput. Sci. 211: 191-200 (2008) |
| 68 | EE | 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 |
|---|
| 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 |
| 66 | EE | 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 |
| 65 | EE | Matthew Eby,
Jan Werner,
Gabor Karsai,
Ákos Lédeczi:
Integrating Security Modeling into Embedded System Design.
ECBS 2007: 221-228 |
| 64 | EE | 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 |
| 63 | EE | 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 |
| 62 | EE | Daniel Balasubramanian,
Anantha Narayanan,
Sandeep Neema,
Feng Shi,
Ryan Thibodeaux,
Gabor Karsai:
A Subgraph Operator for Graph Transformation Languages.
ECEASST 6: (2007) |
| 61 | EE | 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 |
|---|
| 60 | EE | Pedro 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 |
| 59 | EE | Gabor Karsai,
Anantha Narayanan:
Towards Verification of Model Transformations Via Goal-Directed Certification.
ASWSD 2006: 67-83 |
| 58 | EE | Tivadar Szemethy,
Gabor Karsai,
Daniel Balasubramanian:
Model Transformations in the Model-Based Development of Real-time Systems.
ECBS 2006: 177-186 |
| 57 | EE | Gabor Karsai,
Anantha Narayanan:
On the Correctness of Model Transformations in the Development of Embedded Systems.
Monterey Workshop 2006: 1-18 |
| 56 | EE | Daniel Balasubramanian,
Anantha Narayanan,
Christopher P. van Buskirk,
Gabor Karsai:
The Graph Rewriting and Transformation Language: GReAT.
ECEASST 1: (2006) |
| 55 | EE | Tivadar Szemethy,
Gabor Karsai:
PML: a Transformation Language for Platform Modeling.
ECEASST 4: (2006) |
| 54 | EE | Gabor Karsai,
Gabriele Taentzer:
Preface to GraMoT 2006 Workshop Proceedings.
ECEASST 4: (2006) |
| 53 | EE | Anantha Narayanan,
Gabor Karsai:
Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations.
ECEASST 4: (2006) |
| 52 | EE | Gabor Karsai,
Gabriele Taentzer:
Preface.
Electr. Notes Theor. Comput. Sci. 152: 1-2 (2006) |
| 51 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Sandeep Neema,
Zsolt Kalmar,
Feng Shi,
Attila Vizhanyo,
Gabor Karsai:
A Visually-Specified Code Generator for Simulink/Stateflow.
VL/HCC 2005: 275-277 |
| 46 | EE | 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 | EE | 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 | EE | Gabor Karsai:
Automotive Software: A Challenge and Opportunity for Model-Based Software Development.
ASWSD 2004: 103-115 |
| 42 | EE | Sandeep Neema,
Gabor Karsai:
Software for Automotive Systems: Model-Integrated Computing.
ASWSD 2004: 116-136 |
| 41 | EE | Gabor Madl,
Sherif Abdelwahed,
Gabor Karsai:
Automatic Verification of Component-Based Real-Time CORBA Applications.
RTSS 2004: 231-240 |
| 40 | EE | Nagarajan 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 |
| 39 | EE | 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 | EE | Tivadar Szemethy,
Gabor Karsai:
Platform Modeling and Model Transformations for Analysis.
J. UCS 10(10): 1383-1407 (2004) |
| 37 | EE | 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 | EE | Gabor Karsai,
Aditya Agrawal:
Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk).
AGTIVE 2003: 243-259 |
| 35 | EE | Jonathan Sprinkle,
Aditya Agrawal,
Tihamer Levendovszky,
Feng Shi,
Gabor Karsai:
Domain Model Translation Using Graph Transformations.
ECBS 2003: 159-167 |
| 34 | EE | Sandeep Neema,
Janos Sztipanovits,
Gabor Karsai,
Ken Butts:
Constraint-Based Design-Space Exploration and Model Synthesis.
EMSOFT 2003: 290-305 |
| 33 | EE | Jeff Gray,
Gabor Karsai:
An Examination of DSLs for Concisely Representing Model Traversals and Transformations.
HICSS 2003: 325 |
| 32 | EE | Aditya Agrawal,
Gabor Karsai,
Ákos Lédeczi:
An end-to-end domain-driven software development framework.
OOPSLA Companion 2003: 8-15 |
| 31 | EE | 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 | EE | Janos Sztipanovits,
Gabor Karsai:
Generative Programming for Embedded Systems.
GPCE 2002: 32-49 |
| 28 | EE | Tihamer Levendovszky,
Gabor Karsai,
Miklos Maroti,
Ákos Lédeczi,
Hassan Charaf:
Model Reuse with Metamodel-Based Transformations.
ICSR 2002: 166-178 |
| 27 | EE | Janos Sztipanovits,
Gabor Karsai:
Generative programming for embedded systems.
PPDP 2002: 180-180 |
| 2001 |
|---|
| 26 | EE | 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 | EE | Jonathan Sprinkle,
Ákos Lédeczi,
Gabor Karsai,
Greg Nordstrom:
The New Metamodeling Generation.
ECBS 2001: 275- |
| 24 | EE | Janos Sztipanovits,
Gabor Karsai:
Embedded Software: Challenges and Opportunities.
EMSOFT 2001: 403-415 |
| 23 | EE | 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 | EE | Á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 | EE | Gabor Karsai:
Design Tool Integration: An Exercise in Semantic Interoperability.
ECBS 2000: 272-278 |
| 20 | EE | 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 | EE | 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 | EE | Ákos Lédeczi,
Miklos Maroti,
Gabor Karsai,
Greg Nordstrom:
Metaprogrammable Toolkit for Model-Integrated Computing.
ECBS 1999: 311- |
| 17 | EE | Greg Nordstrom,
Janos Sztipanovits,
Gabor Karsai,
Ákos Lédeczi:
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments.
ECBS 1999: 68-74 |
| 16 | EE | 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 | EE | Gabor Karsai,
Amit Misra,
Janos Sztipanovits,
Ákos Lédeczi,
Michael Moore:
Model-integrated system development: models, architecture, and process.
COMPSAC 1997: 176-181 |
| 12 | EE | 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 | EE | 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 | EE | Janos Sztipanovits,
Gabor Karsai,
Hubertus Franke:
Model-Integrated Program Synthesis Environment.
ECBS 1996: 348-355 |
| 1995 |
|---|
| 8 | EE | 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 | EE | 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 | EE | Samir Padalkar,
Gabor Karsai,
Csaba Biegl,
Janos Sztipanovits,
Koji Okuda,
Nobuji Miyasaka:
Real-Time Fault Diagnostics.
IEEE Expert 6(3): 75-85 (1991) |
