Ulrich Geilmann

Publication Activity (10 Years)

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

Top Topics

Room Temperature

Geometry Theorem Proving

Mechanical Properties

Formal Language

Top Venues

Publications

Aboubakr Achraf El Ghazi, Ulrich Geilmann, Mattias Ulbrich, Mana Taghdiri
A Dual-Engine for Early Analysis of Critical Systems. CoRR (2014)
Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri
A Proof Assistant for Alloy Specifications. TACAS (2012)
Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann
A dual-engine for early analysis of critical systems. GI-Jahrestagung (2011)
Richard Bubel, Reiner Hähnle, Ulrich Geilmann
A Formalisation of Java Strings for Program Specification and Verification. SEFM (2011)