Sven Walther

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 2

Top Topics

Provably Correct

Service Compositions

Web Service Discovery

Top Venues

Sci. Comput. Program.

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Sven Walther, Heike Wehrheim
On-the-fly construction of provably correct service compositions - templates and proofs. Sci. Comput. Program. 127 (2016)
Felix Mohr, Sven Walther
Template-Based Generation of Semantic Services. ICSR (2015)
Sven Walther, Heike Wehrheim
Verified Service Compositions by Template-Based Construction. FACS (2014)
Svetlana Arifulina, Sven Walther, Matthias Becker, Marie Christin Platenius
SeSAME: modeling and analyzing high-quality service compositions. ASE (2014)
Sven Walther, Heike Wehrheim
Knowledge-Based Verification of Service Compositions - An SMT Approach. ICECCS (2013)
Galina Besova, Sven Walther, Heike Wehrheim, Steffen Becker
Weaving-Based Configuration and Modular Transformation of Multi-layer Systems. MoDELS (2012)