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.

37221 Publications


2020 | Journal Article | LibreCat-ID: 20507
A systematic literature review of model-driven security engineering for cyber–physical systems
J. Geismann, E. Bodden, Journal of Systems and Software 169 (2020) 110697.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20508
Explaining Static Analysis with Rule Graphs
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20509
PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage
A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, E. Bodden, in: 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20510
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20511
Computation on Encrypted Data using Dataflow Authentication
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, in: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20512
CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs
S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
LibreCat | Files available
 

2020 | Dissertation | LibreCat-ID: 20513
CogniCrypt -- The Secure Integration of Cryptographic Software
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20514 LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20516
Cutting through the Jungle: Disambiguating Model-based Traceability Terminology
J. Holtmann, J.-P. Steghofer, M. Rath, D. Schmelter, in: 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20518
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
LibreCat | DOI
 

2020 | Dissertation | LibreCat-ID: 20521
Model-Driven Information Flow Security Engineering for Cyber-Physical Systems
C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, Paderborn University, 2020.
LibreCat | DOI
 

2020 | Conference Abstract | LibreCat-ID: 20567
Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile
M. Otroshi, G. Meschut, L. Masendorf, A. Esderts, in: 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 20568 | OA
GEMINI-Modellierungssprache für Wertschöpfungssysteme
J. Reinhold, C. Koldewey, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide , Campus Verlag, Frankfurt am Main, 2020, pp. 52–56.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20570 | OA
GEMINI-Geschäftsmodellmuster-Kartenset
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 61–66.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20571 | OA
Geschäftsmodellvalidierung
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 106–111.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20573 | OA
Geschäftsmodell-Roadmapping
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 138–143.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 20644
Nanoantennas embedded in zinc oxide for second harmonic generation enhancement
R. Volmert, N. Weber, C. Meier, Journal of Applied Physics 128 (2020).
LibreCat | DOI | WoS
 

2020 | Conference Paper | LibreCat-ID: 20647
Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, A. Stalling, J. Ihde, B. Mayer, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 97–98.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20650
Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile
V. Aßmuth, D. Teutenberg, G. Meschut, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 99–101.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20652
Lokales Konzept zur Auslegung von elastischen Klebverbindungen (LoKAl)
V. Aßmuth, D. Teutenberg, G. Meschut, J. Philipp, E. Stammen, K. Dilger, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 85–87.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20673
Aktivieren für robuste Klebprozesse - Wie lange sind plasmaaktivierte Polymeroberflächen offen?
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, J. Ihde, B. Mayer, Plastverarbeiter 71 (2020) 22–25.
LibreCat | Files available
 

2020 | Book | LibreCat-ID: 20674
Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, J. Ihde, B. Mayer, Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse, DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. , Frankfurt am Main, 2020.
LibreCat
 

2020 | Book | LibreCat-ID: 20676
Analyse rezepturabhängiger und alterungsbedingter Enthaftungserscheinungen geklebter SMC-Bauteile
V. Aßmuth, D. Teutenberg, G. Meschut, Analyse rezepturabhängiger und alterungsbedingter Enthaftungserscheinungen geklebter SMC-Bauteile, DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V., Frankfurt am Main, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20695 | OA
Jointly Optimal Dereverberation and Beamforming
C. Boeddeker, T. Nakatani, K. Kinoshita, R. Haeb-Umbach, in: ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020.
LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 20700 | OA
Towards a speaker diarization system for the CHiME 2020 dinner party transcription
C. Boeddeker, T. Cord-Landwehr, J. Heitkaemper, C. Zorila, D. Hayakawa, M. Li, M. Liu, R. Doddipatla, R. Haeb-Umbach, in: Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments, 2020.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20701
Asteroid: The PyTorch-Based Audio Source Separation Toolkit for Researchers
M. Pariente, S. Cornell, J. Cosentino, S. Sivasankaran, E. Tzinis, J. Heitkaemper, M. Olvera, F.-R. Stöter, M. Hu, J.M. Martín-Doñas, D. Ditter, A. Frank, A. Deleforge, E. Vincent, in: Interspeech 2020, 2020.
LibreCat | DOI
 

2020 | Special Issue | LibreCat-ID: 20703
Orientierungen in der digitalen Welt
Orientierungen in Der Digitalen Welt, 2020.
LibreCat | DOI
 

2020 | Book (Editor) | LibreCat-ID: 20705 | OA
Orientierungen in der digitalen Welt
B. Herzig, T.-M. Klar, A. Martin, D. Meister, eds., Orientierungen in der digitalen Welt, 2020.
LibreCat | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 20707
Editorial: Orientierungen in der digitalen Welt
B. Herzig, T.-M. Klar, A. Martin, D.M. Meister, Orientierungen in Der Digitalen Welt (2020) i–vii.
LibreCat | DOI
 

2020 | Report | LibreCat-ID: 20712
Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries
P. Schubert, E. Bodden, B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20723 LibreCat
 

2020 | Preprint | LibreCat-ID: 20748
Search Space Characterization for AxC Synthesis
L.M. Witschen, T. Wiersema, M. Platzner, Fifth Workshop on Approximate Computing (AxC 2020) (n.d.).
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20750
ReconROS: Flexible Hardware Acceleration for ROS2 Applications
C. Lienen, M. Platzner, B. Rinner, in: Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20755
Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs
M. Feldmann, K. Hinnenthal, C. Scheideler, in: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat | Files available | DOI | arXiv
 

2020 | Conference Paper | LibreCat-ID: 20812
Injectivity of the inverse optimal control problem for control-affine systems
F. Jean, S. Maslovskaya, in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2020.
LibreCat | DOI
 

2020 | Bachelorsthesis | LibreCat-ID: 20820
Implementing Machine Learning Functions as PYNQ FPGA Overlays
S. Thiele, Implementing Machine Learning Functions as PYNQ FPGA Overlays, 2020.
LibreCat
 

2020 | Mastersthesis | LibreCat-ID: 20821
Extension and Evaluation of Python-based High-Level Synthesis Tool Flows
V. Jaganath, Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20834
Machine learning for human learners: opportunities, issues, tensions and threats
M.E. Webb, A. Fluck, J. Magenheim, J. Malyn-Smith, J. Waters, M. Deschênes , J. Zagami, Educational Technology Research and Development (2020) 1–22.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20835
< Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik
J. Magenheim, MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 37 (2020) 139–163.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20836
Data science education
J. Magenheim, C. Schulte, Encyclopedia of Education and Information Technologies. Cham: Springer (2020).
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 20840
Programmieren - Lehren und Lernen mit und über Medien
C. Schulte, L. Budde, F. Winkelnkemper, in: Mobile Medien Im Schulkontext, Springer, 2020, pp. 215–240.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20843
Residual stress measurement in GFRP/steel hybrid components
T. Wu, S.R. Tinkloh, T. Tröster, W. Zinn, in: Proceedings of the 4th International Conference Hybrid 2020 Materials and Structures, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 20847
Plasmonic metasurfaces for controlling harmonic generations
T. Zentgraf, S. Chen, G. Li, S. Zhang, in: D.H. Werner, S.D. Campbell, L. Kang (Eds.), Nanoantennas and Plasmonics: Modelling, Design and Fabrication, The Institution of Engineering and Technology, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20848
Examination of the evolution of iron oxide nanoparticles in flame spray pyrolysis by tailored in situ particle sampling techniques
R. Tischendorf, M. Simmler, C. Weinberger, M. Bieber, M. Reddemann, F. Fröde, J. Lindner, H. Pitsch, R. Kneer, M. Tiemann, H. Nirschl, H.-J. Schmid, Journal of Aerosol Science (2020).
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20852
Analytische Auslegung der Schwingfestigkeit geclinchter Verbindungen
E. Unruh, D. Hein, G. Meschut, in: FOSTA, EFB, DVS (Ed.), 10. Fügetechnisches Gemeinschaftskolloquium, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20853
Charakterisierung und Modellierung von Kerbeffekten durch Mischverbindungen in Karosseriebauteilen aus höchstfesten Stählen
P. Bähr, S. Sommer, E. Unruh, D. Hein, G. Meschut, in: FOSTA, EFB, DVS (Ed.), 2020.
LibreCat
 
 
 

2020 | Book Chapter | LibreCat-ID: 20860
Transient Bodies, Bodies in Transition: An Introduction
S. Strauß, S. Schäfer-Althaus, in: S. Strauß, S. Schäfer-Althaus (Eds.), Transient Bodies in Anglophone Literature and Culture, Winter, Heidelberg, 2020, pp. 7–22.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 20861
Ageing (Female) Bodies and Mortality in Eighteenth-Century Poetry
S. Strauß, in: S. Strauß, S. Schäfer-Althaus (Eds.), Transient Bodies in Anglophone Literature and Culture, Winter, Heidelberg, 2020, pp. 205–226.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed