Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• Praktikumsbericht: Toolentwicklung zur Bearbeitung und Analyse von High-Speed-Videoaufnahmen  + (Klaus Bertsch)
• Analysis and Visualization of Semantics from Massive Document Directories  + (Klevia Ulqinaku)
• Efficient Verification of Data-Value-Aware Process Models  + (Kuan Yang)
• Systematische Erfassung der Kontextannahmen für architekturelle Sicherheitsmuster  + (Larissa Schmid)
• Modeling and Simulation of Message-Driven Self-Adaptive Systems  + (Larissa Schmid)
• Generation of Checkpoints for Hardware Architecture Simulators  + (Lars Weber)
• Kopplung statischer Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit  + (Laura Traub)
• Semantic Interoperability in Decentralized Identity Ecosystems  + (Lea Strauch)
• Untersuchung des Einflusses von Kommunikationsmodellen auf die Zusammensetzbarkeit von Informationsflusseigenschaften  + (Lena Gerlach)
• Density-Based Outlier Detection Benchmark on Synthetic Data  + (Lena Witterauf)
• Density-Based Outlier Detection Benchmark on Synthetic Data (Thesis)  + (Lena Witterauf)
• DomainML: A modular framework for domain knowledge-guided machine learning  + (Lena Witterauf)
• Streaming Model Analysis - Synergies from Stream Processing and Incremental Model Analysis  + (Lennart Hensler)
• Vergleich der imperativen Modelltransformationssprache QVTo mit Mehrzwecksprachen am Beispiel von Java  + (Leonhard Malik)
• On the Converge of Monte Carlo Dependency Estimators  + (Li Mingyi)
• Generalized Monte Carlo Dependency Estimation with improved Convergence  + (Li Mingyi)
• Automated Test Selection for CI Feedback on Model Transformation Evolution  + (Limanan Nursalim)
• Erklärbare k-Portfolios von SAT-Solvern  + (Luc Mercatoris)
• Erklärbare k-Portfolios von SAT-Solvern (Verteidigung)  + (Luc Mercatoris)
• KI Tutoren: Eine Untersuchung zur Akzeptanz von KI Chatbots in digitalen Lernumgebungen  + (Luca Hüttner)
• Efficient Reduction of Energy Time Series  + (Lucas Krauß)
• Reduction of Energy Time Series  + (Lucas Krauß)
• Automatically detecting Performance Regressions  + (Lukas Bach)
• Continuous Integration of Performance Models for Lua-Based Sensor Applications  + (Lukas Burgey)
• Pattern-Based Heterogeneous Parallelization  + (Lukas Böhm)

• A RAAML-driven case study in automotive safety analysis  + (Lukas Friedrich)

• Bewertung verschiedener Parallelisierungsstrategien im Hinblick auf Leistungsfähigkeit von paralleler Programmausführung  + (Lukas Greiner)
• Supporting a Knowledge Management System for Software Engineering Research with Large Language Models  + (Lukas Greiner)
• Describing Consistency Relations of Multiple Models with Commonalities  + (Lukas Hennig)
• LLM-based Code Generation for Model Transformation Languages  + (Lukas Schroth)
• Auswirkungen von Metamodellen auf Modellanalysen  + (Lyubomir Lakov)
• Transaktionsverwaltung in Vitruvius  + (Maik Sept)
• Concept of a Migration Process from a Database-Based Device Type Configuration System to a Model-Driven System  + (Malte Püschner)
• Komponentenentdeckung und Hierarchisierung aus Anforderung  + (Manuel Kohnen)
• Developing a Framework for Mining Temporal Data from Twitter as Basis for Time-Series Correlation Analysis  + (Manuel Müllerschön)
• Deriving Twitter Based Time Series Data for Correlation Analysis  + (Manuel Müllerschön)
• Optimierung von Inkrementellen Modellanalysen  + (Marc Ueberschaer)
• Creating Study Plans by Generating Workflow Models from Constraints in Temporal Logic  + (Marcel Groß)
• Robust Subspace Search  + (Marcel Hiltscher)
• Evaluating Subspace Search Methods with Hidden Outlier  + (Marcel Hiltscher)
• Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen  + (Marcel Straub)
• Anytime Tradeoff Strategies with Multiple Targets  + (Marco Heyden)
• Entwurfszeitanalyse der Fehlerpropagation in komponentenbasierten selbst-adaptiven Software-Systemen  + (Marco Kugler)
• Parallelisierung Regelbasierter Modelltransformationen in PREEvision  + (Marco Reczuch)
• HubLink: Leveraging Language Models for Enhanced Scholarly Information Retrieval on Research Knowledge Graphs  + (Marco Schneider)
• On the Interpretability of Anomaly Detection via Neural Networks  + (Marco Sturm)
• Betriebspraktikum im Bereich Webentwicklung bei Morotai  + (Marie-Sophie Trübenbach)
• Feinanpassung vs. Prompting: Der Fall der Wiederherstellung von Nachverfolgbarkeitsverbindungen  + (Markus Bodenberger)
• Informationsbedürfnisse zur Untersuchung der Begriffsgeschichte  + (Markus Raster)
• Erstellung eines Benchmarks zum Anfragen temporaler Textkorpora zur Untersuchung der Begriffsgeschichte und historischen Semantik  + (Markus Raster)
• Commit-basierte kontinuierliche Integration von Leistungsmodellen  + (Martin Armbruster)