Christian Wagner

According to our database, Christian Wagner authored at least 10 papers between 2006 and 2014.

Collaborative distances:

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

2014

Model-Driven Software Migration: A Methodology - Reengineering, Recovery and Modernization of Legacy Systems

Christian Wagner

Springer, ISBN: 978-3-658-05270-6, 2014

2013

Simplifying Translation Validation via Model Extrapolation.

Falk Howar, Tiziana Margaria, Christian Wagner

J. Integr. Des. Process. Sci., 2013

2012

Modellgetriebene Software-Migration.

Christian Wagner

PhD thesis, 2012

2010

Round-Trip Engineering.

Bernhard Steffen, Tiziana Margaria, Christian Wagner

Proceedings of the Encyclopedia of Software Engineering, 2010

2009

Component-Oriented Behavior Extraction for Autonomic System Design.

Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen

Proceedings of the First NASA Formal Methods Symposium, 2009

Maintenance, or the 3rd dimension of eXtreme model-driven design.

Bernhard Steffen, Sven Jörges, Christian Wagner, Tiziana Margaria

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Analysis and Code Model Extraction for C/C++ Source Code.

Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems.

Tiziana Margaria, Christian Wagner, Marco Bakera

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Component-Oriented Behavior Extraction for Autonomic System Design.

Tiziana Margaria, Marco Bakera, Christian Wagner

Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009

2006

Comparative Analysis of Tools for Automated Software Re-engineering Purposes.

Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm

Proceedings of the Leveraging Applications of Formal Methods, 2006