Παρακολούθηση
Gabor Karsai
Gabor Karsai
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα vanderbilt.edu
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Software engineering for self-adaptive systems: A second research roadmap
R De Lemos, H Giese, HA Müller, M Shaw, J Andersson, M Litoiu, ...
Software Engineering for Self-Adaptive Systems II: International Seminar …, 2013
23332013
The generic modeling environment
A Ledeczi, M Maroti, A Bakay, G Karsai, J Garrett, C Thomason, ...
Workshop on Intelligent Signal Processing, Budapest, Hungary 17 (01), 2001, 2001
8212001
Composing domain-specific design environments
Á Lédeczi, A Bakay, M Maroti, P Volgyesi, G Nordstrom, J Sprinkle, ...
Computer 34 (11), 44-51, 2001
7702001
Model-integrated computing
J Sztipanovits, G Karsai
Computer 30 (4), 110-111, 1997
6951997
Model-integrated development of embedded software
G Karsai, J Sztipanovits, A Ledeczi, T Bapty
Proceedings of the IEEE 91 (1), 145-164, 2003
6222003
Toward a science of cyber–physical system integration
J Sztipanovits, X Koutsoukos, G Karsai, N Kottenstette, P Antsaklis, ...
Proceedings of the IEEE 100 (1), 29-44, 2011
4062011
Developing applications using model-driven design environments
K Balasubramanian, A Gokhale, G Karsai, J Sztipanovits, S Neema
Computer 39 (2), 33-40, 2006
3002006
Design guidelines for domain specific languages
G Karsai, H Krahn, C Pinkernell, B Rumpe, M Schindler, S Völkel
arXiv preprint arXiv:1409.2378, 2014
2902014
Artificial neural networks applied to arc welding process modeling and control
K Andersen, GE Cook, G Karsai, K Ramaswamy
IEEE Transactions on industry applications 26 (5), 824-830, 1990
2861990
Metamodeling-rapid design and evolution of domain-specific modeling environments
G Nordstrom, J Sztipanovits, G Karsai, Á Lédeczi
Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer …, 1999
2451999
Semantic translation of simulink/stateflow models to hybrid automata using graph transformations
A Agrawal, G Simon, G Karsai
Electronic Notes in Theoretical Computer Science 109, 43-56, 2004
2182004
On the Use of Graph Transformation in the Formal Specification of Model Interpreters.
G Karsai, A Agrawal, F Shi, J Sprinkle
J. Univers. Comput. Sci. 9 (11), 1296-1321, 2003
2142003
A domain-specific visual language for domain model evolution
J Sprinkle, G Karsai
Journal of Visual Languages & Computing 15 (3-4), 291-307, 2004
2062004
The graph rewriting and transformation language: GReAT
D Balasubramanian, A Narayanan, C van Buskirk, G Karsai
Electronic Communications of the EASST 1, 2007
1862007
Constraint-based design-space exploration and model synthesis
S Neema, J Sztipanovits, G Karsai, K Butts
International Workshop on Embedded Software, 290-305, 2003
1692003
The design of a language for model transformations
A Agrawal, G Karsai, S Neema, F Shi, A Vizhanyo
Software & Systems Modeling 5, 261-288, 2006
1582006
Graph transformations on domain-specific models
A Agrawal, G Karsai, F Shi
Journal on Software and Systems Modeling 37 (11), 399, 2003
1502003
3 Metamodelling: State of the Art and Research Challenges
J Sprinkle, B Rumpe, H Vangheluwe, G Karsai
Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems …, 2007
1422007
Composition and cloning in modeling and meta-modeling
G Karsai, M Maroti, Á Lédeczi, J Gray, J Sztipanovits
IEEE Transactions on Control Systems Technology 12 (2), 263-278, 2004
1322004
Towards practical runtime verification and validation of self-adaptive software systems
G Tamura, NM Villegas, HA Müller, JP Sousa, B Becker, G Karsai, ...
Software Engineering for Self-Adaptive Systems II: International Seminar …, 2013
1232013
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20