J. Blanckenstein and H. Karl, “Energy-efficient clock synchronization using wake-up receivers,” in 22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014, 2014, pp. 408--413.
LibreCat: /record/763
DOI: 10.1109/SOFTCOM.2014.7039090

F. Beister and H. Karl, “Predicting mobile video inter-download times with Hidden Markov Models,” in IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2014, Larnaca, Cyprus, October 8-10, 2014, 2014, pp. 359--364.
LibreCat: /record/765
DOI: 10.1109/WiMOB.2014.6962195

S. Mehraghdam, M. Keller, and H. Karl, “Specifying and Placing Chains of Virtual Network Functions,” CoRR. 2014.
LibreCat: /record/766

P. Wette and H. Karl, “DCT<sup>2</sup>Gen: A Versatile TCP Traffic Generator for Data Centers,” CoRR. 2014.
LibreCat: /record/767

A. Schwabe and H. Karl, “Adding Geographical Embedding to AS Topology Generation,” CoRR. 2014.
LibreCat: /record/768

I. Jovanovikj, Detection and Resolution of Data-Flow Differences in Business Process Models. 2014.
LibreCat: /record/8842

D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, and T. F. Strothmann, “On Stabilizing Departures in Overlay Networks,” in Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62.
LibreCat: /record/393
DOI: 10.1007/978-3-319-11764-5_4

S. Schwichtenberg, C. Gerth, Z. Huma, and G. Engels, “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations,” in Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
LibreCat: /record/394
DOI: 10.1007/978-3-319-09195-2_12

S. Abshoff, A. Cord-Landwehr, D. Jung, and A. Skopalik, “Multilevel Network Games,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440.
LibreCat: /record/395
DOI: 10.1007/978-3-319-13129-0_36

C. Scheideler, M. Eikel, and A. Setzer, “Minimum Linear Arrangement of Series-Parallel Graphs,” in Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.
LibreCat: /record/397

T. Wiersema, S. Drzevitzky, and M. Platzner, “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring,” in Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
LibreCat: /record/399
DOI: 10.1109/FPT.2014.7082771

M. C. Platenius, S. Arifulina, R. Petrlic, and W. Schäfer, “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching,” in Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.
LibreCat: /record/401
DOI: 10.1007/978-3-319-14886-1_2

S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer, “Market-optimized Service Specification and Matching,” in Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
LibreCat: /record/402
DOI: 10.1007/978-3-662-45391-9_47

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.
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

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.
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

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.
LibreCat: /record/412
DOI: 10.1109/P2P.2014.6934300
arXiv: 1408.0395

J. Jochheim, Hiding software components using functional encryption. Universität Paderborn, 2014.
LibreCat: /record/414

P. Bemmann, Group Signature Schemes with Strong Exculpability. Universität Paderborn, 2014.
LibreCat: /record/416

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.
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

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