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
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.” In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 159--174. LNCS, 2015. https://doi.org/10.1007/978-3-319-22969-0_12.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 280
Arifulina, Svetlana, Marie Christin Platenius, Felix Mohr, Gregor Engels, and Wilhelm 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, 333--340, 2015. https://doi.org/10.1109/SERVICES.2015.58.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 283
Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!” In Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 100–114. Lecture Notes in Computer Science, 2015. https://doi.org/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.” In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 1–9, 2015. https://doi.org/10.1109/ACSD.2015.13.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 245
Becker, Matthias, Sebastian Lehrig, and Steffen Becker. “Systematically Deriving Quality Metrics for Cloud Computing Systems.” In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 169--174. ICPE ’15. New York, NY, USA, 2015. https://doi.org/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, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, and Samuel Kounev. “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures.” Transactions on Software Engineering, no. 2 (2015): 157--175. https://doi.org/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.” In Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729–36. SAC ’15, 2015. https://doi.org/10.1145/2695664.2695690.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 269
Wiersema, Tobias, Sen Wu, and Marco 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), 365--372. LNCS, 2015. https://doi.org/10.1007/978-3-319-16214-0_32.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 323
Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.” Journal of Internet Services and Applications, no. 1 (2015): 1–18. https://doi.org/10.1186/s13174-015-0022-8.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 324
Mohr, Felix. “A Metric for Functional Reusability of Services.” In Proceedings of the 14th International Conference on Software Reuse (ICSR), 298--313. LNCS, 2015. https://doi.org/10.1007/978-3-319-14130-5_21.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 3343
Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.” Artificial Intelligence, 2015, 246–57. https://doi.org/10.1016/j.artint.2015.09.003.
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 290
Besova, Galina, Dominik Steenken, and Heike Wehrheim. “Grammar-Based Model Transformations: Definition, Execution, and Quality Properties.” Computer Languages, Systems & Structures, 2015, 116–38. https://doi.org/10.1016/j.cl.2015.05.003.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 291
Börding, Paul. Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen. Universität Paderborn, 2015.
LibreCat
2015 | Book Chapter | LibreCat-ID: 293
Geierhos, Michaela, Frederik Simon Bäumer, Sabine Schulze, and Valentina 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), edited by Moonis Ali, Young Sig Kwon, Chang-Hwan Lee, Juntae Kim, and Yongdai Kim, 9101:305–15. Lecture Notes in Artificial Intelligence. Cham, Switzerland: Springer, 2015. https://doi.org/10.1007/978-3-319-19066-2_30.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 300
Neumann, Conrad. Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets. Universität Paderborn, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 310
Bruns, Melanie. Design of an Evaluation Strategy for Fuzzy Service Matching. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 313
Börding, Paul, Melanie Bruns, and Marie Christin 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), 974--977, 2015. https://doi.org/10.1145/2786805.2803181.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 315
Jungmann, Alexander, Jan Jatzkowski, and Bernd 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