Alexander Grünhage

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Embedded Software

Single Parameter

Top Venues

J. Electron. Test.

Publications

Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable and Optimized Hybrid Verification of Embedded Software. J. Electron. Test. 31 (2) (2015)
Jörg Behrend, Alexander Grünhage, Douglas Schroeder, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Optimized hybrid verification of embedded software. LATW (2014)
Alexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin
Optimized Static Parameter Assignment for Semiformal Software Verification. MBMV (2012)