Finn Haedicke

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Venues

Int. J. Softw. Tools Technol. Transf.

ASP-DAC

ISSoC

MBMV

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey
metaSMT: focus on your application and not on solver integration. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Andreas Burger, Alexander Viehl, Andreas Braun, Finn Haedicke, Daniel Große, Oliver Bringmann, Wolfgang Rosenstiel
Constraint-based platform variants specification for early system verification. ASP-DAC (2014)
Finn Haedicke, Daniel Große, Rolf Drechsler
A guiding coverage metric for formal verification. DATE (2012)
Finn Haedicke, Hoang Minh Le, Daniel Große, Rolf Drechsler
CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC. MBMV (2012)
Marcio F. da S. Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, Volkan Esen
The system verification methodology for advanced TLM verification. CODES+ISSS (2012)
Finn Haedicke, Hoang Minh Le, Daniel Große, Rolf Drechsler
CRAVE: An advanced constrained random verification environment for SystemC. ISSoC (2012)
Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler
metaSMT: Focus on Your Application not on Solver Integration. DIFTS@FMCAD (2011)
Finn Haedicke, Bijan Alizadeh, Görschwin Fey, Masahiro Fujita, Rolf Drechsler
Polynomial datapath optimization using constraint solving and formal modelling. ICCAD (2010)
Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler
SMT-based stimuli generation in the SystemC Verification library. FDL (2009)

Finn Haedicke.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Finn Haedicke