Concepedia

Finn Haedicke

FH

Statistics

Publications

5

Citations

106

H-Index

5

Active since

2011

Affiliations

University of Bremen(Current)

German Research Centre for Artificial Intelligence

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

Publications per year

2011–2016

5

Publications

5

CRAVE: An advanced constrained random verification environment for SystemC

Finn Haedicke, Hoang M. Le, Rolf Drechsler · 2012 · 31 citations

Engineering, Computer Engineering, Computer Science +14

metaSMT: Focus on Your Application not on Solver Integration.

Finn Haedicke, Stefan Frehse, Görschwin Fey et al. · 2011 · 30 citations

Engineering, Computer Science, Model-based Systems Engineering +4

The system verification methodology for advanced TLM verification

Marcio F. S. Oliveira, Christoph Kuznik, Hoang M. Le et al. · 2012 · 20 citations

Engineering, Computer Engineering, Computer Science +15

A guiding coverage metric for formal verification

Finn Haedicke, Rolf Drechsler · 2012 · 13 citations

Computing, Computer Engineering, Computer Science +13

metaSMT: focus on your application and not on solver integration

Heinz Riener, Finn Haedicke, Stefan Frehse et al. · International Journal on Software Tools for Technology Transfer · 2016 · 12 citations · Full text

Engineering, Computer Science, Model-based Systems Engineering +7

1–5 of 5