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
2015 | Journal Article | LibreCat-ID: 4792
Senge R, Hüllermeier E. Fast Fuzzy Pattern Tree Learning for Classification. IEEE Transactions on Fuzzy Systems. 2015;23(6):2024-2033. doi:10.1109/tfuzz.2015.2396078
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 333
Osterbrink S. Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 336
Walther S, Wehrheim H. Verified Service Compositions by Template-Based Construction. In: Lanese I, Madelaine E, eds. Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS). LNCS. ; 2014:31-48. doi:10.1007/978-3-319-15317-9_3
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 344
Becker M, Becker S, Besova G, Walther S, Wehrheim H. Towards Systematic Configuration for Architecture Validation. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session). ; 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 353
Mohr F, Walther S. Template-based Generation of Semantic Services. In: Proceedings of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2014:188-203. doi:10.1007/978-3-319-14130-5_14
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 359
Töws M. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 364
Arifulina S, Becker M, Platenius MC, Walther S. SeSAME: Modeling and Analyzing High-Quality Service Compositions. In: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). ; 2014:839-842. doi:10.1145/2642937.2648621
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 449
Becker M, Platenius MC, Becker S. Cloud Computing Reduces Uncertainties in Quality-of-Service Matching! In: Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB). Communications in Computer and Information Science. ; 2014:153-159. doi:10.1007/978-3-319-14886-1_15
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina S, Platenius MC, Gerth C, Becker S, Engels G, Schäfer W. Market-optimized Service Specification and Matching. In: Franch X, Ghose A, Lewis G, Bhiri S, eds. Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014). LNCS. ; 2014:543-550. doi:10.1007/978-3-662-45391-9_47
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service Market Architecture. In: Avgeriou P, Zdun U, eds. Proceedings of the 8th European Conference on Software Architecture (ECSA 2014). LNCS. ; 2014:210-217. doi:10.1007/978-3-319-09970-5_19
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 417
Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). ; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 422
Sanati M. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju S. Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 427
Bulk B. Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 430
Krakau A. Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT. Universität Paderborn; 2014.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 472
Engelbrecht M. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 483
Becker M, Becker S, Meyer J. SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems. In: Proceedings of the Software Engineering Conference (SE). Lecture Notes in Informatics (LNI). ; 2013:71-84.
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 502
Becker M, Luckey M, Becker S. 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). ; 2013:43-52. doi:10.1145/2465478.2465489
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 517
Walther S, Wehrheim H. Knowledge-Based Verification of Service Compositions - An SMT approach. In: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). ; 2013:24-32. doi:10.1109/ICECCS.2013.14
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 529
Heinzemann C, Becker S. Executing Reconfigurations in Hierarchical Component Architectures. In: Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE). ; 2013:3-12. doi:10.1145/2465449.2465452
LibreCat
| Files available
| DOI