@article{VizhanyoNSBK06, title = {Improving the Usability of a Graph Transformation Language}, author = {Attila Vizhanyo and Sandeep Neema and Feng Shi and Daniel Balasubramanian and Gabor Karsai}, year = {2006}, doi = {10.1016/j.entcs.2005.10.026}, url = {http://dx.doi.org/10.1016/j.entcs.2005.10.026}, tags = {graph transformation, transformation language, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/VizhanyoNSBK06}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {152}, pages = {207-222}, } @article{SztipanovitsK97, title = {Model-Integrated Computing}, author = {Janos Sztipanovits and Gabor Karsai}, year = {1997}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/SztipanovitsK97}, cites = {0}, citedby = {0}, journal = {Computer}, volume = {30}, number = {4}, pages = {110-111}, } @article{SprinkleK04, title = {A domain-specific visual language for domain model evolution}, author = {Jonathan Sprinkle and Gabor Karsai}, year = {2004}, doi = {10.1016/j.jvlc.2004.01.006}, url = {http://dx.doi.org/10.1016/j.jvlc.2004.01.006}, tags = {model-to-model transformation, graph transformation, meta-model, modeling language, modeling, transformation language, language modeling, model-driven development, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation, domain-specific language}, researchr = {https://researchr.org/publication/SprinkleK04}, cites = {0}, citedby = {0}, journal = {JCL (JVLC)}, volume = {15}, number = {3-4}, pages = {291-307}, } @article{AgrawalSK04, title = {Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations}, author = {Aditya Agrawal and Gyula Simon and Gabor Karsai}, year = {2004}, doi = {10.1016/j.entcs.2004.02.055}, url = {http://dx.doi.org/10.1016/j.entcs.2004.02.055}, tags = {model-to-model transformation, translation, graph transformation, meta-model, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/AgrawalSK04}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {109}, pages = {43-56}, } @inproceedings{LedecziMKN99, title = {Metaprogrammable Toolkit for Model-Integrated Computing}, author = {Ákos Lédeczi and Miklos Maroti and Gabor Karsai and Greg Nordstrom}, year = {1999}, url = {http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280311abs.htm}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/LedecziMKN99}, cites = {0}, citedby = {0}, pages = {311}, booktitle = {ECBS}, } @inproceedings{KarsaiN06:0, title = {On the Correctness of Model Transformations in the Development of Embedded Systems}, author = {Gabor Karsai and Anantha Narayanan}, year = {2006}, doi = {10.1007/978-3-540-77419-8_1}, url = {http://dx.doi.org/10.1007/978-3-540-77419-8_1}, tags = {model-to-model transformation, meta-model, model-driven development, source-to-source, transformation system, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/KarsaiN06%3A0}, cites = {0}, citedby = {0}, pages = {1-18}, booktitle = {monterey}, } @inproceedings{GieseKLRS07, title = {07451 Summary - Model-Based Engineering of Embedded Real-Time Systems}, author = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1272}, tags = {rule-based, meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/GieseKLRS07}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @article{LedecziBKS95, title = {Modeling Paradigm for Parallel Signal Processing}, author = {Ákos Lédeczi and Ted Bapty and Gabor Karsai and Janos Sztipanovits}, year = {1995}, tags = {modeling, process modeling}, researchr = {https://researchr.org/publication/LedecziBKS95}, cites = {0}, citedby = {0}, journal = {acj}, volume = {27}, number = {3}, pages = {92-102}, } @inproceedings{LevendovszkyKMLC02, title = {Model Reuse with Metamodel-Based Transformations}, author = {Tihamer Levendovszky and Gabor Karsai and Miklos Maroti and Ákos Lédeczi and Hassan Charaf}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2319/23190166.htm}, tags = {model-to-model transformation, rule-based, meta-model, reuse, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/LevendovszkyKMLC02}, cites = {0}, citedby = {0}, pages = {166-178}, booktitle = {icsr}, } @inproceedings{SprinkleLKN01, title = {The New Metamodeling Generation}, author = {Jonathan Sprinkle and Ákos Lédeczi and Gabor Karsai and Greg Nordstrom}, year = {2001}, url = {http://csdl.computer.org/comp/proceedings/ecbs/2001/1086/00/10860275abs.htm}, researchr = {https://researchr.org/publication/SprinkleLKN01}, cites = {0}, citedby = {0}, pages = {275}, booktitle = {ECBS}, } @inproceedings{SztipanovitsK01, title = {Embedded Software: Challenges and Opportunities}, author = {Janos Sztipanovits and Gabor Karsai}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2211/22110403.htm}, tags = {embedded software}, researchr = {https://researchr.org/publication/SztipanovitsK01}, cites = {0}, citedby = {0}, pages = {403-415}, booktitle = {emsoft}, } @article{LedecziBMVNSK01, title = {Composing Domain-Specific Design Environments}, author = {Ákos Lédeczi and Arpad Bakay and Miklós Maróti and Péter Völgyesi and Greg Nordstrom and Jonathan Sprinkle and Gabor Karsai}, year = {2001}, url = {http://www.computer.org/computer/co2001/ry044abs.htm}, tags = {meta-model, Meta-Environment, design}, researchr = {https://researchr.org/publication/LedecziBMVNSK01}, cites = {0}, citedby = {1}, journal = {Computer}, volume = {34}, number = {11}, pages = {44-51}, } @inproceedings{MisraSKMLL99, title = {Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges}, author = {Amit Misra and Janos Sztipanovits and Gabor Karsai and Michael Moore and Ákos Lédeczi and Earl Long}, year = {1999}, url = {http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280225abs.htm}, researchr = {https://researchr.org/publication/MisraSKMLL99}, cites = {0}, citedby = {0}, pages = {225-231}, booktitle = {ECBS}, } @inproceedings{Karsai99:0, title = {Structured Specification of Model Interpreters}, author = {Gabor Karsai}, year = {1999}, url = {http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280084abs.htm}, tags = {meta-model, interpreter, Meta-Environment}, researchr = {https://researchr.org/publication/Karsai99%3A0}, cites = {0}, citedby = {0}, pages = {84}, booktitle = {ECBS}, } @inproceedings{Karsai00, title = {Design Tool Integration: An Exercise in Semantic Interoperability}, author = {Gabor Karsai}, year = {2000}, url = {http://csdl.computer.org/comp/proceedings/ecbs/2000/0604/00/06040272abs.htm}, tags = {design}, researchr = {https://researchr.org/publication/Karsai00}, cites = {0}, citedby = {0}, pages = {272-278}, booktitle = {ECBS}, } @inproceedings{KavimandanNGK08, title = {Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-Time and Embedded Systems}, author = {Amogh Kavimandan and Anantha Narayanan and Aniruddha S. Gokhale and Gabor Karsai}, year = {2008}, doi = {10.1109/ISORC.2008.24}, url = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.24}, researchr = {https://researchr.org/publication/KavimandanNGK08}, cites = {0}, citedby = {0}, pages = {100-107}, booktitle = {isorc}, } @article{KarsaiNS08, title = {Model-driven architecture for embedded software: A synopsis and an example}, author = {Gabor Karsai and Sandeep Neema and David Sharp}, year = {2008}, doi = {10.1016/j.scico.2008.05.006}, url = {http://dx.doi.org/10.1016/j.scico.2008.05.006}, tags = {software architecture, embedded software, architecture}, researchr = {https://researchr.org/publication/KarsaiNS08}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {73}, number = {1}, pages = {26-38}, } @article{NarayananK06, title = {Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations}, author = {Anantha Narayanan and Gabor Karsai}, year = {2006}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/22}, tags = {graph transformation, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/NarayananK06}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {4}, } @article{KarsaiSLB03, title = {Model-integrated development of embedded software}, author = {Gabor Karsai and Janos Sztipanovits and Ákos Lédeczi and Ted Bapty}, year = {2003}, tags = {meta-model, embedded software, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/KarsaiSLB03}, cites = {0}, citedby = {0}, journal = {pieee}, volume = {91}, number = {1}, pages = {145-164}, } @inproceedings{NeemaKSVK05, title = {A Visually-Specified Code Generator for Simulink/Stateflow}, author = {Sandeep Neema and Zsolt Kalmar and Feng Shi and Attila Vizhanyo and Gabor Karsai}, year = {2005}, doi = {10.1109/VLHCC.2005.14}, url = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.14}, researchr = {https://researchr.org/publication/NeemaKSVK05}, cites = {0}, citedby = {0}, pages = {275-277}, booktitle = {vl}, } @article{KarsaiASS03, title = {On the Use of Graph Transformation in the Formal Specification of Model Interpreters}, author = {Gabor Karsai and Aditya Agrawal and Feng Shi and Jonathan Sprinkle}, year = {2003}, url = {http://www.jucs.org/jucs_9_11/on_the_use_of}, tags = {model-to-model transformation, graph transformation, meta-model, interpreter, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/KarsaiASS03}, cites = {0}, citedby = {0}, journal = {jucs}, volume = {9}, number = {11}, pages = {1296-1321}, } @inproceedings{KarsaiSFPD95, title = {Model-embedded on-line problem solving environment for chemical engineering}, author = {Gabor Karsai and Janos Sztipanovits and Hubertus Franke and Samir Padalkar and Frank DeCaria}, year = {1995}, url = {http://csdl.computer.org/comp/proceedings/iceccs/1995/7123/00/71230227abs.htm}, tags = {meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/KarsaiSFPD95}, cites = {0}, citedby = {0}, pages = {227-233}, booktitle = {ICECCS}, } @article{PadalkarKBSOM91, title = {Real-Time Fault Diagnostics}, author = {Samir Padalkar and Gabor Karsai and Csaba Biegl and Janos Sztipanovits and Koji Okuda and Nobuji Miyasaka}, year = {1991}, url = {http://csdl.computer.org/comp/mags/ex/1991/03/x3075abs.htm}, tags = {diagnostics}, researchr = {https://researchr.org/publication/PadalkarKBSOM91}, cites = {0}, citedby = {0}, journal = {expert}, volume = {6}, number = {3}, pages = {75-85}, } @article{KarsaiLN05, title = {Design patterns for open tool integration}, author = {Gabor Karsai and Andras Lang and Sandeep Neema}, year = {2005}, doi = {10.1007/s10270-004-0073-y}, url = {http://dx.doi.org/10.1007/s10270-004-0073-y}, tags = {source-to-source, design, open-source}, researchr = {https://researchr.org/publication/KarsaiLN05}, cites = {0}, citedby = {0}, journal = {SoSyM}, volume = {4}, number = {2}, pages = {157-170}, } @article{KarsaiT06, title = {Preface}, author = {Gabor Karsai and Gabriele Taentzer}, year = {2006}, doi = {10.1016/j.entcs.2006.01.010}, url = {http://dx.doi.org/10.1016/j.entcs.2006.01.010}, researchr = {https://researchr.org/publication/KarsaiT06}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {152}, pages = {1-2}, } @inproceedings{SztipanovitsKBBLM95, title = {MULTIGRAPH: an architecture for model-integrated computing}, author = {Janos Sztipanovits and Gabor Karsai and Csaba Biegl and Ted Bapty and Ákos Lédeczi and Amit Misra}, year = {1995}, url = {http://csdl.computer.org/comp/proceedings/iceccs/1995/7123/00/71230361abs.htm}, tags = {architecture}, researchr = {https://researchr.org/publication/SztipanovitsKBBLM95}, cites = {0}, citedby = {0}, pages = {361-368}, booktitle = {ICECCS}, } @inproceedings{Karsai04, title = {Automotive Software: A Challenge and Opportunity for Model-Based Software Development}, author = {Gabor Karsai}, year = {2004}, doi = {10.1007/11823063_8}, url = {http://dx.doi.org/10.1007/11823063_8}, tags = {rule-based, meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/Karsai04}, cites = {0}, citedby = {0}, pages = {103-115}, booktitle = {aswsd}, } @inproceedings{NordstromSKL99, title = {Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments}, author = {Greg Nordstrom and Janos Sztipanovits and Gabor Karsai and Ákos Lédeczi}, year = {1999}, url = {http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280068abs.htm}, tags = {modeling, Meta-Environment, design}, researchr = {https://researchr.org/publication/NordstromSKL99}, cites = {0}, citedby = {0}, pages = {68-74}, booktitle = {ECBS}, } @inproceedings{NeemaK04, title = {Software for Automotive Systems: Model-Integrated Computing}, author = {Sandeep Neema and Gabor Karsai}, year = {2004}, doi = {10.1007/11823063_9}, url = {http://dx.doi.org/10.1007/11823063_9}, researchr = {https://researchr.org/publication/NeemaK04}, cites = {0}, citedby = {0}, pages = {116-136}, booktitle = {aswsd}, } @article{SztipanovitsKB98, title = {Self-Adaptive Software for Signal Processing}, author = {Janos Sztipanovits and Gabor Karsai and Ted Bapty}, year = {1998}, researchr = {https://researchr.org/publication/SztipanovitsKB98}, cites = {0}, citedby = {0}, journal = {CACM}, volume = {41}, number = {5}, pages = {66-73}, } @inproceedings{KarsaiLSPSK01, title = {An Approach to Self-adaptive Software Based on Supervisory Control}, author = {Gabor Karsai and Ákos Lédeczi and Janos Sztipanovits and Gábor Péceli and Gyula Simon and Tamás Kovácsházy}, year = {2001}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2614&spage=24}, tags = {rule-based, systematic-approach}, researchr = {https://researchr.org/publication/KarsaiLSPSK01}, cites = {0}, citedby = {0}, pages = {24-38}, booktitle = {iwsas}, } @article{NarayananK08, title = {Towards Verifying Model Transformations}, author = {Anantha Narayanan and Gabor Karsai}, year = {2008}, doi = {10.1016/j.entcs.2008.04.041}, url = {http://dx.doi.org/10.1016/j.entcs.2008.04.041}, tags = {model-to-model transformation, meta-model, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/NarayananK08}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {211}, pages = {191-200}, } @inproceedings{PorterKVNHHTS08, title = {Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation}, author = {Joseph Porter and Gabor Karsai and Péter Völgyesi and Harmon Nine and Peter Humke and Graham Hemingway and Ryan Thibodeaux and Janos Sztipanovits}, year = {2008}, doi = {10.1007/978-3-642-01648-6_3}, url = {http://dx.doi.org/10.1007/978-3-642-01648-6_3}, tags = {control systems, design}, researchr = {https://researchr.org/publication/PorterKVNHHTS08}, cites = {0}, citedby = {0}, pages = {20-34}, booktitle = {MoDELS}, } @inproceedings{MadlAK04, title = {Automatic Verification of Component-Based Real-Time CORBA Applications}, author = {Gabor Madl and Sherif Abdelwahed and Gabor Karsai}, year = {2004}, url = {http://csdl.computer.org/comp/proceedings/rtss/2004/2247/00/22470231abs.htm}, tags = {rule-based}, researchr = {https://researchr.org/publication/MadlAK04}, cites = {0}, citedby = {0}, pages = {231-240}, booktitle = {rtss}, } @inproceedings{MisraSKML99, title = {Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing}, author = {Amit Misra and Janos Sztipanovits and Gabor Karsai and Michael Moore and Ákos Lédeczi}, year = {1999}, tags = {information models}, researchr = {https://researchr.org/publication/MisraSKML99}, cites = {0}, citedby = {0}, pages = {485-492}, booktitle = {ICEIS}, } @inproceedings{KarsaiT08, title = {Third international workshop on graph and model transformations}, author = {Gabor Karsai and Gabriele Taentzer}, year = {2008}, doi = {10.1145/1370175.1370244}, url = {http://doi.acm.org/10.1145/1370175.1370244}, tags = {model-to-model transformation, graph transformation, meta-model, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/KarsaiT08}, cites = {0}, citedby = {0}, pages = {1055-1056}, booktitle = {ICSE}, } @inproceedings{KarsaiBPNPSK01, title = {Fault-Adaptive Control: A CBS Application}, author = {Gabor Karsai and Gautam Biswas and Tal Pasternak and Sriram Narasimhan and Gábor Péceli and Gyula Simon and Tamás Kovácsházy}, year = {2001}, url = {http://csdl.computer.org/comp/proceedings/ecbs/2001/1086/00/10860205abs.htm}, researchr = {https://researchr.org/publication/KarsaiBPNPSK01}, cites = {0}, citedby = {0}, pages = {205}, booktitle = {ECBS}, } @article{BalasubramanianNBK06, title = {The Graph Rewriting and Transformation Language: GReAT}, author = {Daniel Balasubramanian and Anantha Narayanan and Christopher P. van Buskirk and Gabor Karsai}, year = {2006}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/89}, tags = {graph transformation, transformation language, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/BalasubramanianNBK06}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {1}, } @inproceedings{SzemethyKB06, title = {Model Transformations in the Model-Based Development of Real-time Systems}, author = {Tivadar Szemethy and Gabor Karsai and Daniel Balasubramanian}, year = {2006}, doi = {10.1109/ECBS.2006.47}, url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2006.47}, tags = {model-to-model transformation, rule-based, meta-model, model-driven development, source-to-source, transformation system, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/SzemethyKB06}, cites = {0}, citedby = {0}, pages = {177-186}, booktitle = {ECBS}, } @article{DubeyNKNBK07, title = {Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems}, author = {Abhishek Dubey and Steven Nordstrom and Turker Keskinpala and Sandeep Neema and Ted Bapty and Gabor Karsai}, year = {2007}, doi = {10.1007/s11334-006-0015-7}, url = {http://dx.doi.org/10.1007/s11334-006-0015-7}, researchr = {https://researchr.org/publication/DubeyNKNBK07}, cites = {0}, citedby = {0}, journal = {isse}, volume = {3}, number = {1}, pages = {33-52}, } @article{KarsaiSPB92, title = {Model-Based Intelligent Process Control for Cogenerator Plants}, author = {Gabor Karsai and Janos Sztipanovits and Samir Padalkar and Csaba Biegl}, year = {1992}, tags = {rule-based, process modeling}, researchr = {https://researchr.org/publication/KarsaiSPB92}, cites = {0}, citedby = {0}, journal = {jpdc}, volume = {15}, number = {2}, pages = {90-102}, } @article{SztipanovitsBFGHKKKS05, title = {Introducing embedded software and systems education and advanced learning technology in an engineering curriculum}, author = {Janos Sztipanovits and Gautam Biswas and Ken Frampton and Aniruddha S. Gokhale and Larry Howard and Gabor Karsai and Tak-John Koo and Xenofon D. Koutsoukos and Douglas C. Schmidt}, year = {2005}, doi = {10.1145/1086519.1086524}, url = {http://doi.acm.org/10.1145/1086519.1086524}, tags = {embedded software, software engineering, C++}, researchr = {https://researchr.org/publication/SztipanovitsBFGHKKKS05}, cites = {0}, citedby = {0}, journal = {tecs}, volume = {4}, number = {3}, pages = {549-568}, } @inproceedings{FrankeSK97, title = {Model-Integrated Programming}, author = {Hubertus Franke and Janos Sztipanovits and Gabor Karsai}, year = {1997}, url = {http://csdl.computer.org/comp/proceedings/hicss/1997/7734/01/7734010415abs.htm}, tags = {meta programming, meta-model, programming, Meta-Environment}, researchr = {https://researchr.org/publication/FrankeSK97}, cites = {0}, citedby = {0}, pages = {415-422}, booktitle = {hicss}, } @article{Karsai95, title = {A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming}, author = {Gabor Karsai}, year = {1995}, tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Karsai95}, cites = {0}, citedby = {0}, journal = {Computer}, volume = {28}, number = {3}, pages = {36-44}, } @inproceedings{SzekelyBFGHJKMNRSB06, title = {CSC: Criticality-Sensitive Coordination}, author = {Pedro A. Szekely and Marcel Becker and Stephen Fitzpatrick and Gergely Gati and David Hanak and Jing Jin and Gabor Karsai and Rajiv T. Maheswaran and Robert Neches and Craig Milo Rogers and Romeo Sanchez and Christopher P. van Buskirk}, year = {2006}, doi = {10.1145/1160633.1160905}, url = {http://doi.acm.org/10.1145/1160633.1160905}, researchr = {https://researchr.org/publication/SzekelyBFGHJKMNRSB06}, cites = {0}, citedby = {0}, pages = {1441-1442}, booktitle = {atal}, } @inproceedings{KarsaiMSLM97, title = {Model-integrated system development: models, architecture, and process}, author = {Gabor Karsai and Amit Misra and Janos Sztipanovits and Ákos Lédeczi and Michael Moore}, year = {1997}, url = {http://computer.org/proceedings/compsac/8105/81050176abs.htm}, tags = {meta-model, architecture, model-driven development, Meta-Environment, process modeling}, researchr = {https://researchr.org/publication/KarsaiMSLM97}, cites = {0}, citedby = {0}, pages = {176-181}, booktitle = {compsac}, } @article{AbbottBBKS93, title = {Model-Based Software Synthesis}, author = {Ben Abbott and Ted Bapty and Csaba Biegl and Gabor Karsai and Janos Sztipanovits}, year = {1993}, tags = {rule-based, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/AbbottBBKS93}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {10}, number = {3}, pages = {42-52}, } @article{BalasubramanianNNSTK07, title = {A Subgraph Operator for Graph Transformation Languages}, author = {Daniel Balasubramanian and Anantha Narayanan and Sandeep Neema and Feng Shi and Ryan Thibodeaux and Gabor Karsai}, year = {2007}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/72}, tags = {graph transformation, transformation language, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/BalasubramanianNNSTK07}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {6}, } @inproceedings{GrayK03, title = {An Examination of DSLs for Concisely Representing Model Traversals and Transformations}, author = {Jeffrey G. Gray and Gabor Karsai}, year = {2003}, url = {http://computer.org/proceedings/hicss/1874/track9/187490325aabs.htm}, tags = {model-to-model transformation, meta-model, traversal, source-to-source, model transformation, DSL, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/GrayK03}, cites = {0}, citedby = {0}, pages = {325}, booktitle = {hicss}, } @inproceedings{mensapplyingmodel, title = {Applying a Model Transformation Taxonomy to Graph Transformation Technology}, author = {Tom Mens and Pieter Van Gorp and Daniel Varró and Gabor Karsai}, tags = {model-to-model transformation, graph transformation, meta-model, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, taxonomy, transformation}, researchr = {https://researchr.org/publication/mensapplyingmodel}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the International Workshop on Graph and Model Transformation (GraMoT 2005)}, } @article{BalasubramanianGKSN06, title = {Developing Applications Using Model-Driven Design Environments}, author = {Krishnakumar Balasubramanian and Aniruddha S. Gokhale and Gabor Karsai and Janos Sztipanovits and Sandeep Neema}, year = {2006}, doi = {10.1109/MC.2006.54}, url = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.54}, tags = {Meta-Environment, design}, researchr = {https://researchr.org/publication/BalasubramanianGKSN06}, cites = {0}, citedby = {0}, journal = {Computer}, volume = {39}, number = {2}, pages = {33-40}, } @article{KarsaiNLS00, title = {Towards Two-Level Formal Modeling of Computer-Based Systems}, author = {Gabor Karsai and Greg Nordstrom and Ákos Lédeczi and Janos Sztipanovits}, year = {2000}, url = {http://www.jucs.org/jucs_6_11/towards_two_level_formal}, tags = {rule-based, modeling}, researchr = {https://researchr.org/publication/KarsaiNLS00}, cites = {0}, citedby = {0}, journal = {jucs}, volume = {6}, number = {11}, pages = {1131-1144}, } @article{NarayananK08:0, title = {Verifying Model Transformations by Structural Correspondence}, author = {Anantha Narayanan and Gabor Karsai}, year = {2008}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/157}, tags = {model-to-model transformation, meta-model, source-to-source, model transformation, peer-to-peer, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/NarayananK08%3A0}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {10}, } @inproceedings{KarsaiA03, title = {Graph Transformations in OMG s Model-Driven Architecture: (Invited Talk)}, author = {Gabor Karsai and Aditya Agrawal}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3062&spage=243}, tags = {model-to-model transformation, graph transformation, meta-model, architecture, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/KarsaiA03}, cites = {0}, citedby = {0}, pages = {243-259}, booktitle = {agtive}, } @inproceedings{KarsaiS08, title = {Model-Integrated Development of Cyber-Physical Systems}, author = {Gabor Karsai and Janos Sztipanovits}, year = {2008}, doi = {10.1007/978-3-540-87785-1_5}, url = {http://dx.doi.org/10.1007/978-3-540-87785-1_5}, tags = {meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/KarsaiS08}, cites = {0}, citedby = {0}, pages = {46-54}, booktitle = {seus}, } @article{SzemethyK06, title = {PML: a Transformation Language for Platform Modeling}, author = {Tivadar Szemethy and Gabor Karsai}, year = {2006}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/19}, tags = {model-to-model transformation, meta-model, modeling language, modeling, transformation language, language modeling, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/SzemethyK06}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {4}, } @article{MensGVK06, title = {Applying a Model Transformation Taxonomy to Graph Transformation Technology}, author = {Tom Mens and Pieter Van Gorp and Dániel Varró and Gabor Karsai}, year = {2006}, doi = {10.1016/j.entcs.2005.10.022}, url = {http://dx.doi.org/10.1016/j.entcs.2005.10.022}, tags = {model-to-model transformation, graph transformation, meta-model, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, taxonomy, transformation}, researchr = {https://researchr.org/publication/MensGVK06}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {152}, pages = {143-159}, } @inproceedings{KarsaiN06, title = {Towards Verification of Model Transformations Via Goal-Directed Certification}, author = {Gabor Karsai and Anantha Narayanan}, year = {2006}, doi = {10.1007/978-3-540-70930-5_5}, url = {http://dx.doi.org/10.1007/978-3-540-70930-5_5}, tags = {model-to-model transformation, meta-model, source-to-source, certification, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/KarsaiN06}, cites = {0}, citedby = {0}, pages = {67-83}, booktitle = {aswsd}, } @inproceedings{GrayFCKMT08, title = {DSLs: the good, the bad, and the ugly}, author = {Jeffrey G. Gray and Kathleen Fisher and Charles Consel and Gabor Karsai and Marjan Mernik and Juha-Pekka Tolvanen}, year = {2008}, doi = {10.1145/1449814.1449863}, url = {http://doi.acm.org/10.1145/1449814.1449863}, tags = {DSL}, researchr = {https://researchr.org/publication/GrayFCKMT08}, cites = {0}, citedby = {0}, pages = {791-794}, booktitle = {OOPSLA}, } @article{AgrawalKNSV06, title = {The design of a language for model transformations}, author = {Aditya Agrawal and Gabor Karsai and Sandeep Neema and Feng Shi and Attila Vizhanyo}, year = {2006}, doi = {10.1007/s10270-006-0027-7}, url = {http://dx.doi.org/10.1007/s10270-006-0027-7}, tags = {model-to-model transformation, meta-model, modeling language, transformation language, language modeling, language design, source-to-source, model transformation, Meta-Environment, design, transformation}, researchr = {https://researchr.org/publication/AgrawalKNSV06}, cites = {0}, citedby = {0}, journal = {SoSyM}, volume = {5}, number = {3}, pages = {261-288}, } @article{KarsaiT06:0, title = {Preface to GraMoT 2006 Workshop Proceedings}, author = {Gabor Karsai and Gabriele Taentzer}, year = {2006}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/24/2}, researchr = {https://researchr.org/publication/KarsaiT06%3A0}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {4}, } @inproceedings{AgrawalKL03, title = {An end-to-end domain-driven software development framework}, author = {Aditya Agrawal and Gabor Karsai and Ákos Lédeczi}, year = {2003}, doi = {10.1145/949344.949347}, url = {http://doi.acm.org/10.1145/949344.949347}, tags = {meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/AgrawalKL03}, cites = {0}, citedby = {0}, pages = {8-15}, booktitle = {OOPSLA}, } @inproceedings{Narayanan:MoDELS:2009, title = {Automatic Domain Model Migration to Manage Metamodel Evolution}, author = {Anantha Narayanan and Tihamer Levendovszky and Daniel Balasubramanian and Gabor Karsai}, year = {2009}, doi = {10.1007/978-3-642-04425-0_57}, url = {http://www.springerlink.com/content/hw76t36127825761/}, tags = {programming languages, meta programming, meta-model, modeling language, modeling, language modeling, model-driven development, software evolution, migration, programming, Meta-Environment, domain-specific language}, researchr = {https://researchr.org/publication/Narayanan%3AMoDELS%3A2009}, cites = {0}, citedby = {1}, booktitle = {Model Driven Engineering Languages and Systems}, } @inproceedings{ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09, title = {Software Engineering for Self-Adaptive Systems: A Research Roadmap}, author = {Betty H. C. Cheng and Rogério de Lemos and Holger Giese and Paola Inverardi and Jeff Magee and Jesper Andersson and Basil Becker and Nelly Bencomo and Yuriy Brun and Bojan Cukic and Giovanna Di Marzo Serugendo and Schahram Dustdar and Anthony Finkelstein and Cristina Gacek and Kurt Geihs and Vincenzo Grassi and Gabor Karsai and Holger M. Kienle and Jeff Kramer and Marin Litoiu and Sam Malek and Raffaela Mirandola and Hausi A. Müller and Sooyong Park and Mary Shaw and Matthias Tichy and Massimo Tivoli and Danny Weyns and Jon Whittle}, year = {2009}, doi = {10.1007/978-3-642-02161-9_1}, url = {http://dx.doi.org/10.1007/978-3-642-02161-9_1}, tags = {software engineering, C++}, researchr = {https://researchr.org/publication/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09}, cites = {0}, citedby = {0}, pages = {1-26}, booktitle = {Dagstuhl}, } @inproceedings{SztipanovitsK02:0, title = {Generative programming for embedded systems}, author = {Janos Sztipanovits and Gabor Karsai}, year = {2002}, doi = {10.1145/571157.571175}, url = {http://doi.acm.org/10.1145/571157.571175}, tags = {generative programming, programming}, researchr = {https://researchr.org/publication/SztipanovitsK02%3A0}, cites = {0}, citedby = {0}, pages = {180}, booktitle = {ppdp}, } @inproceedings{MisraKSLML97, title = {A model-integrated information system for increasing throughput in discrete manufacturing}, author = {Amit Misra and Gabor Karsai and Janos Sztipanovits and Ákos Lédeczi and Michael Moore and Earl Long}, year = {1997}, url = {http://csdl.computer.org/comp/proceedings/ecbs/1997/7889/00/78890203abs.htm}, tags = {information models}, researchr = {https://researchr.org/publication/MisraKSLML97}, cites = {0}, citedby = {0}, pages = {203-210}, booktitle = {ECBS}, } @article{SzemethyK04, title = {Platform Modeling and Model Transformations for Analysis}, author = {Tivadar Szemethy and Gabor Karsai}, year = {2004}, url = {http://www.jucs.org/jucs_10_10/platform_modeling_and_model}, tags = {model-to-model transformation, meta-model, modeling, points-to analysis, analysis, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/SzemethyK04}, cites = {0}, citedby = {0}, journal = {jucs}, volume = {10}, number = {10}, pages = {1383-1407}, } @inproceedings{GieseKLRS07a, title = {07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems}, author = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1271}, tags = {rule-based, meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/GieseKLRS07a}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @inproceedings{KandasamyHBNK04, title = {Synthesis of robust task schedules for minimum disruption repair}, author = {Nagarajan Kandasamy and David Hanak and Christopher P. van Buskirk and Himanshu Neema and Gabor Karsai}, year = {2004}, doi = {10.1109/ICSMC.2004.1400995}, url = {http://dx.doi.org/10.1109/ICSMC.2004.1400995}, researchr = {https://researchr.org/publication/KandasamyHBNK04}, cites = {0}, citedby = {0}, pages = {5056-5061}, booktitle = {SMC}, } @inproceedings{SztipanovitsK02, title = {Generative Programming for Embedded Systems}, author = {Janos Sztipanovits and Gabor Karsai}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2487/24870032.htm}, tags = {generative programming, programming}, researchr = {https://researchr.org/publication/SztipanovitsK02}, cites = {0}, citedby = {0}, pages = {32-49}, booktitle = {GPCE}, } @proceedings{gpce:2004, title = {Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings}, year = {2004}, tags = {generative programming, programming}, researchr = {https://researchr.org/publication/gpce%3A2004}, cites = {0}, citedby = {0}, booktitle = {Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings}, conference = {GPCE}, editor = {Gabor Karsai and Eelco Visser}, volume = {3286}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-23580-9}, } @proceedings{dagstuhl:2007P7451, title = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, year = {2007}, tags = {rule-based, meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/dagstuhl%3A2007P7451}, cites = {0}, citedby = {0}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, conference = {Dagstuhl}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz}, volume = {07451}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, }