Search - BMSD - TU Dortmund

Search
People Search

1436 results

IEEE-TSE-2021-Dann.bib

Henrik and Hermann, Ben and Ponta, Serena Elisa and Bodden, Eric}, journal={IEEE Transactions on Software Engineering}, title={Identifying Challenges for OSS Vulnerability Scanners - A Study amp; Test Suite} …
bib, 368 B
1. AQUA
News

BRONZE in SV-COMP 2024 for Java Our dynamic symbolic execution GDart wins BRONZE in this year's Software Verification competition for the Java category. 01/24/2024 Marcel Altendeitering defends Doctoral [...] project ReReSo Project ReReSo, funded by NFDI4Ing, aims at improving the reusability of research software through standardized data formats and tool interfaces. 1 2 3 Next …
1. Bachelor of Science (B.Sc.)
Technomathematics

the basics of computer science are covered. Beginning in the second year of study, introductory software courses are offered as block courses (1-2 weeks) during the lecture-free periods. Later, elements [...] engineering. The goals of the project are to work out a specific topic in technomathematics, create software in a collaborative group, and sharpen skills in written and oral presentation. In addition to m …
1. CNI
2. News: 10/31/2022
RESCUE: Robotic Exploration and Small Cell in Unidentified Environments

open source Software. The usage of campus network frequencies (3.7-3.8 GHz) ensures flexible and robust deployments in rescue scenarios. For this, the project group ported open-source software on small form …
1. Computer Science
2. Studies
3. Study programs
4. Master computer science
Technical focus

Algorithmics Cyber-Physical Systems Data Science Logics, Information, and Knowledge Optimization Software and Service Engineering For these specializations you have to acquire at least 30 credit points [...] predefined subject-related focus Application for the determination of an individual specialization Software and service engineering Optimization Logics, Information and Knowledge Data Science Cyber-Physical …
1. CNI
2. News: 5/19/2021
SDR-based open-source C-V2X traffic generator for stress testing vehicular communication

results in these huge experimental setups is hard. In research, communication system independent software-based traffic generators are often used to analyze the scalability of a communication system. However [...] generators are limited by the restrictions of the underlying communication technology. In this work, a Software-Defined Radio (SDR)-based open-source C-V2X traffic generator is presented. The traffic generator …
acm_2786805.2786865.bib

{Eichberg, Michael and Hermann, Ben and Mezini, Mira and Glanz, Leonid}, title = {Hidden Truths in Dead Software Paths}, year = {2015}, isbn = {9781450336758}, publisher = {Association for Computing Machinery} [...] range of categories. }, booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering}, pages = {474–484}, numpages = {11}, keywords = {Java, Scalable Analysis, Abstract …
bib, 2 KB
1. FAIR
2. Navigation
3. News and Events
4. Graduate Program
Graduate Program 2023

high dimensional data with a focus on the Lasso, and (iii) practical hands-on knowledge of related software. Title: How to Deal with Large Time Series? Lecturer: Dr. Amer Krivošija The goal of this course [...] (ii) assessing fit and differential item functioning, (iii) practical hands-on knowledge of related software. Title: Fixed-Effects-, Random-Effects-, and “Hybrid” Models for Panel Data Lecturer: Birgit Ze [...] advantages and limitations of each method, and (iii) practical hands-on knowledge of the corresponding software. Title: Permutation and Bootstrap Procedures for Testing Hypotheses Lecturer: Dr. Lubna Amro The …
1. MS
2. Professorship
3. Team
4. Employees
Autonomous Nautic Systems (ANS)

camera Front-Looking-Sonar-SLAM SideScan-Sonar-SLAM Secure software systems for autonomous vehicles This sub-project develops and analyzes software systems, network communication and data distribution layers [...] automation and autonomy of (inland) shipping in Germany. To this end, assistance systems and secure software systems are being developed. The establishment of the "Inland Vessel Image Detection Alliance" (IVIDA) [...] analysis © Alexander Puzicha GNSS (GPS)-free localization and cartography © Alexander Puzicha Secure software systems for autonomous ships © Alexander Puzicha Sensor data fusion for autonomous ships © Alexander …
1. Computer Science
2. Studies
3. International
Incomings

System Construction Software Winter term INF-BSc-303: Security - issues and solutions INF-MSc-329: Type Systems for Correctness and Security Irregular INF-MSc-313: Aspect-based Software Engineering of Complex [...] INF-MSc-324: Distributed Systems Theory INF-MSc-324: Logical Methods of Software Engineering 1 (LMSE1) INF-MSc-326: Logical Methods of Software Engineering 2 (LMSE2) INF-MSc-314: Parallel Computing Concepts I [...] Innovation Development: The IT Perspective INF-MSc-213 : Virtualization and Compilation INF-MSc-333: Software Verification Systems Summer term INF-MSc-214: Architecture and Implementation of DBMS INF-BSc-107: …