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, Robin, and Eyke Hüllermeier. “Fast Fuzzy Pattern Tree Learning for Classification.” IEEE Transactions on Fuzzy Systems 23, no. 6 (2015): 2024–33. https://doi.org/10.1109/tfuzz.2015.2396078.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 333
Osterbrink, Sebastian. Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 336
Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.” In Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 31–48. LNCS, 2014. https://doi.org/10.1007/978-3-319-15317-9_3.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 344
Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and 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), 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 353
Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.” In Proceedings of the 14th International Conference on Software Reuse (ICSR), 188–203. LNCS, 2014. https://doi.org/10.1007/978-3-319-14130-5_14.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 359
Töws, Manuel. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 364
Arifulina, Svetlana, Matthias Becker, Marie Christin Platenius, and 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), 839–42, 2014. https://doi.org/10.1145/2642937.2648621.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 449
Becker, Matthias, Marie Christin Platenius, and Steffen Becker. “Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!” In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 153–59. Communications in Computer and Information Science, 2014. https://doi.org/10.1007/978-3-319-14886-1_15.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification and Matching.” In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch, AdityaK. Ghose, GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014. https://doi.org/10.1007/978-3-662-45391-9_47.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating Service Matchers into a Service Market Architecture.” In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 210–17. LNCS, 2014. https://doi.org/10.1007/978-3-319-09970-5_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 417
Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model Transformations.” In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 1601–10, 2014. https://doi.org/10.1016/j.cl.2015.05.003.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 422
Sanati, Maryam. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju, Suman. Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 427
Bulk, Benjamin. Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 430
Krakau, Andreas. Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT. Universität Paderborn, 2014.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 472
Engelbrecht, Marco. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 483
Becker, Matthias, Steffen Becker, and Joachim Meyer. “SimuLizar: Design-Time Modeling and Performance Analysis of Self-Adaptive Systems.” In Proceedings of the Software Engineering Conference (SE), 71–84. Lecture Notes in Informatics (LNI), 2013.
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 502
Becker, Matthias, Markus Luckey, and 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), 43–52, 2013. https://doi.org/10.1145/2465478.2465489.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 517
Walther, Sven, and 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), 24–32, 2013. https://doi.org/10.1109/ICECCS.2013.14.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 529
Heinzemann, Christian, and Steffen Becker. “Executing Reconfigurations in Hierarchical Component Architectures.” In Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE), 3–12, 2013. https://doi.org/10.1145/2465449.2465452.
LibreCat
| Files available
| DOI