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.
9699 Publications
2016 | Conference Paper | LibreCat-ID: 226
A Formal Approach to Error Localization and Correction in Service Compositions
J. Krämer, H. Wehrheim, 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
J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.
2016 | Conference Paper | LibreCat-ID: 227
A CEGAR Scheme for Information Flow Analysis
M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
LibreCat
| Files available
| DOI
M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
2016 | Conference Paper | LibreCat-ID: 22872
Reference Architecture and Maturity Levels for Cyber-Physical Systems
M. Westermann, H. Anacker, R. Dumitrescu, A.M. Czaja, in: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016.
LibreCat
M. Westermann, H. Anacker, R. Dumitrescu, A.M. Czaja, in: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016.
2016 | Book | LibreCat-ID: 21698
Scenario Based Outlook of Additive Manufacturing Applications for the Aerospace Market
C. Lindemann, G. Deppe, R. Koch, Scenario Based Outlook of Additive Manufacturing Applications for the Aerospace Market, Metropolis Verlag, 2016.
LibreCat
C. Lindemann, G. Deppe, R. Koch, Scenario Based Outlook of Additive Manufacturing Applications for the Aerospace Market, Metropolis Verlag, 2016.
2016 | Book | LibreCat-ID: 21699
Prevention of Product Piracy - Potentials of Additive Manufacturing
U. Jahnke, R. Koch, Prevention of Product Piracy - Potentials of Additive Manufacturing, Metropolis Verlag, 2016.
LibreCat
U. Jahnke, R. Koch, Prevention of Product Piracy - Potentials of Additive Manufacturing, Metropolis Verlag, 2016.
2016 | Conference Paper | LibreCat-ID: 217
Automatized Derivation of Comprehensive Specifications for Black-box Services
S. Schwichtenberg, in: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
LibreCat
| Files available
| DOI
S. Schwichtenberg, in: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
2016 | Conference Paper | LibreCat-ID: 21702
Combining material efficiency and part reliability by product optimization applying additive manufacturing
T. Reiher, G. Deppe, R. Koch, in: International Conference Production Engineering and Management 2016, 2016, pp. 27–38.
LibreCat
| DOI
T. Reiher, G. Deppe, R. Koch, in: International Conference Production Engineering and Management 2016, 2016, pp. 27–38.
2016 | Conference Paper | LibreCat-ID: 21705
Unterstützung des AM Entscheidungsprozesses in der Luftfahrtersatzteilversorgung
G. Deppe, R. Koch, in: Rapid Tech 2016, Hanser Verlag, 2016, pp. 349–360.
LibreCat
| DOI
G. Deppe, R. Koch, in: Rapid Tech 2016, Hanser Verlag, 2016, pp. 349–360.
2016 | Conference Paper | LibreCat-ID: 21728
Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests
S. Heppner, M. Dransfeld, G. Domik, in: M. Pinzger, H. Mayr (Eds.), Informatik 2016, Gesellschaft für Informatik e.V., Bonn, 2016, pp. 1591–1604.
LibreCat
S. Heppner, M. Dransfeld, G. Domik, in: M. Pinzger, H. Mayr (Eds.), Informatik 2016, Gesellschaft für Informatik e.V., Bonn, 2016, pp. 1591–1604.
2016 | Conference Paper | LibreCat-ID: 21729
A Deferred Rendering Pipeline Including a Global Illumination Model for Atmospheric Scattering and Transparency
S. Heppner, M. Dransfeld, G. Domik, in: M. Hullin, M. Stamminger, T. Weinkauf (Eds.), Vision, Modeling & Visualization, The Eurographics Association, 2016.
LibreCat
| DOI
S. Heppner, M. Dransfeld, G. Domik, in: M. Hullin, M. Stamminger, T. Weinkauf (Eds.), Vision, Modeling & Visualization, The Eurographics Association, 2016.
2016 | Conference Paper | LibreCat-ID: 218
Automatic Composition of Service-based Image Processing Applications
A. Jungmann, B. Kleinjohann, in: Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 2016, pp. 106--113.
LibreCat
| Files available
| DOI
A. Jungmann, B. Kleinjohann, in: Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 2016, pp. 106--113.
2016 | Book | LibreCat-ID: 21904
Evaluating bilingual education in Germany: CLIL students’ general English proficiency, EFL self-concept and interest
D. Rumlich, Evaluating Bilingual Education in Germany: CLIL Students’ General English Proficiency, EFL Self-Concept and Interest, Lang, Frankfurt am Main, Germany, 2016.
LibreCat
D. Rumlich, Evaluating Bilingual Education in Germany: CLIL Students’ General English Proficiency, EFL Self-Concept and Interest, Lang, Frankfurt am Main, Germany, 2016.
2016 | Journal Article | LibreCat-ID: 22025
Universelle Mikrobearbeitungsplaffform und Basistechnologien für das Fertigen und Markieren mikrophysiologischer Systeme
E. Moritzer, A. Hirsch, K. Günther, S. Teutoburg-Weiss, A.F. Lasagni, U. Klotzbach, F. Sonntag, 6. Dresdner Medizintechnik-Symposium, Biomedizinische Technik - Interdisziplinär, Integrativ Und Innovativ 6 (2016) 65–70.
LibreCat
E. Moritzer, A. Hirsch, K. Günther, S. Teutoburg-Weiss, A.F. Lasagni, U. Klotzbach, F. Sonntag, 6. Dresdner Medizintechnik-Symposium, Biomedizinische Technik - Interdisziplinär, Integrativ Und Innovativ 6 (2016) 65–70.
2016 | Book | LibreCat-ID: 9271
Innovatives Micro-Learning im Handwerk – Konzeption auf Basis der Struktur der OPALESCE Learning Units sowie handwerksbezogene Umsetzungsbeispiele aus dem Bereich Rechnungswesen
M. Beutner, Innovatives Micro-Learning im Handwerk – Konzeption auf Basis der Struktur der OPALESCE Learning Units sowie handwerksbezogene Umsetzungsbeispiele aus dem Bereich Rechnungswesen, IK Verlag, Köln, 2016.
LibreCat
M. Beutner, Innovatives Micro-Learning im Handwerk – Konzeption auf Basis der Struktur der OPALESCE Learning Units sowie handwerksbezogene Umsetzungsbeispiele aus dem Bereich Rechnungswesen, IK Verlag, Köln, 2016.
2016 | Conference (Editor) | LibreCat-ID: 7758
Theory and Practice of Model Transformations - 9th International Conference ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings
P. Van Gorp, 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, Springer, 2016.
LibreCat
P. Van Gorp, 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, Springer, 2016.
2016 | Conference Paper | LibreCat-ID: 5743
Multi-device UI Development for Task-Continuous Cross-Channel Web Applications
E. Yigitbas, T. Kern, P. Urban, S. Sauer, 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
E. Yigitbas, T. Kern, P. Urban, S. Sauer, 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.
2016 | Conference Paper | LibreCat-ID: 5744
Engineering Context-Adaptive UIs for Task-Continuous Cross-Channel Applications
E. Yigitbas, S. Sauer, 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
E. Yigitbas, S. Sauer, 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.
2016 | Journal Article | LibreCat-ID: 5762
The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree
T.F. Strothmann, Journal of Graph Algorithms and Applications 20 (2016) 79–100.
LibreCat
| Files available
| DOI
T.F. Strothmann, Journal of Graph Algorithms and Applications 20 (2016) 79–100.
2016 | Conference Paper | LibreCat-ID: 5825
Cross-Device Integration of Android Apps
D. Wolters, J. Kirchhoff, C. Gerth, G. Engels, in: Q.Z. Sheng, E. Stroulia, S. Tata, S. Bhiri (Eds.), Service-Oriented Computing, Springer International Publishing, Cham, 2016, pp. 171–185.
LibreCat
| DOI
D. Wolters, J. Kirchhoff, C. Gerth, G. Engels, in: Q.Z. Sheng, E. Stroulia, S. Tata, S. Bhiri (Eds.), Service-Oriented Computing, Springer International Publishing, Cham, 2016, pp. 171–185.
2016 | Book Chapter | LibreCat-ID: 6257
Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows
H.G. Fischer, B. Senft, in: C. Bogdan (Ed.), Human-Centered and Error-Resilient Systems Development, Springer International Publishing, Cham, 2016, pp. 30–41.
LibreCat
| DOI
H.G. Fischer, B. Senft, in: C. Bogdan (Ed.), Human-Centered and Error-Resilient Systems Development, Springer International Publishing, Cham, 2016, pp. 30–41.