Jörg Behrend

	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]
3	Thomas Kropf	[1] [3]
4	Djones Lettnin	[3]
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]
10	Jürgen Ruf	[1] [3]
11	Volker Schönknecht	[3]