TimerMeter: Quantifying Properties of Software Timers for System Analysis

Michael Kuperberg, Martin Krogmann, Ralf Reussner. TimerMeter: Quantifying Properties of Software Timers for System Analysis. In QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009. pages 85-94, IEEE Computer Society, 2009. [doi]

Authors

Michael Kuperberg

This author has not been identified. Look up 'Michael Kuperberg' in Google

Martin Krogmann

This author has not been identified. Look up 'Martin Krogmann' in Google

Ralf Reussner

This author has not been identified. Look up 'Ralf Reussner' in Google