Hendrik Post

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 0

Top Venues

FDL

Innov. Syst. Softw. Eng.

DAC

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
Bridging the gap between test cases and requirements by abstract testing. Innov. Syst. Softw. Eng. 11 (4) (2015)
Jan-Hendrik Oetjens, Nico Bannow, Markus Becker, Oliver Bringmann, Andreas Burger, Moomen Chaari, Samarjit Chakraborty, Rolf Drechsler, Wolfgang Ecker, Kim Grüttner, Thomas Kruse, Christoph Kuznik, Hoang Minh Le, Mauderer Mauderer, Wolfgang Müller, Daniel Müller-Gritschneder, Frank Poppen, Hendrik Post, Sebastian Reiter, Wolfgang Rosenstiel, S. Roth, Ulf Schlichtmann, Andreas von Schwerin, Bogdan-Andrei Tabacaru, Alexander Viehl
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. DAC (2014)
Wei Hong, Jyoti Joshi, Alexander Viehl, Nico Bannow, Angela Kramer, Hendrik Post, Oliver Bringmann, Wolfgang Rosenstiel
Advanced features for industry-level logging and tracing of C-based designs. FDL (2013)
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
Abstract Testing: Connecting Source Code Verification with Requirements. QUATIC (2010)
Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf
Linking Functional Requirements and Software Verification. RE (2009)
Hendrik Post, Carsten Sinz, Wolfgang Küchlin
Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. Softw. Test. Verification Reliab. 19 (2) (2009)
Hendrik Post, Carsten Sinz
Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. ICST (2009)
Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. ASE (2008)
Hendrik Post, Carsten Sinz
Configuration Lifting: Verification meets Software Configuration. ASE (2008)
Hendrik Post, Wolfgang Küchlin
Integrated Static Analysis for Linux Device Driver Verification. IFM (2007)
Hendrik Post, Wolfgang Küchlin
Automatic data environment construction for static device drivers analysis. SAVCBS@FSE (2006)

Hendrik Post.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hendrik Post