Springe zum Hauptinhalt
Universitätsbibliothek
Universitätsbibliographie

Ergebnis der Datenbankabfrage

Nr. Titel Autor Jahr
1 A Petri-Net-Based Approach to Modeling Communication Algorithms for HPC Molecular Dynamics Simulations Werner, Theresa* et al. 2023
2 A Programming Model for Heterogeneous CPS from the Physical POV with a Focus on Device Virtualization Richter, Martin* et al. 2023
3 Optimizing Communication in Molecular Dynamics Simulations on HPC Clusters Werner, Theresa* et al. 2023
4 Optimizing the Automotive Security Development Process in Early Process Design Phases Jakobs, Christine 2023
5 Using Environmental Contexts to Model Restrictions on Sensor Capabilities Richter, Martin et al. 2023
6 A Programming Model for Heterogeneous CPS from the Physical Point of View Richter, Martin* et al. 2022
7 Formal analysis of timeliness in the RaSTA protocol Naumann, Billy* et al. 2022
8 Heuristic Risk Treatment for ISO/SAE 21434 Development Projects Jakobs, Christine et al. 2022
9 Systematic Literature Review of Data Exchange Strategies for Range-limited Particle Interactions Werner, Theresa et al. 2022
10 Following the White Rabbit: Integrity Verification Based on Risk Analysis Results Jakobs, Christine et al. 2021
11 Programmiermodelle für Mobile Cyber-physische Systeme Richter, Martin* et al. 2021
12 Eignung digitaler Lehrmethoden für die heterogenen Bedürfnisse von Studierenden Scharsich, Julia et al. 2020
13 GPU-Tasking à la Carte? Eventify Meets GPUs Morgenstern, Laura* et al. 2020
14 The Need of Proper Programming Models for CPS Richter, Martin* et al. 2020
15 Verification of Integrity in Vehicle Architectures Jakobs, Christine et al. 2020
16 "Misusing" Model-Checker to Generate Correct Configurations in Embedded Systems Jakobs, Christine et al. 2019
17 Do Microservices Prevent High Qualitative Code? Hilbrich, Marcus* et al. 2019
18 Dynamic Composition of Cyber-Physical Systems Jakobs, Christine et al. 2019
19 Compositional Expressiveness of Hybrid Automata Akhundov, Jafar et al. 2018
20 Dynamic Vehicle Software with AUTOCONT Jakobs, Christine et al. 2018
Aktuelle Seite:
Anzahl der Ergebnisseiten: 5
Anzahl der Dokumente: 89

Soziale Medien

Verbinde dich mit uns: