Finn Haedicke - Concepedia

Author

Finn Haedicke

Also Known As

F. Haedicke, Finn Haedicke

Publications

149

Citations

H-Index

Concepts

All Affiliations

Finn Haedicke is an author at University of Bremen specializing in systems engineering, engineering, and computer engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	75
2	Computer Engineering	4	4	75
3	Systems Engineering	4	4	75
4	Computer Science	3	3	63
5	Complex Systems	2	2	42

Finn Haedicke

Publications

105

Citations

H-Index

Page 1

	Year	Citations
CRAVE: An advanced constrained random verification environment for SystemC Finn Haedicke, Hoang M. Le, Rolf Drechsler EngineeringVerificationComputer ArchitectureComputer-aided VerificationSystem-level Design	2012	30
metaSMT: Focus on Your Application not on Solver Integration. Finn Haedicke, Stefan Frehse, Görschwin Fey,	2011	30
The system verification methodology for advanced TLM verification Marcio F. S. Oliveira, Christoph Kuznik, Hoang M. Le, Systemc LibraryEngineeringVerificationComputer-aided VerificationModel Verification	2012	20
A guiding coverage metric for formal verification Finn Haedicke, Rolf Drechsler EngineeringVerificationComputer-aided VerificationSoftware EngineeringModel Checking	2012	13
metaSMT: focus on your application and not on solver integration Heinz Riener, Finn Haedicke, Stefan Frehse, International Journal on Software Tools for Technology Transfer EngineeringComputer EngineeringSoftware EngineeringComplex SystemsSystems Engineering	2016	12

Page 1