Sven Walther

According to our database, Sven Walther authored at least 7 papers between 2012 and 2018.

Collaborative distances:

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

2018

Knowledge-based verification of service compositions.

Sven Walther

PhD thesis, 2018

2016

On-the-fly construction of provably correct service compositions - templates and proofs.

Sven Walther, Heike Wehrheim

Sci. Comput. Program., 2016

2015

Template-Based Generation of Semantic Services.

Felix Mohr, Sven Walther

Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

2014

SeSAME: modeling and analyzing high-quality service compositions.

Svetlana Arifulina, Sven Walther, Matthias Becker, Marie Christin Platenius

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Verified Service Compositions by Template-Based Construction.

Sven Walther, Heike Wehrheim

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Knowledge-Based Verification of Service Compositions - An SMT Approach.

Sven Walther, Heike Wehrheim

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012

Weaving-Based Configuration and Modular Transformation of Multi-layer Systems.

Galina Besova, Sven Walther, Heike Wehrheim, Steffen Becker

Proceedings of the Model Driven Engineering Languages and Systems, 2012