Weiter zum Inhalt Weiter zur Fußzeile

Distributed Petri nets for model-driven verifiable robotic applications in ROS

Ebert, S., Mey, J., Schöne, R., Götz, S. & Aßmann, U., Dez. 2024, in: Innovations in Systems and Software Engineering. 20, 4, S. 531-557 27 S.

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Towards an Interoperable Model-driven Automated Assessment System for Computer Science Education

Hamann, M., Götz, S. & Aßmann, U., 22 Sept. 2024, MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. Linz, Austria: Association for Computing Machinery, S. 95-192 8 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Debugging Behavioral Programs Using Models@run.time

Felber, T. & Götz, S., 30 Aug. 2024, 2024 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, S. 160-167 8 S. 10803418

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Latency-Aware RDMSim: Enabling the Investigation of Latency in Self-Adaptation for the Case of Remote Data Mirroring

Götz, S., Bencomo, N. & Samin, H., 16 Apr. 2024, Proceedings - 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2024. IEEE, S. 182-188 7 S. 10556320

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

A Variance-Based Drift Metric for Inconsistency Estimation in Model Variant Sets

Kegel, K., Götz, S., Marx, R. & Aßmann, U., 2024, in: Journal of object technology. 23, 3, S. 1-14 14 S.

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung