Finn Haedicke

According to our database1, Finn Haedicke authored at least 9 papers between 2009 and 2017.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
metaSMT: focus on your application and not on solver integration.
Int. J. Softw. Tools Technol. Transf., 2017

2016
High-quality hardware design and verification using word-level satisfiability techniques.
PhD thesis, 2016

2014
Constraint-based platform variants specification for early system verification.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2012
CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

A guiding coverage metric for formal verification.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

The system verification methodology for advanced TLM verification.
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011
metaSMT: Focus on Your Application not on Solver Integration.
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

2010
Polynomial datapath optimization using constraint solving and formal modelling.
Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

2009
SMT-based stimuli generation in the SystemC Verification library.
Proceedings of the Forum on specification and Design Languages, 2009


  Loading...