@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{HolzerJanuzajKugele2009, author = {Holzer, Andreas and Januzaj, Visar and Kugele, Stefan}, title = {Towards Resource Consumption-Aware Programming}, booktitle = {Proceedings: The Fourth International Conference on Software Engineering Advances: ICSEA 2009}, editor = {Boness, Kenneth and Fernandes, Jo{\~a}o M. and Hall, Jon G. and Jorge Machado, Ricardo and Oberhauser, Roy}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {978-1-4244-4779-4}, doi = {https://doi.org/10.1109/ICSEA.2009.77}, pages = {490 -- 493}, year = {2009}, 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} }