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 | Conference Paper | LibreCat-ID: 158
Bäumer, Frederik Simon, and Michaela Geierhos. “Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions.” Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST), edited by Giedre Dregvaite and Robertas Damasevicius, vol. 639, Springer, 2016, pp. 549–58, doi:10.1007/978-3-319-46254-7_44.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 150
Arifulina, Svetlana. 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, Lorijn, and Heiko Hamann. “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm.” Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9, doi:10.1109/REW.2016.015.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 162
Zhang, Guangli. Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 164
Czech, Mike. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 140
Jungmann, Alexander. Towards On-The-Fly Image Processing. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 141
Mohr, Felix. Towards Automated Service Composition Under Quality Constraints. Universität Paderborn, 2016, doi:10.17619/UNIPB/1-171.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 132
Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.” Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8, doi:10.1109/ReCoSoC.2016.7533910.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 133
Dewender, Markus. Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 136
Vollmers, Daniel. Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn, 2016.
LibreCat
2015 | Conference Paper | LibreCat-ID: 250
Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.” Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174, doi:10.1007/978-3-319-22969-0_12.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 280
Arifulina, Svetlana, et al. “Market-Specific Service Compositions: Specification and Matching.” Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340, doi:10.1109/SERVICES.2015.58.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 283
Czech, Mike, et al. “Just Test What You Cannot Verify!” Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 2015, pp. 100–14, doi:10.1007/978-3-662-46675-9_7.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9, doi:10.1109/ACSD.2015.13.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 245
Becker, Matthias, et al. “Systematically Deriving Quality Metrics for Cloud Computing Systems.” Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 2015, pp. 169--174, doi:10.1145/2668930.2688043.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 246
Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 260
Brosig, Fabian, et al. “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures.” Transactions on Software Engineering, no. 2, IEEE, 2015, pp. 157--175, doi:10.1109/TSE.2014.2362755.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 262
Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.” Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–36, doi:10.1145/2695664.2695690.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 269
Wiersema, Tobias, et al. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.” Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372, doi:10.1007/978-3-319-16214-0_32.
LibreCat
| Files available
| DOI