Christian Ammann

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Web Applications

Top Venues

Softwaretechnik-Trends

University of Osnabrück (PHD)

Education History

University of Osnabrück

PHD

Publications

Christian Ammann
Formal Verification of Web Applications. Softwaretechnik-Trends 32 (1) (2012)
Christian Ammann, Stephan Kleuker, Elke Pulvermüller
From business modeling to verified applications. GI-Jahrestagung (2011)
Christian Ammann
Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers. Softwaretechnik-Trends 31 (3) (2011)
Christian Ammann
Integration von Model-Driven Development und formaler Verifikation in den Softwareentwicklungsprozess - eine Fallstudie mit einem 3D-Tracking-System. Softwaretechnik-Trends 30 (4) (2010)