Sven Walther
According to our database1,
Sven Walther
authored at least 7 papers
between 2012 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
2016
On-the-fly construction of provably correct service compositions - templates and proofs.
Sci. Comput. Program., 2016
2015
Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015
2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012