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.
5714 Publications
2015 | Journal Article | LibreCat-ID: 3162
Ziegert S, Wehrheim H. Temporal plans for software architecture reconfiguration. Computer Science - R & D. 2015;(3-4):303--320. doi:10.1007/s00450-014-0259-7
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 3163
Meyer R, Wehrheim H. From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog. In: Meyer R, Platzer A, Wehrheim H, eds. Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Lecture Notes in Computer Science. ; 2015:3--4. doi:10.1007/978-3-319-23506-6_1
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3164
Derrick J, Dongol B, Schellhorn G, Travkin O, Wehrheim H. Verifying Opacity of a Transactional Mutex Lock. In: Bj{\o}rner N, S. de Boer F, eds. {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Lecture Notes in Computer Science. ; 2015:161--177. doi:10.1007/978-3-319-19249-9_11
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3165
Wehrheim H, Travkin O. {TSO} to {SC} via Symbolic Execution. In: Piterman N, ed. Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Lecture Notes in Computer Science. ; 2015:104--119. doi:10.1007/978-3-319-26287-1_7
LibreCat
| DOI
2015 | Conference (Editor) | LibreCat-ID: 3166
Meyer R, Platzer A, Wehrheim H, eds. Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings.; 2015. doi:10.1007/978-3-319-23506-6
LibreCat
| DOI
2015 | Dissertation | LibreCat-ID: 317
Jähn C. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn; 2015.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 318
Huma Z. Automatic Service Discovery and Composition for Heterogeneous Service Partners. Universität Paderborn; 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition. In: Proceedings of the 12th IEEE International Conference on Services Computing (SCC). ; 2015:57--64. doi:10.1109/SCC.2015.18
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 270
Abshoff S. On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks. Universität Paderborn; 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 271
Drees M, Feldotto M, Riechers S, Skopalik A. On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games. In: Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT). Lecture Notes in Computer Science. ; 2015:178-189. doi:10.1007/978-3-662-48433-3_14
LibreCat
| Files available
| DOI
| arXiv
2015 | Conference Paper | LibreCat-ID: 27163
Keil Reinhard , Selke H. Virtual knowledge {\ “a} ume - From the presentation of content to virtual learning {\” a} tten. In: Keil R, Selke Harald, eds. Vol 330. publishing series of the Heinz Nixdorf Institute, Paderborn; 2015:39-53.
LibreCat
2015 | Dissertation | LibreCat-ID: 27164
Klompmaker F. Development of a Structured Process of Interaction Design for {\ “U} r Nat {\” U} Local User Interfaces. Universitaetsbibliothek Paderborn; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 27165
Schild Christian, Petrausch V. Empirical validation of design patterns . In: De Gruyter Oldenbourg; 2015:173-182.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 273
Kohn K. Number of Voronoi-Relevant Vectors in Lattices with Respect to Arbitrary Norms. Universität Paderborn; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 274
Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Non-preemptive Scheduling on Machines with Setup Times. In: Dehne F, Sack JR, Stege U, eds. Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings. Lecture Notes in Computer Science. ; 2015:542--553. doi:10.1007/978-3-319-21840-3_45
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 275
Cord-Landwehr A, Lenzner P. Network Creation Games: Think Global - Act Local. In: Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS). LNCS. ; 2015:248--260. doi:10.1007/978-3-662-48054-0_21
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 277
Kothe N. Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk. Universität Paderborn; 2015.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 278
Feldmann M. Monotonic Searchability for Distributed Sorted Lists and De Bruijn Graphs. Universität Paderborn; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 279
Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration of Service Matching Processes. In: Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15). ; 2015:75-84. doi:10.1145/2737166.2737174
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 20977
Schäfer W, Dziwok S, Pohlmann U, et al. Seminar Theses of the Project Group Cybertron.; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20979
Stockmann L. Debugging Models in the Context of Automotive Software Development. In: Chechik M, Kolovos D, eds. Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems. ; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 17425
Berssenbrügge J, Wiederkehr O, Jähn C, Fischer M. Anbindung des Virtuellen Prototypen an die Partialmodelle intelligenter technischer Systeme. In: 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Vol 343. Verlagsschriftenreihe des Heinz Nixdorf Instituts; 2015:65-78.
LibreCat
2015 | Conference Paper | LibreCat-ID: 17427
Jähn C, Fischer M, Gerges M, Berssenbrügge J. Automatische Ableitung geometrischer Eigenschaften von Bauteilen aus dem 3-D-Polygonmodell. In: 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Vol 342. Verlagsschriftenreihe des Heinz Nixdorf Instituts; 2015:107-120.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 17431
Gausemeier J, Grafe M, Meyer auf der Heide F, eds. Augmented & Virtual Reality in Der Produktentstehung: Grundlagen, Methoden Und Werkzeuge; Interaktions- Und Visualisierungstechniken, Virtual Prototyping Intelligenter Technischer Systeme Mit AR/VR. Vol 342. 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. Verlagsschriftenreihe des Heinz Nixdorf Instituts; 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 17657
Cohen R, Polevoy G. Inter-Datacenter Scheduling of Large Data Flows. Cloud Computing, IEEE Transactions on. 2015;PP(99):1-1. doi:10.1109/TCC.2015.2487964
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 17658
Bar-Yehuda R, Polevoy G, Rawitz D. Bandwidth allocation in cellular networks with multiple interferences. Discrete Applied Mathematics . 2015;194:23-36. doi:http://dx.doi.org/10.1016/j.dam.2015.05.013
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 1772
Torresen J, Plessl C, Yao X. Self-Aware and Self-Expressive Systems – Guest Editor’s Introduction. IEEE Computer. 2015;48(7):18-20. doi:10.1109/MC.2015.205
LibreCat
| Files available
| DOI
2015 | Mastersthesis | LibreCat-ID: 1794
Lass M. Localization and Analysis of Code Paths Suitable for Acceleration Using Approximate Computing. Paderborn: Paderborn University; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 239
Heindorf S, Potthast M, Stein B, Engels G. Towards Vandalism Detection in Knowledge Bases: Corpus Construction and Analysis. In: Proceedings of the 38th International ACM Conference on Research and Development in Information Retrieval (SIGIR 15). ; 2015:831--834. doi:10.1145/2766462.2767804
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 240
Li S, Mäcker A, Markarian C, Meyer auf der Heide F, Riechers S. Towards Flexible Demands in Online Leasing Problems. In: Proceedings of the 21st Annual International Computing and Combinatorics Conference (COCOON). Lecture Notes in Computer Science. ; 2015:277--288. doi:10.1007/978-3-319-21398-9_22
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 20832
Schäfer W, Dziwok S, Pohlmann U, et al. Seminar Theses of the Project Group Cybertron.; 2015.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 20833
Geismann J. Multi-Core Execution of Safety-Critical Component-Based Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20902
Meyer J, Holtmann J, Koch T, Meyer M. Generierung von AUTOSAR-Modellen aus UML-Spezifikationen. In: Gausemeier J, Dumitrescu R, Rammig F-J, Schäfer W, Trächtler A, eds. 10. Paderborner Workshop Entwurf Mechatronischer Systeme. Vol 343. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2015:159–172.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18003
Götte T. Covering and Bridging Im Selbstorganisierenden Partikelsystem Amoebabot. Universität Paderborn; 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18004
Isenberg D. 3D-Nesting in Der SLM-Technologie.; 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18005
Korfmacher C. Implementierung Und Analyse von Cone-DHT. Universität Paderborn; 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18006
Sundermeier J. Implementierung Eines Selbststabilisierenden Verteilten Stacks. Universität Paderborn; 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18024
Knollmann T. Implementierung Einer Selbststabilisierenden Datenstruktur Für Das Längste Gemeinsame Präfix. Universität Paderborn; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 1850
Derakhshandeh Z, Gmyr R, Strothmann TF, A. Bazzi R, W. Richa A, Scheideler C. Leader Election and Shape Formation with Self-organizing Programmable Matter. In: DNA Computing and Molecular Programming - 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings. Vol 9211. Lecture Notes in Computer Science. ; 2015:117--132. doi:10.1007/978-3-319-21999-8_8
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 1851
Derakhshandeh Z, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. An Algorithmic Framework for Shape Formation Problems in Self-Organizing Particle Systems. In: Proceedings of the Second Annual International Conference on Nanoscale Computing and Communication, NANOCOM’ 15, Boston, MA, USA, September 21-22, 2015. ACM; 2015:21:1--21:2. doi:10.1145/2800795.2800829
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 1852
Derakhshandeh Z, Gmyr R, Strothmann TF, A. Bazzi R, W. Richa A, Scheideler C. Brief Announcement: On the Feasibility of Leader Election and Shape Formation with Self-Organizing Programmable Matter. In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebasti{\’{a}}n, Spain, July 21 - 23, 2015. ACM; 2015:67--69. doi:10.1145/2767386.2767451
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 1853
Koutsopoulos A, Scheideler C, Strothmann TF. Brief Announcement: Towards a Universal Approach for the Finite Departure Problem in Overlay Networks. In: Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, SPAA 2015, Portland, OR, USA, June 13-15, 2015. ACM; 2015:77--79. doi:10.1145/2755573.2755614
LibreCat
| DOI
2015 | Conference (Editor) | LibreCat-ID: 1854
Scheideler C, ed. Structural Information and Communication Complexity - 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015, Post-Proceedings.; 2015. doi:10.1007/978-3-319-25258-2
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 22888
Westermann T, Anacker H, Dumitrescu R, Frank U, Hessenkämper A. Interdisciplinary System Architecture for Intelligent Technical Systems. In: Proceedings of the ASME 2015 International Mechanical Engineering Congress & Exposition (IMECE2015). Houston, Texas; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22889
Tschirner C, Bretz LH, Dumitrescu R, Gausemeier J. Applying Model-Based Systems Engineering for Product Engineering Management - Concepts for Industrial Application. In: 1st International Symposium on Systems Engineering (IEEE ISSE), Rome, Italy, 28. - 30. Sep. 2015. ; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22890
Rabe M, Anacker H, Westermann T, Dumitrescu R. Potential of using model-based systems engineering to improve the development process of engineering-to-order products in the field of machinery and plant engineering. In: 4th International Conference on Advances in Mechanical Engineering, 16. - 27. Aug. 2015. ; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22891
Roßmann J, Schluse M, Rast M, et al. Architecture for Integrated Development of Complex Systems With Model-Based System Specification and Simulation. In: ASME 2015 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Boston, USA, 2. - 5. Aug. 2015. ; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22892
Westermann T, Anacker H, Dumitrescu R. Improving order fulfillment processes with MBSE. In: 20th International Conference on Engineering and Design (ICED15), Milan, Italy, 27. - 30. Jul. 2015. ; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22893
Bremer C, Hillebrand M, Hassan B, Dumitrescu R. Konzept für das ganzheitliche Testen komplexer mechatronischer Systeme. In: Digitales Engineering zum Planen, Testen und Betreiben Technischer Systeme. IFF Wissenschaftstage, Magdeburg, 24. - 25. Jun. 2015. ; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22896
Tschirner C, Dumitrescu R, Bansmann M, Gausemeier J. Tailoring Model-Based Systems Engineering - Concepts for Industrial Application. In: IEEE Systems Conference (SysCon) , Vancouver, 13. - 16. Apr. 2015. ; 2015.
LibreCat