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.
5786 Publications
2019 | Dissertation | LibreCat-ID: 20536
J. Späth, Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019.
LibreCat
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
G. Piskachev, L. Nguyen, and E. Bodden, Codebase-Adaptive Detection of Security-Relevant Methods. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20538
S. Albert Gorski Iii et al., “ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware,” 2019.
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20539
J. Späth, K. Ali, and E. Bodden, “Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems,” Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, vol. 3, no. POPL, p. 48:1-48:29, 2019, doi: 10.1145/3290361.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20759
C. Gerking and D. Schubert, “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures,” 2019.
LibreCat
2019 | Preprint | LibreCat-ID: 18018
V. Bengs and H. Holzmann, “Uniform approximation in classical weak convergence theory,” arXiv:1903.09864. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22708
D. Eckelt, R. Bismark, R. Dumitrescu, M. Frank, J. Gausemeier, and J. Reinhold, “Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen,” in Vorausschau und Technologieplanung, 2019, vol. 390, pp. 535–555.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22709
R. Dumitrescu, S. Japs, L. Kaiser, and R. Rasor, “Model Checking of Integratively Designed Product and Production Systems,” in TdSE 2019, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22710
A. Albers, K. F. Ellermann, A. Kühn, and R. Dumitrescu, “Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik,” in 15. Symposium für Vorausschau und Technologieplanung, 2019, vol. 390, pp. 277–291.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22712
M. Drewel, J. Gausemeier, M. Vaßholz, and N. Homburg, “Einstieg in die Plattformökonomie,” in Symposium für Vorausschau und Technologieplanung, 2019, vol. 15.
LibreCat
2019 | Newspaper Article | LibreCat-ID: 22714
C. Pierenkemper, J. Reinhold, R. Dumitrescu, and J. Gausemeier, “Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen,” Industrie 4.0 Management, vol. 5, pp. 30–34, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 22716
F. Wortmann, R. Joppen, M. Drewel, A. Kühn, and R. Dumitrescu, “Developing and Evaluating Concepts for a Digital Platform,” in IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22717
J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, and J. Gausemeier, “Competence-based Planning of Value Networks for Smart Services,” in Proceedings of the ISPIM Connects, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22721
M. Bansmann, M. Foullois, D. Roeltgen, L. Wöste, and R. Dumitrescu, “Reference Architecture and Classification of technology-induced Scenarios of Digitized Work,” in 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22725
L. Asmar, F. Wortmann, D. Röltgen, N. Niewöhner, A. Kühn, and R. Dumitrescu, “ Framework for the configuration of an engineering based Makeathon,” in Proceedings of ISPIM Innovation Conference, 7.-9. April, Ottawa, 2019, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22726
L. Bretz, L. Kaiser, and R. Dumitrescu, “An analysis of barriers for the introduction of Systems Engineering,” in Procedia CIRP Volume 84, 2019, pp. 783–789.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22727
A. Albers, J. Tekaat, A. Kühn, and R. Dumitrescu, “Requirement Profiles as a Foundation for customer-centric Ideation in Business-to-Business Markets,” in 29th CIRP Design 2019, Porto, Portugal, May 8th - May 10th, 2019, 2019.
LibreCat
2019 | Book | LibreCat-ID: 22728
J. Gausemeier, R. Dumitrescu, J. Echterfeld, T. Pfänder, D. Steffen, and F. Thielemann, Innovationen für die Märkte von morgen – Strategische Planung von Produkten, Dienstleistungen und Geschäftsmodellen. München: Carl Hanser Verlag, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22729
D. Hobscheidt, C. Jürgenhake, H. Anacker, and R. Dumitrescu, “Sociotechnical solution patterns for the development of smart products,” in 29th CIRP Design 2019, Povoa de Varzim, Portugal, May 8th - May 10th, 2019, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22730
D. Hobscheidt, C. Fechtelpeter, A. Kühn, and R. Dumitrescu, “Using existing industry 4.0 knowledge for the assessment of SME innovation-demands,” in ISPIM Innovation Conference, Florence, Italien, 16.-19. Juni, 2019, Florence, Italien, 2019.
LibreCat