Thomas Lock

According to our database, Thomas Lock authored at least 3 papers between 1998 and 1999.

Collaborative distances:

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

1999

Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren.

Thomas Lock, Michael Mendler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

1998

Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren.

Thomas Lock, Michael Mendler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

Combined Formal Post- and Presynthesis Verification in High Level Synthesis.

Thomas Lock, Michael Mendler, Matthias Mutz

Proceedings of the Formal Methods in Computer-Aided Design, 1998