Automatic data environment construction for static device drivers analysis. - Hendrik Post; Wolfgang Küchlin (SAVCBS@FSE, 2006)

Integrated Static Analysis for Linux Device Driver Verification. - Hendrik Post; Wolfgang Küchlin (IFM, 2007)

Configuration Lifting: Verification meets Software Configuration. - Hendrik Post; Carsten Sinz (ASE, 2008)

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. - Hendrik Post; Carsten Sinz; Alexander Kaiser 001; Thomas Gorges (ASE, 2008)

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. - Hendrik Post; Carsten Sinz (ICST, 2009)

Linking Functional Requirements and Software Verification. - Hendrik Post; Carsten Sinz; Florian Merz 001; Thomas Gorges; Thomas Kropf (RE, 2009)

Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. - Hendrik Post; Carsten Sinz; Wolfgang Küchlin (Softw. Test. Verification Reliab., 2009)

Verifikation von systemnaher Software mittels Bounded Model Checking. - Hendrik Post (2009)

Abstract Testing: Connecting Source Code Verification with Requirements. - Florian Merz 001; Carsten Sinz; Hendrik Post; Thomas Gorges; Thomas Kropf (QUATIC, 2010)

Advanced features for industry-level logging and tracing of C-based designs. - Wei Hong 005; Jyoti Joshi; Alexander Viehl; Nico Bannow; Angela Kramer; Hendrik Post; Oliver Bringmann 001; Wolfgang Rosenstiel (FDL, 2013)

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. - Jan-Hendrik Oetjens; Nico Bannow; Markus Becker 001; Oliver Bringmann 001; Andreas Burger; Moomen Chaari; Samarjit Chakraborty; Rolf Drechsler; Wolfgang Ecker; Kim Grüttner; Thomas Kruse; Christoph Kuznik; et al. (DAC, 2014)

Bridging the gap between test cases and requirements by abstract testing. - Florian Merz 001; Carsten Sinz; Hendrik Post; Thomas Gorges; Thomas Kropf (Innov. Syst. Softw. Eng., 2015)