G. Karsai

Publications
Influence

Composing Domain-Specific Design Environments

Á. Lédeczi, Arpad Bakay, +4 authors G. Karsai
Computer Science
Computer
2001

Domain-specific, integrated modeling, model analysis, simulation, and code-generation tools that help design and implement computer-based systems (CBSs) in a specific, well-defined engineering field. Expand

The Generic Modeling Environment

A. Ledeczi, M. Maróti, +6 authors P. Volgyesi
Computer Science
2001

The Generic Modeling Environment (GME) is a con- figurable toolset that supports the easy creation of d o- main-specific modeling and program synthesis environ- ments. Expand

Software Engineering for Self-Adaptive Systems: A Research Roadmap

B. Cheng, R. Lemos, +26 authors J. Whittle
Computer Science
Software Engineering for Self-Adaptive Systems
10 June 2009

The goal of this roadmap paper is to summarize the state-of-the-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. Expand

1,088
62
PDF

Smart Dust: communicating with a cubic-millimeter computer

A. Ledeczi, Arpad Bakay, +4 authors G. Karsai
Computer Science
2001

MIC is an approach to model-based engineering that helps compose domain-specific design environments rapidly and cost effectively by using a metalevel architecture to specify the domain- specific modeling language and integrity constraints. Expand

1,303
43

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

R. Lemos, H. Giese, +39 authors J. Wuttke
Computer Science, Engineering
Software Engineering for Self-Adaptive Systems
2010

The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying, managing and managing self-adaptive software systems. Expand

Model-Integrated Computing

J. Sztipanovits, G. Karsai
Computer Science
Computer
1 April 1997

This paper discusses model-integrated computing, an approach that extends the scope and use of models to capture information relevant to the system under design. Expand

Model-integrated development of embedded software

G. Karsai, J. Sztipanovits, Á. Lédeczi, T. Bapty
Computer Science
Proceedings of the IEEE
29 January 2003

The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view models used in all phases of the development process. Expand

Design Guidelines for Domain Specific Languages

G. Karsai, H. Krahn, Claas Pinkernell, B. Rumpe, M. Schindler, Steven Völkel
Computer Science
ArXiv
8 September 2014

We investigate guidelines that are useful for designing domain specific languages, largely based on our experience in developing languages as well as relying on existing guidelines on general purpose (GPLs) and modeling languages. Expand

On the Use of Graph Transformation in the Formal Specification of Model Interpreters

G. Karsai, Aditya Agrawal, Feng Shi, J. Sprinkle
Computer Science
J. Univers. Comput. Sci.
2003

The paper introduces a graph-transformation-based technique for spec- ifying these model transformations, gives a formal definition for the semantics of the transformation language, describes an implementation of the language, and illustrates its use through an example. Expand

A robust method for hybrid diagnosis of complex systems

Gautam Biswas, G. Simon, Nagabhushan Mahadevan, S. Narasimhan, J. Ramírez, G. Karsai
Engineering
1 June 2003

Abstract The AI model-based diagnosis community has developed qualitative reasoning mechanisms for fault isolation in dynamic systems. Their emphasis has been on the fault isolation algorithms, and… Expand

Recommended Authors