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
2016 | Mastersthesis | LibreCat-ID: 181
Stanco S. Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 184
Melnikov V, Hüllermeier E. Learning to Aggregate Using Uninorms. In: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016). LNCS. ; 2016:756-771. doi:10.1007/978-3-319-46227-1_47
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 186
Czech M, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Jens Knoop UZ, ed. Software Engineering 2016. Lecture Notes in Informatics. ; 2016:17-18.
LibreCat
| Files available
2016 | Report | LibreCat-ID: 221
Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
Wiersema T, Bockhorn A, Platzner M. An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers & Electrical Engineering. 2016:112--122. doi:10.1016/j.compeleceng.2016.04.005
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 224
Krämer J, Wehrheim H. 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). LNCS. ; 2016:248--262. doi:10.1007/978-3-319-44482-6_16
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 225
Jungmann A, Kleinjohann B. A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality. In: Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). ; 2016:1--8. doi:10.1109/ETFA.2016.7733522
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
Krämer J, Wehrheim H. 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). LNCS. ; 2016:445--457. doi:10.1007/978-3-319-50230-4_35
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 227
Töws M, Wehrheim H. A CEGAR Scheme for Information Flow Analysis. In: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016). LNCS. ; 2016:466--483. doi:10.1007/978-3-319-47846-3_29
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 217
Schwichtenberg S. Automatized Derivation of Comprehensive Specifications for Black-box Services. In: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE). ; 2016:815-818. doi:10.1145/2889160.2889271
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 218
Jungmann A, Kleinjohann B. Automatic Composition of Service-based Image Processing Applications. In: Proceedings of the 13th IEEE International Conference on Services Computing (SCC). ; 2016:106--113. doi:10.1109/SCC.2016.21
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 5205
Späth J, Nguyen Quang Do L, Ali K, Bodden E. Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In: European Conference on Object-Oriented Programming (ECOOP). ; 2016.
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 169
Kühne T, Hamann H, Arifulina S, Engels G. Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application. In: Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016). LNCS 9594. ; 2016:278--293. doi:10.1007/978-3-319-30668-1_18
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 170
Jakobs M-C, Töws M, Pauck F. PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In: Ishikawa F, Romanovsky A TE, ed. Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems. School of Computing Science Technical Report Series. ; 2016.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 1190
Isenberg T. Induction-Based Verification of Timed Systems. Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 158
Bäumer FS, Geierhos M. Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions. In: Dregvaite G, Damasevicius R, eds. Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST). Vol 639. Communications in Computer and Information Science. Cham, Switzerland: Springer; 2016:549-558. doi:10.1007/978-3-319-46254-7_44
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 150
Arifulina S. Solving Heterogeneity for a Successful Service Market. Universität Paderborn; 2016. doi:10.17619/UNIPB/1-13
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 160
van Rooijen L, Hamann H. Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In: Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016). ; 2016:3--9. doi:10.1109/REW.2016.015
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 162
Zhang G. Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn; 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 164
Czech M. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn; 2016.
LibreCat