C. Metzler

According to our database, C. Metzler authored at least 3 papers in 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2003

Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification.

George Logothetis, Klaus Schneider, C. Metzler

Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003

Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs.

George Logothetis, Klaus Schneider, C. Metzler

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems.

George Logothetis, Klaus Schneider, C. Metzler

Proceedings of the Forum on specification and Design Languages, 2003