Hendrik Post

	2009
4		Hendrik Post, Carsten Sinz, Wolfgang Küchlin: Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. Softw. Test., Verif. Reliab. 19(2): 155-172 (2009)
	2008
3		Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges: Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. ASE 2008: 188-197
2		Hendrik Post, Carsten Sinz: Configuration Lifting: Verification meets Software Configuration. ASE 2008: 347-350
	2007
1		Hendrik Post, Wolfgang Küchlin: Integrated Static Analysis for Linux Device Driver Verification. IFM 2007: 518-537

Coauthor Index

1	Thomas Gorges	[3]
2	Alexander Kaiser	[3]
3	Wolfgang Küchlin	[1] [4]
4	Carsten Sinz	[2] [3] [4]