Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.”https://doi.org/10.1007/978-3-319-15317-9_3__In Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 31–48. LNCS, 2014.https://doi.org/10.1007/978-3-319-15317-9_3 .
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

Wette, Philip, and Holger Karl. “Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms.”https://doi.org/10.1109/ICC.2014.6883825__In Proceedings of the IEEE International Conference on Communications 2014, 3270–76, 2014.https://doi.org/10.1109/ICC.2014.6883825 .
LibreCat: /record/339
DOI: 10.1109/ICC.2014.6883825

Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat: /record/340

Künsemöller, Jörn. Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn, 2014.
LibreCat: /record/343

Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and Heike Wehrheim. “Towards Systematic Configuration for Architecture Validation.” In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat: /record/344

Brangewitz, Sonja, Alexander Jungmann, Ronald Petrlic, and Marie Christin Platenius. “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.” In Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 49–57, 2014.
LibreCat: /record/346

Meisner, Sebastian, and Marco Platzner. “Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-Cores for Error Detection.”https://doi.org/10.1007/978-3-319-05960-0_30__In Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), edited by Diana Goehringer, MarcoDomenico Santambrogio, JoãoM.P. Cardoso, and Koen Bertels, 283–90. Lecture Notes in Computer Science. Springer, 2014.https://doi.org/10.1007/978-3-319-05960-0_30 .
LibreCat: /record/347
DOI: 10.1007/978-3-319-05960-0_30

Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”https://doi.org/10.1007/978-3-319-14130-5_14__In Proceedings of the 14th International Conference on Software Reuse (ICSR), 188–203. LNCS, 2014.https://doi.org/10.1007/978-3-319-14130-5_14 .
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

Keller, Matthias, Christoph Robbert, and Holger Karl. “Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds.”https://doi.org/10.1109/UCC.2014.49__In Proceedings of 7th International Conference on Utility and Cloud Computing (UCC), 387--395, 2014.https://doi.org/10.1109/UCC.2014.49 .
LibreCat: /record/354
DOI: 10.1109/UCC.2014.49

Blömer, Johannes, Peter Günther, and Gennadij Liske. “Tampering Attacks in Pairing-Based Cryptography.”https://doi.org/10.1109/FDTC.2014.10__In Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 1--7, 2014.https://doi.org/10.1109/FDTC.2014.10 .
LibreCat: /record/355
DOI: 10.1109/FDTC.2014.10

Dräxler, Sevil, Matthias Keller, and Holger Karl. “Specifying and Placing Chains of Virtual Network Functions.”https://doi.org/10.1109/CloudNet.2014.6968961__In Proceedings of the 3rd International Conference on Cloud Networking (CloudNet), 7–13, 2014.https://doi.org/10.1109/CloudNet.2014.6968961 .
LibreCat: /record/360
DOI: 10.1109/CloudNet.2014.6968961

Roeske, Daniel. Simulating Load-Dependent Operation of Picocells. Universität Paderborn, 2014.
LibreCat: /record/361

Arifulina, Svetlana, Matthias Becker, Marie Christin Platenius, and Sven Walther. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.”https://doi.org/10.1145/2642937.2648621__In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 839–42, 2014.https://doi.org/10.1145/2642937.2648621 .
LibreCat: /record/364
DOI: 10.1145/2642937.2648621

Petrlic, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schäfer, and Christoph Sorge. “Security and Privacy Challenges in On-The-Fly Computing.” In Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 131–42, 2014.
LibreCat: /record/366

Janiuk, Jens, Alexander Mäcker, and Kalman Graffi. “Secure Distributed Data Structures for Peer-to-Peer-Based Social Networks.”https://doi.org/10.1109/CTS.2014.6867595__In Proceedings of the International Conference on Collaboration Technologies and Systems (CTS), 396–405, 2014.https://doi.org/10.1109/CTS.2014.6867595 .
LibreCat: /record/367
DOI: 10.1109/CTS.2014.6867595

Brinkmann, Andre, Peter Kling, Friedhelm Meyer auf der Heide, Lars Nagel, Sören Riechers, and Timhttps://doi.org/10.1145/2612669.2612698__Suess. “Scheduling Shared Continuous Resources on Many-Cores.”https://doi.org/10.1145/2612669.2612698__In Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 128–37, 2014.https://doi.org/10.1145/2612669.2612698 .
LibreCat: /record/368
DOI: 10.1145/2612669.2612698

Rath, Timo. RSA-Full Domain Hash Revisited. Universität Paderborn, 2014.
LibreCat: /record/369

Harks, Tobias, Martin Höfer, Kevin Schewior, and Alexander Skopalik. “Routing Games with Progressive Filling.”https://doi.org/10.1109/TNET.2015.2468571__In Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 352–60, 2014.https://doi.org/10.1109/TNET.2015.2468571 .
LibreCat: /record/370
DOI: 10.1109/TNET.2015.2468571

Scheideler, Christian, Alexander Setzer, and Martina Eikel. “RoBuSt: A Crash-Failure-Resistant Distributed Storage System.”https://doi.org/10.1007/978-3-319-14472-6_8__In Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 107--122. LNCS, 2014.https://doi.org/10.1007/978-3-319-14472-6_8 .
LibreCat: /record/371
DOI: 10.1007/978-3-319-14472-6_8

Keller, Matthias, and Holger Karl. “Response Time-Optimized Distributed Cloud Resource Allocation.”https://doi.org/10.1145/2627566.2627570__In Proceedings of the SIGCOMM Workshop on Distributed Cloud Computing, 47--52, 2014.https://doi.org/10.1145/2627566.2627570 .
LibreCat: /record/372
DOI: 10.1145/2627566.2627570