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
Späth J. Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn; 2019.
LibreCat
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
Piskachev G, Nguyen L, Bodden E. Codebase-Adaptive Detection of Security-Relevant Methods.; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20538
Albert Gorski Iii S, Andow B, Nadkarni A, et al. ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware. In: ACM Conference on Data and Application Security and Privacy (CODASPY 2019). ; 2019.
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20539
Späth J, Ali K, Bodden E. Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems. Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages. 2019;3(POPL):48:1-48:29. doi:10.1145/3290361
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20759
Gerking C, Schubert D. Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. In: International Conference on Software Architecture (ICSA 2019). ; 2019.
LibreCat
2019 | Preprint | LibreCat-ID: 18018
Bengs V, Holzmann H. Uniform approximation in classical weak convergence theory. arXiv:190309864. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22708
Eckelt D, Bismark R, Dumitrescu R, Frank M, Gausemeier J, Reinhold J. Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen. In: Gausemeier J, Bauer W, Dumitrescu R, Heinz Nixdorf Institut, eds. Vorausschau und Technologieplanung. Vol 390. Heinz Nixdorf Institut. ; 2019:535-555.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22709
Dumitrescu R, Japs S, Kaiser L, Rasor R. Model Checking of Integratively Designed Product and Production Systems. In: TdSE 2019. Garching; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22710
Albers A, Ellermann KF, Kühn A, Dumitrescu R. Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik. In: Gausemeier J, Bauer W, Dumitrescu R, Heinz Nixdorf Institut, eds. 15. Symposium Für Vorausschau Und Technologieplanung. Vol 390. Berlin; 2019:277-291.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22712
Drewel M, Gausemeier J, Vaßholz M, Homburg N. Einstieg in die Plattformökonomie. In: Gausemeier J, Bauer W, Dumitrescu R, Heinz Nixdorf Institut, eds. Symposium Für Vorausschau Und Technologieplanung. Vol 15. ; 2019.
LibreCat
2019 | Newspaper Article | LibreCat-ID: 22714
Pierenkemper C, Reinhold J, Dumitrescu R, Gausemeier J. Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen. Industrie 4.0 Management. 2019:30-34.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 22716
Wortmann F, Joppen R, Drewel M, Kühn A, Dumitrescu R. Developing and Evaluating Concepts for a Digital Platform. In: Jain K, Sangle S, Gupta R, Persis J, Mukundan R, eds. 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
Reinhold J, Frank M, Koldewey C, Dumitrescu R, Gausemeier J. Competence-based Planning of Value Networks for Smart Services. In: International Society for Professional Innovation Management (ISPIM), ed. Proceedings of the ISPIM Connects. ; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22721
Bansmann M, Foullois M, Roeltgen D, Wöste L, Dumitrescu R. 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
Asmar L, Wortmann F, Röltgen D, Niewöhner N, Kühn A, Dumitrescu R. 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
Bretz L, Kaiser L, Dumitrescu R. An analysis of barriers for the introduction of Systems Engineering. In: Procedia CIRP Volume 84. ; 2019:783-789.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22727
Albers A, Tekaat J, Kühn A, Dumitrescu R. 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
Gausemeier J, Dumitrescu R, Echterfeld J, Pfänder T, Steffen D, Thielemann F. 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
Hobscheidt D, Jürgenhake C, Anacker H, Dumitrescu R. 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
Hobscheidt D, Fechtelpeter C, Kühn A, Dumitrescu R. Using existing industry 4.0 knowledge for the assessment of SME innovation-demands. In: ISPIM Innovation Conference, Florence, Italien, 16.-19. Juni, 2019. ; 2019.
LibreCat