Hendrik Post

12 papers A* 3A 2B 1C 1Misc 1Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2015 J jnl
Bridging the gap between test cases and requirements by abstract testing.
Innov. Syst. Softw. Eng.
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
2014 A* conf
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.
DAC
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
2013 C conf
Advanced features for industry-level logging and tracing of C-based designs.
FDL
Wei Hong, Jyoti Joshi, Alexander Viehl, Nico Bannow, Angela Kramer, Hendrik Post, Oliver Bringmann, Wolfgang Rosenstiel
2010 Misc conf
Abstract Testing: Connecting Source Code Verification with Requirements.
QUATIC
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
2009 A conf
Linking Functional Requirements and Software Verification.
RE
Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf
2009 A conf
Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking.
ICST
Hendrik Post, Carsten Sinz
2009 J jnl
Towards automatic software model checking of thousands of Linux modules - a case study with Avinux.
Softw. Test. Verification Reliab.
Hendrik Post, Carsten Sinz, Wolfgang Küchlin
2009 — —
Verifikation von systemnaher Software mittels Bounded Model Checking.
Hendrik Post
2008 A* conf
Configuration Lifting: Verification meets Software Configuration.
ASE
Hendrik Post, Carsten Sinz
2008 A* conf
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking.
ASE
Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges
2007 B conf
Integrated Static Analysis for Linux Device Driver Verification.
IFM
Hendrik Post, Wolfgang Küchlin
2006 — conf
Automatic data environment construction for static device drivers analysis.
SAVCBS@FSE
Hendrik Post, Wolfgang Küchlin