Search - BMSD - TU Dortmund

Search
People Search

1435 results

1. SSE
2. Lehre
3. Sommersemester 2025
Project: Static Program Analysis in Practice

Project Automated Detection of Software Vulnerabilities via Static Program Analysis Module: INF-BSc-278 Credits: 7 Hours: 4 Location: tba Start: tba Moodle: tba Language: german Content The impact of [...] vulnerabilities in popular open-source software increased drastically throughout the past years, as evidenced by incidents like Log4Shell, Heartbleed or the Equifax Breach. As more and more developers [...] themselves. As a result, researchers have developed a number of different methodologies to scan existing software for potential vulnerabilities, and to inform developers about risks and possible mitigations. One …
1. AQUA
2. Research
3. Projects
ReReSo

the Reusability of Research Software through Standardized Data Formats and Tool Interfaces Challenge In many fields, research involves the implementation of prototypal software tools . These tools are evaluated [...] efficiency by applying the to benchmarks , i.e. collections of problems with relevant metadata. In Software Engineering, a correctness checker for programs might be evaluated against a benchmark containing [...] correctly, the better it is. Reproducibility of experimental results is guaranteed – especially in Software Engineering – by artifacts that accompany scientific publications. A benchmark packages tools, …
1. dbis
2. Publications
3. 2020
MxKernel

MxKernel: A Novel System Software Stack for Data Processing on Modern Hardware Title MxKernel: A Novel System Software Stack for Data Processing on Modern Hardware Authors Jan Mühlig, Michael Müller, Olaf [...] theoretical peak data processing performance can only be unleashed if the different pieces of systems software collaborate much more closely and if their traditional dependencies and interfaces are redesigned [...] redesigned. We have developed the key concepts and a prototype implementation of a novel system software stack named MxKernel. For MxKernel, efficient large scale data processing capabilities are a primary design …
1. Computer Science
2. Research
3. Research Profile
Software, security and verification

Research Profile Research Area "Software, Security and Verification" A central topic of computer science is the development of software, especially of extensive software systems, which now permeate almost [...] system design for early fault detection Modeling and execution of business processes Visualization of software Algorithmic support for schema development, taking into account semantic constraints obtained from …
1. ITMC
2. Our Services
3. IT Infrastructure
Server / Storage / Backups

the software in the TU network is required at the time of the call, the ITMC operates the necessary license servers. These license servers manage TU-wide software licenses as well as local software licenses [...] on his own responsibility. A VMWare-compatible operating system image is required for the setup. Software maintenance by the ITMC does not take place. Virtual Server / Default Image Virtual servers based …
acm_3368089.3409767.bib

booktitle = {Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, pages = {469–480}, numpages = {12}, keywords = [...] 1145/3368089.3409767}, abstract = {Background. Artifact evaluation has been introduced into the software engineering and programming languages research community with a pilot at ESEC/FSE 2011 and has since [...] conducted a survey including all members of artifact evaluation committees of major conferences in the software engineering and programming language field since the first pilot and compared the answers to ex …
bib, 2 KB
1. SSE
2. News: 8/7/2023
Paper on Modular Static Analyses Published at ASE '23

of SPAs in a unified, explainable result format. SPARRI provides built-in facilities to reference software artifacts located on Maven central but is extendable to support arbitrary ecosystems and repositories [...] by up to 92%. Furthermore, we see potential in applying it to other research areas like empirical software studies, benchmark creation, and artifact evaluation. Persisting and Reusing Results of Static Program [...] Johannes Düsing, Ben Hermann In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023). (Just Accepted) …
1. SSE
2. Team
Anemone Kampkötter

ORCID : 0000-0003-4286-714X © Privat Research Interests Static and dynamic program analysis Secure software engineering Capability-based security Vulnerability detection Publications Total Recall? How Good [...] Roth, Ben Hermann, Mira Mezini In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024) . DOI: https://doi.org/10.1145/3650212.3652114 Artifact: https://doi [...] in lectures and exercises in the last semesters: Data Structures, Algorithms and Programming 1 Software Engineering Seminar: Abstract Interpretation Talks "Privacy made easy? - Ein hybrides Verwaltungskonzept …
1. DAES
2. Beschäftigte
3. Wissenschaftliche Mitarbeiter
Dr.-Ing. Christian Hakert

Interests: Non-volatile memory, Operating Systems, System Design, Hardware-Software Codesign, Extreme Ressource Constrained Systems, Software-Only Hardware Managemen © Christian Hakert Teaching Publications …
1. ITMC
2. Our Services
3. Media Services
4. Media Technology
Audio- und Videoaufzeichnung

record their lectures using a tablet with the appropriate software (Camtasia and Snagit) and an external webcam. Information on this software and how to order it can be found in the ServicePortal. Learn …