BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × United Kingdom
3 × USA
Collaborated with:
C.Sinz W.Küchlin T.Gorges A.Kaiser F.Merz T.Kropf J.Oetjens N.Bannow M.Becker O.Bringmann A.Burger M.Chaari S.Chakraborty R.Drechsler W.Ecker K.Grüttner T.Kruse C.Kuznik H.M.Le M.Mauderer W.Müller D.Müller-Gritschneder F.Poppen S.Reiter W.Rosenstiel S.Roth U.Schlichtmann A.v.Schwerin B.Tabacaru A.Viehl
Talks about:
verif (3) function (2) configur (2) softwar (2) model (2) check (2) bound (2) use (2) interpret (1) implement (1)

Person: Hendrik Post

DBLP DBLP: Post:Hendrik

Contributed to:

DAC 20142014
ICST 20092009
RE 20092009
ASE 20082008
IFM 20072007

Wrote 6 papers:

DAC-2014-OetjensBBBBCCDEGKKLM0MPPRRRSSTV #challenge #evaluation #prototype #research #safety #state of the art #using
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges (JHO, NB, MB, OB, AB, MC, SC, RD, WE, KG, TK, CK, HML, MM, WM, DMG, FP, HP, SR, WR, SR, US, AvS, BAT, AV), p. 6.
ICST-2009-PostS #bound #equivalence #functional #implementation #model checking #proving #using
Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking (HP, CS), pp. 31–40.
RE-2009-PostSMGK #functional #requirements #verification
Linking Functional Requirements and Software Verification (HP, CS, FM, TG, TK), pp. 295–302.
ASE-2008-PostS #verification
Configuration Lifting: Verification meets Software Configuration (HP, CS), pp. 347–350.
ASE-2008-PostSKG #abstract interpretation #bound #model checking
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking (HP, CS, AK, TG), pp. 188–197.
IFM-2007-PostK #linux #static analysis #verification
Integrated Static Analysis for Linux Device Driver Verification (HP, WK), pp. 518–537.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.