We stand with Ukraine  

Christian Ammann

According to our database1, Christian Ammann authored at least 5 papers between 2010 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2010
2011
2012
2013
2014
2015
0
1
2
3
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung.
[BibTeX]
[DOI]
Christian Ammann
PhD thesis, 2015

2012
Formal Verification of Web Applications.
[BibTeX]
[DOI]
Christian Ammann
Softwaretechnik-Trends, 2012

2011
Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers.
[BibTeX]
[DOI]
Christian Ammann
Softwaretechnik-Trends, 2011

From business modeling to verified applications.
[BibTeX]
[DOI]
Christian Ammann
,
Stephan Kleuker
,
Elke Pulvermüller
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

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


  Loading...