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
S. Ziegert and H. Wehrheim, “Temporal plans for software architecture reconfiguration,” Computer Science - R & D, no. 3–4, pp. 303--320, 2015.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 3163
R. Meyer and H. Wehrheim, “From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog,” in 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, pp. 3--4.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3164
J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim, “Verifying Opacity of a Transactional Mutex Lock,” in {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015, pp. 161--177.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3165
H. Wehrheim and O. Travkin, “{TSO} to {SC} via Symbolic Execution,” in Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings, 2015, pp. 104--119.
LibreCat
| DOI
2015 | Dissertation | LibreCat-ID: 317
C. Jähn, Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 318
Z. Huma, Automatic Service Discovery and Composition for heterogeneous service partners. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,” in Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 270
S. Abshoff, On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 271
M. Drees, M. Feldotto, S. Riechers, and A. Skopalik, “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), 2015, pp. 178–189.
LibreCat
| Files available
| DOI
| arXiv
2015 | Conference Paper | LibreCat-ID: 27163
Reinhard Keil and H. Selke, “Virtual knowledge {\ ‘a} ume - From the presentation of content to virtual learning {\’ a} tten,” 2015, vol. 330, pp. 39–53.
LibreCat
2015 | Dissertation | LibreCat-ID: 27164
F. Klompmaker, Development of a structured process of interaction design for {\ “u} r nat {\” u} local user interfaces. Universit {\ "a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Universitaetsbibliothek Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 27165
Christian Schild and V. Petrausch, “Empirical validation of design patterns ,” 2015, pp. 173–182.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 273
K. Kohn, Number of Voronoi-relevant vectors in lattices with respect to arbitrary norms. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 274
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Non-preemptive Scheduling on Machines with Setup Times,” in Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, 2015, pp. 542--553.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 275
A. Cord-Landwehr and P. Lenzner, “Network Creation Games: Think Global - Act Local,” in Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 2015, pp. 248--260.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 277
N. Kothe, Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk. Universität Paderborn, 2015.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 278
M. Feldmann, Monotonic Searchability for distributed sorted Lists and De Bruijn Graphs. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 279
M. C. Platenius, S. Arifulina, and W. Schäfer, “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, pp. 75–84.
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 20977
W. Schäfer et al., Seminar Theses of the Project Group Cybertron. 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20979
L. Stockmann, “Debugging Models in the Context of Automotive Software Development,” in 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
J. Berssenbrügge, O. Wiederkehr, C. Jähn, and M. Fischer, “Anbindung des Virtuellen Prototypen an die Partialmodelle intelligenter technischer Systeme,” in 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2015, vol. 343, pp. 65–78.
LibreCat
2015 | Conference Paper | LibreCat-ID: 17427
C. Jähn, M. Fischer, M. Gerges, and J. Berssenbrügge, “Automatische Ableitung geometrischer Eigenschaften von Bauteilen aus dem 3-D-Polygonmodell,” in 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2015, vol. 342, pp. 107–120.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 17431
J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, Eds., Augmented & Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR, 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung., vol. 342. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 1772
J. Torresen, C. Plessl, and X. Yao, “Self-Aware and Self-Expressive Systems – Guest Editor’s Introduction,” IEEE Computer, vol. 48, no. 7, pp. 18–20, 2015.
LibreCat
| Files available
| DOI
2015 | Mastersthesis | LibreCat-ID: 1794
M. Lass, Localization and Analysis of Code Paths Suitable for Acceleration using Approximate Computing. Paderborn: Paderborn University, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 239
S. Heindorf, M. Potthast, B. Stein, and G. Engels, “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, pp. 831--834.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 240
S. Li, A. Mäcker, C. Markarian, F. Meyer auf der Heide, and S. Riechers, “Towards Flexible Demands in Online Leasing Problems,” in Proceedings of the 21st Annual International Computing and Combinatorics Conference (COCOON), 2015, pp. 277--288.
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 20832
W. Schäfer et al., Seminar Theses of the Project Group Cybertron. 2015.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 20833
J. Geismann, Multi-Core Execution of Safety-Critical Component-Based Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20902
J. Meyer, J. Holtmann, T. Koch, and M. Meyer, “Generierung von AUTOSAR-Modellen aus UML-Spezifikationen,” in 10. Paderborner Workshop Entwurf mechatronischer Systeme, 2015, vol. 343, pp. 159–172.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18003
T. Götte, Covering and Bridging im selbstorganisierenden Partikelsystem Amoebabot. Universität Paderborn, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18004
D. Isenberg, 3D-Nesting in der SLM-Technologie. 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18005
C. Korfmacher, Implementierung und Analyse von Cone-DHT. Universität Paderborn, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18006
J. Sundermeier, Implementierung eines selbststabilisierenden verteilten Stacks. Universität Paderborn, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18024
T. Knollmann, Implementierung einer selbststabilisierenden Datenstruktur für das längste gemeinsame Präfix. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 1850
Z. Derakhshandeh, R. Gmyr, T. F. Strothmann, R. A. Bazzi, A. W. Richa, and C. Scheideler, “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, 2015, vol. 9211, pp. 117--132.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 1851
Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann, “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, 2015, pp. 21:1--21:2.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 1852
Z. Derakhshandeh, R. Gmyr, T. F. Strothmann, R. A. Bazzi, A. W. Richa, and C. Scheideler, “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, 2015, pp. 67--69.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 1853
A. Koutsopoulos, C. Scheideler, and T. F. Strothmann, “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, 2015, pp. 77--79.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 22888
T. Westermann, H. Anacker, R. Dumitrescu, U. Frank, and A. Hessenkämper, “ 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
C. Tschirner, L. H. Bretz, R. Dumitrescu, and J. Gausemeier, “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
M. Rabe, H. Anacker, T. Westermann, and R. Dumitrescu, “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
J. Roßmann 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
T. Westermann, H. Anacker, and R. Dumitrescu, “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
C. Bremer, M. Hillebrand, B. Hassan, and R. Dumitrescu, “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
C. Tschirner, R. Dumitrescu, M. Bansmann, and J. Gausemeier, “Tailoring Model-Based Systems Engineering - Concepts for Industrial Application,” in IEEE Systems Conference (SysCon) , Vancouver, 13. - 16. Apr. 2015, 2015.
LibreCat