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 (DATE, 2006)

Modulare Verifikation von Non-Mainline Chip-Level Funktionen. - Matteo Michel; Johannes Koesters; Benedikt Geukes (MBMV, 2015)