Benedikt Geukes

According to our database, Benedikt Geukes authored at least 2 papers between 2006 and 2015.

Collaborative distances:

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

2015

Modulare Verifikation von Non-Mainline Chip-Level Funktionen.

Matteo Michel, Johannes Koesters, Benedikt Geukes

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

2006

Automatic ADL-based operand isolation for embedded processors.

Anupam Chattopadhyay, Benedikt Geukes, David Kammler, Ernst Martin Witte, Oliver Schliebusch, Harold Ishebabi, Rainer Leupers, Gerd Ascheid, Heinrich Meyr

Proceedings of the Conference on Design, Automation and Test in Europe, 2006