Weaving-Based Configuration and Modular Transformation of Multi-layer Systems. - Galina Besova; Sven Walther; Heike Wehrheim; Steffen Becker 001 (MoDELS, 2012)

Knowledge-Based Verification of Service Compositions - An SMT Approach. - Sven Walther; Heike Wehrheim (ICECCS, 2013)

Verified Service Compositions by Template-Based Construction. - Sven Walther; Heike Wehrheim (FACS, 2014)

SeSAME: modeling and analyzing high-quality service compositions. - Svetlana Arifulina; Sven Walther; Matthias Becker 001; Marie Christin Platenius (ASE, 2014)

Template-Based Generation of Semantic Services. - Felix Mohr; Sven Walther (ICSR, 2015)

On-the-fly construction of provably correct service compositions - templates and proofs. - Sven Walther; Heike Wehrheim (Sci. Comput. Program., 2016)

Knowledge-based verification of service compositions. - Sven Walther (2018)