Universität Paderborn » SFB 901 » Projects » Project Area B » B3 » Publications

Publications


2017 (2)

Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim:
Predicting Rankings of Software Verification Competitions
arXiv. (2017) (presented at 1st Workshop on Learning in Verification (LiVe))

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Julia Krämer, Dirk Van Straaten, Theodor Lettmann:
Certification Matters for Service Markets
In Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas Prinz (eds.): The Ninth International Conferences on Advanced Service Computing SERVICE COMPUTATION 2017. IARIA XPS Press, pp. 7-12 (2017)

[Show Abstract] [Show BibTeX] [DOI]

2016 (5)

Sven Walther, Heike Wehrheim:
On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs
In Science of Computer Programming, vol. 127, pp. 2-23. Elsevier (2016)

[Show Abstract] [Show BibTeX] [DOI]
Vitalik Melnikov, Eyke Hüllermeier:
Learning to Aggregate Using Uninorms
In Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016). Springer, LNCS, vol. 9852, no. 2, pp. 756-771 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Marie Christin Platenius, Ammar Shaker, Matthias Becker, Eyke Hüllermeier, Wilhelm Schaefer:
Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic
In IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017, vol. 99. IEEE (2016)

[Show Abstract] [Show BibTeX] [DOI]
Julia Krämer, Heike Wehrheim:
A short survey on using software error localization for service compositions
In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016). Springer, LNCS, vol. 9846, pp. 248-262 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Julia Krämer, Heike Wehrheim:
A Formal Approach to Error Localization and Correction in Service Compositions
In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016). Springer, LNCS, vol. 9946, pp. 445-457 (2016)

[Show Abstract] [Show BibTeX] [DOI]

2015 (3)

Matthias Becker, Sebastian Lehrig, Steffen Becker:
Systematically Deriving Quality Metrics for Cloud Computing Systems
In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering. ACM (New York, NY, USA), ICPE '15, pp. 169-174 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Fabian Brosig, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, Samuel Kounev:
Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures
In Transactions on Software Engineering, vol. 41, no. 2, pp. 157-175. IEEE (2015)

[Show Abstract] [Show BibTeX] [DOI]
Galina Besova, Dominik Steenken, Heike Wehrheim:
Grammar-based model transformations: Definition, execution, and quality properties
In Computer Languages, Systems & Structures, vol. 43, pp. 116-138. Elsevier (2015)

[Show Abstract] [Show BibTeX] [DOI]

2014 (8)

Sven Walther, Heike Wehrheim:
Verified Service Compositions by Template-Based Construction
In Lanese, Ivan and Madelaine, Eric (eds.): Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS). Springer, LNCS, vol. 8997, pp. 31-48 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Becker, Steffen Becker, Galina Besova, Sven Walther, Heike Wehrheim:
Towards Systematic Configuration for Architecture Validation
In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session). IEEE (2014)

[Show BibTeX]
Felix Mohr, Sven Walther:
Template-based Generation of Semantic Services
In Proceedings of the 14th International Conference on Software Reuse (ICSR). Springer, LNCS, vol. 8919, pp. 188-203 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Svetlana Arifulina, Matthias Becker, Marie Christin Platenius, Sven Walther:
SeSAME: Modeling and Analyzing High-Quality Service Compositions
In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). ACM New York, pp. 839-842 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Svetlana Arifulina, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, Wilhelm Schaefer:
Market-optimized Service Specification and Matching
In Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, Sami (eds.): Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014). Springer Berlin Heidelberg, LNCS, vol. 8831, pp. 543-550 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Marie Christin Platenius, Steffen Becker, Wilhelm Schaefer:
Integrating Service Matchers into a Service Market Architecture
In Avgeriou, Paris and Zdun, Uwe (eds.): Proceedings of the 8th European Conference on Software Architecture (ECSA 2014). Springer International Publishing, LNCS, vol. 8627, pp. 210-217 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Galina Besova, Dominik Steenken, Heike Wehrheim:
Grammar-based model transformations
In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). IEEE, pp. 1601-1610 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Becker, Marie Christin Platenius, Steffen Becker:
Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!
In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB). Springer, Communications in Computer and Information Science, pp. 153-159 (2014)

[Show Abstract] [Show BibTeX] [DOI]

2013 (4)

Matthias Becker, Steffen Becker, Joachim Meyer:
SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems
In Proceedings of the Software Engineering Conference (SE). Gesellschaft für Informatik (GI), Lecture Notes in Informatics (LNI), vol. 213, pp. 71-84 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Becker, Markus Luckey, Steffen Becker:
Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time
In Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA'13). ACM, pp. 43-52 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Sven Walther, Heike Wehrheim:
Knowledge-Based Verification of Service Compositions - An SMT approach
In Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE Computer Society, pp. 24 - 32 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Christian Heinzemann, Steffen Becker:
Executing Reconfigurations in Hierarchical Component Architectures
In Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE). ACM, pp. 3-12 (2013)

[Show Abstract] [Show BibTeX] [DOI]

2012 (3)

Galina Besova, Sven Walther, Heike Wehrheim, Steffen Becker:
Weaving-based configuration and modular transformation of multi-layer systems
In Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS). Springer, LNCS, vol. 7590, pp. 776-792 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Steffen Becker, Christian Heinzemann, Claudia Priesterjahn:
Towards Modeling Reconfiguration in Hierarchical Component Architectures
In Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE). ACM, pp. 23-28 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Becker, Markus Luckey, Steffen Becker:
Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey
In Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA'12). ACM, pp. 117-122 (2012)

[Show Abstract] [Show BibTeX] [DOI]

2011 (3)

Michael Leuschel, Heike Wehrheim:
Selected papers on Integrated Formal Methods (iFM09)
In Science of Computer Programming, vol. 76, no. 10, pp. 835-836. Elsevier (2011)

[Show BibTeX] [DOI]
Galina Besova, Heike Wehrheim, Annika Wagner:
Reputation-based Reliability Prediction of Service Compositions
In Electronic Notes in Theoretical Computer Science, vol. 279, no. 2, pp. 3-16. Elsevier (2011)

[Show Abstract] [Show BibTeX] [DOI]
Sebastian Lehrig, Thomas Zolynski:
Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study
In Proceedings of the Palladio Days 2011. FZI Forschungszentrum Informatik Karlsruhe, Karlsruhe Reports in Informatics, vol. 32, pp. 15-22 (2011)

[Show Abstract] [Show BibTeX] [DOI]