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:



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), Jan 20 - 24, 2020, SPRINGER (more)

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), Jan 4 - 7, 2020 (more)

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:



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, Dec 13 - 15, 2019, IEEE (more)

Wu, Liang; Weizel, Maxim; Scheytt, Christoph: A 70 GHz Small-signal Bandwidth 40 GS/s Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology. In: 26th IEEE International Conference on Electronics Circuits and Systems (ICECS), Genova, Italy, Nov 27 - 29, 2019 (more)

Nachtigall, Marcus; Nguyen, Lisa; Bodden, Eric: Explaining Static Analysis - A Perspective. In: 1st International Workshop on Explainable Software (EXPLAIN) at ASE, Nov 2019 (more)

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)

Koldewey, Christian; Gausemeier, Jürgen; Fischer, Stefan; Kage, Martin: Entwicklung von Smart Service Strategien. In: Gausemeier, Jürgen; Bauer, Wilhelm; Dumitrescu, Roman (eds.) Symposium für Vorausschau und Technologieplanung, volume 15 , Nov 2019 Heinz Nixdorf Institut, Heinz Nixdorf Institut (more)

Drewel, Marvin; Gausemeier, Jürgen; Vaßholz, Mareen; Homburg, Nils: Einstieg in die Plattformökonomie. In: Gausemeier, Jürgen; Bauer, Wilhelm; Dumitrescu, Roman (eds.) Symposium für Vorausschau und Technologieplanung, volume 15 , Nov 2019 Heinz Nixdorf Institut, Heinz Nixdorf Institut (more)

Eckelt, Daniel; Bismark, Ronny; Dumitrescu, Roman; Frank, Maximilian; Gausemeier, Jürgen; Reinhold, Jannik: Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen. In: Gausemeier, Jürgen; Bauer, Wilhelm; Dumitrescu, Roman (eds.) Vorausschau und Technologieplanung, volume 390 , pp. 535-555, Nov 2019 Heinz Nixdorf Institut, Heinz Nixdorf Institut (more)

Mäcker, Alexander: On Scheduling with Setup Times. Dissertation, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 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)

Humphreys, David; Berekovic, Mladen; Kallfass, Ingmar; Scheytt, Christoph; Kuerner, Thomas; Jukan, Admela; Schneider, Thomas; Kleine-Ostmann, Thomas; Koch, Martin; Thomae, Reiner: An overview of the Meteracom Project. In: Proc. 43-nd Meeting of the Wireless World Research Forum (WWRF)",, London, England, Oct 9 - 11, 2019 Wireless World Research Forum (WWRF)", (more)

Bahmanian, Meysam; Tiedau, Johannes; Silberhorn, Christine; Scheytt, Christoph: Octave-Band Microwave Frequency Synthesizer Using Mode-Locked Laser as a Reference. In: 2019 International Topical Meeting on Microwave Photonics ({MWP}), pp. 1-4, Ottawa, ON, Canada, Canada, Oct 7 - 10, 2019 ITG- Workshop (more)

Misra, Arijit; Kress, Christian; Singh, Karanveer; Preussler, Stefan; Scheytt, Christoph; Schneider, Thomas: Integrated All Optical Sampling of Microwave Signals in Silicon Photonics. In: 2019 International Topical Meeting on Microwave Photonics (MWP), pp. 1-4, Ottawa, ON, Canada, Canada, Oct 7 - 10, 2019 2019 IEEE International Topical Meeting on Microwave Photonics (more)

Koldewey, Christian; Reinhold, Jannik; Willmes, Georg; Michels, Jan Stefan: Smart Service-Innovationen - Gewusst wie. markt & wirtschaft westfalen - Das Wirtschaftsmagazin für zukunftsorientierte Unternehmer, 10, Oct 2019 (more)

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), Oct 2019 (more)

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 (eds.) 17. Gemeinsames Kolloquium Konstruktionstechnik: Agile Entwicklung physischer Produkte, pp. 138-149, Oct 1 - 2, 2019, Publikationsserver der RWTH Aachen (more)

Feldkord, Björn; Meyer auf der Heide, Friedhelm: The Mobile Server Problem. ACM Transactions on Parallel Computing, 6(3): pp. 14:1 - 14:17, Oct 2019 (more)

Misra, Arijit; Kress, Christian; Singh, Karanveer; Preussler, Stefan; Scheytt, Christoph; Schneider, Thomas: Integrated source-free all optical sampling with a sampling rate of up to three times the RF bandwidth of silicon photonic MZM. Opt. Express, 27(21): pp. 29972--29984, Oct 2019 (more)

Nguyen, Lisa: User-Centered Tool Design for Data-Flow Analysis. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, Oct 2019 (more)

Holzinger, Philipp: A Systematic Analysis and Hardening of the Java Security Architecture. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, Oct 2019 (more)

Haddadian, Sanaz; Scheytt, Christoph: A 5.8 GHz CMOS Analog Front-End Targeting RF Energy Harvesting for Microwave RFIDs with MIMO Reader. In: IEEE International Conference on RFID Technology & Application (RFID-TA) , Pisa, Italy, Sep 25 - 27, 2019 (more)

Pottebaum, Jens; Erfurth, Christian; Reuter, Christian: IT-Rettung 2019: IT-Unterstützung in Emergency Management & Response. In: Draude, Claude; Lange, Martin; Sick, Bernhard (eds.) Informatik für Gesellschaft - Workshopbeiträge der 49. Jahrestagung der Gesellschaft für Informatik, volume P-295 , pp. 557, ISBN: 978-3-88579-689-3, Sep 23 - 26, 2019 Gesellschaft für Informatik, Gesellschaft fuer Informatik (more)

Gräßler, Iris; Oleff, Christian: Risikoorientierte Analyse und Handhabung von Anforderungsänderungen. In: Krause, Dieter; Paetzold, Kristin; Wartzack, Sandro (eds.) Design fox X - Beiträge zum 30. DfX-Symposium September 2019, volume Band 30 , pp. 49-60, https://doi.org/10.35199/dfx2019.5, Jesteburg, Sep 18 - 19, 2019 (more)

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 (eds.) Design fox X - Beiträge zum 30. DfX-Symposium September 2019, volume Band 30 , pp. 135-146, https://doi.org/10.35199/dfx2019.12, Jesteburg, Sep 18 - 19, 2019 (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)

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 (more)

Gräßler, Iris; Pottebaum, Jens; Kamann, Markus: Moderne Ausbildung für die Instandhaltung. In: (Aus)Bildungskongress der Bundeswehr - Im Einsatz für die Gesellschaft - (Aus)Bildung für Einsatzkräfte der Zukunft, Sep 2019 (more)

Rüddenklau, Nico; Biemelt, Patrick; Mertin, Sven; Gausemeier, Sandra; Trächtler, Ansgar: Simulation-Based Lighting Function Development of High-Definition Headlamps. In: 13th International Symposium on Automotive Lighting (ISAL), volume 18 , pp. 677-686. utzverlag GmbH, Sep 2019 (more)

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), pp. 57--69, Sep 2019, Springer International Publishing (more)

Kahl, Björn; Kogan, Yevgen; Menzefricke, Joern Steffen: Servicerobotik kooperativ entwickeln. Computer & Automation, 9/19: pp. 58 - 61, Sep 2019 (more)

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), volume 1 , pp. 3681-3690, DOI:10.1017/dsi.2019.375, Delft, The Netherlands, Aug 5 - 8, 2019 Design Society (more)

Gräßler, Iris; Oleff, Christian; Hentze, Julian: Role Model for Systems Engineering Application. In: Proceedings of the 22nd International Conference on Engineering Design (ICED19), volume 1 , pp. 1265-1274, DOI:10.1017/dsi.2019.132, Delft, The Netherlands, Aug 5 - 8, 2019 Design Society (more)

Gräßler, Iris; Taplick, Patrick: Supporting Creativity with Virtual Reality Technology. In: Proceedings of the 22nd International Conference on Engineering Design (ICED19), volume 1 , pp. 2011-2020, DOI:10.1017/dsi.2019.207, Delft, The Netherlands, Aug 5 - 8, 2019 Design Society (more)

Baswana, Surender; Gupta, Shiv; Tulsyan, Ayush: Fault Tolerant and Fully Dynamic DFS in Undirected Graphs: Simple Yet Efficient. In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, Leibniz International Proceedings in Informatics (LIPIcs), volume 138 , pp. 65:1--65:16, Aachen (Germany), Aug 2019, Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}er Informatik (more)

Rüddenklau, Nico; Gausemeier, Sandra; Trächtler, Ansgar: Hardware-in-the-Loop Simulation of High-Definition Headlamp Systems. In: VDI/VDE AUTOREG 2019, 9. VDI/VDE-Fachtagung AUTOREG VDI- Verlag, Düsseldorf, 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)

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)

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)

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)

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)

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; 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)

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)

Amjad, Muhammad Sohaib; Tebruegge, Claas; Memedi, Agon; Kruse, Stephan; Kress, Christian; Scheytt, Christoph; Dressler, Falko: An IEEE 802.11 Compliant SDR-Based System for Vehicular Visible Light Communications. In: IEEE International Conference on Communications (ICC), pp. 1-6, Shanghai, China, May 2019, ICC 2019 - 2019 IEEE International Conference on Communications (ICC) (more)

Krüger, Stefan; Hermann, Ben: Can an online service predict gender?: on the state-of-the-art in gender identification from texts. In: Crnkovic, Ivica; Kohl Silveira, Karina; Sprenkle, Sara (eds.) Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering, GE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 13--16, May 2019, {IEEE} / {ACM} (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), pp. 145-154, May 2019, IEEE (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)

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)

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)

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)

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)

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)

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; 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)

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)

Stockmann, Lars; Laux, Sven; Bodden, Eric: Architectural Runtime Verification. In: 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), pp. 77-84, Mar 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)

Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Scheytt, Christoph: QEMU Support for RISC-V: Current State and Future Releases. 2nd International Workshop on RISC-V Research Activities, (Presentation), Feb 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)

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)

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), pp. 748-753, Jan 4 - Sep 6, 2019 (more)

Plass, Christoph; Altemeier, Katharina; Frank, Maximilian; Jahnke, Ulrich; Steffen, Daniel: Prävention gegen Produktpiraterie - Innovationen schützen. Intelligente Technische Systeme - Lösungen aus dem Spitzencluster it's OWL, Springer-Verlag, 2019 (more)

Karl, Holger; Kundisch, Dennis; Meyer auf der Heide, Friedhelm; Wehrheim, Heike: Case for a New IT Ecosystem: On-The-Fly Computing. Business & Information Systems Engineering 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)

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, volume 11340 , pp. 317--334. Springer, Jan 2019 (more)

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, pp. 315--321, 2019, SciTePress (more)

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 (eds.) Go-3D 2019 "Mit 3D Richtung Maritim 4.0" - Tagungsband zur Konferenz Go-3D 2019, pp. 45-57, 2019, Fraunhofer Verlag (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)

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)

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)

Dann, Andreas; Hermann, Ben; Bodden, Eric: ModGuard: Identifying Integrity Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering: pp. 1-1 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; 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)

Schubert, Philipp; Leer, Richard; Hermann, Ben; Bodden, Eric: Know Your Analysis: How Instrumentation Aids Understanding Static Analysis. In: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP 2019, pp. 8--13, New York, NY, USA, 2019, ACM (more)

Dann, Andreas; Hermann, Ben; Bodden, Eric: SootDiff: Bytecode Comparison Across Different Java Compilers. In: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP 2019, pp. 14--19, New York, NY, USA, 2019, ACM (more)

Thüm, Thomas; Knüppel, Alexander; Krüger, Stefan; Bolle, Stefanie; Schaefer, Ina: Feature-oriented contract composition. Journal of Systems and Software, 152: pp. 83--107 2019 (more)

Späth, Johannes: Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Dissertation, Universität Paderborn, Jan 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)