Concepedia

Hendrik Post

HP

Statistics

Publications

4

Citations

219

H-Index

4

Active since

2008

Affiliations

Robert Bosch (Germany)(Current)

Karlsruhe Institute of Technology

Hendrik Post is an author at Robert Bosch (Germany) specializing in engineering, systems engineering, and computer engineering.

Top concepts

Publications per year

2008–2014

4

Publications

4

Configuration Lifting: Verification meets Software Configuration

Hendrik Post, Carsten Sinz · 2008 · 85 citations

, , +19

Safety Evaluation of Automotive Electronics Using Virtual Prototypes

Jan-Hendrik Oetjens, Nico Bannow, Matthias Becker et al. · 2014 · 55 citations

, , +19

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

Hendrik Post, Carsten Sinz, Alexander Kaiser et al. · 2008 · 43 citations

, , +27

Linking Functional Requirements and Software Verification

Hendrik Post, Carsten Sinz, F. Merz et al. · 2009 · 36 citations

, , +21

1–4 of 4