@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{HolzerJanuzajKugeleetal.2010, author = {Holzer, Andreas and Januzaj, Visar and Kugele, Stefan and Tautschnig, Michael}, title = {Timely Time Estimates}, 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_5}, pages = {33 -- 46}, year = {2010}, 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{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{HolzerJanuzajKugeleetal.2011, author = {Holzer, Andreas and Januzaj, Visar and Kugele, Stefan and Langer, Boris and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut}, title = {Seamless Testing for Models and Code}, booktitle = {Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011: Saarbr{\"u}cken, Germany, March 26-April 3, 2011: Proceedings}, editor = {Giannakopoulou, Dimitra and Orejas, Fernando}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-19810-6}, doi = {https://doi.org/10.1007/978-3-642-19811-3_20}, pages = {278 -- 293}, year = {2011}, language = {en} }