A dual-engine for early analysis of critical systems. - Aboubakr Achraf El Ghazi; Mana Taghdiri; Mattias Ulbrich; Ulrich Geilmann (GI-Jahrestagung, 2011)

A Formalisation of Java Strings for Program Specification and Verification. - Richard Bubel; Reiner Hähnle; Ulrich Geilmann (SEFM, 2011)

A Proof Assistant for Alloy Specifications. - Mattias Ulbrich; Ulrich Geilmann; Aboubakr Achraf El Ghazi; Mana Taghdiri (TACAS, 2012)