SDQ-Proposal-Seminar/Archiv
Vergangene Termine des SDQ-Seminars
Montag, 4. November 2024, 11:30–12:15 Uhr
Gebäude 50.34, Raum 010
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Steffen Schmitt | Dynamisches Speichermanagement in großen modellbasierten Java-Anwendungen | Masterarbeit | Erik Burger Lars König | Deutsch |
Montag, 28. Oktober 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Nicolas Sebastian Schuler | Explainability as a Non-functional Requirement in the Context of Federated Learning | Master's thesis | Raffaela Mirandola | English |
Montag, 23. September 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Iliyan Ivanov | Gamifying Collaborative Learning | Bachelorarbeit | Lucia Happe Kai Marquardt | Englisch |
Montag, 9. September 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
iCal (Download) Keine Vorträge
Montag, 12. August 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Adrian Freund | Metamodeling with JSON | Masterarbeit | Thomas Weber Martin Armbruster | Deutsch |
| Juan Saenz | Continuous Integration of architectural Performance Models for Lua Applications | Masterarbeit | Manar Mazkatli Martin Armbruster | Englisch |
| Niklas Kerkhoff | Einsatz von Retrieval-Augmented LLMs zur Unterstützung neuer Tutoren in Programmier-Einsteigerkursen | Bachelorarbeit | Dominik Fuchß Yves Kirschner | Deutsch |
| Velislav Slavov | Analyzing software extensions through composition of architecture and source code analyzers | Masterarbeit | Frederik Reiche Bahareh Taghavi | Englisch |
Montag, 5. August 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 237 / https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Fatma Chebbi | Verification and Composability of Quantitative Information Flow Security | Masterarbeit | Christopher Gerking | Deutsch |
Montag, 22. Juli 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333 / https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Marco Schneider | Leveraging Embeddings and Knowledge Graphs for Enhanced Scholarly Information Retrieval: A Comparative Analysis of Retrieval Approaches | Masterarbeit | Angelika Kaplan | Deutsch |
Montag, 8. Juli 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333 / https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Fanjun Weng | Generalization of Consistency Rules between Architectural and Code Models | Masterarbeit | Manar Mazkatli Martin Armbruster | Deutsch |
Montag, 24. Juni 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Matthias Lüthy | Modellierung von Angriffen für quantitative Sicherheitsanalysen | Masterarbeit | Frederik Reiche Florian Lanzinger | Deutsch |
| Yavuz Karaca | Utilizing LLMs in Requirements Engineering | Bachelorarbeit | Ralf Reussner Lars König |
Montag, 10. Juni 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Fabian Sturm | Personalized Support using Storytelling for Motivation, Interest and Engagement | Masterarbeit | Lucia Happe Kai Marquardt | Deutsch |
Montag, 3. Juni 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Tim Schilpp | Modernisierung von Code-Generatoren in modellgetriebenen Entwicklungs-Frameworks | Masterarbeit | Misha Strittmatter Erik Burger | Deutsch |
Montag, 27. Mai 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Felix Schwickerath | Handling undefined legal terms in architecture-based data protection analysis | Bachelorarbeit | Sebastian Hahner Nicolas Boltz | Deutsch |
| Marcel Straub | Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen | Bachelorarbeit | Christopher Gerking | Deutsch |
| Sandro Negri | Spezifikation und Analyse fahrzeugbezogener Datenflussrichtlinien auf Basis der Vehicle Signal Specification | Masterarbeit | Christopher Gerking | Deutsch |
Montag, 13. Mai 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Dennis Fadeev | Konzept und Integration eines Deltachain Prototyps | Bachelorarbeit | Thomas Weber Lars König | Deutsch |
| Lars Weber | Generation of Checkpoints for Hardware Architecture Simulators | Bachelorarbeit | Sebastian Weber | Deutsch |
| Luca Hüttner | AI Tutors: Eine Untersuchung zur Einstellung von Lehrenden und Lernenden | Bachelorarbeit | Lucia Happe Kai Marquardt | Deutsch |
| Yannik Sproll | Analyzing Attacks on Distributed Ledger Systems using Palladio | Bachelorarbeit | Robert Heinrich | Deutsch |
Montag, 29. April 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Jessica Kimberly Woschek | Exploring the Traceability of Requirements and Source Code via LLMs | Bachelorarbeit | Dominik Fuchß Kevin Feichtinger | Deutsch |
| Jonas Koch | Using machine learning techniques to mitigate confidentiality violations | Masterarbeit | Sebastian Hahner Nils Niehues | Deutsch |
Montag, 12. Februar 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Jonas Kaspar | Decomposing Model-based Analyses -- Processes and Guidelines | Masterarbeit | Robert Heinrich | Englisch |
| Sven Tretter | Entwurf eines Migrationsverfahren für Microsoft Access Anwendungen | Bachelorarbeit | Robert Heinrich | Deutsch |
Montag, 15. Januar 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/institutsseminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Daniel Scheerer | Analyzing Scientific Workflow Management Systems | Bachelorarbeit | Larissa Schmid Timur Sağlam | Deutsch |
| Melisa Demirhan | Concept and Implementation of a Delta Chain | Bachelorarbeit | Thomas Weber Lars König | Englisch |
| Thorben Willimek | Definition einer Referenzarchitektur für organisationsübergreifende Zusammenarbeit in modellbasierten Entwicklungsprozessen zur Wahrung des geistigen Eigentums | Bachelorarbeit | Thomas Weber Lars König | Deutsch |
Montag, 8. Januar 2024, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Daniel Augustin | Bridging the Gap: A Development Approach for Seamless Teacher-Developer Collaboration in E-Learning | Masterarbeit | Lucia Happe Kai Marquardt | Deutsch |
| Niklas Ewald | Retrieval-Augmented Large Language Models for Traceability Link Recovery | Masterarbeit | Dominik Fuchß Tobias Hey | Deutsch |
Montag, 18. Dezember 2023, 12:00–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Katrin Quellmalz | Erzeugung von Verschlüsselungsregeln auf Modelländerungen aus Zugriffskontrollregeln auf Modellelementen | Masterarbeit | Thomas Weber Laurin Benz | Deutsch |
| Nesta Bentum | Exploring Modern IDE Functionalities for Consistency Preservation | Masterarbeit | Martin Armbruster Lars König | Deutsch |
| Odilo Bügler | Extraktion von Label-Propagationsfunktionen für Informationsflussanalysen aus architekturellen Verhaltensbeschreibungen | Bachelorarbeit | Christopher Gerking Nicolas Boltz | Deutsch |
Montag, 11. Dezember 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Julian Roßkothen | Quelle-Ziel-Abbildungen von komplexen Relationen in Modell-zu-Modell-Transformationen | Masterarbeit | Erik Burger Max Kramer | Deutsch |
| Lam Vo | Analyzing Efficiency of High-Performance Applications | Bachelorarbeit | Larissa Schmid Timur Sağlam | Deutsch |
Montag, 4. Dezember 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
iCal (Download) Keine Vorträge
Montag, 27. November 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
iCal (Download) Keine Vorträge
Montag, 13. November 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Alina Valta | Optimierung des Migrationsverfahrens in modellbasierten E/E-Entwicklungswerkzeugen durch bedarfsorientierte Prozessierung der Historie von Bestandsmodellen | Masterarbeit | Erik Burger | Deutsch |
| Debora Marettek | Elicitation and Classification of Security Requirements | Masterarbeit | Sophie Corallo | Deutsch |
| Robin Maisch | Preventing Refactoring Attacks on Software Plagiarism Detection through Graph-Based Structural Normalization | Masterarbeit | Timur Sağlam | Deutsch |
| Valerii Zhyla | Performance Modeling of Distributed Computing | Masterarbeit | Larissa Schmid Tobias Hey | Deutsch |
Montag, 30. Oktober 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333 / https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Jakob Trabert | Automatisiertes GUI Testing von Web-Anwendungen mit großen Sprachmodellen | Bachelorarbeit | Daniel Zimmermann | Deutsch |
Montag, 9. Oktober 2023, 11:00–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Ian Winter | Context Generation for Code and Architecture Changes Using Large Language Models | Masterarbeit | Frederik Reiche Yves Kirschner | Englisch |
Montag, 25. September 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Jonas Lehmann | Explorative Umsetzung einer iterativen Analysekopplung im Kontext von Software Security | Masterarbeit | Frederik Reiche | |
| Patrick Mehl | Comparison of Meta-Model Architectures in Evolution Scenarios | Masterarbeit | Erik Burger Lars König | Deutsch |
Montag, 28. August 2023, 12:15–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Robert Brune | Analyzing Efficiency of HPC Applications | Bachelorarbeit | Larissa Schmid | Deutsch |
| Vincent LIM | Comparison of Model Query Paradigms for View Generation | Masterarbeit | Lars König | Englisch |
Montag, 14. August 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Hristo Klechorov | Symbolic Performance Modeling | Masterarbeit | Larissa Schmid | Englisch |
Montag, 24. Juli 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Lukas Greiner | A Knowledge Management System for Software Engineering Research | Masterarbeit | Angelika Kaplan | Deutsch |
| Nicolas Scherzinger | Punktesysteme in Online Kursen: Eine Möglichkeit zur Förderung von Interesse mit Hilfe von Gamification? | Bachelorarbeit | Lucia Happe Kai Marquardt | Deutsch |
Montag, 10. Juli 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Evgeni Cholakov | Modeling and Analyzing Zero-Trust Architectures Regarding Performance and Security | Masterarbeit | Larissa Schmid Nicolas Boltz Bahareh Taghavi | Englisch |
| Janne Wagner | Konzept zum Automatisierten Annotieren Rechtlicher Kommentare an eine Modellrepräsentation der DSGVO | Bachelorarbeit | Nicolas Boltz Leonie Sterz | Deutsch |
| Jean Patrick Mathes | Identifikation informeller Diagrammtypen und struktureller Inkonsistenzen | Bachelorarbeit | Dominik Fuchß Sophie Corallo | Deutsch |
Montag, 3. Juli 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Elias Hofele | Identifying Security Requirements in Natural Language Documents using Large Language Models | Masterarbeit | Jan Keim Sophie Corallo | Englisch |
| Gabriel Gehrig | Enabling the Collaborative Collection of Uncertainty Sources Regarding Confidentiality | Bachelorarbeit | Sebastian Hahner Nicolas Boltz | Deutsch |
| Martina Huber | Überführen von Systemarchitekturmodellen in die datenschutzrechtliche Domäne durch Anwenden der DSGVO | Bachelorarbeit | Sebastian Hahner Nicolas Boltz | Deutsch |
| Nikolai Prjanikov | Conception and Design of Privacy-preserving Software Architecture Patterns | Bachelorarbeit | Larissa Schmid Nicolas Boltz | Deutsch |
Montag, 19. Juni 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Dennis Steinbuch | Ein Ansatz zur Traceability Link Recovery für natürlichsprachliche Software-Dokumentation und Quelltext | Bachelorarbeit | Dominik Fuchß | Deutsch |
| Jianan Ye | Traceability Link Recovery for Relations in Natural Language Software Architecture Documentation and Software Architecture Models | Bachelorarbeit | Dominik Fuchß | Deutsch |
| Jiangang Huang | Evaluation of a Reverse Engineering Approach in the Context of Component-Based Software Systems | Bachelorarbeit | Snigdha Singh Yves Kirschner | Englisch |
| Niklas Heneka | Plagiarism Detection on Intermediate Representation | Bachelorarbeit | Larissa Schmid Timur Sağlam | Deutsch |
Montag, 5. Juni 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Fabian Reinbold | Entity Recognition Using Traceability Link Recovery For Software Documentation And Informal Diagrams | Bachelorarbeit | Dominik Fuchß | Deutsch |
| Robin Schöppner | Using Large Language Models To Analyze Software Architecture Documentation | Bachelorarbeit | Jan Keim | Deutsch |
| Simon Ding | Automatisiertes GUI-basiertes Testen von Web-Anwendungen mit großen Sprachmodellen | Masterarbeit | Daniel Zimmermann | Deutsch |
| Tom Hüller | Automated Consistency of Legal and Software Architecture System Specifications for Data Protection Analysis | Bachelorarbeit | Maximilian Walter Nicolas Boltz | Deutsch |
Montag, 22. Mai 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Nils Niehues | Intelligent Token Subsequence Merging to Prevent Obfuscation Attacks on Software Plagiarism Detectors | Masterarbeit | Timur Sağlam | Deutsch |
Montag, 8. Mai 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Edgar Hipp | Verschlüsselung von änderungsbasierten Modellen | Bachelorarbeit | Thomas Weber | Deutsch |
| Niklas Kuder | Kritische Workflows in der Fertigungsindustrie | Bachelorarbeit | Thomas Weber | Deutsch |
Montag, 17. April 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Mohammad Nour Dahi | Schnittstellenkonzept für Hardwaresimulationen zur Co-Simulation mit Software | Bachelorarbeit | Robert Heinrich Sebastian Weber |
Montag, 20. März 2023, 12:00–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Mona Schulz und Nathan Hagel | Praxis der Forschung Abschlusspräsentation Projektantrag: 2 Vorträge jeweils 20 min + 10 min | Sonstiges | Sebastian Weber Kai Marquardt | Deutsch |
Montag, 27. Februar 2023, 14:00–14:30 Uhr
Gebäude 50.34, Raum 333 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Yuhao Wang | Inkrementelle Modellreduktion zur Verkürzung der Testzyklen in der Transformationsentwicklung | Bachelorarbeit | Erik Burger Max Kramer Timur Sağlam Tobias Pett | Deutsch |
Montag, 13. Februar 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Mona Schulz und Nathan Hagel | Praxis der Forschung Kurzvorstellung des Projekts: 2 Vorträge jeweils 5 min + 5 min | Sonstiges | Sebastian Weber Kai Marquardt | Deutsch |
Montag, 23. Januar 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Lena Gerlach | Untersuchung des Einflusses von Kommunikationsmodellen auf die Zusammensetzbarkeit von Informationsflusseigenschaften | Bachelorarbeit | Christopher Gerking | Deutsch |
| Niklas Brüning | Erhaltung des Endanwenderflows in PREEvision durch asynchrone Job-Verarbeitung | Bachelorarbeit | Erik Burger Max Kramer | Deutsch |
| Niklas Schmidt | Inkonsistenzerkennung für Software-Architekturdokumentationen mittels informeller Diagramme | Bachelorarbeit | Dominik Fuchß | Deutsch |
| Tobias Manske | Integrating Architecture-based Confidentiality Analysis with Code-based Information Flow Analysis | Bachelorarbeit | Frederik Reiche Sebastian Hahner | Deutsch |
Montag, 9. Januar 2023, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Marvin Schäfer | Automatisiertes GUI-basiertes Testen einer Passwortmanager App mit evolutionsbasierten Strategien | Bachelorarbeit | Daniel Zimmermann | Deutsch |
| Simeon Becker | Consistency Preservation between Input Models for Architecture-based and Code-based Static Security Analyses | Bachelorarbeit | Frederik Reiche Thomas Weber | Deutsch |
Montag, 12. Dezember 2022, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Alp Toraç Genç | Concept of an interface for standards for co-simulation of hardware and software | Bachelorarbeit | Sebastian Weber | Englisch |
| Kaan Berk Yaman | Variabilität im Linux-Kernel: Analyse des Feature-Modells | Bachelorarbeit | Jan Wittler | Deutsch |
Montag, 28. November 2022, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Hannes Greule | Evidence-based Token Abstraction for Software Plagiarism Detection | Bachelorarbeit | Timur Sağlam | Deutsch |
| Jonas Strittmatter | Token-based Plagiarism Detection for Heterogenous Software Artefacts | Bachelorarbeit | Timur Sağlam | Deutsch |
| Tim Schilpp | Analyzing Different Approaches to Integrating Handwritten and Generated Object-oriented Code | Bachelorarbeit | Misha Strittmatter Erik Burger | Deutsch |
| Ulas Uyanik | GUI-based Testing of a Learning Platform Application Using Neuroevolution | Bachelorarbeit | Daniel Zimmermann | Deutsch |
Montag, 21. November 2022, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348 / https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Moritz Brödel | Using Token String Normalization to Prevent Code Plagiarism Obfuscation | Bachelorarbeit | Timur Sağlam | Deutsch |
Montag, 12. September 2022, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Tobias Telge | Automatisierte Gewinnung von Nachverfolgbarkeitsverbindungen zwischen Softwarearchitektur und Quelltext | Masterarbeit | Jan Keim Sophie Corallo | Deutsch |
Montag, 22. August 2022, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Nikita Nesterov | Sicherheitsbewertung des Standards ‚International Data Spaces‘ für den Austausch von Software- und Hardware-Varianten | Bachelorarbeit | Jan Wittler | Deutsch |
Montag, 8. August 2022, 11:30–13:00 Uhr
Gebäude 50.34, Raum 333 / https://sdqweb.ipd.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Fabian Palitza | Fallstudie zur Privatsphäre in Connected-Car Systemen | Bachelorarbeit | Sebastian Hahner Nicolas Boltz | Deutsch |
| Lukas Burgey | Continuous Integration of Performance Models for a Lua-Based Industrial Application | Masterarbeit | Manar Mazkatli | Deutsch |
| Michael Hirsch | Performance-Modellierung des Mechanik-Lösermoduls in der Multi-Physik-Anwendung Pace3D | Bachelorarbeit | Larissa Schmid Daniel Schneider Martin Reder | Deutsch |
| Rebekka Vielsack | Architecture reconstruction for software systems communicating both synchronously and asynchronously | Masterarbeit | Snigdha Singh | Deutsch |
Montag, 25. Juli 2022, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Janek Speit | Hierarchical Classification of Design Decisions Using Pre-trained Language Models | Masterarbeit | Jan Keim | Deutsch |
| Stefanie Fischer | Faster Feedback Cycles via Integration Testing Strategies for Serverless Edge Computing | Masterarbeit | Robert Heinrich | Deutsch |
Montag, 11. Juli 2022, 11:30–11:30 Uhr
https://sdqweb.ipd.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Laura Traub | Kopplung von statischen Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit | Bachelorarbeit | Frederik Reiche | Deutsch |
| Leonie Schmidt | Modeling Assumptions in Software Architecture | Bachelorarbeit | Frederik Reiche Sophie Corallo | Deutsch |
| Tim Schmack | Combining Architectural Analyses based on Attacker Models | Bachelorarbeit | Maximilian Walter Frederik Reiche | Deutsch |
Montag, 27. Juni 2022, 11:30–13:00 Uhr
https://sdqweb.ipd.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Ensar Evli | A Mobility Case Study for Validating Attack Propagation Analyses | Bachelorarbeit | Maximilian Walter Sebastian Hahner |
Freitag, 24. Juni 2022, 12:00–13:00 Uhr
Gebäude 50.34, Raum 333, https://sdqweb.ipd.kit.edu/wiki/SDQ-Oberseminar/Microsoft_Teams
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Elias Kia | Implementation von Feedbackmechanismen in Onlinekursen am Bespiel Masterstudy LMS | Bachelorarbeit | Lucia Happe Kai Marquardt | Deutsch |
| Felix Pieper | Beyond similarity - Dimensions of semantics and how to detect them | Masterarbeit | Sebastian Weigelt Sophie Corallo | Deutsch |
| Philipp Klaus | Entity Linking für Softwarearchitekturdokumentation | Bachelorarbeit | Jan Keim | Deutsch |
- Montag, 13.03.2017
- Christopher Hermann: Empirische Ableitung eines Aufwandsschätzungmodells (vorläufiger Titel) BA, Betreuer: Anne Koziolek, Tom Gelhausen
- Montag, 27.02.2017 (Sondertermin)
- Lyubomir Lakov: Auswirkungen von Metamodellentwurf auf Modellanalysen MA, Betreuer: Georg Hinkel
- Sebastian Röther: A DSL for mapping streams to models DA, Betreuer: Georg Hinkel
- Simon Boob: Änderungsgetriebene Konsistenz von UML-Komponentenmodellen und UML-Klassenmodellen, BA, Betreuer: Michael Langhammer, Heiko Klare
- Maximilian Schecher: Using architectural design space exploration to quantify cost-to-quality relationship BA, Betreuer: Anne Koziolek
- Montag, 13.02.2017
- Markus Mohr: Software-Architekturanalyse zur Identifikation datenschutzrelevanter Komponenten BA, Betreuer: Stephan Seifermann
- Benjamin Plach: A Query Language for Security Catalogs in Palladio (not final) BA, Betreuer: Emre Taşpolatoğlu, Dirk Achenbach
- Matthias Klatte: Änderungsgetriebene Konsistenz von PCM- und UML-Komponentenmodellen BA, Betreuer: Heiko Klare, Michael Langhammer
- Montag, 23.01.2017 (Sondertermin)
- Fei Chen: Änderungsgetriebene Konsistenz von UML-Klassenmodellen und Java-Code BA, Betreuer: Heiko Klare, Michael Langhammer
- Stefan Elbert: Darstellung und Anwendung von Änderungssequenzen an Ecore-Modellen BA, Betreuer: Heiko Klare, Max Kramer
- Philipp Georg Weimann: Automated Cloud-to-Cloud migration of distributed software systems for privacy compliance MA, Betreuer: Robert Heinrich, Kiana Rostami
- Montag, 09.01.2017
- Matthias Rombach: Modeling and Evaluating Microservice Resilience in Palladio (finaler Titel folgt) MA, Betreuer: Jörg Henß, Christian Stier
- Christian Busch: Modeling of Security Patterns in Palladio DA, Betreuer: Emre Taşpolatoğlu, Robert Heinrich
- Benjamin Rupp: Fallstudie zur Evaluierung der Anwendbarkeit einer Sprache zur änderungsgetriebenen Konsistenzerhaltung von Softwaremodellen in der Automobilbranche MA, Betreuer: Max Kramer, Heiko Klare
- Montag, 12.12.2016
- David Monschein: Mobile Application Monitoring for Performance and Privacy BA, Betreuer: Robert Heinrich
- Montag, 28.11.2016
- Timur Saglam: Extracting Ecore Metamodels from Object-Oriented Code BA, Betreuer: Heiko Klare
- Montag, 14.11.2016
- Tobias Pöppke: Design Space Exploration for Adaptation Planning in Cloud-based Applications MA, Betreuer: Robert Heinrich
- Jasmin Tischner: Interaktion in kooperativen Modellierungsumgebungen BA, Betreuer: Stephan Seifermann, Claudia Loitsch
- Sandro Koch: Automatische Vorhersage von Änderungsausbreitung am Beispiel von Automatisierungssystemen MA, Betreuer: Kiana Rostami, Robert Heinrich
- Montag, 10.10.2016
- Chrishan Perera: Tracing zwischen Anforderungen, Entscheidungen, Architektur und Code durch Information Retrieval Verfahren (vorl. Titel), MA, Betreuer: Robert Heinrich, Anne Koziolek
- Max Scheerer: Using concern weaving to extend component-based system architectures, MA, Betreuer: Axel Busch
- Montag, 12.09.2016
- keine Vorträge
- Montag, 08.08.2016
- Tizian Hoffmann: Konsistenz in Transaktionen für inkrementelle Modellanalysen (vorl. Titel) BA, Betreuer: Georg Hinkel
Montag, 25.07.2016
- Shengjia Feng: Accessibility of Web-Based UML Editors MA, Betreuer: Stephan Seifermann
- Manuel Leßmann: Parallel Change Propagation in Incremental Model Analysis MA, Betreuer: Georg Hinkel
Montag, 11.07.2016
- Ilknur Kanatsiz: Entwicklung eines durch ein Feature-Modell konfigurierbaren Palladio Metamodells mit dem CORE Ansatz DA, Betreuer: Misha Strittmatter, Jörg Kienzle
- Nicolas Pätzold: Inkrementelle Modellsynchronisierung mit ATL MA, Betreuer: Georg Hinkel
Tizian Hoffmann: Transaktionskonzepte für inkrementelle Modellanalysen BA, Betreuer: Georg Hinkel
Montag, 13.06.2016
- Sebastian Hahner: Inkrementelle Aktualisierungstechniken für Modelle und ihrer Datenbankrepräsentation BA, Betreuer: Stephan Seifermann
- Zengchao Geng: Migration von in Datenbanken persistierten EMF-Modellen MA, Betreuer: Jörg Henß
Montag, 23.05.2016
- Thomas Czogalik: Modellierung von Vertraulichkeitsanalysen in Palladio BA, Betreuer: Stephan Seifermann, Emre Taspolatoglu
- Alexis Bernhard: Deep Modeling für Palladio BA, Betreuer: Georg Hinkel
- Montag, 09.05.2016
- Henning Schulz: Konzeption und Evaluierung Sampling-basierter Monitoring-Ansätze MA, Betreuer: Jörg Henß
- Sven Leonhardt: Modelltransformation OPC Unified Architecture MA, Betreuer: Erik Burger
- Jonas Kunz: A Generic Platform for Transforming Monitoring Data into Performance Models BA, Betreuer: Robert Heinrich
- Kevin Wiegratz : Threat-Modellierung in Palladio BA, Betreuer: Emre Taspolatoglu, Robert Heinrich
- Montag, 11.04.2016
- Michael Junker: Flexible graphische Editoren für erweiterbare modulare Metamodelle MA, Betreuer: Misha Strittmatter, Michael Langhammer
- Martin Löper: Praktikumsbericht, Betreuer: Prof. Dr. Ralf Reussner
- Montag, 14.03.2016
- David Peter: Observing and Modeling Workload Characteristics of Dynamic Cloud Applications MA, Betreuer: Robert Heinrich
- Montag, 08.02.2016
- Andreas Dillmann: Experimentelle Analyse Transaktionaler Softwaresysteme hinsichtlich Umsetzung und Performance-Einfluss von Transaktionen MA, Betreuer: Philipp Merkle, Michael Langhammer
- Daniel Sachsenmaier: Evaluation of Generic/Functional Degrees of Freedom of PerOpteryx (vorläufiger Titel) MA, Betreuer: Anne Koziolek
- Montag, 11.01.2016
- Patrick Firnkes: Execution of editing operations in ModelJoin BA, Betreuer: Erik Burger, Jörg Henß
- Montag, 14.12.2015
- Heiko Klare: Designing a Change-Driven Language for Model Consistency Repair Routines, MA, Betreuer: Max Kramer, Michael Langhammer
- Frederik Petersen: Extending an Architecture and Code Co-evolution approach to support Existing Software Projects, MA, Betreuer: Michael Langhammer, Max Kramer
- Benjamin Wanner: Incremental Expression Evaluation in a Distributed Actor Environment, MA, Betreuer: Georg Hinkel, Alexander Lenk
- Yves Schneider: Modellierung der Struktureigenschaften von Entwurfsentscheidungen in komponentenbasierten Systemen, BA, Betreuer: Axel Busch
- Montag, 16.11.2015
- Frederick Persch: Entwicklung einer Methodik zur Bewertung der Mächtigkeit von UML-Notationen (vorläufiger Titel) BA, Betreuer: Stephan Seifermann, Erik Burger
- Montag 12.10.2015
- Dominik Werle: Designing a Domain-Specific Language for Model Consistency Declarations (vorläufiger Titel) MA, Betreuer: Max Kramer, Michael Langhammer
- Freitag 12.06.2015
- Benedict Pregler: Analyse verschiedener plattformübergreifender Software-Entwicklungsansätzen für mobile Applikationen BA, Betreuer: Emre Taspolatoglu, Georg Hinkel
- Ferdinand Swoboda: Automated Improvement of Software Architecture Models through Generic Formulisation of Design Space (Arbeitstitel), BA, Betreuer: Axel
- Alexander Monev: Injecting Component Dependencies into Architecture and Code Co-Evolution Transformations using a Dependency Injection Framework (vorl. Titel), BA, Betreuer: Michael Langhammer, Max Kramer
- Montag, 08.06.2015
- Kirill Rakhman: Automated Inversion of Mapping Expressions for Multi-Model Consistency (vorl. Titel), MA, Betreuer: Max Kramer, Michael Langhammer
- Sebastian Fiss: Embedding Invariants and Custom Transformations into a Domain-Specific Language for Multi-Model Consistency (vorl. Titel) BA, Betreuer: Max Kramer, Michael Langhammer
- Oliver Schneider: Editability of Views in ModelJoin MA, Betreuer: Erik Burger, Jörg Henß
- Montag, 11.05.2015
- René Schröder: Modeling Performance and Energy Efficiency of Self-Adaptive Cyber Foraging Systems (vorl. Titel), MA, Betreuer: Christian Stier, TBD
- Victoria Mittelbach: Model-driven Consistency Preservation in Cyber-physical Systems (vorl. Titel), MA, Betreuer: Erik Burger, TDB
- Simon Heiss: Coevolution von komponenten basierten Architekturmodellen und Eclipse Plugins (vorl. Titel), BA, Betreuer: Michael Langhammer, Max Kramer
- Montag, 13.04.2015
- Michael Fischer: Software-Architektur-basierende Optimierung von Eingebetteter Software Software-Architecture-based Optimization of Embedded Software (BA), Betreuer: Anne Koziolek, Michael Pressler (SIM, FZI)
- Montag, 09.03.2015
- Manar Mazkatli: Automotive Systems Modelling with Vitruvius (vorl. Titel), MA, Betreuer: Erik Burger, Anne Koziolek
- Montag, 09.02.2015
- Oussama Ben Said: Extending the Key Verification System with a Probabilistic Program analysis Approach based on the Palladio Component Model, BA, Betreuer:Fouad ben Nasr Omri, Mihai Herda
- Montag, 12.01.2015
- Christopher Jung: Performanceoptimierung eines Dokumentenmanagementsystems mit PerOpteryx, DA, Betreuer: Anne Koziolek, Markus Wietheger
- Montag, 15.12.2015 (statt 08.12.2015)
- Anne Buzin: Development of a Domain-spanning Quality Metrics Meta-Model, SA, Betreuer: Robert Heinrich, Anne Koziolek
- Montag, 13.10.2014
- Sebastian Krach: Energy-Conscious Deployment Optimization for Component-based Cyber Foraging Systems, MA, Betreuer: Christian Stier, Klaus Krogmann
- Montag, 11.08.2014
- Christian Busch: Designing and Extracting Link Models for EMF-Based Software Analyses (Vorläufiger Titel), BA, Betreuer: Benjamin Klatt, Michael Langhammer
- Montag, 14.07.2014
- Anton Huck: Konzept einer ergonomischen Benutzeroberfläche für ein Software-Analysewerkzeug, BA, Betreuer: Benjamin Klatt, Michael Langhammer
- Montag, 16.06.2014
- Peter Merkert : An Empirical Study for the Evaluation of a Performance Problem Detection Approach (vorläufiger Titel), BA, Betreuer: Alexander Wert, Christoph Heger
- Montag, 12.05.2014
- Henning Schulz : Adaptive Instrumentation of Java-Applications for Experiment-based Performance Analysis, BA, Betreuer: Alexander Wert, Christoph Heger
- Stephan Seifermann : Model-Driven Co-Evolution of Contracts, Unit-Tests and Source-Code (vorläufiger Titel), MA, Betreuer: Max Kramer, Michael Langhammer
- Montag, 14.04.2014
- Ivayla Partalina: Detecting and Partially Resolving Consistency Conflicts between Heterogeneous Models (vorläufiger Titel), MA, Betreuer: Max Kramer, Michael Langhammer
- Montag, 31.03.2014
- Safa Omri: Goal-driven Selection of Statistical Regression Techniques for Pareto-optimal Model Fitting, DA, Betreuer: Qais Noorshams
- Elenea Pyatkova: An Engineering Approach to Develop Performance Isolated Multi-tenant Applications, MA, Betreuer: Rouven Krebs
Montag, 10.03.2014
- Dominik Messinger: Incremental Code Architecture Consistency Support through Change Monitoring and Intent Clarification, MA, Betreuer: Michael Langhammer, Erik Burger
- Montag, 10.02.2014
- Oliver Burkhardt: Evaluation von EMF Query Engines für die Berechnung von Softwarequalitätsmetriken auf JaMoPP Softwaremodellen, DA, Betreuer: Benjamin Klatt
- Daniel Kojic: Refactoring Specification and Automation for the Consolidation of Customized Product Copies, Master, Betreuer: Benjamin Klatt
- Florian Gauger : Thema folgt, DA, Betreuer: Rouven Krebs
- Montag, 13.01.2014
- Richard Feistenauer: Thema folgt, BA, Betreuer: Oliver Hummel
- Andreas Weber: Benchmarking Resource Elasticity, MA, Betreuer: Nikolas Herbst, Henning Groenda
- Oleg, Löwen: Thema folgt, MA, Betreuer: Christoph Heger, Alexander Wert
- Christoph Föhrdes: Component-based Software Quality Simulation in Eclipse, MA, Betreuer: Philipp Merkle, Jörg Henß
- 09.12.2013
- Emre Taşpolatoğlu: Code Decisions for Decision-Based Software Evolution, DA, Betreuer: Martin Küster, Benjamin Klatt
- Philipp Tölle: Quantifying Data Consistency for Software Quality Evaluation, DA, Betreuer: Philipp Merkle, Thomas Raith (IBM)
- 11.11.2013
- Bodo Vossen: Detection and Visualization of Performance Anti-Patterns in the Palladio Component Model, MA, Betreuer: Klaus Krogmann, Michael Hauck
- 14.10.2013
- Sven Kohlhaas: Systematic Investigation of Performance Antipatterns in SAP HANA Database Queries, BA, Betreuer: Christoph Heger, Alexander Wert
- Joakim von Kistowski: Modeling the Variation of Load Intensities, MA, Betreuer: Nikolas Herbst, Rouven Krebs
- Philipp Schneider: A Controller for Performance Isolation in Multi Tenant Applications, DA, Betreuer: Rouven Krebs,
- 23.09.2013 (Sondertermin)
- Roland Reeb: Modellierung von virtualisierten Speicher-Systemen mit dem Palladio Component Modell, BA, Betreuer: Qais Noorshams, Andreas Rentschler
- Kiana Rostami: Modellierung von Performanzinterferenz Datenintensiver Anwendungen in Virtualisierten Umgebungen am Beispiel IBM System z, DA, Betreuer: Qais Noorshams, Robert Vaupel
- Florian Rosenthal: Component-Based Performance and Energy Analysis of Edge Applications Using Palladio, BA, Betreuer: Klaus Krogmann, Grace Lewis
- 12.08.2013
- Krogmann, Martin: Accuracy-Aware Reverse Engineering of Behavior Specifications, DA, Betreuer: Henning Groenda
- Christian Telpl: Eclipse Plugin zum partiellen Sperren der Texteditoroberfläche, BA, Betreuer: Michael Langhammer, Max Kramer
- Yalcin Kilic: Migration eines Modellbasierten Software-Vergleichs von EMF Compare 1 auf 2, SA, Betreuer: Benjamin Klatt, Martin Küster
- 15.07.2013
- Sergej Werfel, Eine Methode zur Architekturzentrierten Unterstützung von Software-Evolution, MA, Betreuer: Zoya Durdik, Philipp Merkle
- Christian Stier, Transaction-Aware Software Performance Prediction, MA, Betreuer: Philipp Merkle, Christoph Heger
- 08.07.2013
- Aryan Dadashi: Data Generation for Performance Evaluation of Data-Centric Systems, MA, Betreuer: Christoph Heger
- Michael Junker: Eine architekturelle Lösung zur Integration von Code-Entscheidungsmodellen in Evolutionssichten, BA, Betreuer: Martin Küster, Benjamin Klatt
- Georg Hinkel: An approach to maintainable model transformations with an internal DSL, MA, Betreuer: Lucia Happe, Thomas Goldschmidt
- 10.06.2013
- Peter Wolf: Mining von Entwickler-Kommentaren zur Abschätzung der Qualität von Softwaresystemen, BA, Betreuer: Oliver Hummel
- Mehran Saliminia: Multi-tenant Performance Modelle zur Gewährleistung der Performance Isolation, MA, Betreuer: Rouven Krebs
- 13.05.2013
- Dominik Werle: Modularizing Model Transformations for Maintainability by the Example of Xtend, BA, Betreuer: Andreas Rentschler
- Le-Huan Stefan Tran: Messbasierte Diagnose von Performance-Problemen in Cloud-Anwendungen, MA, Betreuer: Alexander Wert
- 08.04.2013
- Jürgen Walter: Parallel Simulation of Queueing Petri Net Models, DA, Betreuer: Simon Spinner, Jörg Henß
- Philip Haußmann: Model-based Quality Prediction of Data-Intensive Enterprise Applications (Arbeitstitel), MA, Betreuer: Philipp Merkle
- 25.03.2013
- Florian Klein: Parallel Component Performance Prediction with Algorithmic Skeletons, DA Abschlussvortrag, Betreuer: Philipp Merkle, Lucia Happe
- Per Sterner: Statische Code-Analyse von Modelltransformationen, DA Abschlussvortrag, Betreuer: Andreas Rentschler, Lucia Happe
- 11.02.2013
- Emre Taspolatoglu: Queries for Architectural Decision Models, SA, Betreuer: Martin Küster, Benjamin Klatt
- 28.01.2013
- Nadia Ahmed: Multi Tenant Resource Demand Estimation for Performance Isolation (vorläufig), DA, Betreuer: Rouven Krebs
- Waldemar Schott: Automated Model-based System Reconfiguration: A Case Study, DA, Betreuer: Nikolaus Huber
- 14.01.2013
- Aleksandar Toshovski: Wiederverwendung von Metamodellen in ModelJoin-Sichten, DA, Betreuer: Erik Burger, Jörg Henß
- Yusuf Dogan: Performance Test Extraction based on End User Experience Monitoring, DA, Betreuer: Alexander Wert, Jens Happe
- Flavie Roussy: Configurable Model Refinements for Palladio based on a Model Weaver, DA, Betreuer: Max Kramer, Erik Burger
- 10.12.2012
- Fabian Gorsler: Online Performance Queries (Titel vorläufig), MA, Betreuer: Fabian Brosig, Samuel Kounev
- Alexander Sonndag: Determining the System and Load Influence for Large System Software (Titel vorläufig), SA, Betreuer: Robert Vaupel
- Can Alexander Yavuz: Monitoring the Effective Control Flow in Multi-Tier Applications, BA, Betreuer: Simon Spinner, Fabian Brosig
- Simon Silva Lauinger: Ableiten von Architekturmodellen aus Java-Paketinformationen, BA, Betreuer: Michael Langhammer, Klaus Krogmann
- 12.11.2012
- Axel Busch: Workload Characterization for I/O Performance Analysis on IBM System z (Titel vorläufig), MA, Betreuer: Qais Noorshams, Erich Amrehn (IBM)
- 08.10.2012
- Tobias Lutz: "Qualitätssicherungsmetriken für Modelle (BA)", externe BA (Hochschule KA), Betreuer: Klaus Krogmann, Martin Küster
- 13.08.2012
- Milen Marinov: "TBA", Betreuer: Lucia Happe
- Vesselin Somlev: "TBA", Betreuer: Lucia Happe
- Philipp Tölle: "Studienarbeit Connecting CICS TS to SAP ERP a comparison of alternatives ", Betreuer: Robert Vaupel
- 30.07.2012
- Armagan Kilic: "Rationale-based Traceability of Architecture and Issues / Requirements" (MA), Betreuer: Martin Küster, Heiko Koziolek
- 16.07.2012
- Florian Klein: "Algorithmic Skeletons and Parallel Design Patterns for internal Component Performance Prediction", Betreuer: Lucia Happe, Philipp Merkle
- Misha Strittmatter: "Feedback-Driven Concurrency Refinement & Tuning", Betreuer: Lucia Happe, Philipp Merkle
- Azim Khakulov: "Pattern Instantiation and Visualisation in Palladio" (SA), Betreuer: Zoya Durdik, Andreas Rentschler
- 25.06.2012
- Georgi Kotsev: "Design and Implementation of an Auto-Scaling Strategy for Cloud Foundry PaaS" (SA), Betreuer: Fouad Omri
- Hüseyin Kaya: "Modeling OpenStack Object Storage with Palladio Component Model"(SA), Betreuer: Fouad Omri, Qais Noorshams
- Milena Nedelcheva: "Usage Profile Propagation in the Symbolic Execution Tree" (SA), Betreuer: Fouad Omri
- Nikola Veber: "A Framework for the Prioritization of White-Box Operational Test-Cases", Betreuer: Fouad Omri
- 11.06.2012
- Nelli Kaiser: "Eine DSL zum szenariobasierten Testen mobiler Anwendungen", Betreuer: Martin Küster (FZI), Jochen Winzen (andrena objects ag)
- Irem Erdogan: "Simulationsbasierte Erkennung von Performance Anti-Pattern in Palladio-Modellen", Betreuer: Alexander Wert, Jens Happe
- Edy Guevara Komgang Djomgang: "Evaluation of Different Performance Feedback Types for JPA Developers", Betreuer: Christoph Heger, Dennis Westermann
- 14.05.2012
- Dharminder Rattu: "Arbeitstitel: Descartes@BlueYonder " Betreuer: Nikolaus Huber
- Nico Klinck: "Arbeitstitel: Performance Regression Testing for Web UIs" Betreuer: Jens Happe und Wolfgang Schwach (SAP Research)
- Oliver Burkhardt: "Arbeitstitel: Changing SoMoX’s Input Model: A Change Impact Analysis Case Study" Betreuer Benjamin Klatt und Martin Küster
- 02.04.2012
- Per Sterner: "Parallele Ausführung von Modelltransformationen" Betreuer: Andreas Rentschler, Lucia Kapova
- 12.03.2012
- Christian Weiß: "Erstellung von Performance-Vorhersagemodellen für JPA-Entitäten" Betreuer: Dennis Westermann, Jens Happe
- Christian Paul: "Runtime interpretation of models based on descriptive languages" Betreuer: Zoya Durdik
- Kiana Rostami: "Performance-Vorhersage von virtualisiertem Storage mit Warteschlangennetzen" (Titel vorläufig), SA, Betreuer: Qais Noorshams
- 13.02.2012
- Bruhn, Dominik: Modeling and Experimental Analysis of Virtualized Storage Performance using IBM System z as Example (Arbeitstitel), DA, Betreuer: Qais Noorshams, Samuel Kounev
- Herbst, Nikolas: Workload Forecasting (Arbeitstitel), Betreuer: Nikolaus Huber
- Veber, Nikola: Design and Implementation of Auto-Scalability in the Cloud Foundry Platform as a Service (Studienarbeit: Titel vorläufig), Betreuer: Fouad Omri
- 16.01.2012
- Tänzer, Michael: The Influence of the Architectural Style on Security, Using the Example of a Certification Authority (Studienarbeit), Betreuer: Zoya Durdik, Matthias Huber
- Nedelcheva, Milena: Usage Profile Propagation in Symbolic Execution Tree (Studienarbeit: Titel vorläufig), Betreuer: Fouad Omri
- Kotsev, Georgi: Design and Implementation of an Auto-Scalable PaaS (Studienarbeit: Titel vorläufig), Betreuer: Fouad Omri
- 12.12.2011
- Weijian Ji: "Software-Kennzahlen innerbetrieblich nutzen" Betreuer: Erik Burger, N.N. (AIFB)
- Markus Heller "(Semi-) Automated Approach for the Selection and Validation of Architecture Patterns" Betreuer: Zoya Durdik, Martin Küster
- 14.11.2011
- Christoph Heger: "Automatische Problemdiagnose in Performance-UnitTests" Betreuer: Jens Happe, Dennis Westermann.
- Alexander Wert: "Automatisierte Erkennung von Performance-Anti-Patterns anhand von Messdaten" Betreuer: Jens Happe, Dennis Westermann.
- Max Kramer: "Checking and enforcing model constraints using domain-specific modeling languages for generic weavers" Betreuer: Lucia Kapova, Jacques Klein
- Waldemar Schott "Performance-Vorhersage in virtualisierten Umgebungen", Betreuer: Nikolaus Huber
- 10.10.2011 13
- 00-14:00 Uhr, SR 301
- Hüseyin Kaya: "Modeling OpenStack Object Storage with PCM" Betreuer: Fouad Omri, Qais Noorshams.
- 12.09.2011 13
- 00-14:00 Uhr, SR 301
- Christian Vogel: "A Use Case Map Editor for Rapid Performance Modeling and Reasoning" Betreuer: Heiko Koziolek, Erik Burger.
- 08.08.2011 13
- 00-14:00 Uhr, SR 301
- David Merkel: Performance Completion of RPC Calls integrated as Model-to-Model Transformation into PCM (Arbeitstitel). Betreuer: Andreas Rentschler, Lucia Kapova.
- 11.07.2011
- Thomas Dayan Jayasuriya: Konzeption und Entwicklung einer Smartphone-Applikation für den Karlsruher Stadtgeburtstag. Betreuer: Klaus Krogmann.
- 20.06.2011
- Felix Schad, "Variability modelling at the meta-model level" (?), Betreuer: Zoya Durdik, Klaus Krogmann
- Jonas Stubenrauch, "Continuous Integration und Qualitätssicherung für iOS-basierte Applikationen" (?), Betreuer: Klaus Krogmann, Markus Kopf (arconsis)
- Georg Hinkel, "Vergleich von Vereilungsfunktionen" (?), Betreuer: Jens Happe, ToDo (Mathematiker)
- 14.04.2011
- Nikolas Herbst, "Quantifying the Impact of Platform Configuration Space for Elasticity Benchmarking" (SA), Betreuer: Michael Kuperberg, Nikolaus Huber
- Jóakim von Kistowski, "Defining and Measuring Workloads for Elasticity Benchmarking" (BA), Betreuer: Michael Kuperberg, Fabian Brosig
- Sebastian Rogowski, Proseminar-Vortrag: "Plugin-Entwicklung unter Eclipse", Betreuer: Matthias Huber
- Enrico Kusnady, "QoS-aware Resource Efficiency in Virtualized Environments" (DA), Betreuer: Nikolaus Huber
- 21.03.2011
- Dominik Ernst, "Test case generation with performance model-based test coverage" (?), Betreuer: Henning Groenda
- Ugur Kocak, "Performance modelling of an event-driven, industrial control system" (DA), Betreuer: Heiko Koziolek, Fabian Brosig
- 17.01.2011
- Philipp Merkle, "Comparing Process and Event based Software Performance Simulation", (DA), Betreuer: Jörg Henß
- Michael Kupsch, "Measurement-based Derivation of Hard Disk Model Parameters für Performance Prediction" , (DA), Betreuer: Michael Hauck, Michael Kuperberg
- Christoph Kurrat, "Evaluation of the performance impact of concurrency patterns", (MA), Betreuer: Lucia Kapova
- 10.01.2011
- Simon Spinner, "Evaluating Approaches to Resource Demand Estimation", (DA), Betreuer: Fabian Brosig, Samuel Kounev
- 29.11.2010
- Atanas Dimitrov, "Termination Criteria for Multi-Objective Optimization of Software Architectures" (Abschlussvortrag SA, 20 Min + 10 Min Fragen), Betreuer: Anne Martens
- 08.11.2010
- Alexander Wert, "Integration von Software-Performance Kennlinien ins PCM", (SA), Betreuer: Jens Happe
- Pascal Meier, "Automatisierte Identifikation performance-relevanter Parameter in komplexen Unternehmensanwendungen", (DA), Betreuer: Dennis Westermann
- 11.10.2010
- Stefan Becker, "Performance-Modellierung des 1&1 Mailsystems", DA, Betreuer: Chris Rathfelder
- Christian Siani, "Modulare Wiederverwendung von sichtbasierten Sprachspezifikationen", DA, Betreuer: Martin Küster
- Michael Faber, "Software Performance Analysis using Machine Learning Techniques", MA, Betreuer: Jens Happe
- Nikola Veber, "Application of Internet-wide Digital Identity and Authorization", SA, Betreuer: Fouad ben Nasr Omri
- 13.09.2010
- Felix Schad, "Erweiterung eines agilen Vorgehensmodells durch ein Software-Architektur Artefakt", SA, Betreuer: Zoya Durdik und Klaus Krogmann
- 09.08.2010
- Yusuf Dogan, "UI Price Tags: Bestimmung von HTML Rendering-Zeiten durch automatisierte systematische Messungen und statistische Analysen", SA Proposal, Betreuer: Dennis Westermann
- 12.07.2010
- Abschlussvortrag Timo Rohrberg "Result Visualization and Design Decision Support for the PCM" (DA), Betreuer Anne Martens (45 Minuten), ausnahmsweise
- Evgeny Matershev, "Vergleich ausgewählter SOA Middleware-Plattformen hinsichtlich ihrer Unterstützung von Online-Monitoring und dynamischer Rekonfiguration", SA Proposal, Betreuer: Fabian Brosig
- Dominik Itte, Resilience of Software as a Service (SaaS) Distributed Integration via Enterprise Service Bus (in cooperation with 1&1), DA Proposal, Betreuer: Fouad ben Nasr Omri
- 28.06.2010
- Abschlussvortrag Tom Beyer "Domain-specific Heuristics for Automated Improvement of PCM-based Architectures" (SA), Betreuer Anne Martens (30 Minuten), ausnahmsweise
- 10.05.2010
- DA Philipp Meier Transformation of Palladio Component Models to Queueing Petri Nets, DA Proposal, Betreuer: Samuel Kounev und Heiko Koziolek
- DA Qais Noorshams: Erfüllen von Qualitätsanforderungen für Software-Architekturen, DA Proposal, Betreuer: Anne Martens
- DA Stefan Hartte: Secure Facebook, DA Proposal, Betreuer: Matthias Gabel und Matthias Huber
- 12.04.2010
- Christian Heupel (DA), Betreuer: Lucia Kapova
- Benjamin Klatt (DA), "Modeling of Event-Based Communication �in Component Based Architectures", Betreuer: Christoph Rathfelder
- Marcel von Quast (DA), "Experimentelle Analyse virtueller Umgebungen", Betreuer: Nikolaus Huber
- 08.03.2010
- Francois Goichon, Proposalvortrag Master: Dataflowanalysis for secure object-oriented components, Betreuer: Pierre Parrend (Zusammen mit dem INRIA/INSA-Lyon)
- Atanas Dimitrov "Termination Criteria for Multi-objective Optimisation of Software Architectures", Betreuer: Anne Martens
- 08.02.2010
- Thomas Schuischel, "Automatisation of Detailed Performance Models Development using Higher-Order Transformations", SA Proposal, Betreuer: Lucia Kapova ?
- Tom Beyer, "Optimization algorithms and domain-specific heuristics for automated improvement of PCM-based architectures", SA Proposal, Betreuer: Anne Martens
- Montag, 18.01.2010
- Timo Rohrberg, "Result Visualisation and Design Decision Support for the PCM", DA Proposal, Betreuer: Anne Martens
- Montag, 14.12.2009
- Konstantin Bender, "Performance and Capacity Management in Enterprise Data Fabric Infrastructures", DA Proposal, Betreuer: Samuel Kounev
- Thomas Knapp, "Reverse Engineering von Software-Komponenten (mittels symbolischer Ausführung)", Bachelor Proposal, Betreuer: Klaus Krogmann
- Misha Strittmatter, "Performance Abstractions for Connector Patterns (Pipes and Filters)", SA Proposal, Betreuer: Lucia Kapova
- Christian Vogel, "Automatisierte Integration Connector Configuration (Pipes and Filters) in das PCM" , SA Proposal, Betreuer: Lucia Kapova
- Montag, 12.10.2009
- Oliver Hessel, "Performance Analyse des Einflusses von Filtern in der Kommunikation Ereignisbasierter Systeme" (DA) Betreuer: Jens Happe
- Andreas Landerer, "Incremental Pretty-Printing in View-Based Textual Modelling" (MA) Betreuer: Thomas Goldschmidt
- Montag, 10.08.2009
- Christian Harnisch, "Modeling parallel, component-based Software Architectures with Design Patterns (Replication pattern)" (SA) Betreuer: Lucia Kapova
- Montag, 13.07.2009
- Igor Lankin, "Predicting the Reliability of Fault-tolerant Software Systems with the PCM" (DA) Betreuer: Franz Brosch
- Montag, 08.06.2009
- Christian Siani, "Partitionierung von Modellen bei Text-zu-Modell Transformationen" (SA) Betreuer: Thomas Goldschmidt
- Montag, 11.05.2009
- Christina Pildner,"Model-basierte Analyse von Sicherheits-Schwachstellen in OO-Modulen" (DA) Betreuer: Pierre Parrend
- Sebastian Bauer, "Integration der Benchmarking-Ergebnisse in PCM-Modelle" (SA) Betreuer: Michael Kuperberg
- Patrick Lehmann, "Semantisch Sensitive Text-zu-Modell Transformationen" (SA) Betreuer: Thomas Goldschmidt
- Andrea Ciancone,"Mapping the Service Architecture Meta-Model to the Palladio Component Model " (DA) Betreuer: Michael Hauck, Steffen Becker
- Montag, 20.04.2009, 13 Uhr (SR 333 (geänderter Raum), Uni)
- Martin Küster: "Modularisierung von Text-zu-Modell Abbildungsbeschreibungen" (DA) Betreuer: Thomas Goldschmidt
- Angelo Romito "Performanz-Kennlinien nachrichtenbasierter Systeme" (DA) Betreuer: Jens Happe
- Montag, 09.03.2009, 13 Uhr (SR 348, Uni)
- Martin Krogmann: Integrating a Benchmarking Environment into the Palladio Workbench (SA) Betreuer Michael Kuperberg
- Montag, 16.02.2009
- SA Frederik Zipp: "Weiterentwicklung des Modellierungswerkzeugs QPME (working title)" (Studienarbeit, Betreuer Samuel Kounev)
- SA Christian Heupel: "Thema" (Studienarbeit, Betreuer Jens Happe)
- DA Christoph Schneider: "Entwicklung eines modellgetriebenen Generators für mobile Webanwendungen" (Diplomarbeit, Betreuer Ralf Reussner)
- Montag, 08.12.2008
- Yize Shao: "Adaption of a QVT Engine from Ecore to JMI" (SA) Betreuer Thomas Goldschmidt
- Martin Franke: "ROI Studie zum Einsatz von MDSD bei CAS" (DA) Betreuer Steffen Becker
- Montag, 10.11.2008
- Niko Huber: Performance modeling of storage virtualization(DA) Betreuer Chris Rathfelder
- Dennis Westermann: "SLA-Driven Management of a Service-oriented Application (working title)" (DA) Betreuer Christof Momm
- Felix Brandt: "Webbasierte Tutorienanmeldung - WebInScribe" (SA) Betreuer Thomas Griesbaum / RR
- Montag, 20.10.2008
- Fabian Brosig: "Automated Extraction of Palladio Component Models from Running Enterprise Java Applications" (DA) Betreuer Samuel Kounev
- Amine Miled: "Visualisierung von Binärdaten am Beispiel der Geoplattform der PTV AG" (SA) Betreuer Thomas Goldschmidt
- Esmahan Eryilmaz: "Evaluierung der Erweiterbarkeit der domänenspezifischen Sprache Datascript" (SA) Betreuer Johannes Stammel
- Montag, 29.09.2008
- Mohammad Athar Januar: "Empirical Study of XVCL and AspectJ in Software Product Lines", Abschlussvortrag, (DA) Betreuer: Johannes Stammel
- Nicole Nöldner: "Kontinuierliches Software-Performance-Engineering in Infotainmentsystemen.", Abschlussvortrag, (DA) Betreuer: Johannes Stammel
- Montag, 11.08.2008
- Michael Hauck: "Extending Performance-Oriented Resource Modeling in the Palladio Component Model (PCM)" (DA), Betreuer: Michael Kuperberg, Klaus Krogmann
- Montag, 14.07.2008
- Athar Januar: "Empirical Study of AspectJ and XVCL in Software Product Lines" (DA), Betreuer: Johannes Stammel
- Montag, 09.06.2008
- Robert Leisner: "Lernverfahren für Software-Performanz-Analysen" (SA), Betreuer: Klaus Krogmann
- Imen Borgi: "A Semi-automatic mapping approach for complex business objects" (DA in Koop. mit SAP), Betreuer: Thomas Goldschmidt
- Thomas Heilbronner: "Entwicklung moderner Wartbarkeitsmetriken auf Basis statischer Analysewerkzeuge" (DA in Koop. mit Andrena), Betreuer: Johannes Stammel
- Montag, 19.05.2008 (verschoben wg. Pfingsten)
- Matthias Schwende: "Performance Prediction of RAID Disk Arrays for the Palladio Component Model" (DA), Betreuer: Michael Kuperberg
- Benjamin Klatt: "Software Model Extractor -- An Architecture Reconstruction Framework" (SA), Betreuer: Klaus Krogmann
- Montag, 14.04.2008 keine Vorträge
- Montag, 10.03.2008
- Iulia Chirila: "Parameteranalyse in Software-Komponenten mit Hilfe symbolischer Ausführung" (Bachelorarbeit), Betreuer: Klaus Krogmann
- Fouad Omri: "Benchmarking the Java API using Heuristical Optimisations and Clustering" (Diplomarbeit), Betreuer: Michael Kuperberg
- Montag, 18.02.2008
- Paul-Rémi Beauvais: "Skalierbarkeitsanalyse des Palladio Komponentenmodells" (DA), Betreuer: Groenda, Koziolek
Dienstag, 15.01.2008
- Nicole Nöldner: "Automatische Erhebung von Softwaremetriken in eingebetteten Systemen" (Diplomarbeit), Betreuer: Johannes Stammel
- Montag, 10.12.2007
- Yuxin Zhou: "Plausibilitäts- und Komplexitätsbestimmung von Anfragen an Webservices" (DA), Betreuer: Thomas Goldschmidt, Hans-Peter Keck
- Jens Kübler: "Evaluation von Performanz und Wartbarkeit von Persistenzsystemen unter Java" (DA), Betreuer: Thomas Goldschmidt
- Roman Andrej: "PCM Evaluation bei CAS" (DA), Betreuer: Steffen Becker