Andreas Hett

Publication Activity (10 Years)

Years Active: 1996-2001
Publications (10 Years): 0

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Andreas Hett, Bernd Becker
Supervised Dynamic Recording in Model Checking. MBMV (1) (2001)
Wolfgang Günther, Andreas Hett, Bernd Becker
Application of linearly transformed BDDs in sequential verification. ASP-DAC (2001)
Andreas Hett, Christoph Scholl, Bernd Becker
Distance driven finite state machine traversal. DAC (2000)
Andreas Hett, Christoph Scholl, Bernd Becker
State Traversal guided by Hamming Distance Profiles. MBMV (2000)
Andreas Hett, Rolf Drechsler, Bernd Becker
Fast and efficient construction of BDDs by reordering based synthesis. ED&TC (1997)
Andreas Hett, Bernd Becker, Rolf Drechsler
MORE: an alternative implementation of BDD packages by multi-operand synthesis. EURO-DAC (1996)