Author of the publication

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

, , , , and . MoDELS (Companion), page 791-800. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

We Need To Talk About Random Splits., , , and . EACL, page 1823-1832. Association for Computational Linguistics, (2021)Safe Adaptation of Cobotic Cells based on Petri Nets.. SEAMS, page 43-47. ACM/IEEE, (2022)Don't Search for a Search Method - Simple Heuristics Suffice for Adversarial Text Attacks., , , and . EMNLP (1), page 8216-8224. Association for Computational Linguistics, (2021)Understanding Text Classification Data and Models Using Aggregated Input Salience., , and . CoRR, (2022)Glossar Klimawandel und Raumentwicklung, , , , , , , , , and 7 other author(s). (2011)We Need to Talk About Random Splits., , , and . CoRR, (2020)Teaching Distributed and Heterogeneous Robotic Cells., , , , , and . CCNC, page 1-2. IEEE, (2022)Resolving synchronization conflicts in role-based multimodel-synchronization environments., , and . COP@ECOOP, page 1-8. ACM, (2021)DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets., , , , and . MoDELS (Companion), page 791-800. IEEE, (2023)Incremental causal connection for self-adaptive systems based on relational reference attribute grammars., , , , and . MoDELS, page 1-12. ACM, (2022)