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