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.
9812 Publications
2016 | Bachelorsthesis | LibreCat-ID: 18025
S. Heuchler, Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem. 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 1836
Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, and T. F. Strothmann, “On the Runtime of Universal Coating for Programmable Matter,” in DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, vol. 9818, pp. 148--164.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 1837
Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann, “Universal Shape Formation for Programmable Matter,” in Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, 2016, pp. 289--299.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 184
V. Melnikov and E. Hüllermeier, “Learning to Aggregate Using Uninorms,” in Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 186
M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in Software Engineering 2016, 2016, pp. 17–18.
LibreCat
| Files available
2016 | Report | LibreCat-ID: 221
M. C. Platenius et al., An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
T. Wiersema, A. Bockhorn, and M. Platzner, “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip,” Computers & Electrical Engineering, pp. 112--122, 2016.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 223
K. Hinnenthal, Aggregation in Overlay Networks. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 224
J. Krämer and H. Wehrheim, “A short survey on using software error localization for service compositions,” in Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
J. Krämer and H. Wehrheim, “A Formal Approach to Error Localization and Correction in Service Compositions,” in Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 227
M. Töws and H. Wehrheim, “A CEGAR Scheme for Information Flow Analysis,” in Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 22870
D. Röltgen, H. Anacker, and R. Dumitrescu, “Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0,” in VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22871
T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, and R. Dumitrescu, “ Einsatz von Leuchten zur Standortbestimmung in der Produktion,” in VDE Kongress 2016, 7. - 8. Nov. 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22872
M. Westermann, H. Anacker, R. Dumitrescu, and A. M. Czaja, “Reference Architecture and Maturity Levels for Cyber-Physical Systems,” in 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22873
C. Fechtelpeter et al., “Reliability in MID - barriers, potentials, fields of action,” in 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22874
C. Jürgenhake, T. Falkowski, and R. Dumitrescu, “Classification of MID-prototypes,” in 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22876
C. Jürgenhake and R. Dumitrescu, “Systematic for function-oriented development of spatial integrated circuit carriers,” in International Design Conference - Design 2016, 16. - 19. Mai 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22878
L. Kaiser, C. Bremer, and R. Dumitrescu, “Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems,” in Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22879
C. Jürgenhake, T. Falkowski, C. Fechtelpeter, and R. Dumitrescu, “ Function-based feasibility study and benchmark for MID concepts,” in Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22880
L. H. Bretz, C. Tschirner, and R. Dumitrescu, “ A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems,” in IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering, 2016, pp. 143–150.
LibreCat
2016 | Conference Paper | LibreCat-ID: 217
S. Schwichtenberg, “Automatized Derivation of Comprehensive Specifications for Black-box Services,” in Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 21728
S. Heppner, M. Dransfeld, and G. Domik, “Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests,” in Informatik 2016, 2016, pp. 1591–1604.
LibreCat
2016 | Conference Paper | LibreCat-ID: 219
B. Jazayeri, “Architectural Management of On-The-Fly Computing Markets,” in Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops), 2016, p. 42.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 220
M. Keller, Application Deployment at Distributed Clouds. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference (Editor) | LibreCat-ID: 7756
S. Hess and H. G. Fischer, Eds., Mensch und Computer 2016 - Usability Professionals. Tagungsband. Aachen: Gesellschaft für Informatik e.V. und German UPA e.V., 2016.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7757
R. Martins Freivalds, G. Engels, and B. Catania, Eds., SOFSEM 2016: Theory and Practice of Computer Science. Springer, 2016.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7758
P. Van Gorp and G. Engels, Eds., Theory and Practice of Model Transformations - 9th International Conference ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings, vol. 9765. Springer, 2016.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7759
R. Martins Freivalds, G. Engels, B. Catania, and R. Spanek, Eds., SOFSEM 2016: Theory and Practice of Computer Science - Proceedings Volume II. Springer, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 7765 | 
J. Schumacher, “Erkunden mathematischer Strukturen anstatt Interpretation in Modellen – Ein innermathematischer Zugang zu negativen Zahlen,” in Beiträge zum Mathematikunterricht 2016, 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 8070
M. Fazal-Baqaie and F. Kluthe, “Automated Quality Analysis of Software Engineering Method Models,” in Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 8071
M. Fazal-Baqaie, B. Güldali, and M. Grieger, “Ganzheitliches Qualitätsmanagement in agilen Groß- Projekten,” in Proceedings of Projektmanagement und Vorgehensmodelle 2016, 2016, pp. 109–120.
LibreCat
2016 | Conference Paper | LibreCat-ID: 8072
M. Grieger, M. Fazal-Baqaie, G. Engels, and M. Klenke, “Concept-Based Engineering of Situation-Specific Migration Methods,” in Proceedings of the 15th International Conference on Software Reuse (ICSR), 2016, pp. 199–214.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 5743
E. Yigitbas, T. Kern, P. Urban, and S. Sauer, “Multi-device UI Development for Task-Continuous Cross-Channel Web Applications,” in Current Trends in Web Engineering - {ICWE} 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016, Revised Selected Papers, 2016, pp. 114–127.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5744
E. Yigitbas and S. Sauer, “Engineering Context-Adaptive UIs for Task-Continuous Cross-Channel Applications,” in Human-Centered and Error-Resilient Systems Development - {IFIP} {WG} 13.2/13.5 Joint Working Conference 6th International Conference on Human-Centered Software Engineering, {HCSE} 2016, and 8th International Conference on Human Error, Safety, and System Development, {HESSD} 2016 Stockholm, Sweden, August 29-31, 2016, Proceedings, 2016, pp. 281–300.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5746
H. G. Fischer, M. Rose, E. Yigitbas, and P. Forbrig, “Towards a Task Driven Approach Enabling Continuous User Requirements Engineering,” in Joint Proceedings of {REFSQ-2016} Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality {(REFSQ} 2016), Gothenburg, Sweden, March 14, 2016., 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 5759
I. Jovanovikj, M. Grieger, and E. Yigitbas, “Towards a Model-Driven Method for Reusing Test Cases in Software Migration Projects,” Softwaretechnik-Trends, Proceedings of the 18th Workshop Software-Reengineering & Evolution (WSRE) & 7th Workshop Design for Future (DFF), vol. 36, no. 2, pp. 65–66, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 5762
T. F. Strothmann, “The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree,” Journal of Graph Algorithms and Applications, vol. 20, no. 1, pp. 79–100, 2016.
LibreCat
| Files available
| DOI
2016 | Book Chapter | LibreCat-ID: 6257
H. G. Fischer and B. Senft, “Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows,” in Human-Centered and Error-Resilient Systems Development, vol. 9856, C. Bogdan, Ed. Cham: Springer International Publishing, 2016, pp. 30–41.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 6258
H. G. Fischer, M. Rose, and E. Yigitbas, “Towards a Task Driven Approach Enabling Continuous User Requirements Engineering,” in Joint Proceedings of the REFSQ 2016 Co-Located Events. 2nd Workshop on Continuous Requirements Engineering (CRE), 2016, vol. 1564.
LibreCat