@inproceedings{20529,
  author       = {{Nachtigall, Marcus and Nguyen Quang Do, Lisa and Bodden, Eric}},
  booktitle    = {{1st International Workshop on Explainable Software (EXPLAIN) at ASE}},
  title        = {{{Explaining Static Analysis -- A Perspective}}},
  year         = {{2019}},
}

@inproceedings{20531,
  author       = {{Luo, Linghui and Bodden, Eric and Späth, Johannes}},
  booktitle    = {{IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)}},
  title        = {{{A Qualitative Analysis of Android Taint-Analysis Results}}},
  year         = {{2019}},
}

@inproceedings{20532,
  author       = {{Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric}},
  booktitle    = {{IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track}},
  title        = {{{SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods}}},
  year         = {{2019}},
}

@article{20533,
  author       = {{Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}},
  issn         = {{2326-3881}},
  journal      = {{IEEE Transactions on Software Engineering}},
  keywords     = {{Java, Encryption, Static analysis, Tools, Ciphers, Semantics, cryptography, domain-specific language, static analysis}},
  pages        = {{1--1}},
  title        = {{{CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}}},
  doi          = {{10.1109/TSE.2019.2948910}},
  year         = {{2019}},
}

@inproceedings{20534,
  author       = {{Piskachev, Goran and Nguyen Quang Do, Lisa and Bodden, Eric}},
  booktitle    = {{ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)}},
  title        = {{{Codebase-Adaptive Detection of Security-Relevant Methods}}},
  year         = {{2019}},
}

@inproceedings{20535,
  author       = {{Luo, Linghui and Dolby, Julian and Bodden, Eric}},
  booktitle    = {{European Conference on Object-Oriented Programming (ECOOP)}},
  title        = {{{MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors}}},
  year         = {{2019}},
}

@phdthesis{20536,
  author       = {{Späth, Johannes}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Synchronized Pushdown Systems for Pointer and Data-Flow Analysis}}},
  year         = {{2019}},
}

@techreport{20537,
  author       = {{Piskachev, Goran and Nguyen, Lisa and Bodden, Eric}},
  title        = {{{Codebase-Adaptive Detection of Security-Relevant Methods}}},
  year         = {{2019}},
}

@inproceedings{20538,
  author       = {{Albert Gorski Iii, Sigmund and Andow, Benjamin and Nadkarni, Adwait and Manandhar, Sunil and Enck, William and Bodden, Eric and Bartel, Alexandre}},
  booktitle    = {{ACM Conference on Data and Application Security and Privacy (CODASPY 2019)}},
  keywords     = {{ITSECWEBSITE, CROSSING}},
  title        = {{{ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware}}},
  year         = {{2019}},
}

@article{20539,
  author       = {{Späth, Johannes and Ali, Karim and Bodden, Eric}},
  issn         = {{2475-1421}},
  journal      = {{Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages}},
  keywords     = {{ATTRACT, ITSECWEBSITE, CROSSING}},
  number       = {{POPL}},
  pages        = {{48:1--48:29}},
  publisher    = {{ACM}},
  title        = {{{Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems}}},
  doi          = {{10.1145/3290361}},
  volume       = {{3}},
  year         = {{2019}},
}

@inproceedings{20759,
  author       = {{Gerking, Christopher and Schubert, David}},
  booktitle    = {{International Conference on Software Architecture (ICSA 2019)}},
  title        = {{{Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures}}},
  year         = {{2019}},
}

@unpublished{18018,
  abstract     = {{A common statistical task lies in showing asymptotic normality of certain
statistics. In many of these situations, classical textbook results on weak
convergence theory suffice for the problem at hand. However, there are quite
some scenarios where stronger results are needed in order to establish an
asymptotic normal approximation uniformly over a family of probability
measures. In this note we collect some results in this direction. We restrict
ourselves to weak convergence in $\mathbb R^d$ with continuous limit measures.}},
  author       = {{Bengs, Viktor and Holzmann, Hajo}},
  booktitle    = {{arXiv:1903.09864}},
  title        = {{{Uniform approximation in classical weak convergence theory}}},
  year         = {{2019}},
}

@inproceedings{22708,
  author       = {{Eckelt, Daniel and Bismark, Ronny and Dumitrescu, Roman and Frank, Maximilian and Gausemeier, Jürgen and Reinhold, Jannik}},
  booktitle    = {{Vorausschau und Technologieplanung}},
  editor       = {{Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman}},
  pages        = {{535--555}},
  title        = {{{Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen}}},
  volume       = {{390}},
  year         = {{2019}},
}

@inproceedings{22709,
  author       = {{Dumitrescu, Roman and Japs, Sergej and Kaiser, Lydia and Rasor, Rik}},
  booktitle    = {{TdSE 2019}},
  title        = {{{Model Checking of Integratively Designed Product and Production Systems}}},
  year         = {{2019}},
}

@inproceedings{22710,
  author       = {{Albers, Alexander and Ellermann, Kai Fabian and Kühn, Arno and Dumitrescu, Roman}},
  booktitle    = {{15. Symposium für Vorausschau und Technologieplanung}},
  editor       = {{Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman}},
  pages        = {{277--291}},
  title        = {{{Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik}}},
  volume       = {{390}},
  year         = {{2019}},
}

@inproceedings{22712,
  author       = {{Drewel, Marvin and Gausemeier, Jürgen and Vaßholz, Mareen and Homburg, Nils}},
  booktitle    = {{Symposium für Vorausschau und Technologieplanung}},
  editor       = {{Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman}},
  title        = {{{Einstieg in die Plattformökonomie}}},
  volume       = {{15}},
  year         = {{2019}},
}

@misc{22714,
  author       = {{Pierenkemper, Christoph and Reinhold, Jannik and Dumitrescu, Roman and Gausemeier, Jürgen}},
  booktitle    = {{Industrie 4.0 Management}},
  pages        = {{30--34}},
  title        = {{{Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen}}},
  volume       = {{5}},
  year         = {{2019}},
}

@inproceedings{22716,
  author       = {{Wortmann, Fabio and Joppen, Robert and Drewel, Marvin and Kühn, Arno and Dumitrescu, Roman}},
  booktitle    = {{IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT}},
  editor       = {{Jain, K. and Sangle, S. and Gupta, R. and Persis, J. and Mukundan, R.}},
  title        = {{{Developing and Evaluating Concepts for a Digital Platform}}},
  year         = {{2019}},
}

@inproceedings{22717,
  abstract     = {{Today's manufacturing industry is confronted with fundamental changes in value creation. The tension between the two megatrends of digitization and servitization leads to new hybrid market offerings, so-called smart services. Corresponding value networks fundamentally differ from traditional ones. Developing smart services requires new competences in young disciplines, while their provision requires new internal and external organizational structures or processes. To strengthen their competitive position, manufacturing companies need to adapt their value networks. However, the highly complex transformation of value crea-tion especially challenges small and medium-sized companies due to limited competences and resources. They must consider opening their boundaries and collaborating with partners. In this paper, we introduce a basic framework for planning smart services and present a methodology for competence-based plan-ning of value networks for smart services in three phases: Smart service analysis, competence analysis and value creation planning. The methodology is explained by an example from tooling machine industry.}},
  author       = {{Reinhold, Jannik and Frank, Maximilian and Koldewey, Christian and Dumitrescu, Roman and Gausemeier, Jürgen}},
  booktitle    = {{Proceedings of the ISPIM Connects}},
  title        = {{{Competence-based Planning of Value Networks for Smart Services}}},
  year         = {{2019}},
}

@inproceedings{22721,
  author       = {{Bansmann, Michael and Foullois, Marc and Roeltgen, Daniel and Wöste, Lars and Dumitrescu, Roman}},
  booktitle    = {{ 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien}},
  title        = {{{Reference Architecture and Classification of technology-induced Scenarios of Digitized Work}}},
  year         = {{2019}},
}