Grid Based Fast Falsification For Bounded Property Checking. - Pradeep Kumar Nalla; Jörg Behrend; Prakash Mohan Peranandam; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (FDL, 2007)

UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen. - Stefan Lämmermann; Jörg Behrend; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2007)

Object-Oriented Message-Passing in Heterogeneous Environments. - Patrick Heckeler; Marcus Ritt; Jörg Behrend; Wolfgang Rosenstiel (PVM/MPI, 2008)

Semiformal verification of temporal properties in automotive hardware dependent software. - Djones Lettnin; Pradeep Kumar Nalla; Jörg Behrend; Jürgen Ruf; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel; Volker Schönknecht; Stephan Reitemeyer (DATE, 2009)

State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. - Patrick Heckeler; Jörg Behrend; Thomas Kropf; Jürgen Ruf; Wolfgang Rosenstiel; Roland J. Weiss (FM+AM, 2010)

Scalable hybrid verification for embedded software. - Jörg Behrend; Djones Lettnin; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (DATE, 2011)

Scalable and Extendable Hybrid Verification Platform. - Jörg Behrend; Patrick Heckeler; Stefan Huster; Djones Lettnin; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2011)

DWARF-driven Equivalence Checking of UML Statecharts and Software Components. - Patrick Heckeler; Jörg Behrend; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Roland Weiss (Softwaretechnik-Trends, 2011)

Optimized Static Parameter Assignment for Semiformal Software Verification. - Alexander Grünhage; Jörg Behrend; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Djones Lettnin (MBMV, 2012)

Optimized hybrid verification of embedded software. - Jörg Behrend; Alexander Grünhage; Douglas Schroeder; Djones Lettnin; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (LATW, 2014)

LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. - Sebastian Burg; Patrick Heckeler; Stefan Huster; Hanno Eichelberger; Jörg Behrend; Jürgen Ruf; Thomas Kropf; Oliver Bringmann 001 (MBMV, 2014)

Scalable and Optimized Hybrid Verification of Embedded Software. - Jörg Behrend; Djones Lettnin; Alexander Grünhage; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (J. Electron. Test., 2015)

Optimized hybrid verification of embedded software. - Jörg Behrend (2017)