M.-C. Jakobs, M. Platzner, T. Wiersema, and H. Wehrheim, “Integrating Software and Hardware Verification,” in Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), 2014, pp. 307–322.

M. C. Platenius, S. Becker, and W. Schäfer, “Integrating Service Matchers into a Service Market Architecture,” in Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.

M. Feldotto, C. Scheideler, and K. Graffi, “HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths,” in Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P), 2014, pp. 1–10.

J. Jochheim, Hiding software components using functional encryption. Universität Paderborn, 2014.

P. Bemmann, Group Signature Schemes with Strong Exculpability. Universität Paderborn, 2014.

G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,” in Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.

F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.

J. Lippert, Fujisaki-Okamoto Transformation. Universität Paderborn, 2014.

V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn, 2014.

F. Mohr, “Estimating Functional Reusability of Services,” in Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–418.

P. Kling, Energy-efficient Scheduling Algorithms. Universität Paderborn, 2014.

Y. Grynko and E. Zubko, “Light Scattering By Random Irregular Particles With Different Morphology,” presented at the 10th International Conference on Laser-Light and Interactions with Particles, Marseille (France), 2014.

N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn, 2014.

T. Wiersema, A. Bockhorn, and M. Platzner, “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA,” in Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.

A. Antoniadis et al., “Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules,” in Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74.

S. Arzt et al., “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, 2014.

S. Arzt, S. Rasthofer, E. Lovat, and E. Bodden, “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android,” in International Conference on Availability, Reliability and Security (ARES 2014), 2014, pp. 40–49.

F. Bause, J. Rautenberg, N. Feldmann, L. Claes, and B. Henning, Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale, vol. 8. DEGA-Symposium, Bad Honnef, 2014.

S. Olfert, L. Claes, and B. Henning, “Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren,” in Fortschritte der Akustik - DAGA 2014, 2014, pp. 541–542.

L. van Rooijen, A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers). University of Bordeaux, France, 2014.