Search - BMSD - TU Dortmund

Search
People Search

1458 results

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. EC
2. Team
3. Research Associates
Seyyid Ahmed Ciftci

University Software Engineer, catkin GmbH Research associate at the Chair of Enterprise Computing since 01.10.2023 Research Interests Business Process Management Artificial Intelligence Software Engineering …
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 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. 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. 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 …