Energy-efficient clock synchronization using wake-up receivers
J. Blanckenstein, H. Karl, 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

Predicting mobile video inter-download times with Hidden Markov Models
F. Beister, H. Karl, 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

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

DCT²Gen: A Versatile TCP Traffic Generator for Data Centers
P. Wette, H. Karl, CoRR (2014).
LibreCat: /record/767

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

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

On Stabilizing Departures in Overlay Networks
D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, T.F. Strothmann, 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

Normalizing Heterogeneous Service Description Models with Generated QVT Transformations
S. Schwichtenberg, C. Gerth, Z. Huma, G. Engels, 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

Multilevel Network Games
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, 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

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

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

Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching
M.C. Platenius, S. Arifulina, R. Petrlic, W. Schäfer, 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

Market-optimized Service Specification and Matching
S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, in: X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), 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

Integrating Software and Hardware Verification
M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in: E. Albert, E. Sekerinski (Eds.), 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

Integrating Service Matchers into a Service Market Architecture
M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.), 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

HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
M. Feldotto, C. Scheideler, K. Graffi, 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

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

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

Grammar-based model transformations
G. Besova, D. Steenke, H. Wehrheim, 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

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