Hendrik Post
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2007–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | DAC | 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 Grttner, Thomas Kruse, Christoph Kuznik, Hoang Minh Le, Andreas Mauderer, Wolfgang Mller, Daniel Mller-Gritschneder, Frank Poppen, Hendrik Post, Sebastian Reiter, Wolfgang Rosenstiel, S. Roth, Ulf Schlichtmann, Andreas von Schwerin, Bogdan-Andrei Tabacaru, Alexander Viehl |
| 2013 | FDL | 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 |
| 2010 | QUATIC | Abstract Testing: Connecting Source Code Verification with Requirements. | Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf |
| 2009 | ICST | Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. | Hendrik Post, Carsten Sinz |
| 2009 | RE | Linking Functional Requirements and Software Verification. | Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf |
| 2007 | IFM | Integrated Static Analysis for Linux Device Driver Verification. | Hendrik Post, Wolfgang Kchlin |