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
2014 | Mastersthesis | LibreCat-ID: 411
Taherinajafabadi, Vahide. Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 415
Vijapurwala, Shafi. Handling Incomplete Service Specifications Using Fuzzy Matching. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model Transformations.” In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 1601–10, 2014. https://doi.org/10.1016/j.cl.2015.05.003.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 420
Merschjohann, Sven. Fuzzy Matching of Service Price Specifications. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 422
Sanati, Maryam. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju, Suman. Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 424
Finkensiep, Christoph. Fast and Flexible Automatic Composition of Semantic Web Services. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 425
Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Evaluation of Color Spaces for Robust Image Segmentation.” In Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), 648–55, 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 427
Bulk, Benjamin. Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr, Felix. “Estimating Functional Reusability of Services.” In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 411–18. LNCS, 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Bachelorsthesis | LibreCat-ID: 430
Krakau, Andreas. Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 433
Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS Meets ZUMA.” In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–6, 2014. https://doi.org/10.1109/ReConFig.2014.7032514.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis for Android Apps.” In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14. ACM Press, 2014. https://doi.org/10.1145/2594291.2594299.
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In International Conference on Availability, Reliability and Security (ARES 2014), 40–49. IEEE, 2014.
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 469
Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Zero Overhead Runtime Monitoring.” In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 244–58. LNCS, 2013. https://doi.org/10.1007/978-3-642-40561-7_17.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 472
Engelbrecht, Marco. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 478
Timm, Nils. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 482
Bieshaar, Maarten. Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 483
Becker, Matthias, Steffen Becker, and Joachim Meyer. “SimuLizar: Design-Time Modeling and Performance Analysis of Self-Adaptive Systems.” In Proceedings of the Software Engineering Conference (SE), 71–84. Lecture Notes in Informatics (LNI), 2013.
LibreCat
| Files available
| Download (ext.)