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.
9933 Publications
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