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
@book{Späth_2019, title={Synchronized Pushdown Systems for Pointer and Data-Flow Analysis}, publisher={Universität Paderborn}, author={Späth, Johannes}, year={2019} }
LibreCat
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
@book{Piskachev_Nguyen_Bodden_2019, title={Codebase-Adaptive Detection of Security-Relevant Methods}, author={Piskachev, Goran and Nguyen, Lisa and Bodden, Eric}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 20538
@inproceedings{Albert Gorski Iii_Andow_Nadkarni_Manandhar_Enck_Bodden_Bartel_2019, title={ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware}, booktitle={ACM Conference on Data and Application Security and Privacy (CODASPY 2019)}, author={Albert Gorski Iii, Sigmund and Andow, Benjamin and Nadkarni, Adwait and Manandhar, Sunil and Enck, William and Bodden, Eric and Bartel, Alexandre}, year={2019} }
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20539
@article{Späth_Ali_Bodden_2019, title={Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems}, volume={3}, DOI={10.1145/3290361}, number={POPL}, journal={Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages}, publisher={ACM}, author={Späth, Johannes and Ali, Karim and Bodden, Eric}, year={2019}, pages={48:1-48:29} }
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20759
@inproceedings{Gerking_Schubert_2019, title={Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures}, booktitle={International Conference on Software Architecture (ICSA 2019)}, author={Gerking, Christopher and Schubert, David}, year={2019} }
LibreCat
2019 | Preprint | LibreCat-ID: 18018
@article{Bengs_Holzmann_2019, title={Uniform approximation in classical weak convergence theory}, journal={arXiv:1903.09864}, author={Bengs, Viktor and Holzmann, Hajo}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22708
@inproceedings{Eckelt_Bismark_Dumitrescu_Frank_Gausemeier_Reinhold_2019, series={Heinz Nixdorf Institut}, title={Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen}, volume={390}, booktitle={Vorausschau und Technologieplanung}, author={Eckelt, Daniel and Bismark, Ronny and Dumitrescu, Roman and Frank, Maximilian and Gausemeier, Jürgen and Reinhold, Jannik}, editor={Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman and Heinz Nixdorf InstitutEditors}, year={2019}, pages={535–555}, collection={Heinz Nixdorf Institut} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22709
@inproceedings{Dumitrescu_Japs_Kaiser_Rasor_2019, place={Garching}, title={Model Checking of Integratively Designed Product and Production Systems}, booktitle={TdSE 2019}, author={Dumitrescu, Roman and Japs, Sergej and Kaiser, Lydia and Rasor, Rik}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22710
@inproceedings{Albers_Ellermann_Kühn_Dumitrescu_2019, place={Berlin}, title={Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik}, volume={390}, booktitle={15. Symposium für Vorausschau und Technologieplanung}, author={Albers, Alexander and Ellermann, Kai Fabian and Kühn, Arno and Dumitrescu, Roman}, editor={Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman and Heinz Nixdorf InstitutEditors}, year={2019}, pages={277–291} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22712
@inproceedings{Drewel_Gausemeier_Vaßholz_Homburg_2019, title={Einstieg in die Plattformökonomie}, volume={15}, booktitle={Symposium für Vorausschau und Technologieplanung}, author={Drewel, Marvin and Gausemeier, Jürgen and Vaßholz, Mareen and Homburg, Nils}, editor={Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman and Heinz Nixdorf InstitutEditors}, year={2019} }
LibreCat
2019 | Newspaper Article | LibreCat-ID: 22714
@article{Pierenkemper_Reinhold_Dumitrescu_Gausemeier_2019, title={Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen}, volume={5}, journal={Industrie 4.0 Management}, author={Pierenkemper, Christoph and Reinhold, Jannik and Dumitrescu, Roman and Gausemeier, Jürgen}, year={2019}, pages={30–34} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 22716
@inproceedings{Wortmann_Joppen_Drewel_Kühn_Dumitrescu_2019, title={Developing and Evaluating Concepts for a Digital Platform}, booktitle={IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT}, author={Wortmann, Fabio and Joppen, Robert and Drewel, Marvin and Kühn, Arno and Dumitrescu, Roman}, editor={Jain, K. and Sangle, S. and Gupta, R. and Persis, J. and Mukundan, R.Editors}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22717
@inproceedings{Reinhold_Frank_Koldewey_Dumitrescu_Gausemeier_2019, title={Competence-based Planning of Value Networks for Smart Services}, booktitle={Proceedings of the ISPIM Connects}, author={Reinhold, Jannik and Frank, Maximilian and Koldewey, Christian and Dumitrescu, Roman and Gausemeier, Jürgen}, editor={International Society for Professional Innovation Management (ISPIM)Editor}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22721
@inproceedings{Bansmann_Foullois_Roeltgen_Wöste_Dumitrescu_2019, title={Reference Architecture and Classification of technology-induced Scenarios of Digitized Work}, booktitle={ 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien}, author={Bansmann, Michael and Foullois, Marc and Roeltgen, Daniel and Wöste, Lars and Dumitrescu, Roman}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22725
@inproceedings{Asmar_Wortmann_Röltgen_Niewöhner_Kühn_Dumitrescu_2019, title={ Framework for the configuration of an engineering based Makeathon}, booktitle={Proceedings of ISPIM Innovation Conference, 7.-9. April, Ottawa, 2019}, author={Asmar, Laban and Wortmann, Fabio and Röltgen, Daniel and Niewöhner, Nadine and Kühn, Arno and Dumitrescu, Roman}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22726
@inproceedings{Bretz_Kaiser_Dumitrescu_2019, title={An analysis of barriers for the introduction of Systems Engineering}, booktitle={Procedia CIRP Volume 84}, author={Bretz, Lukas and Kaiser, Lydia and Dumitrescu, Roman}, year={2019}, pages={783–789} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22727
@inproceedings{Albers_Tekaat_Kühn_Dumitrescu_2019, title={Requirement Profiles as a Foundation for customer-centric Ideation in Business-to-Business Markets}, booktitle={29th CIRP Design 2019, Porto, Portugal, May 8th - May 10th, 2019}, author={Albers, Alexander and Tekaat, Julian and Kühn, Arno and Dumitrescu, Roman}, year={2019} }
LibreCat
2019 | Book | LibreCat-ID: 22728
@book{Gausemeier_Dumitrescu_Echterfeld_Pfänder_Steffen_Thielemann_2019, place={München}, title={Innovationen für die Märkte von morgen – Strategische Planung von Produkten, Dienstleistungen und Geschäftsmodellen}, publisher={Carl Hanser Verlag}, author={Gausemeier, Jürgen and Dumitrescu, Roman and Echterfeld, Julian and Pfänder, Tomas and Steffen, Daniel and Thielemann, Frank}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22729
@inproceedings{Hobscheidt_Jürgenhake_Anacker_Dumitrescu_2019, title={Sociotechnical solution patterns for the development of smart products}, booktitle={29th CIRP Design 2019, Povoa de Varzim, Portugal, May 8th - May 10th, 2019}, author={Hobscheidt, Daniela and Jürgenhake, Christoph and Anacker, Harald and Dumitrescu, Roman}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22730
@inproceedings{Hobscheidt_Fechtelpeter_Kühn_Dumitrescu_2019, title={Using existing industry 4.0 knowledge for the assessment of SME innovation-demands}, booktitle={ISPIM Innovation Conference, Florence, Italien, 16.-19. Juni, 2019}, author={Hobscheidt, Daniela and Fechtelpeter, Christian and Kühn, Arno and Dumitrescu, Roman}, year={2019} }
LibreCat