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 | Bachelorsthesis | LibreCat-ID: 136
D. Vollmers, Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn, 2016.
LibreCat
2015 | Conference Paper | LibreCat-ID: 250
M.-C. Jakobs, “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning,” in Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 280
S. Arifulina, M. C. Platenius, F. Mohr, G. Engels, and W. Schäfer, “Market-Specific Service Compositions: Specification and Matching,” in Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 283
M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 245
M. Becker, S. Lehrig, and S. Becker, “Systematically Deriving Quality Metrics for Cloud Computing Systems,” in Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 2015, pp. 169--174.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 246
G. Besova, Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 260
F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, and S. Kounev, “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures,” Transactions on Software Engineering, no. 2, pp. 157--175, 2015.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 262
M.-C. Jakobs and H. Wehrheim, “Programs from Proofs of Predicated Dataflow Analyses,” in Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 269
T. Wiersema, S. Wu, and M. Platzner, “On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach,” in Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 323
A. Jungmann and F. Mohr, “An approach towards adaptive service composition in markets of composed services,” Journal of Internet Services and Applications, no. 1, pp. 1–18, 2015.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 324
F. Mohr, “A Metric for Functional Reusability of Services,” in Proceedings of the 14th International Conference on Software Reuse (ICSR), 2015, pp. 298--313.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 290
G. Besova, D. Steenken, and H. Wehrheim, “Grammar-based model transformations: Definition, execution, and quality properties,” Computer Languages, Systems & Structures, pp. 116–138, 2015.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 291
P. Börding, Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen. Universität Paderborn, 2015.
LibreCat
2015 | Book Chapter | LibreCat-ID: 293
M. Geierhos, F. S. Bäumer, S. Schulze, and V. Stuß, “Filtering Reviews by Random Individual Error,” in Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015), vol. 9101, M. Ali, Y. S. Kwon, C.-H. Lee, J. Kim, and Y. Kim, Eds. Cham, Switzerland: Springer, 2015, pp. 305–315.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 300
C. Neumann, Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets. Universität Paderborn, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 310
M. Bruns, Design of an Evaluation Strategy for Fuzzy Service Matching. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 313
P. Börding, M. Bruns, and M. C. Platenius, “Comprehensive Service Matching with MatchBox,” in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 315
A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study,” in Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.
LibreCat
| Files available