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

RailCabs and Birds in Julia: Context-Role Ensemble Engineering in Practice

Aßmann, U. & Gutsche, C., 27 Okt. 2024, Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Proceedings: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II. Margaria, T. & Steffen, B. (Hrsg.). Springer Nature, S. 191–207 17 S. (Lecture Notes in Computer Science, Band 15220).

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

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

Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering

Feichtinger, K., Kegel, K., Pascual, R., Aßmann, U., Beckert, B. & Reussner, R., 22 Sept. 2024, Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering. S. 915-919 5 S.

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

Rule-Based DSL for Continuous Features and ML Models Selection in Multiple Sclerosis Research

Zhao, W., Wendt, K., Ziemssen, T. & Aßmann, U., 16 Juli 2024, in: Applied sciences. 14, 14, S. 6193 6193.

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung