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.

9315 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 | Journal Article | LibreCat-ID: 20811
On projective and affine equivalence of sub-Riemannian metrics
F. Jean, S. Maslovskaya, I. Zelenko, Geometriae Dedicata (2019) 279–319.
LibreCat | DOI
 

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: 22443
Manufacturing Accuracy In Additive Manufacturing: A Method To Determine Geometrical Tolerances
T. Lieneke, T. Künneke, F. Schlenker, V. Denzer, D. Zimmer, in: Special Interest Group Meeting: Advancing Precision in Additive Manufacturing, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 2256
The Common Enemy Effect under Strategic Network Formation and Disruption
B. Hoyer, H. Haller, Journal of Economic Behavior & Organization 162 (2019) 146–163.
LibreCat | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 22652
Self-Assembly of Fibrinogen in Aqueous, Thrombin-Free Solutions of Variable Ionic Strengths
B. Hämisch, A. Büngeler, C. Kielar, A. Keller, O. Strube, K. Huber, Langmuir 35 (2019) 12113–12122.
LibreCat | DOI
 

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
 

Filters and Search Terms

isbn%3D978-1-4503-0743-7

Search

Filter Publications

Display / Sort

Export / Embed