Publications
Conference and workshop papers
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 ]
Michael Zolda and Raimund Kirner. Divide and measure: Cfg segmentation for the measurement-based analysis of resource consumption. Conference Article 65/2008, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2008. [ 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 ]
Theses
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.93.