Finn Haedicke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2009–2014
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ASPDAC | Constraint-based platform variants specification for early system verification. | Andreas Burger, Alexander Viehl, Andreas Braun, Finn Haedicke, Daniel Groe, Oliver Bringmann, Wolfgang Rosenstiel |
| 2012 | DATE | A guiding coverage metric for formal verification. | Finn Haedicke, Daniel Groe, Rolf Drechsler |
| 2011 | FMCAD | metaSMT: Focus on Your Application not on Solver Integration. | Finn Haedicke, Stefan Frehse, Grschwin Fey, Daniel Groe, Rolf Drechsler |
| 2010 | ICCAD | Polynomial datapath optimization using constraint solving and formal modelling. | Finn Haedicke, Bijan Alizadeh, Grschwin Fey, Masahiro Fujita, Rolf Drechsler |
| 2009 | FDL | SMT-based stimuli generation in the SystemC Verification library. | Robert Wille, Daniel Groe, Finn Haedicke, Rolf Drechsler |