Towards LLM-Based System Migration in Language-Driven Engineering
|
2024 |
Busch, Daniel |
Cyber-Physical Ecosystems: Modelling and Verification
|
2024 |
Bujorianu, Manuela L. |
Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Admunistration Shell
|
2024 |
Jeroschewski, Sven Erik |
A Software Package (in progress) that Implements the Hammock-EFL Methodology
|
2024 |
Goldstein, Moshe |
Continuous Integration of Neural Networks in Autonomous Systems
|
2024 |
Steffen, Bruno |
Dynamic Priority Scheduling for Periodic Systems Using ROS 2
|
2024 |
Dust, Lukas |
How to Be An Ethical Technologist
|
2024 |
Vardi, Moshe Y. |
Ambient Temperature Prediction for Embedded Systems Using Machine Learning
|
2024 |
Rahman, Selma |
A Federated Learning Algorithms Development Paradigm
|
2024 |
Popovic, Miroslav |
IDPP: Imbalanced Datasets Pipelines in Pyrus
|
2024 |
Singh, Amandeep |
Detecting Road Tunnel-Like Environments Using Acoustic Classification for Sensor Fusion with Radar Systems
|
2024 |
Stojkov, Nikola |
Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example
|
2024 |
Marksteiner, Stefan |
ReProlnspect: Framework for Reproducible Defect Datasets for Improved AOL of PCBAS
|
2024 |
Rezaei, Ahmad |
Learning in Uppaal for Test Case Generation for Cyber-Physical Systems
|
2024 |
Gu, Rong |
A Literature Survey of Assertions in Software Testing
|
2024 |
Taromirad, Masoumeh |
FPGA-Based Encryption for Peer-to-Peer Industrial Network Links
|
2024 |
Sprang, Florian |
Formalization and Verification of MQTT-SN Communication Using CSP
|
2024 |
Lin, Wei |
Synthesizing Understandable Strategies
|
2024 |
Backeman, Peter |
Astrocyte-Integrated Dynamic Function Exchange in Spiking Neural Networks
|
2024 |
Isik, Murat |
A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models
|
2024 |
Kahraman, Ali Teymur |