Daniel Grunwald

According to our database, Daniel Grunwald authored at least 2 papers between 2012 and 2014.

Collaborative distances:

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

2014

Generating JML Specifications from Alloy Expressions.

Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz

Proceedings of the Hardware and Software: Verification and Testing, 2014

2012

Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform.

Matthias Gietzelt, Ursula Goltz, Daniel Grunwald, Malte Lochau, Michael Marschollek, Bianying Song, Klaus-Hendrik Wolf

Comput. Methods Programs Biomed., 2012