@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 = {Electronic Notes in Theoretical Computer Science}, 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 = {IEEE 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 = {Journal of Computer Languages}, 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 = {Electronic Notes in Theoretical Computer Science}, 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 = {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}, } @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 = {Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers}, editor = {Fabrice Kordon and Oleg Sokolsky}, volume = {4888}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-77418-1}, } @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 = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, 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}, } @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 = {Australian Computer Journal}, 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 = {Software Reuse: Methods, Techniques, and Tools, 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002, Proceedings}, editor = {Cristina Gacek}, volume = {2319}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-43483-6}, } @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 = {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}, } @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 = {Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings}, editor = {Thomas A. Henzinger and Christoph M. Kirsch}, volume = {2211}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42673-6}, } @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 = {IEEE 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 = {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}, } @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 = {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}, } @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 = {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}, } @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 = {11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA}, publisher = {IEEE Computer Society}, } @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 = {Science of Computer Programming}, 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 = {Proceedings of the IEEE}, 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 = {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}, } @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 = {J. UCS}, 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 = {1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA}, publisher = {IEEE Computer Society}, } @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 = {IEEE Intelligent Systems}, 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 = {Software and Systems Modeling}, 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 = {Electronic Notes in Theoretical Computer Science}, 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 = {1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA}, publisher = {IEEE Computer Society}, } @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 = {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 = {Manfred Broy and Ingolf H. Krüger and Michael Meisinger}, volume = {4147}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-37677-1}, } @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 = {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}, } @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 = {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 = {Manfred Broy and Ingolf H. Krüger and Michael Meisinger}, volume = {4147}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-37677-1}, } @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 = {Communications of the ACM}, 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 = {Self-Adaptive Software, Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 Revised Papers}, editor = {Robert Laddaga and Paul Robertson and Howard E. Shrobe}, volume = {2614}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-00731-8}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers}, editor = {Michel R. V. Chaudron}, volume = {5421}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-01647-9}, } @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 = {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}, } @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 = {30th International Conference on Software Engineering (ICSE 2008), Companion Volume}, editor = {Wilhelm Sch{\"a}fer and Matthew B. Dwyer and Volker Gruhn}, address = {Leipzig, Germany}, publisher = {ACM}, isbn = {978-1-60558-079-1}, } @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 = {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}, } @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 = {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}, } @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 = {J. Parallel Distrib. Comput.}, 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 = {ACM Trans. Embedded Comput. Syst.}, 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 (3)}, } @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 = {IEEE 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 = {5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006}, editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone}, publisher = {ACM}, isbn = {1-59593-303-4}, } @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 = {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}, } @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 = {IEEE 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 = {J. UCS}, 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 = {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 = {John L. Pfaltz and Manfred Nagl and Boris Böhlen}, volume = {3062}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-22120-4}, } @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 = {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 = {Uwe Brinkschulte and Tony Givargis and Stefano Russo}, volume = {5287}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-87784-4}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {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 = {Manfred Broy and Ingolf H. Krüger and Michael Meisinger}, volume = {4922}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-70929-9}, } @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 = {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 = {Gail E. Harris}, publisher = {ACM}, isbn = {978-1-60558-220-7}, } @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 = {Software and Systems Modeling}, 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 = {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 = {Ron Crocker and Guy L. Steele Jr.}, publisher = {ACM}, isbn = {1-58113-751-6}, } @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}, volume = {5795}, series = {Lecture Notes in Computer Science}, publisher = {Springer Berlin / Heidelberg}, isbn = {978-3-642-04424-3}, } @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 = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]}, editor = {Betty H. C. Cheng and Rogério de Lemos and Holger Giese and Paola Inverardi and Jeff Magee}, volume = {5525}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-02160-2}, } @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 = {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}, } @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 = {1997 Workshop on Engineering of Computer-Based Systems (ECBS 97), March 24-28, 1997, Monterey, CA, USA}, publisher = {IEEE Computer Society}, } @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 = {J. UCS}, 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 = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, 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}, } @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 = {Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004}, publisher = {IEEE}, isbn = {0-7803-8566-7}, } @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 = {Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings}, editor = {Don S. Batory and Charles Consel and Walid Taha}, volume = {2487}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-44284-7}, } @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}, }