Skip to content Skip to footer

Related content

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

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

Research output: Contribution to journalResearch articleContributedpeer-review

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

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

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

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, p. 160-167 8 p. 10803418

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

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, p. 182-188 7 p. 10556320

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

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, p. 1-14 14 p.

Research output: Contribution to journalResearch articleContributedpeer-review