Alexander Grünhage

According to our database, Alexander Grünhage authored at least 3 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

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

2014

Optimized hybrid verification of embedded software.

Jörg Behrend, Alexander Grünhage, Douglas Schroeder, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the 15th Latin American Test Workshop, 2014

2012

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012