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)

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)