Computation and Application of Absolute Dominators in Industrial Designs. - Rene Krenz-Baath; Andreas Glowatz; Jürgen Schlöffel (ETS, 2007)

Dominator-based Algorithms in Logic Synthesis and Verification. - Rene Krenz-Baath (2007)

Defect-oriented cell-aware ATPG and fault simulation for industrial cell libraries and designs. - Friedrich Hapke; Rene Krenz-Baath; Andreas Glowatz; Jürgen Schlöffel; Hamidreza Hashempour; Stefan Eichenberger; Camelia Hora; Dan Adolfsson (ITC, 2009)

Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs. - Daniel Tille; Stephan Eggersglüß; Rene Krenz-Baath; Jürgen Schlöffel; Rolf Drechsler (ETS, 2010)

Defect-oriented cell-internal testing. - Friedrich Hapke; Wilfried Redemund; Jürgen Schlöffel; Rene Krenz-Baath; Andreas Glowatz; Michael Wittke; Hamidreza Hashempour; Stefan Eichenberger (ITC, 2010)

A new SAT-based ATPG for generating highly compacted test sets. - Stephan Eggersglüß; Rene Krenz-Baath; Andreas Glowatz; Friedrich Hapke; Rolf Drechsler (DDECS, 2012)

Robust Evaluation of Weighted Random Logic BIST Structures in Industrial Designs. - Rene Krenz-Baath; Friedrich Hapke; Rolf Hinze; Reinhard Meier; Maija Ryynaenen; Andreas Glowatz (DSD, 2012)

Fault collapsing of multi-conditional faults. - Rene Krenz-Baath; Andreas Glowatz; Friedrich Hapke (DDECS, 2013)

Industrial Application of IEEE P1687 for an Automotive Product. - Martin Keim; Tom Waayers; Richard Morren; Friedrich Hapke; Rene Krenz-Baath (DSD, 2013)

Design, Verification, and Application of IEEE 1687. - Farrokh Ghani Zadegan; Erik Larsson; Artur Jutman; Sergei Devadze; Rene Krenz-Baath (ATS, 2014)

Optimization-based multiple target test generation for highly compacted test sets. - Stephan Eggersglüß; Kenneth Schmitz; Rene Krenz-Baath; Rolf Drechsler (ETS, 2014)

Access time minimization in IEEE 1687 networks. - Rene Krenz-Baath; Farrokh Ghani Zadegan; Erik Larsson (ITC, 2015)

Optimal SAT-based scheduler for time-triggered networks-on-a-chip. - Christian Scholer; Rene Krenz-Baath; Ayman Murshed; Roman Obermaisser (SIES, 2015)

A suite of IEEE 1687 benchmark networks. - Anton Tsertov; Artur Jutman; Sergei Devadze; Matteo Sonza Reorda; Erik Larsson; Farrokh Ghani Zadegan; Riccardo Cantoro; Mehrdad Montazeri; Rene Krenz-Baath (ITC, 2016)

Upper-bound computation for optimal retargeting in IEEE1687 networks. - Farrokh Ghani Zadegan; Rene Krenz-Baath; Erik Larsson (ITC, 2016)

Computing optimal communication schedules for time-triggered networks using an SMT solver. - Christian Scholer; Rene Krenz-Baath; Ayman Murshed; Roman Obermaisser (SIES, 2016)

On Optimization-Based ATPG and Its Application for Highly Compacted Test Sets. - Stephan Eggersglüß; Kenneth Schmitz; Rene Krenz-Baath; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

BASTION: Board and SoC test instrumentation for ageing and no failure found. - Artur Jutman; Christophe Lotz; Erik Larsson; Matteo Sonza Reorda; Maksim Jenihhin; Jaan Raik; Hans G. Kerkhoff; Rene Krenz-Baath; Piet Engelke (DATE, 2017)

Verifying Bio-Electronic Systems. - Joseline Heuer; Rene Krenz-Baath; Roman Obermaisser (DDECS, 2023)

Human-heart-model for hardware-in-the-loop testing of pacemakers. - Joseline Heuer; Rene Krenz-Baath; Roman Obermaisser (Comput. Biol. Medicine, 2024)