Search results for "Gabor Karsai"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Graham Hemingway, Himanshu Neema, Harmon Nine, Janos Sztipanovits, Gabor Karsai	Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach.	Simulation	2012	DBLP DOI BibTeX RDF
1	Janos Sztipanovits, Xenofon D. Koutsoukos, Gabor Karsai, Nicholas Kottenstette, Panos J. Antsaklis, Vijay Gupta, Bill Goodwine, John S. Baras, Shige Wang	Toward a Science of Cyber-Physical System Integration.	Proceedings of the IEEE	2012	DBLP DOI BibTeX RDF
1	Chunming Hu, Gabor Karsai, Jie Xu, Andreas Polze, Ji Wang, Andy J. Wellings (eds.)	15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012	ISORC	2012	DBLP BibTeX RDF
1	Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai	Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode.	ISORC	2012	DBLP DOI BibTeX RDF
1	Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen	Integrating Statechart Components in Polyglot.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Barrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai	Challenges and directions in formalizing the semantics of modeling languages.	Comput. Sci. Inf. Syst.	2011	DBLP DOI BibTeX RDF
1	Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan	A component model for hard real-time systems: CCM with ARINC-653.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger	Rapid property specification and checking for model-based formalisms.	International Symposium on Rapid System Prototyping	2011	DBLP DOI BibTeX RDF
1	Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry	Polyglot: modeling and analysis for multiple Statechart formalisms.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Tripti Saxena, Gabor Karsai	A Meta-Framework for Design Space Exploration.	ECBS	2011	DBLP DOI BibTeX RDF	design space exploration, constraint programming, model based design
1	Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)	Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers	Model-Based Engineering of Embedded Real-Time Systems	2011	DBLP DOI BibTeX RDF
1	Amogh Kavimandan, Aniruddha S. Gokhale, Gabor Karsai, Jeff Gray	Managing the quality of software product line architectures through reusable model transformations.	QoSA/ISARCS	2011	DBLP DOI BibTeX RDF
1	Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai	Application of software health management techniques.	SEAMS	2011	DBLP DOI BibTeX RDF
1	Tihamer Levendovszky, Gabor Karsai	An Active Pattern Infrastructure for Domain-Specific Languages.	ECEASST	2010	DBLP BibTeX RDF
1	Gabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker	Evolving Embedded Systems.	IEEE Computer	2010	DBLP DOI BibTeX RDF	Embedded systems, Software evolution, Systems engineering, Design and test, Critical systems
1	Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits	Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis.	International Symposium on Rapid System Prototyping	2010	DBLP DOI BibTeX RDF
1	Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits	Online stability validation using sector analysis.	EMSOFT	2010	DBLP DOI BibTeX RDF
1	Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai	A transformation instance-based approach to traceability.	ECMFA-TW	2010	DBLP DOI BibTeX RDF
1	Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai	Reusing Model Transformations While Preserving Properties.	FASE	2010	DBLP DOI BibTeX RDF
1	Tripti Saxena, Gabor Karsai	Towards a Generic Design Space Exploration Framework.	CIT	2010	DBLP DOI BibTeX RDF	design space exploration
1	Tripti Saxena, Gabor Karsai	MDE-Based Approach for Generalizing Design Space Exploration.	MoDELS	2010	DBLP DOI BibTeX RDF
1	Abhishek Dubey, Gabor Karsai, Róbert Kereskényi, Nagabhushan Mahadevan	A Real-Time Component Framework: Experience with CCM and ARINC-653.	ISORC	2010	DBLP DOI BibTeX RDF
1	Gabor Karsai	Lessons Learned from Building a Graph Transformation System.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
1	Himanshu Neema, Anand Kashyap, Róbert Kereskényi, Yuan Xue, Gabor Karsai	SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-Hoc Networks.	DS-RT	2010	DBLP DOI BibTeX RDF
1	Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle	Preface.	ECEASST	2009	DBLP BibTeX RDF
1	Sherif Abdelwahed, Gabor Karsai, Nagabhushan Mahadevan, Stanley C. Ofsthun	Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models.	IEEE T. Instrumentation and Measurement	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Joseph Porter, Gabor Karsai, Janos Sztipanovits	Towards a time-triggered schedule calculation tool to support model-based embedded software design.	EMSOFT	2009	DBLP DOI BibTeX RDF	constraint programming, model-based design, time triggered architecture
1	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	DBLP DOI BibTeX RDF
1	Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai	A Novel Approach to Semi-automated Evolution of DSML Model Transformation.	SLE	2009	DBLP DOI BibTeX RDF
1	Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai	Automatic Domain Model Migration to Manage Metamodel Evolution.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Vasco Amaral, Cécile Hardebolle, Gabor Karsai, László Lengyel, Tihamer Levendovszky	Recent Advances in Multi-paradigm Modeling.	MoDELS Workshops	2009	DBLP DOI BibTeX RDF
1	Abhishek Dubey, Gabor Karsai, Sherif Abdelwahed	Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems.	ISORC	2009	DBLP DOI BibTeX RDF
1	Anantha Narayanan, Gabor Karsai	Verifying Model Transformations by Structural Correspondence.	ECEASST	2008	DBLP BibTeX RDF
1	Gabor Karsai, Sandeep Neema, David Sharp	Model-driven architecture for embedded software: A synopsis and an example.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
1	Anantha Narayanan, Gabor Karsai	Towards Verifying Model Transformations.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Benjamin Ness, Gabor Karsai	High precision automatic scheduling of periodic task sets for microcontrollers.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	embedded systems, code generation, microcontrollers, scheduling problem, model driven design
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Middleware QoS Configuration, Configuration Evaluation, Model Transformation
1	Gabor Karsai, Janos Sztipanovits	Model-Integrated Development of Cyber-Physical Systems.	SEUS	2008	DBLP DOI BibTeX RDF	model-driven development, system integration, executable models, cyber-physical systems, model-integrated computing
1	Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen	DSLs: the good, the bad, and the ugly.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	domain-specific languages, metamodeling, grammarware
1	Gabor Karsai, Gabriele Taentzer	Third international workshop on graph and model transformations.	ICSE Companion	2008	DBLP DOI BibTeX RDF	model transformations, model-driven development, graph transformations
1	Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai	A Subgraph Operator for Graph Transformation Languages.	ECEASST	2007	DBLP BibTeX RDF
1	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	2007	DBLP DOI BibTeX RDF	Fault mitigation, Healing, Fault tolerance, Real time systems, Model checking, Autonomic computing, Timed automaton, Reflex
1	Matthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi	Integrating Security Modeling into Embedded System Design.	ECBS	2007	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai	Metamodelling - State of the Art and Research Challenges.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty	The Model-Integrated Computing Tool Suite.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)	Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP BibTeX RDF
1	Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai	Applying a Grouping Operator in Model Transformations.	AGTIVE	2007	DBLP DOI BibTeX RDF	Model Transformation, Graph Transformation
1	Tivadar Szemethy, Gabor Karsai	PML: a Transformation Language for Platform Modeling.	ECEASST	2006	DBLP BibTeX RDF
1	Anantha Narayanan, Gabor Karsai	Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations.	ECEASST	2006	DBLP BibTeX RDF
1	Gabor Karsai, Gabriele Taentzer	Preface to GraMoT 2006 Workshop Proceedings.	ECEASST	2006	DBLP BibTeX RDF
1	Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai	The Graph Rewriting and Transformation Language: GReAT.	ECEASST	2006	DBLP BibTeX RDF
1	Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo	The design of a language for model transformations.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	UML, Model driven architecture, Model transformation, Graph transformation, Graph rewriting
1	Gabor Karsai, Gabriele Taentzer	Preface.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai	Improving the Usability of a Graph Transformation Language.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai	Applying a Model Transformation Taxonomy to Graph Transformation Technology.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Krishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema	Developing Applications Using Model-Driven Design Environments.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Software development, Programming languages, System design, Model-driven engineering, MDE tools
1	Gabor Karsai, Anantha Narayanan	Towards Verification of Model Transformations Via Goal-Directed Certification.	ASWSD	2006	DBLP DOI BibTeX RDF	Behavior Preservation, Weak Bisimulation, Semantic Anchoring, Bisimulation
1	Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian	Model Transformations in the Model-Based Development of Real-time Systems.	ECBS	2006	DBLP DOI BibTeX RDF
1	Pedro A. Szekely, Rajiv T. Maheswaran, Robert Neches, Craig Milo Rogers, Romeo Sanchez, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, Dávid Hanák, Gabor Karsai, Christopher P. van Buskirk	An Examination of Criticality-Sensitive Approaches to Coordination.	AAAI Spring Symposium: Distributed Plan and Schedule Management	2006	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF	visualization, large-scale systems, reasoning under uncertainty
1	Gabor Karsai, Anantha Narayanan	On the Correctness of Model Transformations in the Development of Embedded Systems.	Monterey Workshop	2006	DBLP DOI BibTeX RDF
1	Eric-Jan Manders, Gautam Biswas, Nagabhushan Mahadevan, Gabor Karsai	Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment.	MDB/MOMPES	2006	DBLP DOI BibTeX RDF
1	Gabor Karsai, Andras Lang, Sandeep Neema	Design patterns for open tool integration.	Software and System Modeling	2005	DBLP DOI BibTeX RDF	Tool integration framework, Software architecture, Design patterns, Metamodels, Generative programming
1	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.	2005	DBLP DOI BibTeX RDF	Computer-aided learning
1	Aditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, Gabor Karsai	Reusable Idioms and Patterns in Graph Transformation Languages.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai	A Visually-Specified Code Generator for Simulink/Stateflow.	VL/HCC	2005	DBLP DOI BibTeX RDF
1	Tivadar Szemethy, Gabor Karsai	Platform Modeling and Model Transformations for Analysis.	J. UCS	2004	DBLP BibTeX RDF
1	Aditya Agrawal, Gyula Simon, Gabor Karsai	Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Jonathan Sprinkle, Gabor Karsai	A domain-specific visual language for domain model evolution.	J. Vis. Lang. Comput.	2004	DBLP DOI BibTeX RDF
1	Nagarajan Kandasamy, Dávid Hanák, Christopher P. van Buskirk, Himanshu Neema, Gabor Karsai	Synthesis of robust task schedules for minimum disruption repair.	SMC	2004	DBLP DOI BibTeX RDF
1	Gabor Karsai	Automotive Software: A Challenge and Opportunity for Model-Based Software Development.	ASWSD	2004	DBLP DOI BibTeX RDF
1	Sandeep Neema, Gabor Karsai	Software for Automotive Systems: Model-Integrated Computing.	ASWSD	2004	DBLP DOI BibTeX RDF
1	Gabor Karsai, Eelco Visser (eds.)	Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings	GPCE	2004	DBLP BibTeX RDF
1	Gabor Madl, Sherif Abdelwahed, Gabor Karsai	Automatic Verification of Component-Based Real-Time CORBA Applications.	RTSS	2004	DBLP DOI BibTeX RDF
1	Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle	On the Use of Graph Transformation in the Formal Specification of Model Interpreters.	J. UCS	2003	DBLP BibTeX RDF
1	Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty	Model-integrated development of embedded software.	Proceedings of the IEEE	2003	DBLP BibTeX RDF
1	Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts	Constraint-Based Design-Space Exploration and Model Synthesis.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai	Domain Model Translation Using Graph Transformations.	ECBS	2003	DBLP DOI BibTeX RDF
1	Gabor Karsai, Aditya Agrawal	Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk).	AGTIVE	2003	DBLP DOI BibTeX RDF	formal specifications, model-driven architecture, graph transformations, Graph grammars, Model-Integrated Computing, domain-specific modeling languages
1	Jeff Gray, Gabor Karsai	An Examination of DSLs for Concisely Representing Model Traversals and Transformations. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF
1	Aditya Agrawal, Gabor Karsai, Ákos Lédeczi	An end-to-end domain-driven software development framework.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	software development, model-driven architecture, graph transformations, model-integrated computing
1	Janos Sztipanovits, Gabor Karsai	Generative Programming for Embedded Systems.	GPCE	2002	DBLP DOI BibTeX RDF
1	Janos Sztipanovits, Gabor Karsai	Generative programming for embedded systems.	PPDP	2002	DBLP DOI BibTeX RDF
1	Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf	Model Reuse with Metamodel-Based Transformations.	ICSR	2002	DBLP DOI BibTeX RDF
1	Ákos Lédeczi, Arpad Bakay, Miklos Maroti, Péter Völgyesi, Greg Nordstrom, Jonathan Sprinkle, Gabor Karsai	Composing Domain-Specific Design Environments.	IEEE Computer	2001	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Janos Sztipanovits, Gabor Karsai	Embedded Software: Challenges and Opportunities.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Jonathan Sprinkle, Ákos Lédeczi, Gabor Karsai, Greg Nordstrom	The New Metamodeling Generation.	ECBS	2001	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Gabor Karsai, Greg Nordstrom, Ákos Lédeczi, Janos Sztipanovits	Towards Two-Level Formal Modeling of Computer-Based Systems.	J. UCS	2000	DBLP BibTeX RDF
1	Gabor Karsai	Design Tool Integration: An Exercise in Semantic Interoperability.	ECBS	2000	DBLP DOI BibTeX RDF	distributed computing, program synthesis, tool integration
1	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	DBLP BibTeX RDF
1	Ákos Lédeczi, Miklos Maroti, Gabor Karsai, Greg Nordstrom	Metaprogrammable Toolkit for Model-Integrated Computing.	ECBS	1999	DBLP DOI BibTeX RDF	automatic program synthesis, model-integrated computing, model-based systems, visual environments
1	Gabor Karsai	Structured Specification of Model Interpreters.	ECBS	1999	DBLP DOI BibTeX RDF	Software synthesis, model-integrated computing
1	Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi	Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments.	ECBS	1999	DBLP DOI BibTeX RDF	Modeling, UML, Metamodeling, OCL, Modeling Tools, Visual Modeling, Multigraph
1	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	DBLP DOI BibTeX RDF	Enterprise-wide systems, global enterprises, information technology, System integration

Publications of "Gabor Karsai" ( http://dblp.L3S.de/Authors/Gabor_Karsai )