Rene Krenz-Baath

According to our database1, Rene Krenz-Baath authored at least 18 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Verifying Bio-Electronic Systems.
Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2023

2017
BASTION: Board and SoC test instrumentation for ageing and no failure found.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016
On Optimization-Based ATPG and Its Application for Highly Compacted Test Sets.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Computing optimal communication schedules for time-triggered networks using an SMT solver.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Upper-bound computation for optimal retargeting in IEEE1687 networks.
Proceedings of the 2016 IEEE International Test Conference, 2016

A suite of IEEE 1687 benchmark networks.
Proceedings of the 2016 IEEE International Test Conference, 2016

2015
Optimal SAT-based scheduler for time-triggered networks-on-a-chip.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Access time minimization in IEEE 1687 networks.
Proceedings of the 2015 IEEE International Test Conference, 2015

2014
Optimization-based multiple target test generation for highly compacted test sets.
Proceedings of the 19th IEEE European Test Symposium, 2014

Design, Verification, and Application of IEEE 1687.
Proceedings of the 23rd IEEE Asian Test Symposium, 2014

2013
Industrial Application of IEEE P1687 for an Automotive Product.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

Fault collapsing of multi-conditional faults.
Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

2012
Robust Evaluation of Weighted Random Logic BIST Structures in Industrial Designs.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

A new SAT-based ATPG for generating highly compacted test sets.
Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

2010
Defect-oriented cell-internal testing.
Proceedings of the 2011 IEEE International Test Conference, 2010

Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs.
Proceedings of the 15th European Test Symposium, 2010

2009
Defect-oriented cell-aware ATPG and fault simulation for industrial cell libraries and designs.
Proceedings of the 2009 IEEE International Test Conference, 2009

2007
Computation and Application of Absolute Dominators in Industrial Designs.
Proceedings of the 12th European Test Symposium, 2007


  Loading...