publications: - title: "Improving the Usability of a Graph Transformation Language" author: - name: "Attila Vizhanyo" link: "https://researchr.org/alias/attila-vizhanyo" - name: "Sandeep Neema" link: "https://researchr.org/alias/sandeep-neema" - name: "Feng Shi" link: "https://researchr.org/alias/feng-shi" - name: "Daniel Balasubramanian" link: "https://researchr.org/alias/daniel-balasubramanian" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2005.10.026" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "152" pages: "207-222" kind: "article" key: "VizhanyoNSBK06" - title: "Model-Integrated Computing" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "1997" tags: - "meta-model" - "Meta-Environment" researchr: "https://researchr.org/publication/SztipanovitsK97" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "30" number: "4" pages: "110-111" kind: "article" key: "SztipanovitsK97" - title: "A domain-specific visual language for domain model evolution" author: - name: "Jonathan Sprinkle" link: "https://researchr.org/alias/jonathan-sprinkle" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2004" doi: "http://dx.doi.org/10.1016/j.jvlc.2004.01.006" abstract: "Domain-specific visual languages (DSVLs) are concise and useful tools that allow the rapid development of the behavior and/or structure of applications in well-defined domains. These languages are typically developed specifically for a domain, and have a strong cohesion to the domain concepts, which often appear as primitives in the language. The strong cohesion between DSVL language primitives and the domain is a benefit for development by domain experts, but can be a drawback when the domain evolves—even when that evolution appears to be insignificant. This paper presents a domain-specific visual language developed expressly for the evolution of domain-specific visual languages, and uses concepts from graph rewriting to specify and carry out the transformation of the models built using the original DSVL." links: doi: "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: "Journal of Computer Languages" volume: "15" number: "3-4" pages: "291-307" kind: "article" key: "SprinkleK04" - title: "Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations" author: - name: "Aditya Agrawal" link: "https://researchr.org/alias/aditya-agrawal" - name: "Gyula Simon" link: "https://researchr.org/alias/gyula-simon" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.055" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "109" pages: "43-56" kind: "article" key: "AgrawalSK04" - title: "Metaprogrammable Toolkit for Model-Integrated Computing" author: - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Miklos Maroti" link: "https://researchr.org/alias/miklos-maroti" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Greg Nordstrom" link: "https://researchr.org/alias/greg-nordstrom" year: "1999" doi: "http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280311abs.htm" links: doi: "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: "6th Symposium on Engineering of Computer-Based Systems (ECBS 99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999" publisher: "IEEE Computer Society" isbn: "0-7695-0028-5" kind: "inproceedings" key: "LedecziMKN99" - title: "On the Correctness of Model Transformations in the Development of Embedded Systems" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Anantha Narayanan" link: "https://researchr.org/alias/anantha-narayanan" year: "2006" doi: "http://dx.doi.org/10.1007/978-3-540-77419-8_1" links: doi: "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: "Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers" editor: - name: "Fabrice Kordon" link: "https://researchr.org/alias/fabrice-kordon" - name: "Oleg Sokolsky" link: "https://researchr.org/alias/oleg-sokolsky" volume: "4888" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-77418-1" kind: "inproceedings" key: "KarsaiN06:0" - title: "07451 Summary - Model-Based Engineering of Embedded Real-Time Systems" author: - name: "Holger Giese" link: "https://researchr.org/alias/holger-giese" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Edward Lee" link: "https://researchr.org/alias/edward-lee" - name: "Bernhard Rumpe" link: "http://www.se-rwth.de/~rumpe/" - name: "Bernhard Schätz" link: "http://" year: "2007" doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1272" links: doi: "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: "Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007" editor: - name: "Holger Giese" link: "https://researchr.org/alias/holger-giese" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Edward Lee" link: "https://researchr.org/alias/edward-lee" - name: "Bernhard Rumpe" link: "http://www.se-rwth.de/~rumpe/" - name: "Bernhard Schätz" link: "http://" volume: "07451" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "GieseKLRS07" - title: "Modeling Paradigm for Parallel Signal Processing" author: - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Ted Bapty" link: "https://researchr.org/alias/ted-bapty" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" year: "1995" tags: - "modeling" - "process modeling" researchr: "https://researchr.org/publication/LedecziBKS95" cites: 0 citedby: 0 journal: "Australian Computer Journal" volume: "27" number: "3" pages: "92-102" kind: "article" key: "LedecziBKS95" - title: "Model Reuse with Metamodel-Based Transformations" author: - name: "Tihamer Levendovszky" link: "https://researchr.org/alias/tihamer-levendovszky" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Miklos Maroti" link: "https://researchr.org/alias/miklos-maroti" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Hassan Charaf" link: "https://researchr.org/alias/hassan-charaf" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2319/23190166.htm" links: doi: "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: "Software Reuse: Methods, Techniques, and Tools, 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002, Proceedings" editor: - name: "Cristina Gacek" link: "https://researchr.org/alias/cristina-gacek" volume: "2319" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43483-6" kind: "inproceedings" key: "LevendovszkyKMLC02" - title: "The New Metamodeling Generation" author: - name: "Jonathan Sprinkle" link: "https://researchr.org/alias/jonathan-sprinkle" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Greg Nordstrom" link: "https://researchr.org/alias/greg-nordstrom" year: "2001" doi: "http://csdl.computer.org/comp/proceedings/ecbs/2001/1086/00/10860275abs.htm" links: doi: "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: "8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA" publisher: "IEEE Computer Society" isbn: "0-7695-1086-8" kind: "inproceedings" key: "SprinkleLKN01" - title: "Embedded Software: Challenges and Opportunities" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2211/22110403.htm" links: doi: "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: "Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings" editor: - name: "Thomas A. Henzinger" link: "https://researchr.org/alias/thomas-a.-henzinger" - name: "Christoph M. Kirsch" link: "https://researchr.org/alias/christoph-m.-kirsch" volume: "2211" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-42673-6" kind: "inproceedings" key: "SztipanovitsK01" - title: "Composing Domain-Specific Design Environments" author: - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Arpad Bakay" link: "https://researchr.org/alias/arpad-bakay" - name: "Miklós Maróti" link: "https://researchr.org/alias/mikl%C3%B3s-mar%C3%B3ti" - name: "Péter Völgyesi" link: "https://researchr.org/alias/p%C3%A9ter-v%C3%B6lgyesi" - name: "Greg Nordstrom" link: "https://researchr.org/alias/greg-nordstrom" - name: "Jonathan Sprinkle" link: "https://researchr.org/alias/jonathan-sprinkle" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2001" doi: "http://www.computer.org/computer/co2001/ry044abs.htm" links: doi: "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: "IEEE Computer" volume: "34" number: "11" pages: "44-51" kind: "article" key: "LedecziBMVNSK01" - title: "Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges" author: - name: "Amit Misra" link: "https://researchr.org/alias/amit-misra" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Michael Moore" link: "https://researchr.org/alias/michael-moore" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Earl Long" link: "https://researchr.org/alias/earl-long" year: "1999" doi: "http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280225abs.htm" links: doi: "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: "6th Symposium on Engineering of Computer-Based Systems (ECBS 99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999" publisher: "IEEE Computer Society" isbn: "0-7695-0028-5" kind: "inproceedings" key: "MisraSKMLL99" - title: "Structured Specification of Model Interpreters" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "1999" doi: "http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280084abs.htm" links: doi: "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: "6th Symposium on Engineering of Computer-Based Systems (ECBS 99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999" publisher: "IEEE Computer Society" isbn: "0-7695-0028-5" kind: "inproceedings" key: "Karsai99:0" - title: "Design Tool Integration: An Exercise in Semantic Interoperability" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2000" doi: "http://csdl.computer.org/comp/proceedings/ecbs/2000/0604/00/06040272abs.htm" links: doi: "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: "7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK" publisher: "IEEE Computer Society" isbn: "0-7695-0604-6" kind: "inproceedings" key: "Karsai00" - title: "Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-Time and Embedded Systems" author: - name: "Amogh Kavimandan" link: "https://researchr.org/alias/amogh-kavimandan" - name: "Anantha Narayanan" link: "https://researchr.org/alias/anantha-narayanan" - name: "Aniruddha S. Gokhale" link: "https://researchr.org/alias/aniruddha-s.-gokhale" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2008" doi: "http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.24" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.24" researchr: "https://researchr.org/publication/KavimandanNGK08" cites: 0 citedby: 0 pages: "100-107" booktitle: "11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "KavimandanNGK08" - title: "Model-driven architecture for embedded software: A synopsis and an example" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Sandeep Neema" link: "https://researchr.org/alias/sandeep-neema" - name: "David Sharp" link: "https://researchr.org/alias/david-sharp" year: "2008" doi: "http://dx.doi.org/10.1016/j.scico.2008.05.006" links: doi: "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: "Science of Computer Programming" volume: "73" number: "1" pages: "26-38" kind: "article" key: "KarsaiNS08" - title: "Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations" author: - name: "Anantha Narayanan" link: "https://researchr.org/alias/anantha-narayanan" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2006" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/22" links: doi: "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" kind: "article" key: "NarayananK06" - title: "Model-integrated development of embedded software" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Ted Bapty" link: "https://researchr.org/alias/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: "Proceedings of the IEEE" volume: "91" number: "1" pages: "145-164" kind: "article" key: "KarsaiSLB03" - title: "A Visually-Specified Code Generator for Simulink/Stateflow" author: - name: "Sandeep Neema" link: "https://researchr.org/alias/sandeep-neema" - name: "Zsolt Kalmar" link: "https://researchr.org/alias/zsolt-kalmar" - name: "Feng Shi" link: "https://researchr.org/alias/feng-shi" - name: "Attila Vizhanyo" link: "https://researchr.org/alias/attila-vizhanyo" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2005" doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.14" links: doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.14" researchr: "https://researchr.org/publication/NeemaKSVK05" cites: 0 citedby: 0 pages: "275-277" booktitle: "2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA" publisher: "IEEE Computer Society" isbn: "0-7695-2443-5" kind: "inproceedings" key: "NeemaKSVK05" - title: "On the Use of Graph Transformation in the Formal Specification of Model Interpreters" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Aditya Agrawal" link: "https://researchr.org/alias/aditya-agrawal" - name: "Feng Shi" link: "https://researchr.org/alias/feng-shi" - name: "Jonathan Sprinkle" link: "https://researchr.org/alias/jonathan-sprinkle" year: "2003" doi: "http://www.jucs.org/jucs_9_11/on_the_use_of" links: doi: "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: "J. UCS" volume: "9" number: "11" pages: "1296-1321" kind: "article" key: "KarsaiASS03" - title: "Model-embedded on-line problem solving environment for chemical engineering" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Hubertus Franke" link: "https://researchr.org/alias/hubertus-franke" - name: "Samir Padalkar" link: "https://researchr.org/alias/samir-padalkar" - name: "Frank DeCaria" link: "https://researchr.org/alias/frank-decaria" year: "1995" doi: "http://csdl.computer.org/comp/proceedings/iceccs/1995/7123/00/71230227abs.htm" links: doi: "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: "1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "KarsaiSFPD95" - title: "Real-Time Fault Diagnostics" author: - name: "Samir Padalkar" link: "https://researchr.org/alias/samir-padalkar" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Csaba Biegl" link: "https://researchr.org/alias/csaba-biegl" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Koji Okuda" link: "https://researchr.org/alias/koji-okuda" - name: "Nobuji Miyasaka" link: "https://researchr.org/alias/nobuji-miyasaka" year: "1991" doi: "http://csdl.computer.org/comp/mags/ex/1991/03/x3075abs.htm" links: doi: "http://csdl.computer.org/comp/mags/ex/1991/03/x3075abs.htm" tags: - "diagnostics" researchr: "https://researchr.org/publication/PadalkarKBSOM91" cites: 0 citedby: 0 journal: "IEEE Intelligent Systems" volume: "6" number: "3" pages: "75-85" kind: "article" key: "PadalkarKBSOM91" - title: "Design patterns for open tool integration" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Andras Lang" link: "https://researchr.org/alias/andras-lang" - name: "Sandeep Neema" link: "https://researchr.org/alias/sandeep-neema" year: "2005" doi: "http://dx.doi.org/10.1007/s10270-004-0073-y" links: doi: "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: "Software and Systems Modeling" volume: "4" number: "2" pages: "157-170" kind: "article" key: "KarsaiLN05" - title: "Preface" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2006.01.010" links: doi: "http://dx.doi.org/10.1016/j.entcs.2006.01.010" researchr: "https://researchr.org/publication/KarsaiT06" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "152" pages: "1-2" kind: "article" key: "KarsaiT06" - title: "MULTIGRAPH: an architecture for model-integrated computing" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Csaba Biegl" link: "https://researchr.org/alias/csaba-biegl" - name: "Ted Bapty" link: "https://researchr.org/alias/ted-bapty" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Amit Misra" link: "https://researchr.org/alias/amit-misra" year: "1995" doi: "http://csdl.computer.org/comp/proceedings/iceccs/1995/7123/00/71230361abs.htm" links: doi: "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: "1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "SztipanovitsKBBLM95" - title: "Automotive Software: A Challenge and Opportunity for Model-Based Software Development" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2004" doi: "http://dx.doi.org/10.1007/11823063_8" links: doi: "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: "Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers" editor: - name: "Manfred Broy" link: "https://researchr.org/alias/manfred-broy" - name: "Ingolf H. Krüger" link: "https://researchr.org/alias/ingolf-h.-kr%C3%BCger" - name: "Michael Meisinger" link: "https://researchr.org/alias/michael-meisinger" volume: "4147" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37677-1" kind: "inproceedings" key: "Karsai04" - title: "Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments" author: - name: "Greg Nordstrom" link: "https://researchr.org/alias/greg-nordstrom" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" year: "1999" doi: "http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280068abs.htm" links: doi: "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: "6th Symposium on Engineering of Computer-Based Systems (ECBS 99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999" publisher: "IEEE Computer Society" isbn: "0-7695-0028-5" kind: "inproceedings" key: "NordstromSKL99" - title: "Software for Automotive Systems: Model-Integrated Computing" author: - name: "Sandeep Neema" link: "https://researchr.org/alias/sandeep-neema" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2004" doi: "http://dx.doi.org/10.1007/11823063_9" links: doi: "http://dx.doi.org/10.1007/11823063_9" researchr: "https://researchr.org/publication/NeemaK04" cites: 0 citedby: 0 pages: "116-136" booktitle: "Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers" editor: - name: "Manfred Broy" link: "https://researchr.org/alias/manfred-broy" - name: "Ingolf H. Krüger" link: "https://researchr.org/alias/ingolf-h.-kr%C3%BCger" - name: "Michael Meisinger" link: "https://researchr.org/alias/michael-meisinger" volume: "4147" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37677-1" kind: "inproceedings" key: "NeemaK04" - title: "Self-Adaptive Software for Signal Processing" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Ted Bapty" link: "https://researchr.org/alias/ted-bapty" year: "1998" researchr: "https://researchr.org/publication/SztipanovitsKB98" cites: 0 citedby: 0 journal: "Communications of the ACM" volume: "41" number: "5" pages: "66-73" kind: "article" key: "SztipanovitsKB98" - title: "An Approach to Self-adaptive Software Based on Supervisory Control" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gábor Péceli" link: "https://researchr.org/alias/g%C3%A1bor-p%C3%A9celi" - name: "Gyula Simon" link: "https://researchr.org/alias/gyula-simon" - name: "Tamás Kovácsházy" link: "https://researchr.org/alias/tam%C3%A1s-kov%C3%A1csh%C3%A1zy" year: "2001" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2614&spage=24" links: doi: "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: "Self-Adaptive Software, Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 Revised Papers" editor: - name: "Robert Laddaga" link: "https://researchr.org/alias/robert-laddaga" - name: "Paul Robertson" link: "https://researchr.org/alias/paul-robertson" - name: "Howard E. Shrobe" link: "https://researchr.org/alias/howard-e.-shrobe" volume: "2614" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00731-8" kind: "inproceedings" key: "KarsaiLSPSK01" - title: "Towards Verifying Model Transformations" author: - name: "Anantha Narayanan" link: "https://researchr.org/alias/anantha-narayanan" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2008" doi: "http://dx.doi.org/10.1016/j.entcs.2008.04.041" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "211" pages: "191-200" kind: "article" key: "NarayananK08" - title: "Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation" author: - name: "Joseph Porter" link: "https://researchr.org/alias/joseph-porter" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Péter Völgyesi" link: "https://researchr.org/alias/p%C3%A9ter-v%C3%B6lgyesi" - name: "Harmon Nine" link: "https://researchr.org/alias/harmon-nine" - name: "Peter Humke" link: "https://researchr.org/alias/peter-humke" - name: "Graham Hemingway" link: "https://researchr.org/alias/graham-hemingway" - name: "Ryan Thibodeaux" link: "https://researchr.org/alias/ryan-thibodeaux" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_3" links: doi: "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 in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers" editor: - name: "Michel R. V. Chaudron" link: "http://www.win.tue.nl/~mchaudro/" volume: "5421" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-01647-9" kind: "inproceedings" key: "PorterKVNHHTS08" - title: "Automatic Verification of Component-Based Real-Time CORBA Applications" author: - name: "Gabor Madl" link: "https://researchr.org/alias/gabor-madl" - name: "Sherif Abdelwahed" link: "https://researchr.org/alias/sherif-abdelwahed" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2004" doi: "http://csdl.computer.org/comp/proceedings/rtss/2004/2247/00/22470231abs.htm" links: doi: "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: "Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal" publisher: "IEEE Computer Society" isbn: "0-7695-2247-5" kind: "inproceedings" key: "MadlAK04" - title: "Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing" author: - name: "Amit Misra" link: "https://researchr.org/alias/amit-misra" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Michael Moore" link: "https://researchr.org/alias/michael-moore" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" year: "1999" tags: - "information models" researchr: "https://researchr.org/publication/MisraSKML99" cites: 0 citedby: 0 pages: "485-492" booktitle: "ICEIS" kind: "inproceedings" key: "MisraSKML99" - title: "Third international workshop on graph and model transformations" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" year: "2008" doi: "http://doi.acm.org/10.1145/1370175.1370244" links: doi: "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: "30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume" editor: - name: "Wilhelm Sch{\\\"a}fer" link: "https://researchr.org/alias/wilhelm-sch%7B%5Eb%22a%7Dfer" - name: "Matthew B. Dwyer" link: "https://researchr.org/alias/matthew-b.-dwyer" - name: "Volker Gruhn" link: "https://researchr.org/alias/volker-gruhn" address: "Leipzig, Germany" publisher: "ACM" isbn: "978-1-60558-079-1" kind: "inproceedings" key: "KarsaiT08" - title: "Fault-Adaptive Control: A CBS Application" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Gautam Biswas" link: "https://researchr.org/alias/gautam-biswas" - name: "Tal Pasternak" link: "https://researchr.org/alias/tal-pasternak" - name: "Sriram Narasimhan" link: "https://researchr.org/alias/sriram-narasimhan" - name: "Gábor Péceli" link: "https://researchr.org/alias/g%C3%A1bor-p%C3%A9celi" - name: "Gyula Simon" link: "https://researchr.org/alias/gyula-simon" - name: "Tamás Kovácsházy" link: "https://researchr.org/alias/tam%C3%A1s-kov%C3%A1csh%C3%A1zy" year: "2001" doi: "http://csdl.computer.org/comp/proceedings/ecbs/2001/1086/00/10860205abs.htm" links: doi: "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: "8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA" publisher: "IEEE Computer Society" isbn: "0-7695-1086-8" kind: "inproceedings" key: "KarsaiBPNPSK01" - title: "The Graph Rewriting and Transformation Language: GReAT" author: - name: "Daniel Balasubramanian" link: "Daniel Balasubramanian" - name: "Anantha Narayanan" link: "http://www.linkedin.com/pub/anantha-narayanan/7/477/a88" - name: "Christopher P. van Buskirk" link: "http://www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2006" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/89" links: doi: "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" kind: "article" key: "BalasubramanianNBK06" - title: "Model Transformations in the Model-Based Development of Real-time Systems" author: - name: "Tivadar Szemethy" link: "https://researchr.org/alias/tivadar-szemethy" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Daniel Balasubramanian" link: "https://researchr.org/alias/daniel-balasubramanian" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/ECBS.2006.47" links: doi: "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: "13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany" publisher: "IEEE Computer Society" isbn: "0-7695-2546-6" kind: "inproceedings" key: "SzemethyKB06" - title: "Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems" author: - name: "Abhishek Dubey" link: "http://w3.isis.vanderbilt.edu/dabhishe/" - name: "Steven Nordstrom" link: "https://researchr.org/alias/steven-nordstrom" - name: "Turker Keskinpala" link: "https://researchr.org/alias/turker-keskinpala" - name: "Sandeep Neema" link: "https://researchr.org/alias/sandeep-neema" - name: "Ted Bapty" link: "https://researchr.org/alias/ted-bapty" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2007" doi: "http://dx.doi.org/10.1007/s11334-006-0015-7" links: doi: "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" kind: "article" key: "DubeyNKNBK07" - title: "Model-Based Intelligent Process Control for Cogenerator Plants" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Samir Padalkar" link: "https://researchr.org/alias/samir-padalkar" - name: "Csaba Biegl" link: "https://researchr.org/alias/csaba-biegl" year: "1992" tags: - "rule-based" - "process modeling" researchr: "https://researchr.org/publication/KarsaiSPB92" cites: 0 citedby: 0 journal: "J. Parallel Distrib. Comput." volume: "15" number: "2" pages: "90-102" kind: "article" key: "KarsaiSPB92" - title: "Introducing embedded software and systems education and advanced learning technology in an engineering curriculum" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gautam Biswas" link: "https://researchr.org/alias/gautam-biswas" - name: "Ken Frampton" link: "https://researchr.org/alias/ken-frampton" - name: "Aniruddha S. Gokhale" link: "https://researchr.org/alias/aniruddha-s.-gokhale" - name: "Larry Howard" link: "https://researchr.org/alias/larry-howard" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Tak-John Koo" link: "https://researchr.org/alias/tak-john-koo" - name: "Xenofon D. Koutsoukos" link: "https://researchr.org/alias/xenofon-d.-koutsoukos" - name: "Douglas C. Schmidt" link: "https://researchr.org/alias/douglas-c.-schmidt" year: "2005" doi: "http://doi.acm.org/10.1145/1086519.1086524" links: doi: "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: "ACM Trans. Embedded Comput. Syst." volume: "4" number: "3" pages: "549-568" kind: "article" key: "SztipanovitsBFGHKKKS05" - title: "Model-Integrated Programming" author: - name: "Hubertus Franke" link: "https://researchr.org/alias/hubertus-franke" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "1997" doi: "http://csdl.computer.org/comp/proceedings/hicss/1997/7734/01/7734010415abs.htm" links: doi: "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 (3)" kind: "inproceedings" key: "FrankeSK97" - title: "A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "1995" tags: - "meta programming" - "meta-model" - "programming" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/Karsai95" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "28" number: "3" pages: "36-44" kind: "article" key: "Karsai95" - title: "CSC: Criticality-Sensitive Coordination" author: - name: "Pedro A. Szekely" link: "https://researchr.org/alias/pedro-a.-szekely" - name: "Marcel Becker" link: "https://researchr.org/alias/marcel-becker" - name: "Stephen Fitzpatrick" link: "https://researchr.org/alias/stephen-fitzpatrick" - name: "Gergely Gati" link: "http://rebelwithoutamouse.blogspot.com/" - name: "David Hanak" link: "http://www.cs.bme.hu/~dhanak/index_en.html" - name: "Jing Jin" link: "https://researchr.org/alias/jing-jin" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Rajiv T. Maheswaran" link: "https://researchr.org/alias/rajiv-t.-maheswaran" - name: "Robert Neches" link: "https://researchr.org/alias/robert-neches" - name: "Craig Milo Rogers" link: "http://www.isi.edu/people/rogers/" - name: "Romeo Sanchez" link: "https://researchr.org/alias/romeo-sanchez" - name: "Christopher P. van Buskirk" link: "http://www.isis.vanderbilt.edu" year: "2006" doi: "http://doi.acm.org/10.1145/1160633.1160905" links: doi: "http://doi.acm.org/10.1145/1160633.1160905" researchr: "https://researchr.org/publication/SzekelyBFGHJKMNRSB06" cites: 0 citedby: 0 pages: "1441-1442" booktitle: "5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006" editor: - name: "Hideyuki Nakashima" link: "https://researchr.org/alias/hideyuki-nakashima" - name: "Michael P. Wellman" link: "https://researchr.org/alias/michael-p.-wellman" - name: "Gerhard Weiss" link: "https://researchr.org/alias/gerhard-weiss" - name: "Peter Stone" link: "https://researchr.org/alias/peter-stone" publisher: "ACM" isbn: "1-59593-303-4" kind: "inproceedings" key: "SzekelyBFGHJKMNRSB06" - title: "Model-integrated system development: models, architecture, and process" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Amit Misra" link: "https://researchr.org/alias/amit-misra" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Michael Moore" link: "https://researchr.org/alias/michael-moore" year: "1997" doi: "http://computer.org/proceedings/compsac/8105/81050176abs.htm" links: doi: "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: "21st International Computer Software and Applications Conference (COMPSAC 97), 11-15 August 1997, Washington, DC, USA" publisher: "IEEE Computer Society" isbn: "0-8186-8105-5" kind: "inproceedings" key: "KarsaiMSLM97" - title: "Model-Based Software Synthesis" author: - name: "Ben Abbott" link: "https://researchr.org/alias/ben-abbott" - name: "Ted Bapty" link: "https://researchr.org/alias/ted-bapty" - name: "Csaba Biegl" link: "https://researchr.org/alias/csaba-biegl" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" 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" kind: "article" key: "AbbottBBKS93" - title: "A Subgraph Operator for Graph Transformation Languages" author: - name: "Daniel Balasubramanian" link: "https://researchr.org/alias/daniel-balasubramanian" - name: "Anantha Narayanan" link: "https://researchr.org/alias/anantha-narayanan" - name: "Sandeep Neema" link: "https://researchr.org/alias/sandeep-neema" - name: "Feng Shi" link: "https://researchr.org/alias/feng-shi" - name: "Ryan Thibodeaux" link: "https://researchr.org/alias/ryan-thibodeaux" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2007" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/72" links: doi: "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" kind: "article" key: "BalasubramanianNNSTK07" - title: "An Examination of DSLs for Concisely Representing Model Traversals and Transformations" author: - name: "Jeffrey G. Gray" link: "http://www.gray-area.org/" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2003" doi: "http://computer.org/proceedings/hicss/1874/track9/187490325aabs.htm" links: doi: "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" kind: "inproceedings" key: "GrayK03" - title: "Applying a Model Transformation Taxonomy to Graph Transformation Technology" author: - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Pieter Van Gorp" link: "http://www.pietervangorp.com/" - name: "Daniel Varró" link: "http://home.mit.bme.hu/~varro/" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" 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)" kind: "inproceedings" key: "mensapplyingmodel" - title: "Developing Applications Using Model-Driven Design Environments" author: - name: "Krishnakumar Balasubramanian" link: "https://researchr.org/alias/krishnakumar-balasubramanian" - name: "Aniruddha S. Gokhale" link: "https://researchr.org/alias/aniruddha-s.-gokhale" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Sandeep Neema" link: "https://researchr.org/alias/sandeep-neema" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2006.54" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2006.54" tags: - "Meta-Environment" - "design" researchr: "https://researchr.org/publication/BalasubramanianGKSN06" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "39" number: "2" pages: "33-40" kind: "article" key: "BalasubramanianGKSN06" - title: "Towards Two-Level Formal Modeling of Computer-Based Systems" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Greg Nordstrom" link: "https://researchr.org/alias/greg-nordstrom" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" year: "2000" doi: "http://www.jucs.org/jucs_6_11/towards_two_level_formal" links: doi: "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: "J. UCS" volume: "6" number: "11" pages: "1131-1144" kind: "article" key: "KarsaiNLS00" - title: "Verifying Model Transformations by Structural Correspondence" author: - name: "Anantha Narayanan" link: "https://researchr.org/alias/anantha-narayanan" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2008" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/157" links: doi: "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" kind: "article" key: "NarayananK08:0" - title: "Graph Transformations in OMG s Model-Driven Architecture: (Invited Talk)" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Aditya Agrawal" link: "https://researchr.org/alias/aditya-agrawal" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3062&spage=243" links: doi: "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: "Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers" editor: - name: "John L. Pfaltz" link: "https://researchr.org/alias/john-l.-pfaltz" - name: "Manfred Nagl" link: "https://researchr.org/alias/manfred-nagl" - name: "Boris Böhlen" link: "https://researchr.org/alias/boris-b%C3%B6hlen" volume: "3062" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22120-4" kind: "inproceedings" key: "KarsaiA03" - title: "Model-Integrated Development of Cyber-Physical Systems" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-87785-1_5" links: doi: "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: "Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Proceedings" editor: - name: "Uwe Brinkschulte" link: "https://researchr.org/alias/uwe-brinkschulte" - name: "Tony Givargis" link: "https://researchr.org/alias/tony-givargis" - name: "Stefano Russo" link: "https://researchr.org/alias/stefano-russo" volume: "5287" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-87784-4" kind: "inproceedings" key: "KarsaiS08" - title: "PML: a Transformation Language for Platform Modeling" author: - name: "Tivadar Szemethy" link: "https://researchr.org/alias/tivadar-szemethy" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2006" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/19" links: doi: "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" kind: "article" key: "SzemethyK06" - title: "Applying a Model Transformation Taxonomy to Graph Transformation Technology" author: - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Pieter Van Gorp" link: "http://www.pietervangorp.com/" - name: "Dániel Varró" link: "http://" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2005.10.022" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "152" pages: "143-159" kind: "article" key: "MensGVK06" - title: "Towards Verification of Model Transformations Via Goal-Directed Certification" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Anantha Narayanan" link: "https://researchr.org/alias/anantha-narayanan" year: "2006" doi: "http://dx.doi.org/10.1007/978-3-540-70930-5_5" links: doi: "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: "Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers" editor: - name: "Manfred Broy" link: "https://researchr.org/alias/manfred-broy" - name: "Ingolf H. Krüger" link: "https://researchr.org/alias/ingolf-h.-kr%C3%BCger" - name: "Michael Meisinger" link: "https://researchr.org/alias/michael-meisinger" volume: "4922" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-70929-9" kind: "inproceedings" key: "KarsaiN06" - title: "DSLs: the good, the bad, and the ugly" author: - name: "Jeffrey G. Gray" link: "http://www.gray-area.org/" - name: "Kathleen Fisher" link: "http://www.research.att.com/people/Fisher_Kathleen_S" - name: "Charles Consel" link: "http://phoenix.labri.fr/people/consel/" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Marjan Mernik" link: "http://lpm.uni-mb.si/mernik/" - name: "Juha-Pekka Tolvanen" link: "http://www.metacase.com/jpt.html" year: "2008" doi: "http://doi.acm.org/10.1145/1449814.1449863" links: doi: "http://doi.acm.org/10.1145/1449814.1449863" tags: - "DSL" researchr: "https://researchr.org/publication/GrayFCKMT08" cites: 0 citedby: 0 pages: "791-794" booktitle: "Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA" editor: - name: "Gail E. Harris" link: "https://researchr.org/alias/gail-e.-harris" publisher: "ACM" isbn: "978-1-60558-220-7" kind: "inproceedings" key: "GrayFCKMT08" - title: "The design of a language for model transformations" author: - name: "Aditya Agrawal" link: "https://researchr.org/alias/aditya-agrawal" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Sandeep Neema" link: "https://researchr.org/alias/sandeep-neema" - name: "Feng Shi" link: "https://researchr.org/alias/feng-shi" - name: "Attila Vizhanyo" link: "https://researchr.org/alias/attila-vizhanyo" year: "2006" doi: "http://dx.doi.org/10.1007/s10270-006-0027-7" links: doi: "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: "Software and Systems Modeling" volume: "5" number: "3" pages: "261-288" kind: "article" key: "AgrawalKNSV06" - title: "Preface to GraMoT 2006 Workshop Proceedings" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" year: "2006" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/24/2" links: doi: "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" kind: "article" key: "KarsaiT06:0" - title: "An end-to-end domain-driven software development framework" author: - name: "Aditya Agrawal" link: "https://researchr.org/alias/aditya-agrawal" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" year: "2003" doi: "http://doi.acm.org/10.1145/949344.949347" links: doi: "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: "Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA" editor: - name: "Ron Crocker" link: "https://researchr.org/alias/ron-crocker" - name: "Guy L. Steele Jr." link: "http://research.sun.com/people/mybio.php?uid=25706" publisher: "ACM" isbn: "1-58113-751-6" kind: "inproceedings" key: "AgrawalKL03" - title: "Automatic Domain Model Migration to Manage Metamodel Evolution" author: - name: "Anantha Narayanan" link: "http://www.linkedin.com/pub/anantha-narayanan/7/477/a88" - name: "Tihamer Levendovszky" link: "https://researchr.org/alias/tihamer-levendovszky" - name: "Daniel Balasubramanian" link: "Daniel Balasubramanian" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2009" doi: "10.1007/978-3-642-04425-0_57" abstract: "Metamodel evolution is a significant problem in domain specific software development for several reasons. Domain-specific modeling languages (DSMLs) are likely to evolve much more frequently than programming languages and commonly used software formalisms, often resulting in a large number of valuable instance models that are no longer compliant with the metamodel. In this paper, we present the Model Change Language (MCL), aimed at satisfying these requirements." links: "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" volume: "5795" series: "Lecture Notes in Computer Science" publisher: "Springer Berlin / Heidelberg" isbn: "978-3-642-04424-3" kind: "inproceedings" key: "Narayanan:MoDELS:2009" - title: "Software Engineering for Self-Adaptive Systems: A Research Roadmap" author: - name: "Betty H. C. Cheng" link: "https://researchr.org/alias/betty-h.-c.-cheng" - name: "Rogério de Lemos" link: "https://researchr.org/alias/rog%C3%A9rio-de-lemos" - name: "Holger Giese" link: "https://researchr.org/alias/holger-giese" - name: "Paola Inverardi" link: "https://researchr.org/alias/paola-inverardi" - name: "Jeff Magee" link: "https://researchr.org/alias/jeff-magee" - name: "Jesper Andersson" link: "https://researchr.org/alias/jesper-andersson" - name: "Basil Becker" link: "https://researchr.org/alias/basil-becker" - name: "Nelly Bencomo" link: "https://researchr.org/alias/nelly-bencomo" - name: "Yuriy Brun" link: "https://researchr.org/alias/yuriy-brun" - name: "Bojan Cukic" link: "https://researchr.org/alias/bojan-cukic" - name: "Giovanna Di Marzo Serugendo" link: "https://researchr.org/alias/giovanna-di-marzo-serugendo" - name: "Schahram Dustdar" link: "https://researchr.org/alias/schahram-dustdar" - name: "Anthony Finkelstein" link: "https://researchr.org/alias/anthony-finkelstein" - name: "Cristina Gacek" link: "https://researchr.org/alias/cristina-gacek" - name: "Kurt Geihs" link: "https://researchr.org/alias/kurt-geihs" - name: "Vincenzo Grassi" link: "https://researchr.org/alias/vincenzo-grassi" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Holger M. Kienle" link: "https://researchr.org/alias/holger-m.-kienle" - name: "Jeff Kramer" link: "https://researchr.org/alias/jeff-kramer" - name: "Marin Litoiu" link: "https://researchr.org/alias/marin-litoiu" - name: "Sam Malek" link: "https://researchr.org/alias/sam-malek" - name: "Raffaela Mirandola" link: "https://researchr.org/alias/raffaela-mirandola" - name: "Hausi A. Müller" link: "http://webhome.cs.uvic.ca/~hausi/" - name: "Sooyong Park" link: "https://researchr.org/alias/sooyong-park" - name: "Mary Shaw" link: "https://researchr.org/alias/mary-shaw" - name: "Matthias Tichy" link: "https://researchr.org/alias/matthias-tichy" - name: "Massimo Tivoli" link: "http://www.di.univaq.it/tivoli" - name: "Danny Weyns" link: "https://researchr.org/alias/danny-weyns" - name: "Jon Whittle" link: "http://www.comp.lancs.ac.uk/~whittljn/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-02161-9_1" links: doi: "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: "Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]" editor: - name: "Betty H. C. Cheng" link: "https://researchr.org/alias/betty-h.-c.-cheng" - name: "Rogério de Lemos" link: "https://researchr.org/alias/rog%C3%A9rio-de-lemos" - name: "Holger Giese" link: "https://researchr.org/alias/holger-giese" - name: "Paola Inverardi" link: "https://researchr.org/alias/paola-inverardi" - name: "Jeff Magee" link: "https://researchr.org/alias/jeff-magee" volume: "5525" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-02160-2" kind: "inproceedings" key: "ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09" - title: "Generative programming for embedded systems" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2002" doi: "http://doi.acm.org/10.1145/571157.571175" links: doi: "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: "Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)" publisher: "ACM" kind: "inproceedings" key: "SztipanovitsK02:0" - title: "A model-integrated information system for increasing throughput in discrete manufacturing" author: - name: "Amit Misra" link: "https://researchr.org/alias/amit-misra" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Michael Moore" link: "https://researchr.org/alias/michael-moore" - name: "Earl Long" link: "https://researchr.org/alias/earl-long" year: "1997" doi: "http://csdl.computer.org/comp/proceedings/ecbs/1997/7889/00/78890203abs.htm" links: doi: "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: "1997 Workshop on Engineering of Computer-Based Systems (ECBS 97), March 24-28, 1997, Monterey, CA, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "MisraKSLML97" - title: "Platform Modeling and Model Transformations for Analysis" author: - name: "Tivadar Szemethy" link: "https://researchr.org/alias/tivadar-szemethy" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2004" doi: "http://www.jucs.org/jucs_10_10/platform_modeling_and_model" links: doi: "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: "J. UCS" volume: "10" number: "10" pages: "1383-1407" kind: "article" key: "SzemethyK04" - title: "07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems" author: - name: "Holger Giese" link: "https://researchr.org/alias/holger-giese" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Edward Lee" link: "https://researchr.org/alias/edward-lee" - name: "Bernhard Rumpe" link: "http://www.se-rwth.de/~rumpe/" - name: "Bernhard Schätz" link: "http://" year: "2007" doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1271" links: doi: "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: "Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007" editor: - name: "Holger Giese" link: "https://researchr.org/alias/holger-giese" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Edward Lee" link: "https://researchr.org/alias/edward-lee" - name: "Bernhard Rumpe" link: "http://www.se-rwth.de/~rumpe/" - name: "Bernhard Schätz" link: "http://" volume: "07451" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "GieseKLRS07a" - title: "Synthesis of robust task schedules for minimum disruption repair" author: - name: "Nagarajan Kandasamy" link: "http://www.ece.drexel.edu/faculty/kandasamy/" - name: "David Hanak" link: "http://www.cs.bme.hu/~dhanak/index_en.html" - name: "Christopher P. van Buskirk" link: "http://www.isis.vanderbilt.edu" - name: "Himanshu Neema" link: "https://researchr.org/alias/himanshu-neema" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2004" doi: "http://dx.doi.org/10.1109/ICSMC.2004.1400995" links: doi: "http://dx.doi.org/10.1109/ICSMC.2004.1400995" researchr: "https://researchr.org/publication/KandasamyHBNK04" cites: 0 citedby: 0 pages: "5056-5061" booktitle: "Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004" publisher: "IEEE" isbn: "0-7803-8566-7" kind: "inproceedings" key: "KandasamyHBNK04" - title: "Generative Programming for Embedded Systems" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870032.htm" links: doi: "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: "Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings" editor: - name: "Don S. Batory" link: "http://www.cs.utexas.edu/~dsb/" - name: "Charles Consel" link: "https://researchr.org/alias/charles-consel" - name: "Walid Taha" link: "http://www.cs.rice.edu/~taha/" volume: "2487" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44284-7" kind: "inproceedings" key: "SztipanovitsK02" - 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: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Eelco Visser" link: "http://eelcovisser.org" volume: "3286" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23580-9" kind: "proceedings" key: "gpce:2004" - 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: - name: "Holger Giese" link: "https://researchr.org/alias/holger-giese" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Edward Lee" link: "https://researchr.org/alias/edward-lee" - name: "Bernhard Rumpe" link: "http://www.se-rwth.de/~rumpe/" - name: "Bernhard Schätz" link: "http://" volume: "07451" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "proceedings" key: "dagstuhl:2007P7451"