Sven Beyer

	2006
3		Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul: Putting it all together - Formal verification of the VAMP. STTT 8(4-5): 411-430 (2006)
	2005
2		Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD 2005: 317-326
	2003
1		Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul: Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. CHARME 2003: 51-65

Coauthor Index

1	Peter Böhm	[2]
2	Michael Gerke	[2]
3	Mark A. Hillebrand	[2]
4	Christian Jacobi	[1] [3]
5	Steffen Knapp	[2]
6	Daniel Kroening (Daniel Kröning)	[1] [3]
7	Dirk Leinenbach	[1] [2] [3]
8	Wolfgang J. Paul	[1] [2] [3]
9	Thomas In der Rieden	[2]