Home > Publications

Publications

We place great importance on informing our partners and the public about our research. You can order from us the magazine "hni aktuell", our Annual Report and also our publications in the HNI Publication Series.

Ordering Service

Publication Database

To research scientific publications, please use our publication database. It includes all publications of our staff members. With more than 1,700 title information, it represents the entire spectrum of research of our institute.

Here you find references to articles, conference papers and proceedings, research reports, studies and dissertations. You can download existing documents electronically directly from the database.

Search for publications with the following properties:



Keyword search:

Year:

Research groups:

Authors/Editors:

Publication type:


 

Our publications from 2020:



Fischer, Andreas; Fuhry, Benny; Kerschbaum, Florian; Bodden, Eric: Computation on Encrypted Data using Dataflow Authentication. In: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020 (more)


Our publications from 2019:



Piskachev, Goran; Nguyen, Lisa; Johnson, Oshando; Bodden, Eric: SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. In: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, Nov 2019 (more)

Fazal-Baqaie, Masud; Strüwer, Jan-Niclas; Schmelter, David; Dziwok, Stefan: Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen. In: Mikusz, Martin (eds.) Projektmanagement und Vorgehensmodelle 2019 (PVM 2019), Oct 24 - 25, 2019 Gesellschaft für Informatik, Lecture Notes in Informatics (LNI) (more)

Gerking, Christopher; Budde, Ingo: Heuristic Inference of Model Transformation Definitions from Type Mappings. In: Workshop on Artificial Intelligence and Model-driven Engineering (MDE Intelligence 2019), 16 Sep 2019 (more)

Feldkord, Björn; Knollmann, Till; Malatyali, Manuel; Meyer auf der Heide, Friedhelm: Managing Multiple Mobile Resources. In: Proceedings of the 17th Workshop on Approximation and Online Algorithms (WAOA) (accepted), Sep 12 - 13, 2019, Springer (more)

Luo, Linghui; Dolby, Julian; Bodden, Eric: MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors. In: European Conference on Object-Oriented Programming (ECOOP), July 2019 (more)

Castenow, Jannik; Kolb, Christina; Scheideler, Christian: Brief Announcement: A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks. In: Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO) (accepted), July 2019 (more)

Koppelmann, Bastian; Adelt, Peer; Müller, Wolfgang; Scheytt, Christoph: RISC-V Extensions for Bit Manipulation Instructions. In: 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS), Rhodos, Griechenland, July 1 - 3, 2019 (more)

Mertin, Sven; Buse, Dominik; Franke, Mario; Trächtler, Ansgar; Gausemeier, Sandra; Dressler, Falko: Proof-of-Concept einer komplexen Co-Simulationsumgebung für einen Fahrsimulator zur Untersuchung von Car2X-Kommunikations-Szenarien. In: VDI/VDE AUTOREG 2019, 9. VDI/VDE-Fachtagung AUTOREG, pp. 159-170, Mannheim, Deutschland, July 2019 Verein Deutscher Ingenieure, VDI Verlag Düsseldorf (more)

Koldewey, Christian; Reinhold, Jannik; Dumitrescu, Roman; Frank, Maximilian; Schweppe, Thomas; Melzer, Annegret: Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services. ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb , 114(6): pp. 380-384, June 2019 (more)

Koldewey, Christian; Evers, Hans Heinrich; Dumitrescu, Roman; Frank, Maximilian; Gausemeier, Jürgen; Reinhold, Jannik: Development Process for Smart Service Strategies. In: Bitran, Ian; Conn, Stefan; Gernreich, Chris; Heber, Michelle; Huizingh, K.R.E.; Kokshagina, Olga; Torkkeli, Marko; Tynnhammar, Markus (eds.) Proceedings of The XXX ISPIM INNOVATION CONFERENCE, volume 93 , June 2019 International Society for Professional Innovation Management (ISPIM), ISPIM Innovation Conference (more)

Holtmann, Jörg: Improvement of Software Requirements Quality based on Systems Engineering. Dissertation, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, June 2019 (more)

Feldotto, Matthias; Lenzner, Pascal; Molitor, Louise; Skopalik, Alexander: From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation. In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, pp. 1949-1951 , May 13 - 17, 2019 (more)

Gräßler, Iris; Hentze, Julian: Transformations in product development to enable globally distributed self-organizing production systems. In: Putnik, Goran D. (eds.) Procedia CIRP - Proceedings of the 29th CIRP Design Conference, volume 84 , pp. 474-479, ISSN: 2212-8271, PROCIR-D-19-00359R1, DOI: https://doi.org/10.1016/j.procir.2019.04.212, Póvoa de Varzim, May 8 - 10, 2019 CIRP (Centre for International Research in Production), Elsevier B.V. (more)

Gräßler, Iris; Yang, Xiaojun: Product life cycle cost approach for modular lightweight design. In: Putnik, Goran D. (eds.) Procedia CIRP - Proceedings of the 29th CIRP Design Conference, volume 84 , pp. 1048-1053, ISSN: 2212-8271, PROCIR-D-19-00345, DOI: https://doi.org/10.1016/j.procir.2019.03.199, Póvoa de Varzim, May 8 - 10, 2019 CIRP (Centre for International Research in Production), Elsevier B.V. (more)

Gräßler, Iris; Pöhler, Alexander: Human-centric design of cyber-physical production systems. In: Putnik, Goran D. (eds.) Procedia CIRP - Proceedings of the 29th CIRP Design Conference, number 84 , pp. 251-256, ISSN: 2212-8271, PROCIR-D-19-00344R1, DOI: https://doi.org/10.1016/j.procir.2019.04.199, Póvoa de Varzim, May 8 - 10, 2019 CIRP (Centre for International Research in Production), Elsevier B.V. (more)

Massmann, Melina; Meyer, Maurice; Dumitrescu, Roman; von Enzberg, Sebastian; Frank, Maximilian; Koldewey, Christian; Kühn, Arno; Reinhold, Jannik: Significance and Challenges of Data-driven Product Generation and Retrofit Planning. In: Proceedings of the CIRP DESIGN, May 2019 (CIRP) Center for international research in production, Scientific Technical Committee Design of the International Academy for Production Engineering (CIRP) (more)

Michael, Jan; Henke, Christian; Trächtler, Ansgar: Decentralized Energy Management for Smart Home System of Systems. In: Syscon 2019 - The 13th Annual IEEE International Systems Conference, The 13th Annual IEEE International Systems Conference, volume 13 , pp. 524-531, Apr 2019 IEEE, IEEE SYSCON (more)

Reinhold, Jannik; Frank, Maximilian; Koldewey, Christian; Dumitrescu, Roman; Gausemeier, Jürgen: Competence-based Planning of Value Networks for Smart Services. In: Proceedings of the ISPIM Connects, Apr 2019 International Society for Professional Innovation Management (ISPIM), International Society for Professional Innovation Management (ISPIM) (more)

Gräßler, Iris; Taplick, Patrick: Architecture of a virtual reality-based tool for the support of creativity. In: Philippe Geril (Hrsg.) The 3rd Annual Science Fiction Prototyping Conference 2019, pp. 25-29, Apr 2019, EUROSIS-ETI (more)

Wortmann, Fabio; Joppen, Robert; Drewel, Marvin; Kühn, Arno; Dumitrescu, Roman: Developing and Evaluating Concepts for a Digital Platform. In: Jain, K.; Sangle, S.; Gupta, R.; Persis, J.; Mukundan, R. (Hrsg.): IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr 2019 International Association for Management of Technology (IAMOT), IAMOT (more)

Frank, Maximilian; Rabe, Martin; Koldewey, Christian; Dumitrescu, Roman; Gausemeier, Jürgen; Hennig-Cardinal von Widdern, Nils; Reinhold, Jannik: Classification-based Planning of Smart Service Portfolios. In: Proceedings of the ISPIM connects, Apr 2019 International Society for Professional Innovation Management (ISPIM), International Society for Professional Innovation Management (ISPIM) (more)

Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Scheytt, Christoph: Analyse sicherheitskritischer Software für RISC-V Prozessoren. In: Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2019), Kaiserslautern, DE, Apr 2019 (more)

Gräßler, Iris; Pöhler, Alexander: Simulation von Cyber-Physischen Produktionssystemen in einer Forschungsinfrastruktur. In: Bertram, Torsten; Corves, Burkhard; Gräßler, Iris; Janschek, Klaus (eds.) Fachtagung Mechatronik 2019 Paderborn, pp. 149-154, Mar 27 - 28, 2019 (more)

Gräßler, Iris; Scholle, Philipp; Thiele, Henrik: Strategische Planung in Plattformen und Eco-Systemen mittels Szenario-Technik. In: Bertram, Torsten; Corves, Burkhard; Gräßler, Iris; Janschek, Klaus (eds.) Fachtagung Mechatronik 2019 Paderborn, pp. 127-132, Mar 27 - 28, 2019 (more)

Gräßler, Iris; Oleff, Christian; Scholle, Philipp: Priorisierung von Anforderungen für die Entwicklung mechatronischer Systeme. In: Bertram, Torsten; Corves, Burkhard; Gräßler, Iris; Janschek, Klaus (eds.) Fachtagung Mechatronik 2019 Paderborn, pp. 1-6, Mar 27 - 28, 2019 (more)

Kaul, Thorben; Hentze, Julian; Sextro, Walter; Gräßler, Iris: Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung. In: Bertram, Torsten; Corves, Burkhard; Gräßler, Iris; Janschek, Klaus (eds.) Fachtagung Mechatronik 2019 Paderborn, pp. 19-24, Mar 27 - 28, 2019 (more)

Gräßler, Iris; Yang, Xiaojun: Entwicklung mechatronischer Systeme und Modulleichtbau: Anforderungen am Beispiel von Unmanned Aerial Vehicles (UAVs). In: Bertram, Torsten; Corves, Burkhard; Gräßler, Iris; Jansen, Klaus (eds.) Fachtagung Mechatronik 2019 Paderborn, pp. 167-172, Mar 27 - 28, 2019 (more)

Gerking, Christopher; Schubert, David: Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. In: International Conference on Software Architecture (ICSA 2019), Mar 26 - 29, 2019 (more)

Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Scheytt, Christoph; Driessen, Benedikt: QEMU for Dynamic Memory Analysis of Security Sensitive Software. In: Proceedings of the 2nd International Workshop on Embedded Software for Industrial IoT (ESIIT), pp. 32-34, Florence, Italy, Mar 2019 (more)

Malatyali, Manuel: Big Data: Sublinear Algorithms for Distributed Data Streams. Dissertation, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Feb 2019 (more)

Piskachev, Goran; Nguyen, Lisa; Bodden, Eric: Codebase-Adaptive Detection of Security-Relevant Methods. tr-ri-19-356, Feb 2019 (more)

Gräßler, Iris; Oleff, Christian; Taplick, Patrick: Augmented Reality für die Vermittlung von Systems Engineering. In: Bertram, Torsten; Corves, Burkhard; Gräßler, Iris; Janschek, Klaus (eds.) Fachtagung Mechatronik 2019 Paderborn, pp. 180-185, Jan 27 - Mar 28, 2019 (more)

Schubert, Philipp; Hermann, Ben; Bodden, Eric: PhASAR: An Inter-Procedural Static Analysis Framework for C/C++. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019 (more)

Späth, Johannes; Ali, Karim; Bodden, Eric: Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems. Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, 3(POPL): pp. 48:1--48:29, Jan 2019 (more)

Gausemeier, Jürgen; Dumitrescu, Roman; Echterfeld, Julian; Pfänder, Tomas; Steffen, Daniel; Thielemann, Frank: Innovationen für die Märkte von morgen - Strategische Planung von Produkten, Dienstleistungen und Geschäftsmodellen. Carl Hanser Verlag, München, Jan 2019 (more)

Jansen, Klaus; Maack, Marten; Mäcker, Alexander: Scheduling on (Un-)Related Machines with Setup Times. In: Proceedings of the 33rd International Parallel and Distributed Processing Symposium (IPDPS), 2019 (more)

Kruse, Daniel: Teilautomatisierte Parameteridentifikation für die Validierung von Dynamikmodellen im modellbasierten Entwurf mechatronischer Systeme. HNI-Verlagsschriftenreihe, volume 388 , Heinz Nixdorf Institut, Universität Paderborn, 2019 (more)

Gausemeier, Jürgen; Guggemos, Michael; Kreimeyer, Andreas; Lange, Thomas; Behrens, Jan Henning; Seitz, Ralph; Ortloff, Luise; Frey, Anna; Dachsberger, Stephanie; Drewel, Marvin; Frank, Maximilian: Nationales Kompetenz-Monitoring - Bericht: Energiespeichersysteme (Fokus Lithium-Ionen-Speicher). acatech DISKUSSION, https://www.acatech.de/wp-content/uploads/2019/02/acatech_NKM_Energiespeichersysteme_WEB-1.pdf, Jan 2019 (more)

Späth, Johannes: Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019 (more)

Albert Gorski Iii, Sigmund; Andow, Benjamin; Nadkarni, Adwait; Manandhar, Sunil; Enck, William; Bodden, Eric; Bartel, Alexandre: ACMiner: Extraction and Analysis of Authorization Checks in Android s Middleware. In: ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019 (more)

Dangelmaier, Wilhelm; Gausemeier, Jürgen: Intelligente Arbeitsvorbereitung auf Basis virtueller Werkzeugmaschinen. Intelligente Technische Systeme – Lösungen aus dem Spitzencluster it’s OWL, Springer-Verlag GmbH Deutschland, 2019 (more)

Luo, Linghui; Bodden, Eric; Späth, Johannes: A Qualitative Analysis of Taint-Analysis Results. In: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), 2019 (more)

Wohlers, Benedict; Dziwok, Stefan; Pasic, Faruk; Lipsmeier, Andre ; Becker, Matthias: Monitoring and Control of Production Processes based on Key Performance Indicators for Mechatronic Systems. International Journal of Production Economics 2019 (more)

Dann, Andreas Peter; Hermann, Ben; Bodden, Eric: ModGuard: Identifying Integrity & Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering, Jan 2019 (more)

Krüger, Stefan; Späth, Johannes; Ali, Karim; Bodden, Eric; Mezini, Mira: CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering, Jan 2019 (more)