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

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, (Accepted/In press) Innovations in Systems and Software Engineering.

Research output: Contribution to specialist publicationCorrections (errata and retractions)peer-review

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., p. 791-800 10 p. (Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)).

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

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 Oct 2022, Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022. p. 1-12 12 p.

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

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). p. 1-2 (IEEE Consumer Communications and Networking Conference).

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributed