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

Correction to: Distributed Petri nets for model-driven verifiable robotic applications in ROS (Innovations in Systems and Software Engineering, (2024), 10.1007/s11334-024-00570-5)

Ebert, S., Mey, J., Schöne, R., Götz, S. & Aßmann, U., 2024, (Angenommen/Im Druck) Innovations in Systems and Software Engineering.

Publikation: Spezielle Publikationen/BeiträgeKorrekturen (Errata und Widerrufe)Begutachtung

DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets

Ebert, S., Mey, J., Schone, R., Gotz, S. & Assmann, U., 2023, Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023. Institute of Electrical and Electronics Engineers Inc., S. 791-800 10 S. (Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)).

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

Incremental causal connection for self-adaptive systems based on relational reference attribute grammars.

Schöne, R., Mey, J., Ebert, S., Götz, S. & Aßmann, U., 26 Okt. 2022, Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022. S. 1-12 12 S.

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

Teaching distributed and heterogeneous robotic cells

Mey, J., Ebert, S., Lin, T., Nguyen, G. T., Gumhold, S. & Aßmann, U., 11 Jan. 2022, 2022 IEEE 19th Annual Consumer Communications & Networking Conference (CCNC). S. 1-2 (IEEE Consumer Communications and Networking Conference).

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