Suche - BMSD - TU Dortmund

Suche
Personensuche

1912 Ergebnisse

1. SSE
2. Teaching
3. Winter Semester 2024/2025
Fachprojekt: Statische Programmanalyse in der Praxis

Fachprojekt Automatisierte Erkennung von Sicherheitslücken in Software durch Statische Programmanalyse Modul: INF-BSc-278 Credits: 7 SWS: 4 Ort: OH14 / 104 Start: tba Moodle: tba Unterrichtssprache: Deutsch [...] Deutsch Inhalt Die Auswirkungen von Sicherheitslücken in beliebter Open-Source-Software haben in den letzten Jahren drastisch zugenommen, wie Vorfälle wie Log4Shell, Heartbleed oder der Equifax Breach zeigen [...] können. Infolgedessen haben Forscher eine Reihe verschiedener Methoden entwickelt, um vorhandene Software auf potenzielle Schwachstellen zu scannen und Entwickler über Risiken und mögliche Abhilfemaßnahmen …
1. IMMO
2. Studium & Lehre
3. Lehrveranstaltungen
BA M11: Risiko & Rendite

Entwicklungs- und Bebauungspläne Erlernen und Anwenden der notwendigen Software (z.B. CAD-Software, Terminplanungssoftware, Kostenplanungssoftware bzw. Excel) als wesentliches Handwerkszeug Anhand eines eigenen …
1. IMMO
2. Studium & Lehre
3. Lehrveranstaltungen
BA M11: Risiko & Rendite

Entwicklungs- und Bebauungspläne Erlernen und Anwenden der notwendigen Software (z.B. CAD-Software, Terminplanungssoftware, Kostenplanungssoftware bzw. Excel) als wesentliches Handwerkszeug Anhand eines eigenen …
acm_2614628.2614630.bib

(type-)safe software product line.OPAL is a general purpose library for static analysis of Java Bytecode that is already successfully used. We present OPAL and show how a design based on software produce line [...] @inproceedings{10.1145/2614628.2614630, author = {Eichberg, Michael and Hermann, Ben}, title = {A Software Product Line for Static Analyses: The OPAL Framework}, year = {2014}, isbn = {9781450329194}, publisher [...] analysis. To solve these issues, we propose to implement static analyses as highly-configurable software product lines (SPLs). Furthermore, we also discuss an implementation of an SPL for static analyses …
bib, 1 KB
1. KT
2. Forschung
3. Kompetenzen
Software und Entwicklungswerkzeuge

Toolboxen, insb. Instruments Control Toolbox Eagle Layout Software IAR Embedeed Workbench für 8051 (Full Version) AVR Studio Softwareentwicklung MATLAB Microsoft Visual Studio Programmiersprachen: C#, C++ [...] Software und Entwicklungswerkzeuge Entwicklungswerkzeuge Xilinx ISE / EDK / Vivado / Vitis Altera Quartus Siemens (ex Mentor Graphics) QuestaSim Diverse FPGA Enwicklungsboards, wie z.B.: Xilinx Eval Board [...] Raspberry Pi-Projekte Arduino-Plattform Bare Metal Projekte auf ARM Cortex Qorvo IR UWB Plattform VHDL Software Defined Radio USRP GNU Radio Platform PIC Mikrocontroller Diverse DSPs FPGA (Xilinx und Altera) …
1. RST - Lehrstuhl für Regelungssystemtechnik
2. Forschung
3. Experimentalsysteme
Chronos

Embedded Controller überträgt. Die Hardware des Chronos Car ist ebenso OpenSource wie das CRS-Software-Framework welches gängige Algorithmen zur Lokalisation, Zustandsschätzung und Regelung bereit stellt [...] Fahrzeugs ermöglichen Experimente in unserer MoCap Arena. Das CRS-Framework ist eine Open-Source-Softwareplattform für die Erprobung von Steuerungs- und Robotikanwendungen wie autonomes Fahren und Racing …
1. UF
2. Meldung: 1.7.2024
Publikation in den ACM Transactions on Software Engineering and Methodology

Transactions on Software Engineering and Methodology führen Prof. Dr. Lorenz Graf-Vlachy und Prof. Dr. Stefan Wagner von der TUM die Nutzung von Instrumentvariablen in das Forschungsfeld des Software Engineering [...] Accounting for Endogeneity Using Instrumental Variables and Two-Stage Models. ACM Transactions on Software Engineering and Methodology , forthcoming. …
1. SSE
2. Theses
3. Bachelor-Theses
Visualisierung von Maven Abhängigkeiten mittels Vue

visualizing library popularity, adoption, and diffusion within a software ecosystem," 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2018, pp. 288-299 [...] Das DelphiHub-Projekt bietet Zugang zu zahlreichen Fakten und Metriken über Artefakte aus Software-Ökosystemen. In seiner ersten Iteration ist DelphiHub ausschließlich auf Maven Central ausgerichtet - [...] Visualizing the Ripple Effect on Dependencies Using Metrics of Health," 2020 Working Conference on Software Visualization (VISSOFT), 2020, pp. 61-71, doi: 10.1109/VISSOFT51673.2020.00011 . R. G. Kula, C. …
1. SSE
2. Team
3. Alumni
Dr. Andreas Dann

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 PDF (3 MB) BibTeX [...] 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 Artefakt: 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. Teaching
3. Winter Semester 2023/2024
Fachprojekt: Statische Programmanalyse in der Praxis

Fachprojekt Automatisierte Erkennung von Sicherheitslücken in Software durch Statische Programmanalyse Modul: INF-BSc-278 Credits: 7 SWS: 4 Ort: OH14 / 104 Start: 18.10.2023 Moodle: FP-VulnSPA Unterri [...] Unterrichtssprache: Deutsch Inhalt Die Auswirkungen von Sicherheitslücken in beliebter Open-Source-Software haben in den letzten Jahren drastisch zugenommen, wie Vorfälle wie Log4Shell, Heartbleed oder der Equifax [...] können. Infolgedessen haben Forscher eine Reihe verschiedener Methoden entwickelt, um vorhandene Software auf potenzielle Schwachstellen zu scannen und Entwickler über Risiken und mögliche Abhilfemaßnahmen …