Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
70 Publications
2013 | Bachelorsthesis | LibreCat-ID: 556
Nickel T. Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking. Universität Paderborn; 2013.
LibreCat
2012 | Conference Paper | LibreCat-ID: 569
Becker S, Heinzemann C, Priesterjahn C. Towards Modeling Reconfiguration in Hierarchical Component Architectures. In: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE). ; 2012:23--28. doi:10.1145/2304736.2304742
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 596
Becker M, Luckey M, Becker S. 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). ; 2012:117-122. doi:10.1145/2304696.2304716
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 610
Mohr M. Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis. Universität Paderborn; 2012.
LibreCat
| Files available
2012 | Mastersthesis | LibreCat-ID: 614
Lehrig S. Empirischer, quantitativer Vergleich von Modelltransformationssprachen. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 565
Besova G, Walther S, Wehrheim H, Becker S. Weaving-based configuration and modular transformation of multi-layer systems. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS). LNCS. ; 2012:776-792. doi:10.1007/978-3-642-33666-9_49
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming. 2011;(10):835--836. doi:10.1016/j.scico.2011.01.009
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 649
Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science. 2011;(2):3-16. doi:10.1016/j.entcs.2011.11.008
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
Lehrig S, Zolynski T. Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In: Proceedings of the Palladio Days 2011. Karlsruhe Reports in Informatics. ; 2011:15-22. doi:10.5445/IR/1000025188
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 655
Meyer J. Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn; 2011.
LibreCat