Hendrik Post

According to our database, Hendrik Post authored at least 12 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Bridging the gap between test cases and requirements by abstract testing.

Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf

Innov. Syst. Softw. Eng., 2015

2014

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.

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, Andreas 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

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Advanced features for industry-level logging and tracing of C-based designs.

Wei Hong, Jyoti Joshi, Alexander Viehl, Nico Bannow, Angela Kramer, Hendrik Post, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the 2013 Forum on specification and Design Languages, 2013

2010

Abstract Testing: Connecting Source Code Verification with Requirements.

Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf

Proceedings of the Quality of Information and Communications Technology, 2010

2009

Verifikation von systemnaher Software mittels Bounded Model Checking.

Hendrik Post

PhD thesis, 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

Linking Functional Requirements and Software Verification.

Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking.

Hendrik Post, Carsten Sinz

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking.

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Configuration Lifting: Verification meets Software Configuration.

Hendrik Post, Carsten Sinz

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007

Integrated Static Analysis for Linux Device Driver Verification.

Hendrik Post, Wolfgang Küchlin

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Automatic data environment construction for static device drivers analysis.

Hendrik Post, Wolfgang Küchlin

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006