Project WOOP - Selected Papers

Project WOOP - Selected Papers

This page has been accessed times since .

Johann Blieberger, "Discrete Loops and Worst Case Performance", Computer Languages, Vol. 20, No. 3, pp. 193-212, 1994
Test your own discrete loops with help of our WPP remote service.
Roland Lieger, Johann Blieberger, "The Ackermann-Function Effort in Space and Time", Technical Report, Department of Automation, TU Vienna, No. 183/1-48, 1994
Johann Blieberger, Roland Lieger, "Real-Time Recursive Procedures", Proceedings of the 7th EUROMICRO Workshop on Real-Time Systems, pp. 229-235, Odense, 1995
Roland Lieger, Johann Blieberger, "Using Discrete Loops for Easy Comprehension of Algorithms", Proceedings of the Workshop on Automation and Control Engineering in Higher Education, Vienna, Austria, pp. 125-135, 1995
Johann Blieberger, "Loops for Safety-Critical Applications", Proceedings of Safecomp'95, Belgirate, Italy, pp. 269-282, 1995
Johann Blieberger, Bernd Burgstaller "The Role of GNAT within Project WOOP", Ada-Europe'95, Frankfurt, Germany, 1995
Johann Blieberger, Roland Lieger, Bernd Burgstaller "Augmenting Ada 95 with Additional Real-Time Features", Ada-Europe'96, Montreux, Switzerland, June 1996
Johann Blieberger, Roland Lieger, "Worst-Case Space and Time Complexity of Recursive Procedures", Real-Time Systems 11, pp. 115-144, 1996
Roland Lieger, Johann Blieberger, "Multi-Staged Discrete Loops for Real-Time Systems", Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems, l'Aquila, 1996

Project WOOP - Some Not Yet Published Papers

(for internal use only)

Johann Blieberger, "Timing Analysis of Object-Oriented Real-Time Programs", (submitted), 1995
Johann Blieberger, Roland Lieger, "A General Framework for Obtaining Recurrence Relations for the Average-Case Analysis of Recursive Procedures", (submitted), 1996
Johann Blieberger, "Programming Language Support for Estimating the Worst-Case Performance of Object-Oriented Real-Time Programs", (submitted), 1996
Johann Blieberger, "Real-Time Properties of Indirect Recursive Procedures", (submitted), 1997