Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: A. Egyed, I. Schaefer (Eds.), Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat: /record/283
DOI: 10.1007/978-3-662-46675-9_7

IRIS: A Robust Information System Against Insider DoS Attacks
M. Eikel, C. Scheideler, Transactions on Parallel Computing (2015) 18:1--18:33.
LibreCat: /record/284
DOI: 10.1145/2809806

Incremental Inductive Verification of Parameterized Timed Systems
T. Isenberg, in: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
LibreCat: /record/285
DOI: 10.1109/ACSD.2015.13

Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup
B. Kalde, Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup, Universität Paderborn, 2015.
LibreCat: /record/286

Singulärwertzerlegung für ;c-ähnliche Bregman-Divergenzen
D. Strotmann, Singulärwertzerlegung Für ;c-Ähnliche Bregman-Divergenzen, 2015.
LibreCat: /record/2865

HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks
P. Wette, H. Karl, in: Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 1--7.
LibreCat: /record/287
DOI: 10.1109/EWSDN.2015.57

Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures
C. Scheideler, A. Setzer, T.F. Strothmann, in: Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015.
LibreCat: /record/241
DOI: 10.4230/LIPIcs.OPODIS.2015.24

Towards a Universal Approach for the Finite Departure Problem in Overlay Networks
A. Koutsopoulos, C. Scheideler, T.F. Strothmann, in: Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2015, pp. 201–216.
LibreCat: /record/242
DOI: 10.1007/978-3-319-21741-3_14

The impact of communication patterns on distributed locally self-adjusting binary search trees
T.F. Strothmann, in: Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), 2015, pp. 175--186.
LibreCat: /record/243
DOI: 10.1007/978-3-319-15612-5_16

Systematic Development and Re-Use of Model Tranformations
G. Besova, Systematic Development and Re-Use of Model Tranformations, Universität Paderborn, 2015.
LibreCat: /record/246

SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics
A. Schwabe, H. Karl, in: Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 37–42.
LibreCat: /record/247
DOI: 10.1109/EWSDN.2015.58

Protokolle zur authentifizierten Schüsselvereinbarung
T. Eisenhofer, Protokolle zur authentifizierten Schüsselvereinbarung, Universität Paderborn, 2015.
LibreCat: /record/261

Programs from Proofs of Predicated Dataflow Analyses
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

Optimizing Software-Defined Networks using Application-Layer Knowledge
P. Wette, Optimizing Software-Defined Networks Using Application-Layer Knowledge, Universität Paderborn, 2015.
LibreCat: /record/264

DeLFI 2015 - The 13th e-Learning Conference on Computer Science of the E-Learning Section of the Society for Computer Science eV
H. Pongratz, R. Keil, DeLFI 2015 - The 13th e-Learning Conference on Computer Science of the E-Learning Section of the Society for Computer Science EV, Koellen Druck + Verlag GmbH, 2015.
LibreCat: /record/26446

WebArena - R  "a spacious structures for \'22 u r the learning locations of the future
F. Winkelnkemper, A. Oberhoff, in: R. wedge, H. Selke (Eds.), Publication series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 103–117.
LibreCat: /record/26449

20 years of learning with the World Wide Web - technology and education in dialogue
R. Keil, H. Selke, eds., 20 Years of Learning with the World Wide Web - Technology and Education in Dialogue, publishing series of the Heinz Nixdorf Institute, Paderborn, 2015.
LibreCat: /record/26531

Learn with, through and  "about the WWW
R. Keil, H. Selke, in: R. Keil, H.  Selke (Eds.), Publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 1–7.
LibreCat: /record/26532

Virtual knowledge  "a ume - From the presentation of content to virtual learning \'22 a tten
R. Keil, H. Selke, in: R. Keil, H. Selke (Eds.), publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 39–53.
LibreCat: /record/26533

Development of a structured process of interaction design for  "u r nat \'22 u local user interfaces
F. Klompmaker, Development of a Structured Process of Interaction Design for  “U r Nat \rdblquote  U Local User Interfaces, Universitaetsbibliothek Paderborn, Universit  "a t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2015.
LibreCat: /record/26534