Sven Beyer

	2010
6		Ulrich Kühne, Sven Beyer, Jörg Bormann, John Barstow: Automated formal verification of processors based on architectural models. FMCAD 2010: 129-136
	2009
5		Ulrich Kühne, Sven Beyer, Christian Pichler: Generating an Efficient Instruction Set Simulator from a Complete Property Suite. IEEE International Workshop on Rapid System Prototyping 2009: 109-115
	2007
4		Sven Beyer: Putting it all together: formal verification of the VAMP. Saarland University 2007: 1-185
	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	John Barstow	[6]
2	Peter Böhm	[2]
3	Jörg Bormann	[6]
4	Michael Gerke	[2]
5	Mark A. Hillebrand	[2]
6	Christian Jacobi	[1] [3]
7	Steffen Knapp	[2]
8	Daniel Kroening (Daniel Kröning)	[1] [3]
9	Ulrich Kühne	[5] [6]
10	Dirk Leinenbach	[1] [2] [3]
11	Wolfgang J. Paul	[1] [2] [3]
12	Christian Pichler	[5]
13	Thomas In der Rieden	[2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page