Aktuell:
21. Oktober 2019
Wir gratulieren Philipp Holzinger zu seiner Promotion
Philipp Holzinger promovierte erfolgreich zu "A Systematic Analysis and Hardening of the Java Security Architecture" ...
Publikationen
Wir legen großen Wert darauf, unsere Partner und die Öffentlichkeit über unsere Forschungsarbeit zu informieren. Die hni aktuell, den Jahresbericht und auch Veröffentlichungen der Verlagsschriftenreihe des Heinz Nixdorf Instituts können Sie bei uns bestellen.
Publikationsdatenbank
Für die Recherche nach wissenschaftlichen Veröffentlichungen steht Ihnen unsere Publikationsdatenbank zur Verfügung. In ihr sind alle Publikationen unserer Mitarbeiterinnen und Mitarbeiter nachgewiesen. Mit über 1.700 Titelangaben bildet sie das gesamte Forschungsspektrum unseres Instituts ab. Hier finden Sie Hinweise auf Aufsätze, Konferenzbeiträge und Tagungsbände sowie Studien und Hochschulschriften. Elektronisch vorhandene Dokumente können Sie direkt aus der Datenbank abrufen.
Publikationen mit folgenden Eigenschaften suchen:
Unsere Publikationen aus dem Jahr 2020:
Pukrop, Simon; Mäcker, Alexander; Meyer auf der Heide, Friedhelm: Approximating Weighted Completion Time for Order Scheduling with Setup Times. In: Proceedings of the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) (accepted), 20. - 24. Jan. 2020, SPRINGER (Details)
Castenow, Jannik; Kolb, Christina; Scheideler, Christian: A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks. In: Proceedings of the 21st International Conference on Distributed Computing and Networking (ICDCN) (accepted), 4. - 7. Jan. 2020 (Details)
Fischer, Andreas; Fuhry, Benny; Kerschbaum, Florian; Bodden, Eric: Computation on Encrypted Data using Dataflow Authentication. In: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020 (Details)
Unsere Publikationen aus dem Jahr 2019:
Kruse, Stephan: An Area Efficient 19.25 GHz to 77 GHz Gilbert Cell Frequency Quadrupler with 55% Shrinked Delay Lines in 130nm SiGe BiCMOS . In: International Microwave and RF Conference 2019, Bombay, Mumbai, India, 13. - 15. Dez. 2019, IEEE (Details)
Nachtigall, Marcus; Nguyen, Lisa; Bodden, Eric: Explaining Static Analysis - A Perspective. In: 1st International Workshop on Explainable Software (EXPLAIN) at ASE, Nov. 2019 (Details)
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 (Details)
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 (Hrsg.) Projektmanagement und Vorgehensmodelle 2019 (PVM 2019), 24. - 25. Okt. 2019 Gesellschaft für Informatik, Lecture Notes in Informatics (LNI) (Details)
Brandt, Sascha; Jähn, Claudius; Fischer, Matthias; Meyer auf der Heide, Friedhelm: Visibility-Aware Progressive Farthest Point Sampling on the GPU. Computer Graphics Forum, 38(7): S. 413-424, Okt. 2019 (Details)
Feldkord, Björn; Meyer auf der Heide, Friedhelm: The Mobile Server Problem. ACM Transactions on Parallel Computing, 6(3): S. 14:1 - 14:17, Okt. 2019 (Details)
Meyer auf der Heide, Friedhelm: Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln. Mathematische Semesterberichte, 66(2): S. 259--260, Okt. 2019 (Details)
Duehr, Katharina; Kampermann, Jonas; Taplick, Patrick; Gräßler, Iris; Albers, Albert: Modellbasierte IKT-Selektion für Methodentätigkeiten in der standortverteilten Produktentwicklung. In: Corves, Burkhard; Gericke, Kilian; Grote, Karl-Heinrich; Lohrengel, Armin; Müller, Norbert; Nagarajah, Arun; Rieg, Frank; Scharr, Gerhard; Stelzer, Ralph (Hrsg.) 17. Gemeinsames Kolloquium Konstruktionstechnik: Agile Entwicklung physischer Produkte, S. 138-149, 1. - 2. Okt. 2019, Publikationsserver der RWTH Aachen (Details)
Piskachev, Goran; Petrasch, Tobias; Späth, Johannes; Bodden, Eric: AuthCheck: Program-state Analysis for Access-control Vulnerabilities. In: 10th Workshop on Tools for Automatic Program Analysis (TAPAS), Okt. 2019 (Details)
Pottebaum, Jens; Erfurth, Christian; Reuter, Christian: IT-Rettung 2019: IT-Unterstützung in Emergency Management & Response. In: Draude, Claude; Lange, Martin; Sick, Bernhard (Hrsg.) Informatik für Gesellschaft - Workshopbeiträge der 49. Jahrestagung der Gesellschaft für Informatik, Band P-295 , S. 557, ISBN: 978-3-88579-689-3, 23. - 26. Sep. 2019 Gesellschaft für Informatik, Gesellschaft fuer Informatik (Details)
Gräßler, Iris; Thiele, Henrik; Scholle, Philipp: Methode zur Einflussanalyse in der Szenario-Technik auf Basis gerichteter Graphen. In: Krause, Dieter; Paetzold, Kristin; Wartzack, Sandro (Hrsg.) Design fox X - Beiträge zum 30. DfX-Symposium September 2019, Band Band 30 , S. 135-146, https://doi.org/10.35199/dfx2019.12, Jesteburg, 18. - 19. Sep. 2019 (Details)
Gräßler, Iris; Oleff, Christian: Risikoorientierte Analyse und Handhabung von Anforderungsänderungen. In: Krause, Dieter; Paetzold, Kristin; Wartzack, Sandro (Hrsg.) Design fox X - Beiträge zum 30. DfX-Symposium September 2019, Band Band 30 , S. 49-60, https://doi.org/10.35199/dfx2019.5, Jesteburg, 18. - 19. Sep. 2019 (Details)
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 (Details)
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), 12. - 13. Sep. 2019, Springer (Details)
Gräßler, Iris; Pottebaum, Jens; Kamann, Markus: Moderne Ausbildung für die Instandhaltung. Vortrag auf dem (Aus)Bildungskongress der Bundeswehr mit Forum Fernausbildung - Im Einsatz für die Gesellschaft - (Aus)Bildung für Einsatzkräfte der Zukunft, 3.-5. September 2019. Sep. 2019 (Details)
Hazhirpasand, Mohammadreza; Ghafari, Mohammad; Krüger, Stefan; Bodden, Eric; Nierstrasz, Oscar: The Impact of Developer Experience in Using Java Cryptography. In: ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), Emerging Results and Vision Track, Sep. 2019 (Details)
Fockel, Markus; Merschjohann, Sven; Fazal-Baqaie, Masud; Förder, Torsten; Hausmann, Stefan; Waldeck, Boris: Designing and Integrating IEC 62443 Compliant Threat Analysis. In: Proceedings of the 26th European System, Software & Service Process Improvement & Innovation Conference (EuroSPI 2019), S. 57--69, Sep. 2019, Springer International Publishing (Details)
Gräßler, Iris; Thiele, Henrik; Oleff, Christian; Scholle, Philipp; Schulze, Veronika: Method for Analysing Requirement Change Propagation based on a Modified Pagerank Algorithm. In: Proceedings of the 22nd International Conference on Engineering Design (ICED19), Band 1 , S. 3681-3690, DOI:10.1017/dsi.2019.375, Delft, The Netherlands, 5. - 8. Aug. 2019 Design Society (Details)
Gräßler, Iris; Oleff, Christian; Hentze, Julian: Role Model for Systems Engineering Application. In: Proceedings of the 22nd International Conference on Engineering Design (ICED19), Band 1 , S. 1265-1274, DOI:10.1017/dsi.2019.132, Delft, The Netherlands, 5. - 8. Aug. 2019 Design Society (Details)
Gräßler, Iris; Taplick, Patrick: Supporting Creativity with Virtual Reality Technology. In: Proceedings of the 22nd International Conference on Engineering Design (ICED19), Band 1 , S. 2011-2020, DOI:10.1017/dsi.2019.207, Delft, The Netherlands, 5. - 8. Aug. 2019 Design Society (Details)
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, 1. - 3. Jul. 2019 (Details)
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), Jul. 2019 (Details)
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, S. 159-170, Mannheim, Deutschland, Jul. 2019 Verein Deutscher Ingenieure, VDI Verlag Düsseldorf (Details)
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), Jul. 2019 (Details)
Holtmann, Jörg: Improvement of Software Requirements Quality based on Systems Engineering. Dissertation, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Jun. 2019 (Details)
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 (Hrsg.) Proceedings of The XXX ISPIM INNOVATION CONFERENCE, Band 93 , Jun. 2019 International Society for Professional Innovation Management (ISPIM), ISPIM Innovation Conference (Details)
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): S. 380-384, Jun. 2019 (Details)
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, S. 1949-1951 , 13. - 17. Mai 2019 (Details)
Gräßler, Iris; Hentze, Julian: Transformations in product development to enable globally distributed self-organizing production systems. In: Putnik, Goran D. (Hrsg.) Procedia CIRP - Proceedings of the 29th CIRP Design Conference, Band 84 , S. 474-479, ISSN: 2212-8271, PROCIR-D-19-00359R1, DOI: https://doi.org/10.1016/j.procir.2019.04.212, Póvoa de Varzim, 8. - 10. Mai 2019 CIRP (Centre for International Research in Production), Elsevier B.V. (Details)
Gräßler, Iris; Pöhler, Alexander: Human-centric design of cyber-physical production systems. In: Putnik, Goran D. (Hrsg.) Procedia CIRP - Proceedings of the 29th CIRP Design Conference, Nr. 84 , S. 251-256, ISSN: 2212-8271, PROCIR-D-19-00344R1, DOI: https://doi.org/10.1016/j.procir.2019.04.199, Póvoa de Varzim, 8. - 10. Mai 2019 CIRP (Centre for International Research in Production), Elsevier B.V. (Details)
Gräßler, Iris; Yang, Xiaojun: Product life cycle cost approach for modular lightweight design. In: Putnik, Goran D. (Hrsg.) Procedia CIRP - Proceedings of the 29th CIRP Design Conference, Band 84 , S. 1048-1053, ISSN: 2212-8271, PROCIR-D-19-00345, DOI: https://doi.org/10.1016/j.procir.2019.03.199, Póvoa de Varzim, 8. - 10. Mai 2019 CIRP (Centre for International Research in Production), Elsevier B.V. (Details)
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, Mai 2019 (CIRP) Center for international research in production, Scientific Technical Committee Design of the International Academy for Production Engineering (CIRP) (Details)
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), S. 145-154, Mai 2019, IEEE (Details)
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, S. 25-29, Apr. 2019, EUROSIS-ETI (Details)
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 (Details)
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) (Details)
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, Band 13 , S. 524-531, Apr. 2019 IEEE, IEEE SYSCON (Details)
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) (Details)
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 (Details)
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 (Hrsg.) Fachtagung Mechatronik 2019 Paderborn, S. 19-24, 27. - 28. Mrz. 2019 (Details)
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 (Hrsg.) Fachtagung Mechatronik 2019 Paderborn, S. 127-132, 27. - 28. Mrz. 2019 (Details)
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 (Hrsg.) Fachtagung Mechatronik 2019 Paderborn, S. 1-6, 27. - 28. Mrz. 2019 (Details)
Gräßler, Iris; Pöhler, Alexander: Simulation von Cyber-Physischen Produktionssystemen in einer Forschungsinfrastruktur. In: Bertram, Torsten; Corves, Burkhard; Gräßler, Iris; Janschek, Klaus (Hrsg.) Fachtagung Mechatronik 2019 Paderborn, S. 149-154, 27. - 28. Mrz. 2019 (Details)
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 (Hrsg.) Fachtagung Mechatronik 2019 Paderborn, S. 167-172, 27. - 28. Mrz. 2019 (Details)
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), 26. - 29. Mrz. 2019 (Details)
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), S. 32-34, Florence, Italy, Mrz. 2019 (Details)
Malatyali, Manuel: Big Data: Sublinear Algorithms for Distributed Data Streams. Dissertation, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Feb. 2019 (Details)
Piskachev, Goran; Nguyen, Lisa; Bodden, Eric: Codebase-Adaptive Detection of Security-Relevant Methods. tr-ri-19-356, Feb. 2019 (Details)
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 (Hrsg.) Fachtagung Mechatronik 2019 Paderborn, S. 180-185, 27. Jan. - 28. Mrz. 2019 (Details)
Gräßler, Iris; Yang, Xiaojun: A holistic approach of complexity assessment for the development of product variants of mechatronic products and their supply chain networks. In: Proceedings of the 8th IFAC Symposium on Mechatronic Systems (Mechatronics 2019), S. 748-753, 4. Jan. - 6. Sep. 2019 (Details)
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 (Details)
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 (Details)
Dann, Andreas Peter; Hermann, Ben; Bodden, Eric: ModGuard: Identifying Integrity & Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering, Jan. 2019 (Details)
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 (Details)
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): S. 48:1--48:29, Jan. 2019 (Details)
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 (Details)
Abu-Khzam, Faisal N. ; Li, Shouwei; Markarian, Christine; Meyer auf der Heide, Friedhelm; Podlipyan, Pavel: Efficient parallel algorithms for parameterized problems. Theoretical Computer Science, 786: S. 2--12 2019 (Details)
Kling, Peter; Meyer auf der Heide, Friedhelm: Continuous Protocols for Swarm Robotics. In: Distributed Computing by Mobile Entities, Current Research in Moving and Computing, Lecture Notes in Computer Science, Band 11340 , S. 317--334. Springer, Jan. 2019 (Details)
Markarian, Christine; Meyer auf der Heide, Friedhelm: Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location. In: Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, S. 315--321, 2019, SciTePress (Details)
Gräßler, Iris; Pottebaum, Jens; Taplick, Patrick; Roesmann, Daniel; Preuss, Daniel: Unterstützung des Lernens für kritische Situationen: Potenzial von Augmented Reality für die Instandsetzung auf See. In: von Lukas, Uwe; Bauer, Kristine; Dolereit, Tim (Hrsg.) Go-3D 2019 "Mit 3D Richtung Maritim 4.0" - Tagungsband zur Konferenz Go-3D 2019, S. 45-57, 2019, Fraunhofer Verlag (Details)
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 (Details)
Kruse, Daniel: Teilautomatisierte Parameteridentifikation für die Validierung von Dynamikmodellen im modellbasierten Entwurf mechatronischer Systeme. HNI-Verlagsschriftenreihe, Band 388 , Heinz Nixdorf Institut, Universität Paderborn, 2019 (Details)
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 (Details)
Späth, Johannes: Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019 (Details)
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 (Details)
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 (Details)