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 | 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.)
2013 | Conference Paper | LibreCat-ID: 484
Platenius, Marie Christin, Markus von Detten, Christian Gerth, Wilhelm Schäfer, and Gregor Engels. “Service Matching under Consideration of Explicitly Specified Service Variants.” In IEEE 20th International Conference on Web Services (ICWS 2013), 613–14, 2013. https://doi.org/10.1109/ICWS.2013.98.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
Mohr, Felix, and Hans Kleine Büning. “Semi-Automated Software Composition Through Generated Components.” In Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS), 676–80, 2013. https://doi.org/10.1145/2539150.2539235.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 494
Detten, Markus von. Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 495
Mohr, Felix, Theodor Lettmann, and Hans Kleine Büning. “Reducing Nondeterminism in Automated Service Composition.” In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 154–61, 2013. https://doi.org/10.1109/SOCA.2013.25.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs – A PCC Alternative.” In Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 912–27. LNCS, 2013. https://doi.org/10.1007/978-3-642-39799-8_65.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn, 2013. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 502
Becker, Matthias, Markus Luckey, and Steffen Becker. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.” In Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13), 43–52, 2013. https://doi.org/10.1145/2465478.2465489.
LibreCat
| Files available
| DOI
2013 | Mastersthesis | LibreCat-ID: 504
Schwichtenberg, Simon. Ontology-Based Normalization and Matching of Rich Service Descriptions. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 506
Engels, Gregor. “On-The-Fly Computing -- Das Entwicklungs- Und Betriebsparadigma FürSoftwaresysteme Der Zukunft.” In Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 17–18. LNI, 2013.
LibreCat
| Files available
2013 | Journal Article | LibreCat-ID: 515
Jungmann, Alexander, Bernd Kleinjohann, and Elisabeth Kleinjohann. “Learning Service Recommendations.” International Journal of Business Process Integration and Management, no. 4 (2013): 284–97. https://doi.org/10.1504/IJBPIM.2013.059135.
LibreCat
| Files available
| DOI
| Download (ext.)