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.

5848 Publications


2019 | Report | LibreCat-ID: 20537
Codebase-Adaptive Detection of Security-Relevant Methods
G. Piskachev, L. Nguyen, E. Bodden, Codebase-Adaptive Detection of Security-Relevant Methods, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 20538
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware
S. Albert Gorski Iii, B. Andow, A. Nadkarni, S. Manandhar, W. Enck, E. Bodden, A. Bartel, in: ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019.
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 20539
Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems
J. Späth, K. Ali, E. Bodden, Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages 3 (2019) 48:1-48:29.
LibreCat | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 20759
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
C. Gerking, D. Schubert, in: International Conference on Software Architecture (ICSA 2019), 2019.
LibreCat
 

2019 | Preprint | LibreCat-ID: 18018
Uniform approximation in classical weak convergence theory
V. Bengs, H. Holzmann, ArXiv:1903.09864 (2019).
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 22708
Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen
D. Eckelt, R. Bismark, R. Dumitrescu, M. Frank, J. Gausemeier, J. Reinhold, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), Vorausschau und Technologieplanung, 2019, pp. 535–555.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 22709
Model Checking of Integratively Designed Product and Production Systems
R. Dumitrescu, S. Japs, L. Kaiser, R. Rasor, in: TdSE 2019, Garching, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 22710
Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik
A. Albers, K.F. Ellermann, A. Kühn, R. Dumitrescu, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), 15. Symposium Für Vorausschau Und Technologieplanung, Berlin, 2019, pp. 277–291.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 22712
Einstieg in die Plattformökonomie
M. Drewel, J. Gausemeier, M. Vaßholz, N. Homburg, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), Symposium Für Vorausschau Und Technologieplanung, 2019.
LibreCat
 

2019 | Newspaper Article | LibreCat-ID: 22714
Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen
C. Pierenkemper, J. Reinhold, R. Dumitrescu, J. Gausemeier, Industrie 4.0 Management 5 (2019) 30–34.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 22716
Developing and Evaluating Concepts for a Digital Platform
F. Wortmann, R. Joppen, M. Drewel, A. Kühn, R. Dumitrescu, in: K. Jain, S. Sangle, R. Gupta, J. Persis, R. Mukundan (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
Competence-based Planning of Value Networks for Smart Services
J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, J. Gausemeier, in: International Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the ISPIM Connects, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 22721
Reference Architecture and Classification of technology-induced Scenarios of Digitized Work
M. Bansmann, M. Foullois, D. Roeltgen, L. Wöste, R. Dumitrescu, in: 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 22725
Framework for the configuration of an engineering based Makeathon
L. Asmar, F. Wortmann, D. Röltgen, N. Niewöhner, A. Kühn, R. Dumitrescu, in: Proceedings of ISPIM Innovation Conference, 7.-9. April, Ottawa, 2019, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 22726
An analysis of barriers for the introduction of Systems Engineering
L. Bretz, L. Kaiser, R. Dumitrescu, in: Procedia CIRP Volume 84, 2019, pp. 783–789.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 22727
Requirement Profiles as a Foundation for customer-centric Ideation in Business-to-Business Markets
A. Albers, J. Tekaat, A. Kühn, R. Dumitrescu, in: 29th CIRP Design 2019, Porto, Portugal, May 8th - May 10th, 2019, 2019.
LibreCat
 

2019 | Book | LibreCat-ID: 22728
Innovationen für die Märkte von morgen – Strategische Planung von Produkten, Dienstleistungen und Geschäftsmodellen
J. Gausemeier, R. Dumitrescu, J. Echterfeld, T. Pfänder, D. Steffen, F. Thielemann, Innovationen für die Märkte von morgen – Strategische Planung von Produkten, Dienstleistungen und Geschäftsmodellen, Carl Hanser Verlag, München, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 22729
Sociotechnical solution patterns for the development of smart products
D. Hobscheidt, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: 29th CIRP Design 2019, Povoa de Varzim, Portugal, May 8th - May 10th, 2019, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 22730
Using existing industry 4.0 knowledge for the assessment of SME innovation-demands
D. Hobscheidt, C. Fechtelpeter, A. Kühn, R. Dumitrescu, in: ISPIM Innovation Conference, Florence, Italien, 16.-19. Juni, 2019, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 22731
Key Performance Indicators in the Production of the Future
R. Joppen, S. von Enzberg, J. Gundlach, A. Kühn, R. Dumitrescu, in: P. Butala, E. Govekar, R. Vrabic, A. Roglej-Ritonja, D. Bracun, D. Kozjek, A. Malus, L. Selak, G. Skulj (Eds.), 52nd CIRP Manufacturing Systems Conference, Ljubljana, 2019, 2019.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed