Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4679 Publications
2015 | Conference Paper | LibreCat-ID: 283
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
| Files available
| DOI
M. Czech, M.-C. Jakobs, H. Wehrheim, in: A. Egyed, I. Schaefer (Eds.), Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
2015 | Book Chapter | LibreCat-ID: 28336
Vorausschau von Stakeholder-Verhalten mit der Szenario-Technik
S. Peter, J. Gausemeier, B. Amshoff, C. Koldewey, in: Symposium Für Vorausschau Und Technologieplanung, Band 347 , Kapitel: 1, Heinz Nixdorf Institut, Universität Paderborn, 2015, pp. 41–60.
LibreCat
S. Peter, J. Gausemeier, B. Amshoff, C. Koldewey, in: Symposium Für Vorausschau Und Technologieplanung, Band 347 , Kapitel: 1, Heinz Nixdorf Institut, Universität Paderborn, 2015, pp. 41–60.
2015 | Journal Article | LibreCat-ID: 284
IRIS: A Robust Information System Against Insider DoS Attacks
M. Eikel, C. Scheideler, Transactions on Parallel Computing (2015) 18:1--18:33.
LibreCat
| Files available
| DOI
M. Eikel, C. Scheideler, Transactions on Parallel Computing (2015) 18:1--18:33.
2015 | Conference Paper | LibreCat-ID: 285
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
| Files available
| DOI
T. Isenberg, in: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
2015 | Bachelorsthesis | LibreCat-ID: 286
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
B. Kalde, Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup, Universität Paderborn, 2015.
2015 | Conference Paper | LibreCat-ID: 287
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
| Files available
| DOI
P. Wette, H. Karl, in: Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 1--7.
2015 | Conference Paper | LibreCat-ID: 241
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
| Files available
| DOI
C. Scheideler, A. Setzer, T.F. Strothmann, in: Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015.
2015 | Conference Paper | LibreCat-ID: 242
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
| Files available
| DOI
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.
2015 | Conference Paper | LibreCat-ID: 243
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
| Files available
| DOI
T.F. Strothmann, in: Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), 2015, pp. 175--186.
2015 | Journal Article | LibreCat-ID: 244
The complexity of pure equilibria in mix-weighted congestion games on parallel links
B. Monien, M. Mavronicolas, Information Processing Letters 115 (2015) 927–931.
LibreCat
| Files available
| DOI
| Download (ext.)
B. Monien, M. Mavronicolas, Information Processing Letters 115 (2015) 927–931.
2015 | Conference Paper | LibreCat-ID: 245
Systematically Deriving Quality Metrics for Cloud Computing Systems
M. Becker, S. Lehrig, S. Becker, in: Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, New York, NY, USA, 2015, pp. 169--174.
LibreCat
| Files available
| DOI
M. Becker, S. Lehrig, S. Becker, in: Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, New York, NY, USA, 2015, pp. 169--174.
2015 | Dissertation | LibreCat-ID: 246
Systematic Development and Re-Use of Model Tranformations
G. Besova, Systematic Development and Re-Use of Model Tranformations, Universität Paderborn, 2015.
LibreCat
| Files available
G. Besova, Systematic Development and Re-Use of Model Tranformations, Universität Paderborn, 2015.
2015 | Conference Paper | LibreCat-ID: 247
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
| Files available
| DOI
A. Schwabe, H. Karl, in: Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 37–42.
2015 | Bachelorsthesis | LibreCat-ID: 258
Reputation und Vertrauen auf Online-Märkten
M. Sonntag, Reputation und Vertrauen auf Online-Märkten, Universität Paderborn, 2015.
LibreCat
M. Sonntag, Reputation und Vertrauen auf Online-Märkten, Universität Paderborn, 2015.
2015 | Conference Abstract | LibreCat-ID: 259
Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings?
D. Gutt, D. Kundisch, in: INFORMS Annual Meeting, 2015.
LibreCat
| Files available
D. Gutt, D. Kundisch, in: INFORMS Annual Meeting, 2015.
2015 | Journal Article | LibreCat-ID: 260
Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures
F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, S. Kounev, Transactions on Software Engineering (2015) 157--175.
LibreCat
| Files available
| DOI
F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, S. Kounev, Transactions on Software Engineering (2015) 157--175.
2015 | Bachelorsthesis | LibreCat-ID: 261
Protokolle zur authentifizierten Schüsselvereinbarung
T. Eisenhofer, Protokolle zur authentifizierten Schüsselvereinbarung, Universität Paderborn, 2015.
LibreCat
T. Eisenhofer, Protokolle zur authentifizierten Schüsselvereinbarung, Universität Paderborn, 2015.
2015 | Journal Article | LibreCat-ID: 26123
Highly efficient filtration of ultrafine dust in baghouse filters using precoat materials
S. Schiller, H.-J. Schmid, Powder Technology (2015) 96–105.
LibreCat
| DOI
S. Schiller, H.-J. Schmid, Powder Technology (2015) 96–105.
2015 | Conference Paper | LibreCat-ID: 262
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
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
2015 | Journal Article | LibreCat-ID: 263
Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation
C. Hallmann, L. Suhl, OR Spectrum (2015) 1–19.
LibreCat
| Files available
| DOI
C. Hallmann, L. Suhl, OR Spectrum (2015) 1–19.