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.
367 Publications
2015 | Journal Article | LibreCat-ID: 3162
Ziegert S, Wehrheim H. Temporal plans for software architecture reconfiguration. Computer Science - R & D. 2015;(3-4):303--320. doi:10.1007/s00450-014-0259-7
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 318
Huma Z. Automatic Service Discovery and Composition for Heterogeneous Service Partners. Universität Paderborn; 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition. In: Proceedings of the 12th IEEE International Conference on Services Computing (SCC). ; 2015:57--64. doi:10.1109/SCC.2015.18
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 272
Jungmann A. On Adaptivity for Automated Composition of Service Functionality. In: Proceedings of the IEEE 11th World Congress on Services (SERVICES). ; 2015:329--332. doi:10.1109/SERVICES.2015.57
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 279
Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration of Service Matching Processes. In: Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15). ; 2015:75-84. doi:10.1145/2737166.2737174
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 231
Geierhos M, Schulze S, Bäumer FS. What did you mean? Facing the Challenges of User-generated Software Requirements. In: Loiseau S, Filipe J, Duval B, van den Herik J, eds. Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015). Setúbal, Portugal: SciTePress - Science and Technology Publications; 2015:277-283. doi:10.5220/0005346002770283
LibreCat
| Files available
| DOI
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
2015 | Conference Paper | LibreCat-ID: 5207
Li L, Bartel A, Bissyande TF, et al. IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. In: 2015 International Conference on Software Engineering (ICSE). ; 2015:280-291.
LibreCat
| Files available
| Download (ext.)
2015 | Bachelorsthesis | LibreCat-ID: 10714
Meißner R. Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung Virtueller FPGAs. Universität Paderborn; 2015.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 331
Wu S. Webcam Application Using Virtual FPGA. Universität Paderborn; 2014.
LibreCat
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 | Bachelorsthesis | LibreCat-ID: 340
Korth P. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 342
Klauke C. Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn; 2014.
LibreCat
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: 345
Jungmann A, Kleinjohann B. Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. In: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom). ; 2014:755-758. doi:10.1109/CloudCom.2014.154
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 346
Brangewitz S, Jungmann A, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2014:49-57.
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