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: Post:Hendrik
Contributed to:
2014
2009
2009
2008
2007Wrote 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.