@inproceedings{HaberlHerrmannsdoerferKugeleetal.2010, author = {Haberl, Wolfgang and Herrmannsdoerfer, Markus and Kugele, Stefan and Tautschnig, Michael and Wechs, Martin}, title = {Seamless Model-Driven Development Put into Practice}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-16558-0}, doi = {https://doi.org/10.1007/978-3-642-16558-0_4}, pages = {18 -- 32}, year = {2010}, language = {en} } @inproceedings{HaberlKugeleBaumgarten2009, author = {Haberl, Wolfgang and Kugele, Stefan and Baumgarten, Uwe}, title = {Reliable operating modes for distributed embedded systems}, booktitle = {Proceedings of the 2009 31st International Conference on Software Engineering and ICSE Workshops}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-4244-3721-4}, doi = {https://doi.org/10.1109/MOMPES.2009.5069133}, pages = {11 -- 21}, year = {2009}, language = {en} } @inproceedings{KugeleHaberlTautschnigetal.2008, author = {Kugele, Stefan and Haberl, Wolfgang and Tautschnig, Michael and Wechs, Martin}, title = {Optimizing Automatic Deployment Using Non-functional Requirement Annotations}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008: Proceedings}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-88479-8}, doi = {https://doi.org/10.1007/978-3-540-88479-8_28}, pages = {400 -- 414}, year = {2008}, language = {en} } @inproceedings{KugeleHaberl2008, author = {Kugele, Stefan and Haberl, Wolfgang}, title = {Mapping Data-Flow Dependencies onto Distributed Embedded Systems}, booktitle = {Proceedings of the 2008 International Conference on Software Engineering Research \& Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes}, editor = {Arabnia, Hamid R. and Reza, Hassan}, publisher = {CSREA Press}, isbn = {1-60132-088-4}, pages = {272 -- 278}, year = {2008}, language = {en} } @inproceedings{WangHaberlKugeleetal.2008, author = {Wang, Zhonglei and Haberl, Wolfgang and Kugele, Stefan and Tautschnig, Michael}, title = {Automatic generation of SystemC models from component-based designs for early design validation and performance analysis}, booktitle = {WOSP'08: Proceedings of the Seventh International Workshop on Software and Performance}, publisher = {ACM}, address = {New York}, isbn = {978-1-59593-873-2}, doi = {https://doi.org/10.1145/1383559.1383577}, pages = {139 -- 143}, year = {2008}, language = {en} } @inproceedings{HaberlKugeleBaumgarten2010, author = {Haberl, Wolfgang and Kugele, Stefan and Baumgarten, Uwe}, title = {Model-Based Generation of Fault-Tolerant Embedded Systems}, booktitle = {Proceedings of the 2010 International Conference on Embedded Systems \& Applications: ESA 2010}, editor = {Arabnia, Hamid R. and Solo, Ashu M. G.}, publisher = {CSREA Press}, isbn = {1-601-32141-4}, pages = {136 -- 142}, year = {2010}, language = {en} }