Search - BMSD - TU Dortmund

Search
People Search

1435 results

1. ITMC
2. News: 8/24/2022
Gitlab at TU Dortmund University

members of TU Dortmund University as well as external users since June 30, 2022. Gitlab is a software for software development, especially for version control. With its integrated functions, Gitlab can also …
sparri-bibtex.bib

Johannes and Hermann, Ben}, booktitle={2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, title={Persisting and Reusing Results of Static Program Analyses on a Large [...] number={}, pages={888-900}, keywords={Systematics;Runtime;Publishing;Prototypes;Benchmark testing;Software systems;Complexity theory;Static Program Analysis;Modular Analysis;Result Reuse;Repository Mining} …
bib, 547 B
1. Computer Science
2. Studies
3. Study programs
4. Bachelor Teacher Training BK Computer Science
5. Bachelor Teacher Training at Vocational Colleges
Bachelor of Education BK with other subject

you will teach as a teacher at a vocational college. Software cycle (dark blue) In the courses of the software cycle you learn to develop software. The spectrum ranges from creating small programs to [...] groups , but also in the internships integrated into the curriculum. In the software internship, you will work on challenging software projects in groups to gain valuable programming experience and skills such …
1. Computer Science
2. Studies
3. Study programs
4. Bachelor Teacher Training BK Computer Science
5. Bachelor Teacher Training at Vocational Colleges
Bachelor Teacher Training BK with Electrical Engineering

you will teach as a teacher at a vocational college. Software cycle (dark blue) In the courses of the software cycle you learn to develop software. The spectrum ranges from creating small programs to [...] groups , but also in the internships integrated into the curriculum. In the software internship, you will work on challenging software projects in groups to gain valuable programming experience and skills such …
1. Computer Science
2. Studies
3. Study programs
4. Bachelor Teacher Training BK Computer Science
5. Bachelor Teacher Training at Vocational Colleges
Bachelor Teacher Training BK with Math

you will teach as a teacher at a vocational college. Software cycle (dark blue) In the courses of the software cycle you learn to develop software. The spectrum ranges from creating small programs to [...] groups , but also in the internships integrated into the curriculum. In the software internship, you will work on challenging software projects in groups to gain valuable programming experience and skills such …
1. CCB
2. Department
3. CF
HPLC/MS

ortmund Semi-preparative column Software Software The analytical systems and the semi-preparative system with fraction collector Foxy R1 are operated with the software Clarity Chrom Version 7.2.0.73, the [...] collector and preparative system are operated with the software Clarity Preparative Version 7.2.0.73. The LC-MS system is operated with the software Empower 3 Version Fr2. HPLC-MS The HPLC-MS system consists …
1. SSE
2. Lehre
3. Wintersemester 2023/2024
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: OH14 / 104 Start: 18.10.2023 Moodle: FP-VulnSPA Language: german Content [...] 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 [...] 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. SSE
2. Team
3. Alumni
Dr. Andreas Dann

Ponta, and Eric Bodden In IEEE Transactions on Software Engineering DOI: https://doi.org/10.1109/TSE.2021.3101739 Artifact: https://github.com/secure-software-engineering/achilles-benchmark-depscanners Preprint [...] Dann, Ben Hermann, and Eric Bodden In Proceedings of the IEEE/ACM 45th International Conference on Software Engineering (ICSE) DOI: https://doi.org/10.1109/ICSE48619.2023.00031 Artifact: https://doi.org/10 [...] y Violations in Java Modules Andreas Dann, Ben Hermann, and Eric Bodden In IEEE Transactions on Software Engineering, vol. 47, no. 8, pp. 1656-1667, 1 Aug. 2021 DOI: https://doi.org/10.1109/TSE.2019.2931331 …
1. SSE
2. Lehre
3. Wintersemester 2024/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. Computer Science
2. News: 10/16/2023
Prof. Jakob Rehof honored with international computer science award

since 2006, where he holds the Chair of Software Engineering. From 2006 to 2021, he was also a member of the institute management of the Fraunhofer Institute for Software and Systems Engineering (ISST) in Dortmund [...] annually for fundamental contributions in the field of computer-aided verification. The professor of software engineering from the Faculty of Computer Science was honored for introducing context-constrained [...] leading to numerous theoretical, methodological and practical developments and efficient tools used in software development," states the CAV jury's citation for this year's award to Prof. Rehof and his colleagues …