Daniel Grunwald

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Mechanical Properties

Support Systems

Top Venues

Comput. Methods Programs Biomed.

Haifa Verification Conference

Publications

Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz
Generating JML Specifications from Alloy Expressions. Haifa Verification Conference (2014)
Matthias Gietzelt, Ursula Goltz, Daniel Grunwald, Malte Lochau, Michael Marschollek, Bianying Song, Klaus-Hendrik Wolf
Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform. Comput. Methods Programs Biomed. 106 (2) (2012)