Publications
Most of the articles below can be accessed here or here.
Michael Zolda, Sven Bünte, and Raimund Kirner. Context-sensitive measurement-based worst-case execution time estimation. In 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11), Toyama, Japan, August 2011. IEEE. Accepted. [ bib ]
Reinhard von Hanxleden, Niklas Holsti, Björn Lisper, Erhard Ploedereder, Reinhard Wilhelm, Armelle Bonenfant, Hugues Casse, Sven Bünte, Wolfgang Fellger, Sebastian Gepperth, Jan Gustafsson, Benedikt Huber, Nazrul Mohammad Islam, Daniel Kästner, Raimund Kirner, Laura Kovacs, Felix Krause, Marianne de Michiel, Mads Christian Olesen, Adrian Prantl, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Simon Wegener, Michael Zolda, and Jakob Zwirchmayr. WCET tool challenge 2011: Report. In Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis, Porto, Portugal, July 2011. [ bib ]
Raimund Kirner and Michael Zolda. Compiler support for measurement-based timing analysis. In Proc. 11th International Workshop on Worst-Case Execution Time Analysis, Porto, Portugal, July 2011. OCG. [ bib ]
Sven Bünte, Michael Zolda, and Raimund Kirner. Let's get less optimistic in measurement-based timing analysis. In Proc. 6th International Symposium on Industrial Embedded Systems (SIES'11), Västeras, Sweden, June 2011. IEEE. [ bib ]
Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. An introduction to test specification in FQL. In Sharon Barner, Daniel Kroening, and Orna Raz, editors, Proceedings of Haifa Verification Conference (HVC 2010), volume 6504 of Lecture Notes in Computer Science, pages 9-22. Springer, 2011. [ bib ]
Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Seamless testing for models and code. In FASE 2011, 2011. [ bib ]
Sven Bünte, Michael Zolda, Michael Tautschnig, and Raimund Kirner. Improving the confidence in measurement-based timing analysis. In Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), Newport Beach, USA, March 2011. [ bib ]
Raimund Kirner, Sven Bünte, and Michael Zolda. Measurement-based timing analysis for reconfigurable embedded systems. In Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility. IGI Global, 2011. [ bib ]
Michael Zolda, Sven Bünte, and Raimund Kirner. Context-sensitivity in ipet for measurement-based timing analysis. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'10), October 2010. [ bib ]
Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. How did you specify your test suite ? In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), pages 407-416, Antwerp, Belgium, September 2010. ACM. [ bib ]
Michael Zolda, Sven Bünte, and Raimund Kirner. Towards Adaptable Control Flow Segmentation for Measurement-Based Execution Time Analysis. In Proc. 17th International Conference on Real-Time and Network Systems (RTNS), Paris, France, Oct. 2009. [ bib ]
Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Query-driven program testing. In Neil D. Jones and Markus Müller-Olm, editors, Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009), volume 5403 of Lecture Notes in Computer Science, pages 151-166, Savannah, GA, USA, January 2009. Springer. [ bib ]
Michael Zolda and Raimund Kirner. Divide and measure: Cfg segmentation for the measurement-based analysis of resource consumption. In Junior Scientist Conference 2008, pages 117-118, Vienna, Austria, November 2008. Technische Universität Wien. [ bib ]
Sven Bünte and Michael Tautschnig. A benchmarking suite for measurement-based WCET analysis tools. In First International Conference on Software Testing, Verification and Validation (ICST), Lillehammer, Norway, April 2008. IEEE Computer Society Press. [ bib ]
Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. In Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), Lecture Notes in Computer Science, Princeton, NJ, USA, July 2008. Springer. [ bib ]
Sven Bünte and Raimund Kirner. The acquaintance of hardware timing effects: A sine qua non to validate temporal requirements in embedded real time systems. Junior Scientist Conference, Nov. 2008. [ bib ]
Michael Zolda. INFER: Interactive timing profiles based on bayesian networks. In Proc. 8th International Workshop on Worst-Case Execution Time Analysis, Oct. 2008. [ bib ]
Andreas Kanzler. Ein graphisches Frontend für die Zeitanalyse von Echtzeitprogrammen. Master's thesis, Technische Universität Wien, Vienna, Oct. 2008. [ bib ]
This file was generated by bibtex2html 1.94.