| 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 |
| Toward Responsible Artificial Intelligence Systems: Safety and Trustworthiness
|
2024 |
Herrera, Francisco |
| Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing Framework
|
2024 |
Rahal, Manal |
| Comparative Analysis of UPPAAL SMC, ns-3 and MATLAB/Simulink
|
2024 |
Naeem, Muhammad |
| CareProfSys - Combining Machine Learning and Virtual Reality to Build an Attractive Job Recommender System for Youth: Technical Details and Experimental Data
|
2024 |
Dascalu, Maria-Iuliana |
| Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP
|
2024 |
Prokic, Ivan |
| 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 |
| Building a Digital Twin Framework for Dynamic and Robust Distributed Systems
|
2024 |
Seceleanu, Tiberiu |
| How to Be An Ethical Technologist
|
2024 |
Vardi, Moshe Y. |
Tag hinzufügen