Sebastian Ebert Dipl.-Inf.Person
Person
- Professur für Softwaretechnologie- Wissenschaftliches Personal
Zugehörigkeiten
Identifizierungsnummern
| Scopus Autor ID | 57220073880 |
|---|
- Veröffentlichungen
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 Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
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äge › Korrekturen (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/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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, MoDELS. S. 1-12 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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/Gutachten › Beitrag in Konferenzband › Beigetragen