Ulrich Geilmann

According to our database, Ulrich Geilmann authored at least 3 papers between 2011 and 2012.

Collaborative distances:

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

2012

A Proof Assistant for Alloy Specifications.

Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

A Formalisation of Java Strings for Program Specification and Verification.

Richard Bubel, Reiner Hähnle, Ulrich Geilmann

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

A dual-engine for early analysis of critical systems.

Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011