Kategorie:Ausschreibung
Hier geht es zur Übersicht der aktuellen Ausschreibungen.
Seiten in dieser Kategorie nutzen das Formular „Ausschreibung“.
Seiten in der Kategorie „Ausschreibung“
Folgende 200 Seiten sind in dieser Kategorie, von 242 insgesamt.
(vorherige Seite) (nächste Seite)A
- 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 RAAML driven case study in automotive safety analysis
- 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 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
- 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
C
- Case Study-Driven Synchronization of BPMN and SysML Diagrams
- Classification of composition operators for model-based analysis
- Classification of Multi-level Simulation Approaches
- 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
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 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
- 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 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
- 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 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
- Guidelines and Selection Criteria for Composing Analysis Techniques
I
- Identification of Performance-Relevant Configuration Options
- Implementing V-SUMM for Two Metamodels Integration
- Improving LLM-based Code Generation for Model Transformation Languages
- Informative Decision-Making for Change Propagation
- 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-based Architecture Design Decision Analysis for Software Evolution
- LLM-based Code Generation for Model Transformation Languages
- 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
- 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
- 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
R
- Reactive Incremental Fault Tree Analysis (FTA) for Model-Driven Safety Assurance using VIATRA
- Real-Time Editing of Views in a Multi-Model Environment
- Relevantes Feedback in webbasierte IT Kurse
- Remodelling Metamodels for V-SUMM Integration
- Resilienz - Möglichkeiten der Selbstheilung in der Industrie 4.0
- RESPOND – IoT in der Industrie 4.0
S
- Semantic tracelinks in Model-Based Systems Engineering
- Semantiken von Modelländerungen
- Semi-automatische Konsistenzhaltung von Modellen
- Simulationsentwicklung im Kontext einer Smart-Grid-Analyse
- Skizzenerkennung für UML-Diagramme mittels ML-Verfahren
- Software-Architekturmuster zur Gewährleistung des Datenschutzes
- Softwareentwicklung und Konsistenzhaltung mit Vitruvius
- Solver Representations for DOPLER Decision Models
- Spezifikation und Analyse fahrzeugbezogener Datenflussrichtlinien auf Basis der Vehicle Signal Specification
- Strategien für interdisziplinären Informatikunterricht
- Support in the Development of CIPM
- Supporting Design Documenting with Software Architecture Change information
- Supporting V-SUM via Metamodel Preparation and Integration
- Symbolic Performance Modeling
- SysML–RAAML Consistency Validation Engine with EVL-Based Rule Pack