Jörg Behrend

	2011
5		Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Scalable hybrid verification for embedded software. DATE 2011: 179-184
	2010
4		Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss: State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. FM+AM 2010: 49-62
	2009
3		Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer: Semiformal verification of temporal properties in automotive hardware dependent software. DATE 2009: 1214-1217
	2008
2		Patrick Heckeler, Marcus Ritt, Jörg Behrend, Wolfgang Rosenstiel: Object-Oriented Message-Passing in Heterogeneous Environments. PVM/MPI 2008: 151-158
	2007
1		Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Grid Based Fast Falsification For Bounded Property Checking. FDL 2007: 299-304

Coauthor Index

1	Joachim Gerlach	[3]
2	Patrick Heckeler	[2] [4] [5]
3	Thomas Kropf	[1] [3] [4] [5]
4	Djones Lettnin	[3] [5]
5	Pradeep Kumar Nalla	[1] [3]
6	Prakash Mohan Peranandam	[1]
7	Stephan Reitemeyer	[3]
8	Marcus Ritt	[2]
9	Wolfgang Rosenstiel	[1] [2] [3] [4] [5]
10	Jürgen Ruf	[1] [3] [4] [5]
11	Volker Schönknecht	[3]
12	Roland J. Weiss (Roland Weiss)	[4]

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