Kategorie:Ausschreibung
Hier geht es zur Übersicht der aktuellen Ausschreibungen.
This category uses the form Ausschreibung.
Pages in category "Ausschreibung"
The following 200 pages are in this category, out of 268 total.
(previous page) (next page)A
- A Catalogue of Context Dimensions for Security Analysis
- A Context-Aware Change Propagation Mechanism in Model-Driven Development
- A Contrastive Learning Framework for Semantic Consistency Verification of SysML and Simulink Models
- A Flexible Mechanism for Advancing Maturity in Change Propagation
- A Framework for Transforming Data Tables into Descriptive Models
- A Library-Based Annotation Mechanism for Change Propagation
- A Methodology for Systematically Including Semantic Information in Threat Modeling and Analysis
- A Practical Quantitative Assessment of Timed Information Leakage
- A RAAML driven case study in automotive safety analysis
- A Strategy for Composing Information Leakage Metrics
- A Survey of Model Management Approaches
- A Temporal Change Propagation Mechanism in Model Driven Development
- A unified framework for safety analysis models
- Abbilden von Sicherheitsanforderungen auf Analyseeingaben
- Abbildung zwischen Architekturmodell und logischen Programmen
- Adaptive Lern-Navigation für Webbasierte IT Kurse
- AI Planning for Consistency Repair
- An automatic crawler for extracting highly ranked Q&A
- An Empirical Study of Observations, Triggers, and Alternatives for Consistency Preservation in Cyber-Physical Systems
- Analyse architekturbasierter Safety-Muster im Kontext von Safety-kritischen Roboter-Systemen
- Analyse eines neuartigen KI-Ansatzes für das Trainieren virtueller Roboter mit Gedächtnis
- Analyse modellgetriebener Simulationsentwicklung im Industrie-4.0-Kontext
- Analysis of Classifier Performance on Aggregated Energy Status Data
- Analyze the Effect of Uncertainty on a System's Consistency
- Analyzing Efficiency of High Performance Applications
- Anreicherung von Architekturmodellen mit Performance-Informationen
- Architectural Attack Modelling for Data Theft with Dataflow Based Systems
- Architekturanalyse von Unsicherheit in Zugriffskontrollentscheidungen innerhalb Industrie 4.0
- Architekturbasierte Performance-Vorhersage von parallelen Programmen
- Architekturbasierte Zuverlässigkeitsvorhersage für automatisierte Fahrzeuge
- Architekturbasierter Vergleich von Datenfluss- und Informationsflussanalysen
- Assessing Simulation Model Credibility
- Assessing the Scalability of Variability Artifact Transformations using TRAVART
- Aufbereiten und Dokumentieren von Projektwissen für die Lehre
- Auflösung von Koreferenzen in Softwarearchitekurdokumentationen
- Ausschreibung/Vertraulichkeitsanalyse in dynamischen Industrie-4.0-Szenarien
- Auswertung von Nutzerstudien mit SPSS
- Automated Consistency Checker for Multi-View Models
- Automated Generation of a Consistency Benchmark for Cyber-Physical Systems Modeling
- Automatic Generation of Graphical Editors for Safety Analysis Models from NeoJoin View Definitions
- Automatische Erstellung von Angriffsvektoren
- Automatische Klassifikation von GitHub-Projekten nach Anwendungsbereichen
- Automatische Vorhersage von Änderungsausbreitung basierend auf Anforderungsänderungen in Automatisierungssystemen
- Automatisierte Überprüfung von Datenflussanforderungen in Software-Architekturen
- Automatisiertes Black-Box Software Testing mit neuartigen neuronalen Netzen
B
- Bad Smells and Anti-Patterns in Analyses Development
- Beruecksichtigung von Varianten in Zugriffskontrollsystemen
- Berücksichtigen von Anonymisierungstechniken während der Entwurfs-Zeit von Smart-Car Systemen
- Berücksichtigung von Unsicherheit in Zugriffskontrollsystemen
- Berücksichtigung von Varianten in Zugriffskontrollsystemen
- Building a Benchmark for LLM-assisted Formal Verification
- Building a V-SUM for a Brake System
- Building an Evaluation Catalogue of Context-Dependent DFD Models
C
- Case Study-Driven Synchronization of BPMN and SysML Diagrams
- Classification of composition operators for model-based analysis
- Classification of Multi-level Simulation Approaches
- Closing the Neuro-Symbolic Loop: Active Correction with Spatial Logic and Automated Knowledge Refinement
- Co-Simulation für Analysen von Software und Hardware
- Comparison of Model Query Paradigms for View Generation
- Componentization of Model Consistency Rules
- Concept Maps für Verbessertes Lernen in der Informatik
- Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation
- Continuous Integration of Performance Model
- Copy-on-Write Representations of EMF Models
D
- Datenflussanalyse für Konsistenzerhaltung
- Deltabasierte Konsistenzerhaltung zwischen Sichten und deren Modellen / Delta-based consistency preservation between views and their models
- Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius
- Design-time optimization of runtime adaptation strategies using evolutionary algorithms
- Designing a Design Challenge for Lightweight Evaluation of Interactive Inconsistency Repair
- Designing a Domain-Specific Language (DSL) for Consistency Preservation Triggers
- Designing a Model Transformation Language for Projective Views
- Designing a Reproducible Measurement Framework for MQTT-to-Kafka Performance Evaluation
- Designing an LLM-Based Framework for User Training and Question Answering on Vitruvius
- Developing a TraVarT Extension to Transform UVL Models Into Clafer and Vice Versa
- Development of the Model Query Language NeoJoin
- Domänenspezifische Charakteristiken in der Bewertung der Systemarchitektur automatisierter Fahrzeuge
E
- Enable Tracing Requirements and Source Code in Visual Studio Code using Large Language Models
- Enabling Branching Support in Server-Side Vitruvius
- Enabling the Concurrent Editing of Multiple Models
- Energy consumption of compression algorithms across CPU platforms
- Enhancing Trust in Neuro-Symbolic Explanations via Calibrated Linguistic Uncertainty
- Ensuring the Semantics of Event-Based Analysis (de)composition through Constraint Specification
- Entitätserkennung in SW-Dokumentationen durch Diagramme
- Entwicklung eines Optimierungsverfahrens zur Regelung von IoT Geräten
- Entwicklung modularer Simulationskonzepte im Industrie-4.0-Kontext
- Entwicklung neuartiger neuroevolutionärer Lernverfahren
- Entwicklung und Analyse genetischer Lernverfahren für die Neurorobotik
- Entwicklung und Design von E-Learning-Kursen
- Entwurf komponierbarer Sicherheitsanalysen
- Erstellen einer Fallstudie im Bereich Datenschutz und Vehicle to X (V2X) Kommunikation und Recht
- Erstellung einer Fallstudie für Vertraulichkeitsanalyse in Mobilitätssystemen
- Erstellung einer Sicherheitsfallstudie zur Angreiferausbreitung
- Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen
- Erzeugung von Verschlüsselungsregeln auf Modelländerungen aus Zugriffskontrollregeln auf Modellelementen
- Evaluating Continuous Performance Predictions of Lua-Based Sensor Applications
- Evaluating Token-Based Software Plagiarism Detectors Against Obfuscation Attacks
- Evaluation des Palladio Component Models im Kontext automatisierter Fahrzeuge
- Evidence-based Token Abstraction for Software Plagiarism Detection
- Explainability in DOPLER Decision Model Definition and Configuration
- Explainability Requirements in Software-Intensive Systems
- Explorative Umsetzung einer iterativen Analysekopplung im Kontext von Software Security
- Exploring Modern IDE Functionalities for Consistency Preservation
- Exploring RAG and Context Information for Trace Link Recovery
- Exploring RAG and Prompt Engineering for Trace Link Recovery
- Extend Uncertainty Quantification in view-based Modeling
- Extending the Vitruvius Framework with Variability-aware Consistency Preservation Rules
- Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen
- Extraktion von Architekturmodellen aus Neurorobotiksimulationen
F
- Feature Annotated Reactions Language
- Feature Annotated View Specification and View Generation
- Fine-tuning vs. Prompting: The Case of Requirements Classification
- Fine-tuning vs. Prompting: The Case of Traceability Link Recovery
- Formalisierung von Anforderungen mit Requirements-in-the-Loop
- Formalizing Quality Properties of Variability Model Transformations
- Formalizing Requirements using Large Language Models (LLMs)
G
- Gamification Strategien für digitale Lernumgebungen
- Generation of Checkpoints for Hardware Architecture Simulators
- Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- Generierung von Sequenzdiagrammen aus Komponentenmodellen
- Guarantees for Reactions
- Guidelines and Selection Criteria for Composing Analysis Techniques
I
- Identification of Performance-Relevant Configuration Options
- Identifikation von Ebenen fuer Informationslecksquantifizierung
- Implementing V-SUMM for Two Metamodels Integration
- Industry Thesis - GenAI for Microservice Performance Modeling & Analysis
- Informative Decision-Making for Change Propagation
- Integrated Framework for Multidisciplinary Engineering for CPPS
- Integration of Triple Graph Grammars in Vitruvius
- Investigating the Traceability of Variability Artifact Transformations
K
- KASTEL - Security-By-Design in vernetzten Infrastrukturen
- Klassifikation statischer Sicherheitsanalysen
- Klassifikation von Anforderungen
- Klassifikation von Entwurfsentscheidungen in Dokumentationen
- Kollaboratives Lernen in der Informatik
- Kombination von Angreiferanalysen
- Kombinierte Modellierung von Software und Hardware über Versionen und Varianten
- Kompatibilität und Klassifikation statischer Sicherheitsanalysen
- Konsistenzanalyse zwischen Architekturdokumentation und Modellen
- Konsistenzerhaltung von externen Sichten
- Konsistenzhaltung von Eingabemodellen für Architektur- und Code-basierte, statische Sicherheitsanalysen
- Kontextbasierte Zugriffskontrolle und Ungewissheit
- Kontinuierliche Integration der Performance-Modell für eine industrielle Lua-basierte Anwendung
- Konzept und Implementierung einer Delta Chain
- Konzepte zum Schutz der Privatsphäre während des Entwurfs von verteilten Connected-Car Systemen
- Konzeption und Umsetzung Neuronale Netzen zur Verbesserung von Codequalität
- Kopplung von Architekturanalysen und musterbasierten Quelltextanalysen in de Domäne der Softwaresicherheitr
- Kopplung von statischen Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit
- Kopplungsansätze im Kontext statischer Sicherheitsanalysen
- Kosten-Nutzen-Analyse imperativer Modelltransformationssprachen
L
- Large Language Models as Managing Systems
- Large Language Models as Recommender Systems in Uncertainty-Aware Requirement Engineering
- LLM-assisted Generation and Testing of Model Transformation Language Code
- LLM-Assisted Style Customization of Xtext-Based Domain-Specific Languages
- LLM-based Architecture Design Decision Analysis for Software Evolution
- LLM-based Code Generation for Model Transformation Languages
- LLM-based Generation of PDDL-encoded Attack Paths
- LLM-basierte Klassifikation von Quelltextelementen hinsichtlich ihrer Anliegen
- LLM-supported processing of analysis results to support the legal domain
- Locking Strategies for V-SUMs
M
- Machine-Learning-Verfahren für automatische Software-Architekturoptimierung
- Mapping Natural Language To Software Architecture Models
- Maschinelles Lernen von Modelltransformationen aus Transformationsdefinitionen
- Metadata-Based Simulator Selection
- Metamodellierung mit JSON
- Microgrid-Topologien für Smart Grids
- Mitigation of Confidentiality Violations in Architectural Runtime Models
- Model-based Performance Engineering and Management of DevOps Applications
- Modeling and Simulation of Distributed Message Queues
- Modellgetriebene Konsistenzhaltung von Automationssystemen
- Modellgetriebenes Variantenmanagement für Automationssysteme
- Modellieren und Analysieren von Zero-Trust-Architekturen unter Berücksichtigung verschiedener Qualitätsziele
- Modellierung und Simulation von Lastverteilstrategien für teilchenphysikalische Experimente am CERN
- Modellierung und Simulation von verketteten Ausfallszenarien in Palladio
- Modellierung von Angriffen für quantitative Sicherheitsanalysen
- Modellierung von Annahmen in Softwarearchitekturen
- Modellierung von kontextbasierter Zugriffskontrolle auf Architekturebene
- Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications
- Multi-Modell-Konsistenzhaltung
- Multi-Stage/Multi-Approach TLR
O
P
- Palladio for Designing of Parallel Algorithms in Materials Science
- Parametrisierung statischer Analysen im Kontext der Softwaresicherheit
- Performance Modeling of Data-Intensive Applications
- Performance Modelling for Genome Analysis Algorithms
- Performance Modelling of Image Processing Algorithms
- Performance-Modellierung von verteiltem Rechnen
- Performancemodellierung konfigurierbarer Software
- Performanzanalyse von Konsistenzerhaltungsframeworks
- Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors
- Preventing Obfuscation Attacks on Software Plagiarism Detectors
- Product Line Engineering for Metamodels
- Programmierentutor/in WS20/21
- Programmierentutor:in WS21/22
- Programmierentutorium WS 19/20
- Properties and Granularities of Transactions in the Development of Cyber-Physical Systems
- Prozess für automatisiertes Generieren einer datenschutzrechtlicher Systemrepräsentation