Integration von Model-Driven Development und formaler Verifikation in den Softwareentwicklungsprozess - eine Fallstudie mit einem 3D-Tracking-System. - Christian Ammann (Softwaretechnik-Trends, 2010)

From business modeling to verified applications. - Christian Ammann; Stephan Kleuker; Elke Pulvermüller (GI-Jahrestagung, 2011)

Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers. - Christian Ammann (Softwaretechnik-Trends, 2011)

Formal Verification of Web Applications. - Christian Ammann (Softwaretechnik-Trends, 2012)

Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung. - Christian Ammann (2015)