SMT-based stimuli generation in the SystemC Verification library. - Robert Wille; Daniel Große; Finn Haedicke; Rolf Drechsler (FDL, 2009)

Polynomial datapath optimization using constraint solving and formal modelling. - Finn Haedicke; Bijan Alizadeh; Görschwin Fey; Masahiro Fujita; Rolf Drechsler (ICCAD, 2010)

metaSMT: Focus on Your Application not on Solver Integration. - Finn Haedicke; Stefan Frehse; Görschwin Fey; Daniel Große; Rolf Drechsler (DIFTS@FMCAD, 2011)

The system verification methodology for advanced TLM verification. - Marcio Ferreira da Silva Oliveira; Christoph Kuznik; Hoang Minh Le 001; Daniel Große; Finn Haedicke; Wolfgang Müller 003; Rolf Drechsler; Wolfgang Ecker; Volkan Esen (CODES+ISSS, 2012)

A guiding coverage metric for formal verification. - Finn Haedicke; Daniel Große; Rolf Drechsler (DATE, 2012)

CRAVE: An advanced constrained random verification environment for SystemC. - Finn Haedicke; Hoang Minh Le 001; Daniel Große; Rolf Drechsler (ISSoC, 2012)

Constraint-based platform variants specification for early system verification. - Andreas Burger; Alexander Viehl; Andreas Braun; Finn Haedicke; Daniel Große; Oliver Bringmann 001; Wolfgang Rosenstiel (ASP-DAC, 2014)

High-quality hardware design and verification using word-level satisfiability techniques. - Finn Haedicke (2016)

metaSMT: focus on your application and not on solver integration. - Heinz Riener; Finn Haedicke; Stefan Frehse; Mathias Soeken; Daniel Große; Rolf Drechsler; Görschwin Fey (Int. J. Softw. Tools Technol. Transf., 2017)